cfl_transset.h File Reference

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>

Definition at line 1800 of file cfl_transset.h.

#define BASE   TBaseSet<Transition,Cmp>

Definition at line 1799 of file cfl_transset.h.

#define BASE   TTransSet<TransSort::X1EvX2>

Definition at line 1799 of file cfl_transset.h.

#define SORT_EXCEPTION
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>

Definition at line 1798 of file cfl_transset.h.

#define TEMP   template <class Attr>

Definition at line 1798 of file cfl_transset.h.

#define THIS   TTransSet<Cmp>

Definition at line 1797 of file cfl_transset.h.

#define THIS   TaTransSet<Attr>

Definition at line 1797 of file cfl_transset.h.

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