State, Event and Transition Set

This module collects all basic container classes aka state- event- and transition-sets, e.g.,. More...

Classes
class	faudes::TaBaseSet< T, Attr, Cmp >
	Set with nontrivial attributes. More...
class	faudes::TBaseSet< T, Cmp >
	STL style set template. More...
class	faudes::vBaseVector
	Vector bass class. More...
class	faudes::TBaseVector< T >
	Vector template. More...
class	faudes::IndexSet
	Set of indices. More...
class	faudes::TaIndexSet< Attr >
	Set of indices with attributes. More...
class	faudes::SymbolSet
	Set of symbols. More...
class	faudes::Transition
	Triple (X1,Ev,X2) to represent current state, event and next state. More...
class	faudes::TransSort
	Alternative ordering of Transitions. More...
class	faudes::TTransSet< Cmp >
	Set of Transitions. More...
class	faudes::TaTransSet< Attr >
	Set of Transitions with attributes. More...
Defines
#define	TaStateSet TaIndexSet
	Convenience Macro.
Typedefs
typedef TaNameSet < AttributeCFlags >	faudes::Alphabet
	Convenience typedef for event sets with controllability attributes.
typedef IndexSet	faudes::StateSet
typedef NameSet	faudes::EventSet
	Convenience typedef for plain event sets.
typedef TTransSet < TransSort::X1EvX2 >	faudes::TransSet
	Type definition for default sorted TTransSet.
typedef TTransSet < TransSort::X1EvX2 >	faudes::TransSetX1EvX2
	Type definition for default sorted TTransSet.
typedef TTransSet < TransSort::EvX1X2 >	faudes::TransSetEvX1X2
	Type definition for ev, x1, x2 sorted TTransSet.
typedef TTransSet < TransSort::EvX2X1 >	faudes::TransSetEvX2X1
	Type definition for ev, x2, x1 sorted TTransSet.
typedef TTransSet < TransSort::X2EvX1 >	faudes::TransSetX2EvX1
	Type definition for x2, ev, x1 sorted TTransSet.
typedef TTransSet < TransSort::X2X1Ev >	faudes::TransSetX2X1Ev
	Type definition for x2, x1, ev sorted TTransSet.
typedef TTransSet < TransSort::X1X2Ev >	faudes::TransSetX1X2Ev
	Type definition for x1, x2, ev sorted TTransSet.
Functions
template<class T , class Cmp >
void	faudes::SetUnion (const TBaseSet< T, Cmp > &rSetA, const TBaseSet< T, Cmp > &rSetB, TBaseSet< T, Cmp > &rRes)
template<class T , class Cmp >
void	faudes::SetIntersection (const TBaseSet< T, Cmp > &rSetA, const TBaseSet< T, Cmp > &rSetB, TBaseSet< T, Cmp > &rRes)
template<class T , class Cmp >
void	faudes::SetDifference (const TBaseSet< T, Cmp > &rSetA, const TBaseSet< T, Cmp > &rSetB, TBaseSet< T, Cmp > &rRes)
template<class T , class Cmp >
bool	faudes::SetEquality (const TBaseSet< T, Cmp > &rSetA, const TBaseSet< T, Cmp > &rSetB)
template<class T , class Cmp >
bool	faudes::SetInclusion (const TBaseSet< T, Cmp > &rSetA, const TBaseSet< T, Cmp > &rSetB)

Detailed Description

This module collects all basic container classes aka state- event- and transition-sets, e.g.,.

TBaseSet base class for all libFaudes containers,
IndexSet set of plain indices,
TaIndexSet set of indices with attributes,
NameSet set of indices with symbolic names,
TaNameSet set of indices with attributes and symbolic names,
TTransSet set of transitions in a sepcific order.

All libFAUDES container classes share the same basic API similar to the one known from STL containers. In addition, they implement file IO via faudes token streams and/or XML. Most commonly used is the plain faudes::EventSet and the faudes::Alphabet. Plug-ins introduce specialized sets for their purposes.

Define Documentation

#define TaStateSet TaIndexSet

Convenience Macro.

Definition at line 539 of file cfl_indexset.h.

Typedef Documentation

typedef TaNameSet<AttributeCFlags> faudes::Alphabet

Convenience typedef for event sets with controllability attributes.

Definition at line 240 of file cfl_cgenerator.h.

typedef NameSet faudes::EventSet

Convenience typedef for plain event sets.

Definition at line 506 of file cfl_nameset.h.

typedef IndexSet faudes::StateSet

Definition at line 271 of file cfl_indexset.h.

typedef TTransSet<TransSort::X1EvX2> faudes::TransSet

Type definition for default sorted TTransSet.

Definition at line 910 of file cfl_transset.h.

typedef TTransSet<TransSort::EvX1X2> faudes::TransSetEvX1X2

Type definition for ev, x1, x2 sorted TTransSet.

Definition at line 916 of file cfl_transset.h.

typedef TTransSet<TransSort::EvX2X1> faudes::TransSetEvX2X1

Type definition for ev, x2, x1 sorted TTransSet.

Definition at line 919 of file cfl_transset.h.

typedef TTransSet<TransSort::X1EvX2> faudes::TransSetX1EvX2

Type definition for default sorted TTransSet.

Definition at line 913 of file cfl_transset.h.

typedef TTransSet<TransSort::X1X2Ev> faudes::TransSetX1X2Ev

Type definition for x1, x2, ev sorted TTransSet.

Definition at line 928 of file cfl_transset.h.

typedef TTransSet<TransSort::X2EvX1> faudes::TransSetX2EvX1

Type definition for x2, ev, x1 sorted TTransSet.

Definition at line 922 of file cfl_transset.h.

typedef TTransSet<TransSort::X2X1Ev> faudes::TransSetX2X1Ev

Type definition for x2, x1, ev sorted TTransSet.

Definition at line 925 of file cfl_transset.h.