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"

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

typedef TTransSet< TransSort::X1EvX2 >	faudes::TransSetX1EvX2
	Type definition for default sorted TTransSet. More...

typedef TTransSet< TransSort::EvX1X2 >	faudes::TransSetEvX1X2
	Type definition for ev, x1, x2 sorted TTransSet. More...

typedef TTransSet< TransSort::EvX2X1 >	faudes::TransSetEvX2X1
	Type definition for ev, x2, x1 sorted TTransSet. More...

typedef TTransSet< TransSort::X2EvX1 >	faudes::TransSetX2EvX1
	Type definition for x2, ev, x1 sorted TTransSet. More...

typedef TTransSet< TransSort::X2X1Ev >	faudes::TransSetX2X1Ev
	Type definition for x2, x1, ev sorted TTransSet. More...

typedef TTransSet< TransSort::X1X2Ev >	faudes::TransSetX1X2Ev
	Type definition for x1, x2, ev sorted TTransSet. More...

Detailed Description

Classes Transition, TTransSet and TaTransSet.

Definition in file cfl_transset.h.

Macro Definition Documentation

◆ ABASE

#define ABASE TAttrMap<Transition,Attr,TransSort::X1EvX2>

Definition at line 1862 of file cfl_transset.h.

◆ BASE [1/2]

#define BASE TBaseSet<Transition,Cmp>

Definition at line 1861 of file cfl_transset.h.

◆ BASE [2/2]

#define BASE TTransSet<TransSort::X1EvX2>

Definition at line 1861 of file cfl_transset.h.

◆ SORT_EXCEPTION

#define SORT_EXCEPTION

Value:

  { std::stringstream errstr; \
  errstr << "Transition set order mismatch " << std::endl; \
  throw Exception("TransSet::Iterator()", errstr.str(), 68); }

Definition at line 1279 of file cfl_transset.h.

◆ TEMP [1/2]

#define TEMP template<class Cmp>

Definition at line 1860 of file cfl_transset.h.

◆ TEMP [2/2]

#define TEMP template <class Attr>

Definition at line 1860 of file cfl_transset.h.

◆ THIS [1/2]

#define THIS TTransSet<Cmp>

Definition at line 1859 of file cfl_transset.h.

◆ THIS [2/2]

#define THIS TaTransSet<Attr>