#include <cfl_agenerator.h>

Public Types
typedef TaTransSet< TransAttr >	ATransSet

Public Member Functions
Constructors & Destructor
	TaGenerator (void)

	TaGenerator (const TaGenerator &rOtherGen)

	TaGenerator (const vGenerator &rOtherGen)

	TaGenerator (const std::string &rFileName)

virtual TaGenerator *	New (void) const

virtual TaGenerator *	Copy (void) const

virtual TaGenerator	NewAGen (void) const

virtual const Type *	Cast (const Type *pOther) const

virtual	~TaGenerator (void)

Copy and Assignment
virtual TaGenerator &	Assign (const Type &rSrc)

TaGenerator &	operator= (const TaGenerator &rOtherGen)

virtual void	Move (TaGenerator &rGen)

virtual void	Move (Generator &rGen)

Basic Maintenance
bool	Valid (void) const

virtual void	Clear (void)

Read Access to Core Members
const TaEventSet< EventAttr > &	Alphabet (void) const

const TaStateSet< StateAttr > &	States (void) const

const ATransSet &	TransRel (void) const

void	TransRel (TransSetX1EvX2 &res) const

void	TransRel (TransSetEvX1X2 &res) const

void	TransRel (TransSetEvX2X1 &res) const

void	TransRel (TransSetX2EvX1 &res) const

void	TransRel (TransSetX2X1Ev &res) const

void	TransRel (TransSetX1X2Ev &res) const

Write Access to Core Members
bool	InsEvent (Idx index)

Idx	InsEvent (const std::string &rName)

bool	InsEvent (Idx index, const EventAttr &rAttr)

Idx	InsEvent (const std::string &rName, const EventAttr &rAttr)

void	InjectAlphabet (const EventSet &rNewalphabet)

void	InjectAlphabet (const TaEventSet< EventAttr > &rNewalphabet)

Idx	InsState (void)

Idx	InsState (const StateAttr &attr)

bool	InsState (Idx index)

Idx	InsState (const std::string &rName)

Idx	InsState (const std::string &rName, const StateAttr &attr)

bool	InsState (Idx index, const StateAttr &attr)

void	InjectStates (const StateSet &rNewStates)

void	InjectStates (const TaStateSet< StateAttr > &rNewStates)

bool	SetTransition (Idx x1, Idx ev, Idx x2)

bool	SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2)

bool	SetTransition (const Transition &rTransition)

bool	SetTransition (const Transition &rTransition, const TransAttr &rAttr)

void	InjectTransRel (const TransSet &rNewtransrel)

void	InjectTransRel (const ATransSet &rNewtransrel)

Attributes
void	EventAttribute (Idx index, const EventAttr &rAttr)

void	EventAttribute (Idx index, const Type &rAttr)

const EventAttr &	EventAttribute (Idx index) const

const EventAttr &	EventAttribute (const std::string &rName) const

EventAttr *	EventAttributep (Idx index)

EventAttr *	EventAttributep (const std::string &rName)

void	StateAttribute (Idx index, const StateAttr &rAttr)

void	StateAttribute (Idx index, const Type &rAttr)

const StateAttr &	StateAttribute (Idx index) const

StateAttr *	StateAttributep (Idx index)

void	TransAttribute (const Transition &rTrans, const TransAttr &rAttr)

void	TransAttribute (const Transition &rTrans, const Type &rAttr)

const TransAttr &	TransAttribute (const Transition &rTrans) const

TransAttr *	TransAttributep (const Transition &rTrans)

void	GlobalAttribute (const GlobalAttr &rAttr)

void	GlobalAttribute (const Type &rAttr)

const GlobalAttr &	GlobalAttribute (void) const

GlobalAttr *	GlobalAttributep (void)

Public Member Functions inherited from faudes::vGenerator
	vGenerator (void)

	vGenerator (const vGenerator &rOtherGen)

	vGenerator (const std::string &rFileName)

virtual	~vGenerator (void)

virtual vGenerator &	AssignWithoutAttributes (const vGenerator &rGen)

vGenerator &	operator= (const vGenerator &rOtherGen)

virtual void	Version (const std::string &rVersion, vGenerator &rResGen) const

virtual void	Version (Idx version, vGenerator &rResGen) const

virtual void	Version (const std::string &rPattern, const std::string &rReplacement, vGenerator &rResGen) const

void	Name (const std::string &rName)

const std::string &	Name (void) const

void	ClearStates (void)

Idx	AlphabetSize (void) const

Idx	Size (void) const

Idx	TransRelSize (void) const

Idx	InitStatesSize (void) const

Idx	MarkedStatesSize (void) const

bool	Empty (void) const

bool	AlphabetEmpty (void) const

bool	TransRelEmpty (void) const

bool	InitStatesEmpty (void) const

bool	MarkedStatesEmpty (void) const

SymbolTable *	EventSymbolTablep (void) const

virtual void	EventSymbolTablep (SymbolTable *pSymTab)

virtual void	EventSymbolTablep (const vGenerator &rOtherGen)

EventSet	NewEventSet (void) const

EventSet *	NewEventSetp (void) const

Idx	EventIndex (const std::string &rName) const

std::string	EventName (Idx index) const

void	EventName (Idx index, const std::string &rName)

std::string	UniqueEventName (const std::string &rName) const

bool	EventRename (Idx event, const std::string &rNewName)

bool	EventRename (const std::string &rOldName, const std::string &rNewName)

const SymbolTable &	StateSymbolTable (void) const

void	StateSymbolTable (const SymbolTable &rSymTab)

Idx	StateIndex (const std::string &rName) const

std::string	StateName (Idx index) const

void	StateName (Idx index, const std::string &rName)

void	ClearStateNames (void)

void	ClrStateName (Idx index)

void	ClrStateName (const std::string &rName)

bool	StateNamesEnabled (void) const

void	StateNamesEnabled (bool flag)

void	SetDefaultStateNames (void)

void	EnforceStateNames (const std::string &rTemplate)

std::string	UniqueStateName (const std::string &rName) const

EventSet::Iterator	AlphabetBegin (void) const

EventSet::Iterator	AlphabetEnd (void) const

bool	ExistsEvent (Idx index) const

bool	ExistsEvent (const std::string &rName) const

EventSet::Iterator	FindEvent (Idx index) const

EventSet::Iterator	FindEvent (const std::string &rName) const

const EventSet &	Alphabet (void) const

StateSet::Iterator	StatesBegin (void) const

StateSet::Iterator	StatesEnd (void) const

bool	ExistsState (Idx index) const

bool	ExistsState (const std::string &name) const

StateSet::Iterator	FindState (Idx index) const

StateSet::Iterator	FindState (const std::string &rName) const

const StateSet &	States (void) const

Idx	InitState (void) const

StateSet::Iterator	InitStatesBegin (void) const

StateSet::Iterator	InitStatesEnd (void) const

bool	ExistsInitState (Idx index) const

StateSet::Iterator	FindInitState (Idx index) const

const StateSet &	InitStates (void) const

StateSet::Iterator	MarkedStatesBegin (void) const

StateSet::Iterator	MarkedStatesEnd (void) const

bool	ExistsMarkedState (Idx index) const

StateSet::Iterator	FindMarkedState (Idx index) const

const StateSet &	MarkedStates (void) const

TransSet::Iterator	TransRelBegin (void) const

TransSet::Iterator	TransRelEnd (void) const

TransSet::Iterator	TransRelBegin (Idx x1) const

TransSet::Iterator	TransRelEnd (Idx x1) const

TransSet::Iterator	TransRelBegin (Idx x1, Idx ev) const

TransSet::Iterator	TransRelEnd (Idx x1, Idx ev) const

TransSet::Iterator	FindTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const

TransSet::Iterator	FindTransition (Idx x1, Idx ev, Idx x2) const

TransSet::Iterator	FindTransition (const Transition &rTrans) const

bool	ExistsTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const

bool	ExistsTransition (Idx x1, Idx ev, Idx x2) const

bool	ExistsTransition (const Transition &rTrans) const

bool	ExistsTransition (Idx x1, Idx ev) const

bool	ExistsTransition (Idx x1) const

const TransSet &	TransRel (void) const

void	TransRel (TransSetX1EvX2 &res) const

void	TransRel (TransSetEvX1X2 &res) const

void	TransRel (TransSetEvX2X1 &res) const

void	TransRel (TransSetX2EvX1 &res) const

void	TransRel (TransSetX2X1Ev &res) const

void	TransRel (TransSetX1X2Ev &res) const

Transition	TransitionByNames (const std::string &rX1, const std::string &rEv, const std::string &rX2) const

bool	InsEvent (Idx index)

Idx	InsEvent (const std::string &rName)

void	InsEvents (const EventSet &events)

bool	DelEvent (Idx index)

bool	DelEvent (const std::string &rName)

void	DelEvents (const EventSet &rEvents)

bool	DelEventFromAlphabet (Idx index)

void	InjectAlphabet (const EventSet &rNewalphabet)

void	RestrictAlphabet (const EventSet &rNewalphabet)

Idx	InsState (void)

bool	InsState (Idx index)

Idx	InsState (const std::string &rName)

void	InsStates (const StateSet &rStates)

bool	DelState (Idx index)

bool	DelState (const std::string &rName)

void	DelStates (const StateSet &rDelStates)

bool	DelStateFromStates (Idx index)

StateSet::Iterator	DelStateFromStates (StateSet::Iterator pos)

void	RestrictStates (const StateSet &rStates)

void	InjectState (Idx index)

void	InjectStates (const StateSet &rNewStates)

Idx	InsInitState (void)

bool	InsInitState (Idx index)

Idx	InsInitState (const std::string &rName)

void	InsInitStates (const StateSet &rStates)

Idx	InsMarkedState (void)

bool	InsMarkedState (Idx index)

Idx	InsMarkedState (const std::string &rName)

void	InsMarkedStates (const StateSet &rStates)

void	SetInitState (Idx index)

void	SetInitState (const std::string &rName)

void	InjectInitStates (const StateSet &rNewInitStates)

void	ClrInitState (Idx index)

void	ClrInitState (const std::string &rName)

StateSet::Iterator	ClrInitState (StateSet::Iterator pos)

void	ClearInitStates (void)

void	SetMarkedState (Idx index)

void	SetMarkedState (const std::string &rName)

void	ClrMarkedState (Idx index)

void	ClrMarkedState (const std::string &rName)

StateSet::Iterator	ClrMarkedState (StateSet::Iterator pos)

void	ClearMarkedStates (void)

void	InjectMarkedStates (const StateSet &rNewMarkedStates)

bool	SetTransition (Idx x1, Idx ev, Idx x2)

bool	SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2)

bool	SetTransition (const Transition &rTransition)

void	ClrTransition (Idx x1, Idx ev, Idx x2)

void	ClrTransition (const Transition &rTrans)

TransSet::Iterator	ClrTransition (TransSet::Iterator it)

void	ClrTransitions (Idx x1, Idx ev)

void	ClrTransitions (Idx x1)

void	ClearTransRel (void)

void	InjectTransition (const Transition &rTrans)

void	InjectTransRel (const TransSet &rNewtransrel)

virtual void	ClearAttributes (void)

virtual bool	UpdateAttributes (void)

virtual void	ClearEventAttributes (void)

virtual void	ClrEventAttribute (Idx index)

virtual void	EventAttributes (const EventSet &rEventSet)

virtual void	ClearStateAttributes (void)

virtual void	ClrStateAttribute (Idx index)

virtual void	ClearTransAttributes (void)

virtual void	ClrTransAttribute (const Transition &rTrans)

virtual void	ClearGlobalAttribute (void)

virtual void	GlobalAttributeTry (const Type &rAttr)

StateSet	AccessibleSet (void) const

bool	Accessible (void)

bool	IsAccessible (void) const

StateSet	CoaccessibleSet (void) const

bool	Coaccessible (void)

bool	IsCoaccessible (void) const

StateSet	BlockingStates (void) const

StateSet	TerminalStates (void) const

StateSet	TerminalStates (const StateSet &rStates) const

bool	IsComplete (void) const

bool	IsComplete (const StateSet &rStates) const

bool	IsComplete (const EventSet &rSigmaO) const

bool	Complete (void)

bool	Complete (const EventSet &rSigmaO)

StateSet	TrimSet (void) const

bool	Trim (void)

bool	IsTrim (void) const

bool	OmegaTrim (void)

bool	IsOmegaTrim (void) const

EventSet	UsedEvents (void) const

EventSet	UnusedEvents (void) const

void	MinimizeAlphabet (void)

EventSet	ActiveEventSet (Idx x1) const

TransSet	ActiveTransSet (Idx x1) const

StateSet	TransRelStates (void) const

Idx	SuccessorState (Idx x1, Idx ev) const

StateSet	SuccessorStates (Idx x1) const

StateSet	SuccessorStates (Idx x1, Idx ev) const

bool	IsDeterministic (void) const

void	SetMinStateIndexMap (void) const

void	ClearMinStateIndexMap (void) const

Idx	MinStateIndex (Idx index) const

void	MinStateIndex (void)

Idx	MaxStateIndex (void) const

const std::map< Idx, Idx > &	MinStateIndexMap (void) const

std::string	EStr (Idx index) const

std::string	SStr (Idx index) const

std::string	TStr (const Transition &rTrans) const

void	GraphWrite (const std::string &rFileName, const std::string &rOutFormat="", const std::string &rDotExec="dot") const

bool	operator< (const vGenerator &rOtherGen) const

void	WriteAlphabet (void) const

std::string	AlphabetToString (void) const

void	WriteAlphabet (TokenWriter &rTw) const

void	WriteStateSet (const StateSet &rStateSet) const

std::string	StateSetToString (const StateSet &rStateSet) const

std::string	StateSetToText (const StateSet &rStateSet) const

void	WriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const

void	DWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const

std::string	StatesToString (void) const

std::string	StatesToText (void) const

std::string	MarkedStatesToString (void) const

std::string	InitStatesToString (void) const

void	WriteTransRel (void) const

std::string	TransRelToString (void) const

std::string	TransRelToText (void) const

void	WriteTransRel (TokenWriter &rTw) const

void	DWriteTransRel (TokenWriter &rTw) const

virtual void	DotWrite (const std::string &rFileName) const

virtual void	DDotWrite (const std::string &rFileName) const

virtual void	XDotWrite (const std::string &rFileName) const

void	ReadStateSet (TokenReader &rTr, const std::string &rLabel, StateSet &rStateSet) const

bool	ReindexOnWrite (void) const

void	ReindexOnWrite (bool flag)

Public Member Functions inherited from faudes::Type
	Type (void)

	Type (const Type &rType)

virtual	~Type (void)

Type &	operator= (const Type &rSrc)

virtual bool	Equal (const Type &rOther) const

bool	operator== (const Type &rOther) const

bool	operator!= (const Type &rOther) const

virtual const std::string &	TypeName (void) const

void	Write (const Type *pContext=0) const

void	Write (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out\|std::ios::trunc) const

void	Write (const std::string &pFileName, std::ios::openmode openmode) const

void	Write (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

virtual void	XWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0) const

void	XWrite (const Type *pContext=0) const

void	XWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

std::string	ToString (const std::string &rLabel="", const Type *pContext=0) const

std::string	ToText (const std::string &rLabel="", const Type *pContext=0) const

void	DWrite (const Type *pContext=0) const

void	DWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out\|std::ios::trunc) const

void	DWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

void	SWrite (TokenWriter &rTw) const

void	SWrite (void) const

std::string	ToSText (void) const

void	Read (const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0)

void	FromString (const std::string &rString, const std::string &rLabel="", const Type *pContext=0)

void	Read (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)

Protected Member Functions
virtual void	NewCore (void)

virtual void	UpdateCore (void)

void	DoAssign (const TaGenerator &rGen)

Protected Member Functions inherited from faudes::vGenerator
virtual void	DeleteCore (void)

void	ConfigureAttributeTypes (const AttributeVoid pNewGlobalPrototype, const StateSet pNewStatesPrototype, const EventSet pNewAlphabetPrototype, const TransSet pNewTransRelPrototype)

void	DoAssign (const vGenerator &rSrc)

virtual void	DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)

virtual void	DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

virtual void	DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

virtual void	DoSWrite (TokenWriter &rTw) const

virtual void	DoXWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

void	ReadAlphabet (TokenReader &rTr)

void	WriteStates (TokenWriter &rTw) const

void	ReadStates (TokenReader &rTr)

void	XReadStateSet (TokenReader &rTr, StateSet &rStateSet, const std::string &rLabel="") const

void	ReadTransRel (const std::string &rFileName)

void	ReadTransRel (TokenReader &rTr)

void	XReadTransRel (TokenReader &rTr)

void	XWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet, const std::string &rLabel="") const

void	XWriteTransRel (TokenWriter &rTw) const

Protected Member Functions inherited from faudes::Type
void	DoAssign (const Type &rSrc)

bool	DoEqual (const Type &rOther) const

virtual const TypeDefinition *	TypeDefinitionp (void) const

virtual Token	XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const

Static Protected Member Functions
static const TaNameSet< EventAttr > &	AlphabetTaGen (void)

static const TaIndexSet< StateAttr > &	StatesTaGen (void)

static const ATransSet &	TransRelTaGen (void)

static const GlobalAttr &	GlobalTaGen (void)

Static Protected Member Functions inherited from faudes::vGenerator
static const EventSet &	AlphabetVoid (void)

static const StateSet &	StatesVoid (void)

static const TransSet &	TransRelVoid (void)

static const AttributeVoid &	GlobalVoid (void)

Protected Attributes
TaNameSet< EventAttr > *	pAlphabet

TaIndexSet< StateAttr > *	pStates

ATransSet *	pTransRel

GlobalAttr *	pGlobalAttribute

Protected Attributes inherited from faudes::vGenerator
std::string	mMyName

Idx	mId

SymbolTable	mStateSymbolTable

SymbolTable *	mpStateSymbolTable

SymbolTable *	mpEventSymbolTable

bool	mStateNamesEnabled

bool	mReindexOnWrite

EventSet *	mpAlphabet

StateSet *	mpStates

TransSet *	mpTransRel

AttributeVoid *	mpGlobalAttribute

const EventSet *	pAlphabetPrototype

const StateSet *	pStatesPrototype

const TransSet *	pTransRelPrototype

const AttributeVoid *	pGlobalPrototype

StateSet	mInitStates

StateSet	mMarkedStates

std::map< Idx, Idx >	mMinStateIndexMap

Additional Inherited Members
Static Public Member Functions inherited from faudes::vGenerator
static SymbolTable *	GlobalEventSymbolTablep (void)

static void	StateNamesEnabledDefault (bool flag)

static void	ReindexOnWriteDefault (bool flag)

static bool	ReindexOnWriteDefault (void)

Static Protected Attributes inherited from faudes::vGenerator
static Idx	msObjectCount = 0

static bool	msStateNamesEnabledDefault = true

static bool	msReindexOnWriteDefault = false

Detailed Description

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
class faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

Generator with specified attribute types.

Overview

The TaGenerator takes four template parameters to specify attribute classes for the global attribute and state-, event- and transition-attributes.

In the context of a TaGenerator, attributes still have only minimal sematics: they can be accessed in a per event, state and transition manner and they can have default or non-default value. The minimum interface that an attribute template parameter must provide, is given in faudes::AttributeVoid. Derived attribute classes are meant to provide addtional semantics, eg faudes::AttributeFlags for boolean flags and faudes::AttributeCFlags for controllability properties. The TaGenerator transparently supports extended attribute semantics, but does not provide taylored access functions. This is done in TaGenerator derivates eg TcGenerator.

Technical detail: Attributes data types must be derived from AttributeVoid, which in turn is derived from the general purpose base faudes::Type. For your derived attribute class to be fully functional, you must reimplement the faudes::Type::New().

Definition at line 70 of file cfl_agenerator.h.

Member Typedef Documentation

◆ ATransSet

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

typedef TaTransSet<TransAttr> faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ATransSet

Convenience typdef for member transiton set

Definition at line 75 of file cfl_agenerator.h.

Constructor & Destructor Documentation

◆ TaGenerator() [1/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TaGenerator ( void )

doxygen group Construct an emtpy Generator

Definition at line 831 of file cfl_agenerator.h.

◆ TaGenerator() [2/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TaGenerator ( const TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & rOtherGen )

Copy-constructor (from TaGenerator, incl attributes)

Parameters

rOtherGen

Definition at line 843 of file cfl_agenerator.h.

◆ TaGenerator() [3/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TaGenerator ( const vGenerator & rOtherGen )

Copy-constructor (from vGenerator, set attributes to default)

Parameters

rOtherGen

Definition at line 857 of file cfl_agenerator.h.

◆ TaGenerator() [4/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TaGenerator ( const std::string & rFileName )

Construct from file. This constructor effectively uses the Read(TokenReader&) function to read.

Parameters

rFileName Name of file

Exceptions

Exception

IO errors (id 1)
Token mismatch (id 50, 51, 52, 80, 85)

Definition at line 871 of file cfl_agenerator.h.

◆ ~TaGenerator()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::~TaGenerator ( void )

virtual

Destructor

Definition at line 1001 of file cfl_agenerator.h.

Member Function Documentation

◆ Alphabet()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

const TaEventSet< EventAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Alphabet ( void ) const

doxygen group Return const reference to alphabet

Returns: EventSet Reference to mpAlphabet

Definition at line 1360 of file cfl_agenerator.h.

◆ AlphabetTaGen()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

const TaNameSet< EventAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::AlphabetTaGen ( void )

staticprotected

Static default alphabet prototype (incl. attribute type)

Definition at line 812 of file cfl_agenerator.h.

◆ Assign()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Assign ( const Type & rSrc )

virtual

doxygen group Copy from other faudes Type (try to cast to agenerator or pass to base)

Parameters

rSrc	Source for copy operation.

Reimplemented from faudes::vGenerator.

Reimplemented in faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 962 of file cfl_agenerator.h.

◆ Cast()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

const Type * faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Cast ( const Type * pOther ) const

virtual

Type test. Uses C++ dynamic cast to test whether the specified object casts to a Generator.

Returns: TcGenerator reference if dynamic cast succeeds, else NULL

Reimplemented from faudes::vGenerator.

Reimplemented in faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TlhaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 1038 of file cfl_agenerator.h.

◆ Clear()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Clear ( void )

virtual

Clear generator data. Clears state set, alphabet and transitionrealtion. Behavioural flags eg StateNamesEnabled are maintained.

Reimplemented from faudes::vGenerator.

Reimplemented in faudes::Executor.

Definition at line 1069 of file cfl_agenerator.h.

◆ Copy()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Copy ( void ) const

virtual

Construct copy on heap. Technically not a constructor, this function creates a TaGenerator with the same event symboltable and the same attribute types. It is the callers reponsebilty to delete the object when no longer needed.

Returns: new Generator

Reimplemented from faudes::vGenerator.

Definition at line 1017 of file cfl_agenerator.h.

◆ DoAssign()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DoAssign ( const TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & rGen )

protected

Assignment

Definition at line 930 of file cfl_agenerator.h.

◆ EventAttribute() [1/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

const EventAttr & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttribute ( const std::string & rName ) const

virtual

Event attribute lookup

Parameters

rName

Returns: reference to attribute

Reimplemented from faudes::vGenerator.

Definition at line 1319 of file cfl_agenerator.h.

◆ EventAttribute() [2/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

const EventAttr & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttribute ( Idx index ) const

virtual

Event attribute lookup

Parameters

index

Returns: reference to attribute

Reimplemented from faudes::vGenerator.

Definition at line 1309 of file cfl_agenerator.h.

◆ EventAttribute() [3/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttribute	(	Idx	index,
		const EventAttr &	rAttr
	)

doxygen group Set attribute for existing event

Parameters

index	Event index
rAttr	New attribute

Exceptions

Exception Index not found in alphabet (id 60)

Definition at line 1289 of file cfl_agenerator.h.

◆ EventAttribute() [4/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttribute	(	Idx	index,
		const Type &	rAttr
	)

virtual

Set attribute for existing event. This version uses a dynamic cast to test the actual type of the provided attribute. An exception is thrown for an invalid attribute type.

Parameters

index	Event index
rAttr	New attribute

Exceptions

Exception

Index not found in alphabet (id 60)
Cannot cast attribute (id 63)

Reimplemented from faudes::vGenerator.

Definition at line 1296 of file cfl_agenerator.h.

◆ EventAttributep() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

EventAttr * faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttributep ( const std::string & rName )

virtual

Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute

Parameters

rName

Returns: pointer to attribute

Reimplemented from faudes::vGenerator.

Definition at line 1324 of file cfl_agenerator.h.

◆ EventAttributep() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

EventAttr * faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttributep ( Idx index )

virtual

Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute

Parameters

index

Returns: pointer to attribute

Reimplemented from faudes::vGenerator.

Definition at line 1314 of file cfl_agenerator.h.

◆ GlobalAttribute() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalAttribute ( const GlobalAttr & rAttr )

inline

Set global attribute

Parameters

rAttr attribute

Definition at line 746 of file cfl_agenerator.h.

◆ GlobalAttribute() [2/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalAttribute ( const Type & rAttr )

inlinevirtual

Set global attribute. The vGenerator does not have attributes, so this function throws an exception for any specified attribute different to AttributeVoid. The TaGenarator provides a re-implementation to actually set the global attribute.

Parameters

rAttr Attribute

Exceptions

Exception

Cannot cast attribute (id 63)

Reimplemented from faudes::vGenerator.

Definition at line 747 of file cfl_agenerator.h.

◆ GlobalAttribute() [3/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

const GlobalAttr& faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalAttribute ( void ) const

inlinevirtual

Get global attribute ref

Reimplemented from faudes::vGenerator.

Definition at line 752 of file cfl_agenerator.h.

◆ GlobalAttributep()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

GlobalAttr* faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalAttributep ( void )

inlinevirtual

Get global attribute pointer

Reimplemented from faudes::vGenerator.

Definition at line 758 of file cfl_agenerator.h.

◆ GlobalTaGen()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

const GlobalAttr & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalTaGen ( void )

staticprotected

Static default global attribute prototype (configures global attribute type)

Definition at line 824 of file cfl_agenerator.h.

◆ InjectAlphabet() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectAlphabet ( const EventSet & rNewalphabet )

Set mpAlphabet without consistency check. Attributes will be casted if possible or silently ignored.

Parameters

rNewalphabet EventSet with new alphabet

Definition at line 1076 of file cfl_agenerator.h.

◆ InjectAlphabet() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectAlphabet ( const TaEventSet< EventAttr > & rNewalphabet )

Set mpAlphabet without consistency check.

Parameters

rNewalphabet EventSet with new alphabet

Definition at line 1082 of file cfl_agenerator.h.

◆ InjectStates() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectStates ( const StateSet & rNewStates )

Inject a complete state set without consistency checks. Attributes will be casted if possible or silently ignored.

Parameters

rNewStates StateSet

Definition at line 1162 of file cfl_agenerator.h.

◆ InjectStates() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectStates ( const TaStateSet< StateAttr > & rNewStates )

Inject a complete state set without consistency checks.

Parameters

rNewStates StateSet

Definition at line 1169 of file cfl_agenerator.h.

◆ InjectTransRel() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectTransRel ( const ATransSet & rNewtransrel )

Set transition relation without consistency check.

Parameters

rNewtransrel TransRel to insert

Definition at line 1186 of file cfl_agenerator.h.

◆ InjectTransRel() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectTransRel ( const TransSet & rNewtransrel )

Set transition relation without consistency check. Attributes will be casted if possible or silently ignored.

Parameters

rNewtransrel TransRel to insert

Definition at line 1180 of file cfl_agenerator.h.

◆ InsEvent() [1/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsEvent ( const std::string & rName )

Add named event to generator. An entry in the mpEventSymbolTable will be made if event name is not known so far.

Parameters

rName Name of the event to add

Returns: New unique index

Definition at line 1102 of file cfl_agenerator.h.

◆ InsEvent() [2/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsEvent	(	const std::string &	rName,
		const EventAttr &	rAttr
	)

Add named event with attribute to generator. An entry in the mpEventSymbolTable will be made if event is not kown so far. If the event allready exits in the generator, the attribute will be overwritten by rAttr.

Parameters

rName	Name of the event to add
rAttr	Attribute of event

Returns: New unique index

Definition at line 1114 of file cfl_agenerator.h.

◆ InsEvent() [3/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsEvent ( Idx index )

doxygen group Add an existing event to alphabet by index. It is an error to insert an event index that is not known to the mpEventSymbolTable.

Parameters

index Event index

Returns: True, if event was new to alphabet

Definition at line 1096 of file cfl_agenerator.h.

◆ InsEvent() [4/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsEvent	(	Idx	index,
		const EventAttr &	rAttr
	)

Add an existing event to alphabet by index, incl. attribute If the index allready exists, the attribute is overwritten by rAttr.

Parameters

rAttr	Attribute of event
index	Event index

Returns: True, if event was new to alphabet

Definition at line 1108 of file cfl_agenerator.h.

◆ InsState() [1/6]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState ( const StateAttr & attr )

Add new anonymous state with attribute to generator

Parameters

attr	attribute of new state

Returns: Index of new unique state

Definition at line 1126 of file cfl_agenerator.h.

◆ InsState() [2/6]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState ( const std::string & rName )

Add new named state to generator.

Parameters

rName Name of the state to add

Returns: Index of new unique state

Exceptions

Exception Name already exists (id 44)

Definition at line 1144 of file cfl_agenerator.h.

◆ InsState() [3/6]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState	(	const std::string &	rName,
		const StateAttr &	attr
	)

Add new named state with attribute to generator.

Parameters

rName	Name of the state to add
attr	attribute of new state

Returns: Index of new unique state

Exceptions

Exception Name already exists (id 44)

Definition at line 1152 of file cfl_agenerator.h.

◆ InsState() [4/6]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState ( Idx index )

Add (perhaps new) state to generator

Returns: true to indicate that state was new to generator

Definition at line 1132 of file cfl_agenerator.h.

◆ InsState() [5/6]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState	(	Idx	index,
		const StateAttr &	attr
	)

Add (perhaps new) state with attribute to generator.

Parameters

index	Index of state to add
attr	Attribute of new state

Returns: True, if event was new to alphabet

Definition at line 1138 of file cfl_agenerator.h.

◆ InsState() [6/6]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState ( void )

Add new anonymous state to generator

Returns: Index of new unique state

Definition at line 1120 of file cfl_agenerator.h.

◆ Move() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Move ( Generator & rGen )

virtual

Destructive copy to other Generator. Copy method with increased performance at the cost of invalidating the source data. Convert attributes if possible.

Parameters

rGen	Destination for copy operation.

Reimplemented from faudes::vGenerator.

Definition at line 994 of file cfl_agenerator.h.

◆ Move() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Move ( TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & rGen )

virtual

Destructive copy to other TaGenerator Copy method with increased performance at the cost of invalidating the source data. This version will copy attributes 1:1.

Parameters

rGen	Destination for copy operation.

Definition at line 986 of file cfl_agenerator.h.

◆ New()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::New ( void ) const

virtual

Construct on heap. Technically not a constructor, this function creates a TaGenerator with the same event symboltable and the same attribute types. It is the callers reponsebilty to delete the object when no longer needed.

Returns: new Generator

Reimplemented from faudes::vGenerator.

Definition at line 1006 of file cfl_agenerator.h.

◆ NewAGen()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewAGen ( void ) const

virtual

Construct on stack. Technically not a constructor, this function creates a TaGenerator with the same event symboltable and the same attribute type.

Returns: new Generator

Definition at line 1025 of file cfl_agenerator.h.

◆ NewCore()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewCore ( void )

protectedvirtual

Allocate my heap members (attribute dependent types)

Reimplemented from faudes::vGenerator.

Definition at line 888 of file cfl_agenerator.h.

◆ operator=()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= ( const TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & rOtherGen )

Assignment operator (uses Assign(Generator&) )

Parameters

rOtherGen Other generator

Definition at line 1044 of file cfl_agenerator.h.

◆ SetTransition() [1/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition	(	const std::string &	rX1,
		const std::string &	rEv,
		const std::string &	rX2
	)

Add a transition to generator by names. Statename and eventname must already exist!

Parameters

rX1	Predecessor state name
rEv	Event name
rX2	Successor state name

Returns: True, if the transition was new the generator

Exceptions

Exception

state or event not in generator (id 95)
state name not known (id 90)
event name not known (id 66)

Definition at line 1193 of file cfl_agenerator.h.

◆ SetTransition() [2/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition ( const Transition & rTransition )

Add a transition to generator. States and event must already exist!

Parameters

rTransition Transition

Returns: True, if the transition was new the generator

Exceptions

Exception

state or event not in generator (id 95)

Definition at line 1204 of file cfl_agenerator.h.

◆ SetTransition() [3/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition	(	const Transition &	rTransition,
		const TransAttr &	rAttr
	)

Add a transition with attribute to generator. States and event must already exist!

Parameters

rTransition	transition
rAttr	attribute

Returns: True, if the transition was new the generator

Exceptions

Exception

state or event not in generator (id 95)

Definition at line 1231 of file cfl_agenerator.h.

◆ SetTransition() [4/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition	(	Idx	x1,
		Idx	ev,
		Idx	x2
	)

Add a transition to generator by indices. States and event must already exist!

Define FAUDES_CHECKED for consistency checks.

Parameters

x1	Predecessor state index
ev	Event index
x2	Successor state index

Returns: True, if the transition was new the generator

Exceptions

Exception

state or event not in generator (id 95)

Definition at line 1199 of file cfl_agenerator.h.

◆ StateAttribute() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

const StateAttr & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StateAttribute ( Idx index ) const

virtual

State attribute lookup

Parameters

index

Returns: ref to attribute of state

Reimplemented from faudes::vGenerator.

Definition at line 1350 of file cfl_agenerator.h.

◆ StateAttribute() [2/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StateAttribute	(	Idx	index,
		const StateAttr &	rAttr
	)

Set attribute for existing state

Parameters

index	Index
rAttr	attriute

Exceptions

Exception Name already associated with another index (id 44)

Definition at line 1329 of file cfl_agenerator.h.

◆ StateAttribute() [3/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StateAttribute	(	Idx	index,
		const Type &	rAttr
	)

virtual

Set attribute for existing state. This version uses a dynamic cast to test the actual type of the provided attribute. An exception is thrown for an invalid attribute type.

Parameters

index	State index
rAttr	New attribute

Exceptions

Exception

Index not found in Stateset (id 60)
Cannot cast attribute (id 63)

Reimplemented from faudes::vGenerator.

Definition at line 1336 of file cfl_agenerator.h.

◆ StateAttributep()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

StateAttr * faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StateAttributep ( Idx index )

virtual

State attribute pointer (to access Attribute methods) note: may insert explicit default attribute

Parameters

index

Returns: pointer to attribute of state

Reimplemented from faudes::vGenerator.

Definition at line 1355 of file cfl_agenerator.h.

◆ States()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

const TaStateSet< StateAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::States ( void ) const

Return reference to state set

Returns: StateSet reference incl actual attribute type

Definition at line 1365 of file cfl_agenerator.h.

◆ StatesTaGen()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

const TaIndexSet< StateAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StatesTaGen ( void )

staticprotected

Static default state set prototype (incl. attribute type)

Definition at line 816 of file cfl_agenerator.h.

◆ TransAttribute() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

const TransAttr & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransAttribute ( const Transition & rTrans ) const

virtual

Get attribute for existing transition

Returns: attribute

Reimplemented from faudes::vGenerator.

Definition at line 1284 of file cfl_agenerator.h.

◆ TransAttribute() [2/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransAttribute	(	const Transition &	rTrans,
		const TransAttr &	rAttr
	)

Set attribute for existing transition

Parameters

rTrans	transition
rAttr	New attribute

Definition at line 1258 of file cfl_agenerator.h.

◆ TransAttribute() [3/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransAttribute	(	const Transition &	rTrans,
		const Type &	rAttr
	)

virtual

Set attribute for existing transition. This version uses a dynamic cast to test the actual type of the provided attribute. An exception is thrown for an invalid attribute type.

Parameters

rTrans	transition
rAttr	New attribute

Exceptions

Exception

Transition not found in transition relation(id 60)
Cannot cast attribute (id 63)

Reimplemented from faudes::vGenerator.

Definition at line 1265 of file cfl_agenerator.h.

◆ TransAttributep()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

TransAttr * faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransAttributep ( const Transition & rTrans )

virtual

Get attribute pointer for existing transition note: may insert explicit default attribute

Returns: attribute pointer

Reimplemented from faudes::vGenerator.

Definition at line 1278 of file cfl_agenerator.h.

◆ TransRel() [1/7]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel ( TransSetEvX1X2 & res ) const

Definition at line 1376 of file cfl_agenerator.h.

◆ TransRel() [2/7]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel ( TransSetEvX2X1 & res ) const

◆ TransRel() [3/7]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel ( TransSetX1EvX2 & res ) const

Get copy of trantision relation sorted by other compare operator, e.g. "x2,ev,x1"

Parameters

res	resulting transition relation

Definition at line 1375 of file cfl_agenerator.h.

◆ TransRel() [4/7]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel ( TransSetX1X2Ev & res ) const

◆ TransRel() [5/7]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel ( TransSetX2EvX1 & res ) const

◆ TransRel() [6/7]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel ( TransSetX2X1Ev & res ) const

◆ TransRel() [7/7]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

const TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ATransSet & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel ( void ) const

Return reference to transition relation

Returns: TransRel

Definition at line 1370 of file cfl_agenerator.h.

◆ TransRelTaGen()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

const TaTransSet< TransAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRelTaGen ( void )

staticprotected

Static default transition relation prototype (incl. attribute type)

Definition at line 820 of file cfl_agenerator.h.

◆ UpdateCore()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UpdateCore ( void )

protectedvirtual

Update my secondary pointers for new core

Reimplemented from faudes::vGenerator.

Definition at line 906 of file cfl_agenerator.h.

◆ Valid()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Valid ( void ) const

virtual

doxygen group Check if generator is valid

Returns: Success

Reimplemented from faudes::vGenerator.

Reimplemented in faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::Executor, and faudes::TlhaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 1050 of file cfl_agenerator.h.

Member Data Documentation

◆ pAlphabet

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

TaNameSet<EventAttr>* faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::pAlphabet

protected

Alphabet, pointer with actual attribute type

Definition at line 769 of file cfl_agenerator.h.

◆ pGlobalAttribute

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

GlobalAttr* faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::pGlobalAttribute

protected

Global attribute, pointer with actual attribute type

Definition at line 778 of file cfl_agenerator.h.

◆ pStates

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

TaIndexSet<StateAttr>* faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::pStates

protected

State set, pointer with actual attribute type

Definition at line 772 of file cfl_agenerator.h.

◆ pTransRel

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >

ATransSet* faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::pTransRel

protected

Transition relation, pointer with actual attribute type

Definition at line 775 of file cfl_agenerator.h.

The documentation for this class was generated from the following file:

cfl_agenerator.h

Public Types

Public Member Functions

Protected Member Functions

Static Protected Member Functions

Protected Attributes

Additional Inherited Members

Detailed Description

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr> class faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

Overview

Member Typedef Documentation

◆ ATransSet

Constructor & Destructor Documentation

◆ TaGenerator() [1/4]

◆ TaGenerator() [2/4]

◆ TaGenerator() [3/4]

◆ TaGenerator() [4/4]

◆ ~TaGenerator()

Member Function Documentation

◆ Alphabet()

◆ AlphabetTaGen()

◆ Assign()

◆ Cast()

◆ Clear()

◆ Copy()

◆ DoAssign()

◆ EventAttribute() [1/4]

◆ EventAttribute() [2/4]

◆ EventAttribute() [3/4]

◆ EventAttribute() [4/4]

◆ EventAttributep() [1/2]

◆ EventAttributep() [2/2]

◆ GlobalAttribute() [1/3]

◆ GlobalAttribute() [2/3]

◆ GlobalAttribute() [3/3]

◆ GlobalAttributep()

◆ GlobalTaGen()

◆ InjectAlphabet() [1/2]

◆ InjectAlphabet() [2/2]

◆ InjectStates() [1/2]

◆ InjectStates() [2/2]

◆ InjectTransRel() [1/2]

◆ InjectTransRel() [2/2]

◆ InsEvent() [1/4]

◆ InsEvent() [2/4]

◆ InsEvent() [3/4]

◆ InsEvent() [4/4]

◆ InsState() [1/6]

◆ InsState() [2/6]

◆ InsState() [3/6]

◆ InsState() [4/6]

◆ InsState() [5/6]

◆ InsState() [6/6]

◆ Move() [1/2]

◆ Move() [2/2]

◆ New()

◆ NewAGen()

◆ NewCore()

◆ operator=()

◆ SetTransition() [1/4]

◆ SetTransition() [2/4]

◆ SetTransition() [3/4]

◆ SetTransition() [4/4]

◆ StateAttribute() [1/3]

◆ StateAttribute() [2/3]

◆ StateAttribute() [3/3]

◆ StateAttributep()

◆ States()

◆ StatesTaGen()

◆ TransAttribute() [1/3]

◆ TransAttribute() [2/3]

◆ TransAttribute() [3/3]

◆ TransAttributep()

◆ TransRel() [1/7]

◆ TransRel() [2/7]

◆ TransRel() [3/7]

◆ TransRel() [4/7]

◆ TransRel() [5/7]

◆ TransRel() [6/7]

◆ TransRel() [7/7]

◆ TransRelTaGen()

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
class faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >