libFAUDES

Sections

Index

State, Event and Transition Set

This module collects all basic container classes aka state- event- and transition-sets. 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 IndexSet faudes::StateSet
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.


Define Documentation

#define TaStateSet   TaIndexSet

Convenience Macro.

Definition at line 516 of file cfl_indexset.h.


Typedef Documentation

typedef IndexSet faudes::StateSet

Definition at line 254 of file cfl_indexset.h.

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

Type definition for default sorted TTransSet.

Definition at line 805 of file cfl_transset.h.

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

Type definition for ev, x1, x2 sorted TTransSet.

Definition at line 811 of file cfl_transset.h.

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

Type definition for ev, x2, x1 sorted TTransSet.

Definition at line 814 of file cfl_transset.h.

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

Type definition for default sorted TTransSet.

Definition at line 808 of file cfl_transset.h.

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

Type definition for x1, x2, ev sorted TTransSet.

Definition at line 823 of file cfl_transset.h.

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

Type definition for x2, ev, x1 sorted TTransSet.

Definition at line 817 of file cfl_transset.h.

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

Type definition for x2, x1, ev sorted TTransSet.

Definition at line 820 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 
) [inline]

Definition at line 1011 of file cfl_baseset.h.

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

Definition at line 1045 of file cfl_baseset.h.

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

Definition at line 1061 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 
) [inline]

Definition at line 982 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 
) [inline]

Definition at line 952 of file cfl_baseset.h.

libFAUDES 2.18b --- 2010-12-17 --- c++ source docu by doxygen 1.6.3