State, Event and Transition Set

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

Classes

class  faudes::TAttrMap< T, Attr, Cmp >
 Attribute interface for TBaseSet. 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...

Macros

#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.

Macro Definition Documentation

#define TaStateSet   TaIndexSet

Convenience Macro.

Definition at line 551 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 531 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 918 of file cfl_transset.h.

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

Type definition for ev, x1, x2 sorted TTransSet.

Definition at line 924 of file cfl_transset.h.

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

Type definition for ev, x2, x1 sorted TTransSet.

Definition at line 927 of file cfl_transset.h.

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

Type definition for default sorted TTransSet.

Definition at line 921 of file cfl_transset.h.

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

Type definition for x1, x2, ev sorted TTransSet.

Definition at line 936 of file cfl_transset.h.

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

Type definition for x2, ev, x1 sorted TTransSet.

Definition at line 930 of file cfl_transset.h.

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

Type definition for x2, x1, ev sorted TTransSet.

Definition at line 933 of file cfl_transset.h.

Function Documentation

template<class T , class Cmp >
void faudes::SetDifference ( const TBaseSet< T, Cmp > &  rSetA,
const TBaseSet< T, Cmp > &  rSetB,
TBaseSet< T, Cmp > &  rRes 
)

Definition at line 1071 of file cfl_baseset.h.

template<class T , class Cmp >
bool faudes::SetEquality ( const TBaseSet< T, Cmp > &  rSetA,
const TBaseSet< T, Cmp > &  rSetB 
)

Definition at line 1105 of file cfl_baseset.h.

template<class T , class Cmp >
bool faudes::SetInclusion ( const TBaseSet< T, Cmp > &  rSetA,
const TBaseSet< T, Cmp > &  rSetB 
)

Definition at line 1121 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::SetIntersection ( const TBaseSet< T, Cmp > &  rSetA,
const TBaseSet< T, Cmp > &  rSetB,
TBaseSet< T, Cmp > &  rRes 
)

Definition at line 1042 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::SetUnion ( const TBaseSet< T, Cmp > &  rSetA,
const TBaseSet< T, Cmp > &  rSetB,
TBaseSet< T, Cmp > &  rRes 
)

Definition at line 1012 of file cfl_baseset.h.

libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen