#include <tp_tgenerator.h>

Public Member Functions
	TtGenerator (void)

	TtGenerator (const TtGenerator &rOtherGen)

	TtGenerator (const vGenerator &rOtherGen)

TtGenerator &	operator= (const TtGenerator &rOtherGen)

	TtGenerator (const std::string &rFileName)

TtGenerator *	New (void) const

TtGenerator *	Copy (void) const

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

TtGenerator	NewTGen (void) const

SymbolTable *	ClockSymbolTablep (void) const

void	ClockSymbolTablep (SymbolTable *pClockSymTab)

Idx	ClocksSize (void) const

const ClockSet &	Clocks (void) const

ClockSet *	Clocksp (void)

void	InjectClocks (const ClockSet &newclocks)

std::string	ClockName (Idx index) const

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

bool	InsClock (Idx index)

Idx	InsClock (const std::string &rName)

void	InsClocks (const ClockSet &rClockSet)

bool	DelClock (Idx index)

bool	DelClock (const std::string &rName)

void	DelClocks (const ClockSet &rClocks)

bool	ExistsClock (Idx index) const

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

ClockSet::Iterator	FindClock (Idx index) const

ClockSet::Iterator	FindClock (const std::string &rName) const

ClockSet	ActiveClocks (void) const

ClockSet	InactiveClocks (void) const

void	InsActiveClocks (void)

void	DelInactiveClocks (void)

ClockSet::Iterator	ClocksBegin (void) const

ClockSet::Iterator	ClocksEnd (void) const

void	ConsistentTimeConstraint (const TimeConstraint &rTimeConstr) const

void	ConsistentClocks (const ClockSet &rClocks) const

const TimeConstraint &	Invariant (Idx idx) const

TimeConstraint *	Invariantp (Idx idx)

const TimeConstraint &	Invariant (const std::string &name) const

TimeConstraint *	Invariantp (const std::string &name)

void	Invariant (Idx index, const TimeConstraint &rConstraints)

void	Invariant (const std::string &name, const TimeConstraint &rConstraints)

void	InsInvariant (const std::string &name, const TimeConstraint &rConstraints)

void	InsInvariant (Idx index, const TimeConstraint &rConstraints)

void	ClrInvariant (Idx idx)

void	ClrInvariant (const std::string &name)

void	ClearInvariants (void)

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, const TransAttr &rAttr)

bool	SetTransition (const Transition &rTrans, const TimeConstraint &rGuard=TimeConstraint(), const ClockSet &rResets=ClockSet())

bool	SetTransition (Idx x1, Idx ev, Idx x2, const TimeConstraint &rguard, const ClockSet &rResetClocks=ClockSet())

bool	SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2, const TimeConstraint &rGuard=TimeConstraint(), const ClockSet &rResets=ClockSet())

void	Guard (const Transition &rTrans, const TimeConstraint &rGuard)

void	InsGuard (const Transition &rTrans, const TimeConstraint &rConstraints)

const TimeConstraint &	Guard (const Transition &rTrans) const

TimeConstraint *	Guardp (const Transition &rTrans)

void	ClrGuard (const Transition &rTrans)

void	Resets (const Transition &rTrans, const ClockSet &rResets)

void	InsResets (const Transition &rTrans, const ClockSet &rMoreResets)

const ClockSet &	Resets (const Transition &rTrans) const

ClockSet *	Resetsp (const Transition &rTrans)

void	ClrResets (const Transition &rTrans)

std::string	CStr (Idx index) const

virtual bool	Valid (void) const

virtual bool	UpdateAttributes (void)

Public Member Functions inherited from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
	TcGenerator (void)

	TcGenerator (const vGenerator &rOtherGen)

	TcGenerator (const TcGenerator &rOtherGen)

	TcGenerator (const std::string &rFileName)

TcGenerator	NewCGen (void) const

TcGenerator &	operator= (const TcGenerator &rOtherGen)

virtual TcGenerator &	Assign (const Type &rSource)

void	InsControllableEvent (Idx index)

Idx	InsControllableEvent (const std::string &rName)

void	InsUncontrollableEvent (Idx index)

Idx	InsUncontrollableEvent (const std::string &rName)

void	SetControllable (Idx index)

void	SetControllable (const std::string &rName)

void	SetControllable (const EventSet &rEvents)

void	ClrControllable (Idx index)

void	ClrControllable (const std::string &rName)

void	ClrControllable (const EventSet &rEvents)

bool	Controllable (Idx index) const

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

EventSet	ControllableEvents (void) const

EventSet	UncontrollableEvents (void) const

void	InsObservableEvent (Idx index)

Idx	InsObservableEvent (const std::string &rName)

void	InsUnobservableEvent (Idx index)

Idx	InsUnobservableEvent (const std::string &rName)

void	SetObservable (Idx index)

void	SetObservable (const std::string &rName)

void	SetObservable (const EventSet &rEvents)

void	ClrObservable (Idx index)

void	ClrObservable (const std::string &rName)

void	ClrObservable (const EventSet &rEvents)

bool	Observable (Idx index) const

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

EventSet	ObservableEvents (void) const

EventSet	UnobservableEvents (void) const

void	InsForcibleEvent (Idx index)

Idx	InsForcibleEvent (const std::string &rName)

void	InsUnforcibleEvent (Idx index)

Idx	InsUnforcibleEvent (const std::string &rName)

void	SetForcible (Idx index)

void	SetForcible (const std::string &rName)

void	SetForcible (const EventSet &rEvents)

void	ClrForcible (Idx index)

void	ClrForcible (const std::string &rName)

void	ClrForcible (const EventSet &rEvents)

bool	Forcible (Idx index) const

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

EventSet	ForcibleEvents (void) const

EventSet	UnforcibleEvents (void) const

void	InsHighlevelEvent (Idx index)

Idx	InsHighlevelEvent (const std::string &rName)

void	InsLowlevelEvent (Idx index)

Idx	InsLowlevelEvent (const std::string &rName)

void	SetHighlevel (Idx index)

void	SetHighlevel (const std::string &rName)

void	SetHighlevel (const EventSet &rEvents)

void	SetLowlevel (Idx index)

void	SetLowlevel (const std::string &rName)

void	SetLowlevel (const EventSet &rEvents)

bool	Highlevel (Idx index) const

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

bool	Lowlevel (Idx index) const

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

EventSet	HighlevelEvents (void) const

EventSet	LowlevelEvents (void) const

Public Member Functions inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
	TaGenerator (void)

	TaGenerator (const TaGenerator &rOtherGen)

	TaGenerator (const vGenerator &rOtherGen)

	TaGenerator (const std::string &rFileName)

virtual TaGenerator	NewAGen (void) const

virtual	~TaGenerator (void)

TaGenerator &	operator= (const TaGenerator &rOtherGen)

virtual void	Move (TaGenerator &rGen)

virtual void	Move (Generator &rGen)

virtual void	Clear (void)

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

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)

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

Additional Inherited Members
Public Types inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
typedef TaTransSet< TransAttr >	ATransSet

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)

Protected Member Functions inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
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 inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
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 inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
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

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::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

Generator with timing extensions.

Alur's Timed Automata

The TtGenerator implements a timed automaton as introduced by Alur et al. Thus, a TtGenerator is equipped with a number of clock variables to express conditions on timing, so called time constraints. Each state has a TimeConstraint called the invariant, which must be satisfied while the generator resides in the respective state. Similarly, each transition has a timeconstraint called the guard, which must be satisfied at the moment in which the transition is executed. Transitions may also reset clock variables.

Implementation

The TimedGenerator is derived from the System and requires adequate attribute parameters that implement the timing constraints. Suitable attribute classes are provided by AttributeTimedState, AttributeTimedTrans and AttributeTimedGlobal which may be used either directly or as base classes for further derivatives. For the event attribute, the TimedGenerator assumes the AttributeCFlags interface. A convenience definition faudes::TimedGenerator is used for a minimal version with the above mentioned attribute parameters.

File IO

The TtGenerator calsses use the TaGenerator file IO, i.e. the file format is the same up to timing related requirements from the attribute parameters. The below example is from the basic version TimedGenerator and represents a simplemachine with a busy cycle of at least 5 and at most 10 time units.

<Generator name="tc simple machine"> 
 
<Alphabet>
"alpha" +C+       "beta"        "mue"         "lambda" +C+      
</Alphabet>
 
<States>
"idle"        
"busy"     <Invariant> "cBusy"   "LT" 10 </Invariant>   
"down"
</States>
 
<TransRel>
 
"idle"        "alpha"       "busy"    
<Timing>
<Resets>
"cBusy"
</Resets>
</Timing>
 
"busy"        "beta"        "idle"        
<Timing>
<Guard>    
"cBusy" "GT" 5
</Guard>
</Timing>
 
"busy"        "mue"         "down"        
 
"down"        "lambda"      "idle"        
 
</TransRel>
 
<InitStates>   "idle"  </InitStates>
<MarkedStates> "idle"  </MarkedStates>
 
<Clocks> "cBusy" </Clocks>
 
</Generator>

Definition at line 100 of file tp_tgenerator.h.

Constructor & Destructor Documentation

◆ TtGenerator() [1/4]

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

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

Constructor

Definition at line 794 of file tp_tgenerator.h.

◆ TtGenerator() [2/4]

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

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

Copy constructor

Parameters

rOtherGen

Definition at line 803 of file tp_tgenerator.h.

◆ TtGenerator() [3/4]

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

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

Copy constructor (no attributes)

Parameters

rOtherGen

Definition at line 809 of file tp_tgenerator.h.

◆ TtGenerator() [4/4]

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

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

Construct from file

Parameters

rFileName Name of file

Exceptions

Exception

file format errors (id 1, 50, 51, 52)

Definition at line 818 of file tp_tgenerator.h.

Member Function Documentation

◆ ActiveClocks()

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

ClockSet faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ActiveClocks ( void ) const

Returns all clocks used by all TimeConstraints and Resets. Should be a subset of Clocks()

Returns: ClockSet containing all clocks

Definition at line 970 of file tp_tgenerator.h.

◆ Cast()

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

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

inlinevirtual

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

Returns: TtGenerator reference if dynamic cast succeeds, else NULL

Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 169 of file tp_tgenerator.h.

◆ ClearInvariants()

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

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

Clear all invariants

Definition at line 1141 of file tp_tgenerator.h.

◆ ClockIndex()

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

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

Looks up clock index for given name

Parameters

rName Clock name

Returns: Clock index or 0 for nonexistent

Definition at line 965 of file tp_tgenerator.h.

◆ ClockName()

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

std::string faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClockName ( Idx index ) const

Looks up clock name for given index

Parameters

index Clock index

Returns: Clock name

Definition at line 960 of file tp_tgenerator.h.

◆ Clocks()

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

const ClockSet & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Clocks ( void ) const

Get clockset as const reference

Returns: mClocks

Definition at line 872 of file tp_tgenerator.h.

◆ ClocksBegin()

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

ClockSet::Iterator faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClocksBegin ( void ) const

Iterator to Begin() of mClocks

Returns: iterator to begin of mClocks

Definition at line 1010 of file tp_tgenerator.h.

◆ ClocksEnd()

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

ClockSet::Iterator faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClocksEnd ( void ) const

Iterator to End() of mClocks

Returns: iterator to end of mClocks

Definition at line 1015 of file tp_tgenerator.h.

◆ Clocksp()

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

ClockSet * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Clocksp ( void )

Get clockset as pointer

Returns: mClocks

Definition at line 877 of file tp_tgenerator.h.

◆ ClocksSize()

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

Idx faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClocksSize ( void ) const

Number of clocks in mClocks

Returns: Number of clocks in mClocks

Definition at line 867 of file tp_tgenerator.h.

◆ ClockSymbolTablep() [1/2]

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClockSymbolTablep ( SymbolTable * pClockSymTab )

Set ClockSymbolTable.

Parameters

pClockSymTab Pointer SymbolTable

Definition at line 830 of file tp_tgenerator.h.

◆ ClockSymbolTablep() [2/2]

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

SymbolTable * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClockSymbolTablep ( void ) const

Get Pointer to mpClockSymbolTable.

Returns: Pointer mpClockSymbolTable

Definition at line 825 of file tp_tgenerator.h.

◆ ClrGuard()

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrGuard ( const Transition & rTrans )

Clears Guard of a transition

Parameters

rTrans transition to manupilate

Definition at line 1271 of file tp_tgenerator.h.

◆ ClrInvariant() [1/2]

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInvariant ( const std::string & name )

Clear invariant of state by name

Parameters

name	State name

Definition at line 1135 of file tp_tgenerator.h.

◆ ClrInvariant() [2/2]

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInvariant ( Idx idx )

Clear invariant of state by index

Parameters

idx	State index

Definition at line 1129 of file tp_tgenerator.h.

◆ ClrResets()

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrResets ( const Transition & rTrans )

Clears Resets of a transition

Parameters

rTrans transition to manupilate

Definition at line 1341 of file tp_tgenerator.h.

◆ ConsistentClocks()

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ConsistentClocks ( const ClockSet & rClocks ) const

Throw exception if clocksset contains clocks not in generators clockset or symboltable mismatch

Exceptions

Exception

invalid cock (id 200)

Definition at line 1037 of file tp_tgenerator.h.

◆ ConsistentTimeConstraint()

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ConsistentTimeConstraint ( const TimeConstraint & rTimeConstr ) const

Throw exception if timeconstraint refers to clocks not in clockset or symboltable mismatch

Exceptions

Exception

invalid cock (id 200)

Definition at line 1020 of file tp_tgenerator.h.

◆ Copy()

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

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

virtual

Construct copy on heap. Constructs a TtGenerator on heap with the same attribute types and the same event- and clock-symboltable.

Returns: new Generator

Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 850 of file tp_tgenerator.h.

◆ CStr()

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

std::string faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::CStr ( Idx index ) const

Return pretty printable clock name for index. Primary meant for debugging messages

Parameters

index Event index

Returns: std::string

Definition at line 1411 of file tp_tgenerator.h.

◆ DelClock() [1/2]

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

bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelClock ( const std::string & rName )

Delete clock from generator by name. mpClockSymbolTable stays untouched. Also removes constraints and resets that refer to this clock

Parameters

rName Name of clock

Returns: True if clock did exist

Definition at line 923 of file tp_tgenerator.h.

◆ DelClock() [2/2]

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

bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelClock ( Idx index )

Delete clock from generator by index. This also removes any constraints and resets that refer to that clock.

Parameters

index Index of clock

Returns: True if clock did exist

Definition at line 904 of file tp_tgenerator.h.

◆ DelClocks()

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelClocks ( const ClockSet & rClocks )

Delete a set of clocks from generator.

Parameters

rClocks ClockSet containing clocks to remove

Definition at line 929 of file tp_tgenerator.h.

◆ DelInactiveClocks()

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

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

Update Clocks not to include any inactive clocks

Definition at line 1003 of file tp_tgenerator.h.

◆ ExistsClock() [1/2]

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

bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ExistsClock ( const std::string & rName ) const

Test existence of clock in mClock

Parameters

rName Clock name

Returns: True if clock exists

Definition at line 944 of file tp_tgenerator.h.

◆ ExistsClock() [2/2]

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

bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ExistsClock ( Idx index ) const

Test existence of clock in mClocks

Parameters

index Clock index

Returns: true / false

Definition at line 939 of file tp_tgenerator.h.

◆ FindClock() [1/2]

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

ClockSet::Iterator faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::FindClock ( const std::string & rName ) const

Returns an iterator to clock index in mClock

Parameters

rName Clock name of index to find

Returns: ClockSet::Iterator to clock index

Definition at line 955 of file tp_tgenerator.h.

◆ FindClock() [2/2]

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

ClockSet::Iterator faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::FindClock ( Idx index ) const

Returns a niterator to clock index in mClock

Parameters

index Index to find

Returns: ClockSet::Iterator to clock index

Definition at line 950 of file tp_tgenerator.h.

◆ Guard() [1/2]

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

const TimeConstraint & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Guard ( const Transition & rTrans ) const

Gets Guard refernce of a transition

Parameters

rTrans transition to inspect

Returns: Guard of transition.

Definition at line 1216 of file tp_tgenerator.h.

◆ Guard() [2/2]

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Guard	(	const Transition &	rTrans,
		const TimeConstraint &	rGuard
	)

Sets Guard of a transition

Parameters

rTrans	transition to manupilate
rGuard	new Guard of transition.

Definition at line 1242 of file tp_tgenerator.h.

◆ Guardp()

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

TimeConstraint * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Guardp ( const Transition & rTrans )

Gets Guard pointer of ransition

Parameters

rTrans transition to inspect

Returns: Guard of transition.

Definition at line 1229 of file tp_tgenerator.h.

◆ InactiveClocks()

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

ClockSet faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InactiveClocks ( void ) const

Returns all clocks not used by any TimeConstraints or Reset.

Returns: ClockSet containing all unused clocks

Definition at line 987 of file tp_tgenerator.h.

◆ InjectClocks()

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectClocks ( const ClockSet & newclocks )

Overwrites mClocks with newclocks without consistency check

Parameters

newclocks New clocks that are written to mClocks

Definition at line 882 of file tp_tgenerator.h.

◆ InsActiveClocks()

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

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

Update Clocks to include all active clocks

Definition at line 996 of file tp_tgenerator.h.

◆ InsClock() [1/2]

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

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

Add named clock to generator. An entry in the mpClockSymbolTable will be made if clock is new.

Parameters

rName Name of the clock to add

Returns: New unique index

Definition at line 893 of file tp_tgenerator.h.

◆ InsClock() [2/2]

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

bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsClock ( Idx index )

Add an existing clock to mClcoks by index

Parameters

index Clock index

Returns: True if clock was new to clockset

Definition at line 888 of file tp_tgenerator.h.

◆ InsClocks()

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsClocks ( const ClockSet & rClockSet )

Add new named clocks to generator.

Parameters

rClockSet ClockSet

Definition at line 898 of file tp_tgenerator.h.

◆ InsGuard()

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsGuard	(	const Transition &	rTrans,
		const TimeConstraint &	rConstraints
	)

adds constraints to Guard of a transition

Parameters

rTrans	transition to manupilate
rConstraints	new constraints for Guard

Definition at line 1256 of file tp_tgenerator.h.

◆ InsInvariant() [1/2]

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsInvariant	(	const std::string &	name,
		const TimeConstraint &	rConstraints
	)

Ins invariant of state by name

Parameters

name	State name
rConstraints	New constraints

Definition at line 1122 of file tp_tgenerator.h.

◆ InsInvariant() [2/2]

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsInvariant	(	Idx	index,
		const TimeConstraint &	rConstraints
	)

Ins invariant of state by name

Parameters

index	State index
rConstraints	New constraints

Definition at line 1106 of file tp_tgenerator.h.

◆ InsResets()

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsResets	(	const Transition &	rTrans,
		const ClockSet &	rMoreResets
	)

adds Resets of a transition

Parameters

rTrans	transition to manupilate
rMoreResets	new Resets of transition.

Definition at line 1325 of file tp_tgenerator.h.

◆ Invariant() [1/4]

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

const TimeConstraint & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariant ( const std::string & name ) const

Get invariant of state by name

Parameters

name	State name

Returns: Const ref to invariant

Definition at line 1072 of file tp_tgenerator.h.

◆ Invariant() [2/4]

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariant	(	const std::string &	name,
		const TimeConstraint &	rConstraints
	)

Set invariant of state by name

Parameters

name	State name
rConstraints	New constraints

Definition at line 1099 of file tp_tgenerator.h.

◆ Invariant() [3/4]

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

const TimeConstraint & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariant ( Idx idx ) const

Get invariant of state by index

Parameters

idx	State index

Returns: Const ref to invariant

Definition at line 1052 of file tp_tgenerator.h.

◆ Invariant() [4/4]

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariant	(	Idx	index,
		const TimeConstraint &	rConstraints
	)

Set invariant of state by index

Parameters

index	State index
rConstraints	New constraints

Definition at line 1084 of file tp_tgenerator.h.

◆ Invariantp() [1/2]

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

TimeConstraint * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariantp ( const std::string & name )

Get invariant of state by name

Parameters

name	State index

Returns: Pointer to invariant

Definition at line 1078 of file tp_tgenerator.h.

◆ Invariantp() [2/2]

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

TimeConstraint * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariantp ( Idx idx )

Get invariant of state by index

Parameters

idx	State index

Returns: Pointer to invariant

Definition at line 1062 of file tp_tgenerator.h.

◆ New()

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

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

virtual

Construct on heap. Constructs a TtGenerator on heap with the same attribute types and the same event- and clock-symboltable.

Returns: new Generator

Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 837 of file tp_tgenerator.h.

◆ NewTGen()

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

TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewTGen ( void ) const

Construct on stack. Constructs a TtGenerator on stack with the same attribute types and the same event- and clock-symboltable.

Returns: new Generator

Definition at line 858 of file tp_tgenerator.h.

◆ operator=()

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

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

inline

Assignment operator (uses Assign) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly

Parameters

rOtherGen Other generator

Definition at line 129 of file tp_tgenerator.h.

◆ Resets() [1/2]

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

const ClockSet & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Resets ( const Transition & rTrans ) const

Gets Resets refernce of a transition

Parameters

rTrans transition to inspect

Returns: Resets of transition.

Definition at line 1285 of file tp_tgenerator.h.

◆ Resets() [2/2]

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

void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Resets	(	const Transition &	rTrans,
		const ClockSet &	rResets
	)

Sets Resets of a transition

Parameters

rTrans	transition to manupilate
rResets	new Resets of transition.

Definition at line 1311 of file tp_tgenerator.h.

◆ Resetsp()

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

ClockSet * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Resetsp ( const Transition & rTrans )

Gets Resets pointer of ransition

Parameters

rTrans transition to inspect

Returns: Resets of transition.

Definition at line 1298 of file tp_tgenerator.h.

◆ SetTransition() [1/6]

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

bool faudes::TtGenerator< 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 1148 of file tp_tgenerator.h.

◆ SetTransition() [2/6]

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

bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition	(	const std::string &	rX1,
		const std::string &	rEv,
		const std::string &	rX2,
		const TimeConstraint &	rGuard = `TimeConstraint()`,
		const ClockSet &	rResets = `ClockSet()`
	)

Inserts new TimedTransition constructed from parameters. Performs consistency checks for x1, x2, ev and all clocks in rguard and rResetClocks.

Parameters

rX1	Start state of new TimedTransition.
rEv	Event of new TimedTransition.
rX2	Goal state of new TimedTransition.
rGuard	Guard of new TimedTransition.
rResets	Reset clocks of new TimedTransition.

Returns: True, if the transition was new the generator

Definition at line 1190 of file tp_tgenerator.h.

◆ SetTransition() [3/6]

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

bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition	(	const Transition &	rTrans,
		const TimeConstraint &	rGuard = `TimeConstraint()`,
		const ClockSet &	rResets = `ClockSet()`
	)

Inserts new TimedTransition constructed from parameters. Performs consistency checks for x1, x2, ev and all clocks in rguard and rResetClocks.

Parameters

rTrans	new transition
rGuard	Guard of new TimedTransition.
rResets	Reset clocks of new TimedTransition.

