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
class	faudes::TransSort
struct	faudes::TransSort::EvX1X2
struct	faudes::TransSort::EvX2X1
struct	faudes::TransSort::X2EvX1
struct	faudes::TransSort::X2X1Ev
struct	faudes::TransSort::X1X2Ev
struct	faudes::TransSort::X1EvX2
class	faudes::TTransSet< Cmp >
class	faudes::TaTransSet< Attr >

Namespaces
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
typedef TTransSet< TransSort::X1EvX2 >	faudes::TransSetX1EvX2
typedef TTransSet< TransSort::EvX1X2 >	faudes::TransSetEvX1X2
typedef TTransSet< TransSort::EvX2X1 >	faudes::TransSetEvX2X1
typedef TTransSet< TransSort::X2EvX1 >	faudes::TransSetX2EvX1
typedef TTransSet< TransSort::X2X1Ev >	faudes::TransSetX2X1Ev
typedef TTransSet< TransSort::X1X2Ev >	faudes::TransSetX1X2Ev

Functions
void	faudes::ApplyRelabelMap (const RelabelMap &rMap, const TransSet &rSet, TransSet &rRes)

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 2073 of file cfl_transset.h.

BASE [1/2]

#define BASE   TBaseSet<Transition,Cmp>

Definition at line 1330 of file cfl_transset.h.

BASE [2/2]

#define BASE   TTransSet<TransSort::X1EvX2>

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

TEMP [1/2]

#define TEMP   template<class Cmp>

Definition at line 1329 of file cfl_transset.h.

TEMP [2/2]

#define TEMP   template <class Attr>

Definition at line 1329 of file cfl_transset.h.

THIS [1/2]

#define THIS   TTransSet<Cmp>

Definition at line 1328 of file cfl_transset.h.

THIS [2/2]

#define THIS   TaTransSet<Attr>

Definition at line 1328 of file cfl_transset.h.