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_abaseset.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.
Defines
#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   TaBaseSet<Transition,Attr,TransSort::X1EvX2>
#define	VBASE   TBaseSet<Transition,TransSort::X1EvX2>
#define	FAUDES_TRANSSET_H
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.

---

Define Documentation

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

Definition at line 1818 of file cfl_transset.h.

#define BASE   TTransSet<TransSort::X1EvX2>

Definition at line 1817 of file cfl_transset.h.

#define BASE   TBaseSet<Transition,Cmp>

Definition at line 1817 of file cfl_transset.h.

#define FAUDES_TRANSSET_H

Definition at line 2075 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 1273 of file cfl_transset.h.

#define TEMP   template <class Attr>

Definition at line 1816 of file cfl_transset.h.

#define TEMP   template<class Cmp>

Definition at line 1816 of file cfl_transset.h.

#define THIS   TaTransSet<Attr>

Definition at line 1815 of file cfl_transset.h.

#define THIS   TTransSet<Cmp>

Definition at line 1815 of file cfl_transset.h.

#define VBASE   TBaseSet<Transition,TransSort::X1EvX2>

Definition at line 1819 of file cfl_transset.h.