Returns: True, if the transition was new the generator

Definition at line 1164 of file tp_tgenerator.h.

◆ SetTransition() [4/6]

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

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

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

Define FAUDES_CHECKED for consistency checks.

Parameters

rTransition	transition
rAttr	attribute

Returns: True, if the transition was new the generator

Definition at line 1159 of file tp_tgenerator.h.

◆ SetTransition() [5/6]

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

bool faudes::TtGenerator< 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 1154 of file tp_tgenerator.h.

◆ SetTransition() [6/6]

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

bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition	(	Idx	x1,
		Idx	ev,
		Idx	x2,
		const TimeConstraint &	rguard,
		const ClockSet &	rResetClocks = `ClockSet()`
	)

Inserts new TimedTransition constructed from parameters. Performs consistency checks for x1, x2, ev and all clocks in rguard and rResetClocks.

Parameters

x1	Start state of new TimedTransition.
ev	Event of new TimedTransition.
x2	Goal state of new TimedTransition.
rguard	Guard of new TimedTransition.
rResetClocks	Reset clocks of new TimedTransition.

Definition at line 1184 of file tp_tgenerator.h.

◆ UpdateAttributes()

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

bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UpdateAttributes ( void )

virtual

Updates internal attributes. As a demo, we set state flag 0x20000000 for blocking states. Reimplement to your needs.

Returns: true if value changed

Reimplemented from faudes::vGenerator.

Definition at line 1388 of file tp_tgenerator.h.

◆ Valid()

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

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

virtual

Check if generator is valid

Returns: Success

Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Reimplemented in faudes::Executor.

Definition at line 1355 of file tp_tgenerator.h.

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

tp_tgenerator.h

Public Member Functions

Additional Inherited Members

Detailed Description

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

Alur's Timed Automata

Implementation

File IO

Constructor & Destructor Documentation

◆ TtGenerator() [1/4]

◆ TtGenerator() [2/4]

◆ TtGenerator() [3/4]

◆ TtGenerator() [4/4]

Member Function Documentation

◆ ActiveClocks()

◆ Cast()

◆ ClearInvariants()

◆ ClockIndex()

◆ ClockName()

◆ Clocks()

◆ ClocksBegin()

◆ ClocksEnd()

◆ Clocksp()

◆ ClocksSize()

◆ ClockSymbolTablep() [1/2]

◆ ClockSymbolTablep() [2/2]

◆ ClrGuard()

◆ ClrInvariant() [1/2]

◆ ClrInvariant() [2/2]

◆ ClrResets()

◆ ConsistentClocks()

◆ ConsistentTimeConstraint()

◆ Copy()

◆ CStr()

◆ DelClock() [1/2]

◆ DelClock() [2/2]

◆ DelClocks()

◆ DelInactiveClocks()

◆ ExistsClock() [1/2]

◆ ExistsClock() [2/2]

◆ FindClock() [1/2]

◆ FindClock() [2/2]

◆ Guard() [1/2]

◆ Guard() [2/2]

◆ Guardp()

◆ InactiveClocks()

◆ InjectClocks()

◆ InsActiveClocks()

◆ InsClock() [1/2]

◆ InsClock() [2/2]

◆ InsClocks()

◆ InsGuard()

◆ InsInvariant() [1/2]

◆ InsInvariant() [2/2]

◆ InsResets()

◆ Invariant() [1/4]

◆ Invariant() [2/4]

◆ Invariant() [3/4]

◆ Invariant() [4/4]

◆ Invariantp() [1/2]

◆ Invariantp() [2/2]

◆ New()

◆ NewTGen()

◆ operator=()

◆ Resets() [1/2]

◆ Resets() [2/2]

◆ Resetsp()

◆ SetTransition() [1/6]

◆ SetTransition() [2/6]

◆ SetTransition() [3/6]

◆ SetTransition() [4/6]

◆ SetTransition() [5/6]

◆ SetTransition() [6/6]

◆ UpdateAttributes()

◆ Valid()

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