|
Classes Transition, TTransSet and TaTransSet.
More...
#include <sstream>
#include <map>
#include <iostream>
#include <typeinfo>
#include "cfl_definitions.h"
#include "cfl_baseset.h"
#include "cfl_attrmap.h"
#include "cfl_indexset.h"
#include "cfl_nameset.h"
#include "cfl_attributes.h"
#include "cfl_tokenreader.h"
Go to the source code of this file.
Classes |
class | faudes::Transition |
| Triple (X1,Ev,X2) to represent current state, event and next state. More...
|
class | faudes::TransSort |
| Alternative ordering of Transitions. More...
|
struct | faudes::TransSort::EvX1X2 |
| Binary predicate for sorting transitions in order Ev, X1, X2. More...
|
struct | faudes::TransSort::EvX2X1 |
| Binary predicate for sorting transitions in order Ev, X2, X1. More...
|
struct | faudes::TransSort::X2EvX1 |
| Binary predicate for sorting transitions in order X2, Ev, X1. More...
|
struct | faudes::TransSort::X2X1Ev |
| Binary predicate for sorting transitions in order X2, X1, Ev. More...
|
struct | faudes::TransSort::X1X2Ev |
| Binary predicate for sorting transitions in order X1, X2, Ev. More...
|
struct | faudes::TransSort::X1EvX2 |
| Binary predicate for sorting transitions in order X1, Ev, X2. More...
|
class | faudes::TTransSet< Cmp > |
| Set of Transitions. More...
|
class | faudes::TaTransSet< Attr > |
| Set of Transitions with attributes. More...
|
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Macros |
#define | THIS TTransSet<Cmp> |
#define | TEMP template<class Cmp> |
#define | BASE TBaseSet<Transition,Cmp> |
#define | SORT_EXCEPTION |
#define | THIS TaTransSet<Attr> |
#define | TEMP template <class Attr> |
#define | BASE TTransSet<TransSort::X1EvX2> |
#define | ABASE TAttrMap<Transition,Attr,TransSort::X1EvX2> |
Typedefs |
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.
|
Detailed Description
Classes Transition, TTransSet and TaTransSet.
Definition in file cfl_transset.h.
Macro Definition Documentation
#define ABASE TAttrMap<Transition,Attr,TransSort::X1EvX2> |
#define BASE TBaseSet<Transition,Cmp> |
#define BASE TTransSet<TransSort::X1EvX2> |
Value:{ std::stringstream errstr; \
errstr << "Transition set order mismatch " << std::endl; \
throw Exception("TransSet::Iterator()", errstr.str(), 68); }
Definition at line 1238 of file cfl_transset.h.
#define TEMP template<class Cmp> |
#define TEMP template <class Attr> |
#define THIS TTransSet<Cmp> |
#define THIS TaTransSet<Attr> |
libFAUDES 2.28a
--- 2016.09.13
--- c++ api documentaion by doxygen
|