|
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 |
Typedef Documentation
Convenience typedef for event sets with controllability attributes.
Definition at line 240 of file cfl_cgenerator.h.
Convenience typedef for plain event sets.
Definition at line 506 of file cfl_nameset.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 | |
|
) |
| | [inline] |
template<class T , class Cmp >
bool faudes::SetEquality |
( |
const TBaseSet< T, Cmp > & |
rSetA, |
|
|
const TBaseSet< T, Cmp > & |
rSetB | |
|
) |
| | [inline] |
template<class T , class Cmp >
bool faudes::SetInclusion |
( |
const TBaseSet< T, Cmp > & |
rSetA, |
|
|
const TBaseSet< T, Cmp > & |
rSetB | |
|
) |
| | [inline] |
template<class T , class Cmp >
void faudes::SetIntersection |
( |
const TBaseSet< T, Cmp > & |
rSetA, |
|
|
const TBaseSet< T, Cmp > & |
rSetB, |
|
|
TBaseSet< T, Cmp > & |
rRes | |
|
) |
| | [inline] |
template<class T , class Cmp >
void faudes::SetUnion |
( |
const TBaseSet< T, Cmp > & |
rSetA, |
|
|
const TBaseSet< T, Cmp > & |
rSetB, |
|
|
TBaseSet< T, Cmp > & |
rRes | |
|
) |
| | [inline] |
libFAUDES 2.23h
--- 2014.04.03
--- c++ api documentaion by doxygen
|