relation::InducedEquivalence Class Reference

#include <InducedEquivalence.h>

Static Public Member Functions
template<class T >
static ext::set< ext::set< T > >	inducedEquivalence (const ext::set< ext::pair< T, T > > &relation)

Detailed Description

Partition inducedEquivalence states in automata

Member Function Documentation

inducedEquivalence()

template<class T >

ext::set< ext::set< T > > relation::InducedEquivalence::inducedEquivalence ( const ext::set< ext::pair< T, T > > &  relation )

static

Creates a set of equivalent objects from a symetric relation.

Template Parameters

T	Type of objects.

Parameters

automaton

which states are to be partitioned.

Returns

induced equivalence set.

Here is the call graph for this function:

---

The documentation for this class was generated from the following file:

• alib2aux/src/relation/InducedEquivalence.h