transset.h File Reference


Detailed Description

Classes Transition, TTransSet and TaTransSet.

Definition in file transset.h.

#include "definitions.h"
#include "indexset.h"
#include "nameset.h"
#include "attributes.h"
#include <sstream>
#include <map>
#include <iostream>
#include "tokenreader.h"

Go to the source code of this file.

Namespaces

namespace  faudes

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

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


Define Documentation

#define BASE   TTransSet<TransSort::X1EvX2>
 

Definition at line 1438 of file transset.h.

#define BASE   TBaseSet<Transition,Cmp>
 

Definition at line 1438 of file 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 1060 of file transset.h.

#define TEMP   template <class Attr>
 

Definition at line 1437 of file transset.h.

#define TEMP   template<class Cmp>
 

Definition at line 1437 of file transset.h.

#define THIS   TaTransSet<Attr>
 

Definition at line 1436 of file transset.h.

#define THIS   TTransSet<Cmp>
 

Definition at line 1436 of file transset.h.

#define TRANSSET_H
 

Definition at line 1669 of file transset.h.


Generated on Fri May 9 11:26:48 2008 for libFAUDES 2.09b by  doxygen 1.4.4