#include <mtc_generator.h>

Public Member Functions
Constructor, Destructor and Copy-Methods
	TmtcGenerator (void)

	TmtcGenerator (const TmtcGenerator &rOtherGen)

	TmtcGenerator (const vGenerator &rOtherGen)

	TmtcGenerator (const std::string &rFileName)

	~TmtcGenerator (void)

virtual TmtcGenerator *	New (void) const

virtual TmtcGenerator *	Copy (void) const

virtual TmtcGenerator &	Assign (const Type &rSrc)

TmtcGenerator &	operator= (const TmtcGenerator &rOtherGen)

Color Symbol Table
SymbolTable *	GlobalColorSymbolTablep (void) const

SymbolTable *	ColorSymbolTablep (void) const

void	ColorSymbolTable (SymbolTable *pSymTab)

void	ColorSymbolTable (const TmtcGenerator &rOtherGen)

Editing Colored States
Idx	InsColoredState (const std::string &rStateName, const std::string &rColorName)

Idx	InsColoredState (const std::string &rStateName, Idx colorIndex)

Idx	InsColoredState (const std::string &rStateName, const ColorSet &rColors)

Idx	InsColoredState (const ColorSet &rColors)

Idx	InsColor (Idx stateIndex, const std::string &rColorName)

void	InsColor (Idx stateIndex, Idx colorIndex)

void	InsColors (Idx stateIndex, const ColorSet &rColors)

void	DelColor (Idx stateIndex, const std::string &rColorName)

void	DelColor (Idx stateIndex, Idx colorIndex)

void	DelColor (const std::string &rColorName)

void	DelColor (Idx colorIndex)

void	ClrColors (Idx stateIndex)

void	ClearStateAttributes ()

Analyse Colored States and State Colors
void	Colors (ColorSet &rColors) const

ColorSet	Colors (void) const

const ColorSet &	Colors (Idx stateIndex) const

StateSet	ColoredStates (Idx colorIndex) const

StateSet	ColoredStates (const std::string &rColorName) const

StateSet	ColoredStates () const

StateSet	UncoloredStates () const

bool	ExistsColor (Idx colorIndex) const

bool	ExistsColor (const std::string &rColorName) const

bool	ExistsColor (Idx stateIndex, Idx colorIndex) const

bool	IsColored (void) const

bool	IsColored (Idx stateIndex) const

Symbol Table
void	DelColorName (Idx colorIndex)

void	CheckSymbolTable (Idx colorIndex)

void	CheckSymbolTable (ColorSet &rColors)

std::string	ColorName (Idx colorIndex) const

Idx	ColorIndex (const std::string &rColorName) const

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

std::string	CStr (Idx index) const

Reachability
StateSet	StronglyCoaccessibleSet (void) const

bool	StronglyCoaccessible (void)

bool	IsStronglyCoaccessible (void) const

StateSet	StronglyTrimSet (void) const

bool	StronglyTrim (void)

bool	IsStronglyTrim (void) const

Further Methods
void	NewColorSymbolTable ()

std::map< Idx, ColorSet >	StateColorMap (void) const

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)

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

TcGenerator	NewCGen (void) const

TcGenerator &	operator= (const TcGenerator &rOtherGen)

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)

bool	Valid (void) const

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 bool	UpdateAttributes (void)

virtual void	ClearEventAttributes (void)

virtual void	ClrEventAttribute (Idx index)

virtual void	EventAttributes (const EventSet &rEventSet)

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	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
void	DoAssign (const TmtcGenerator &rSrc)

virtual void	DoSWrite (TokenWriter &rTw) const

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

Protected Attributes
SymbolTable *	mpColorSymbolTable

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

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)

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)

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

Allows to create colored marking generators (CMGs) as the common five tupel consisting of alphabet, stateset, transition relation, initial states, marked states, and attributes for state and event properties. Thus, it is possible to set a control status for events and to add or delete colored markings to single states. Doing so, multitasking generators can be computed and their behaviour be analysed.Methods for examining the color status are included as well as those for making a CMG accessible or strongly coaccessible. Furthermore, input and output methods for MtcSystems are included.

Definition at line 53 of file mtc_generator.h.

Constructor & Destructor Documentation

◆ TmtcGenerator() [1/4]

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

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

doxygen group Creates an emtpy MtcSystem

Definition at line 801 of file mtc_generator.h.

◆ TmtcGenerator() [2/4]

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

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

Creates an mtcgenerator from another mtcgenerator - copy constructor:

If the other MtcSystem uses a local color symbol table, the new generator also creates a local symbol table. This new one is empty! If you use a local symbol table, you should implement a copy mechanism for the entries of the original generator's symbol table.

Parameters

rOtherGen Other mtcgenerator to copy

Definition at line 807 of file mtc_generator.h.

◆ TmtcGenerator() [3/4]

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

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

Creates an mtcgenerator from another generator - copy constructor

Parameters

rOtherGen Other generator to copy

Definition at line 816 of file mtc_generator.h.

◆ TmtcGenerator() [4/4]

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

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

Constructs an MtcSystem from file

Define FAUDES_CHECKED for consistency checks

Parameters

rFileName Filename

Exceptions

Exception

Opening/reading failed (ids 1, 50, 51)

Definition at line 823 of file mtc_generator.h.

◆ ~TmtcGenerator()

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

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

inline

Destructor for MtcSystem

Definition at line 103 of file mtc_generator.h.

Member Function Documentation

◆ Assign()

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

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

virtual

Assignment

Parameters

rSrc	MtcSystem to copy from

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

Definition at line 879 of file mtc_generator.h.

◆ CheckSymbolTable() [1/2]

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

void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::CheckSymbolTable ( ColorSet & rColors )

Delete all colors from the given color set from the color symbol table by calling DelColorName if they are not used anymore. rColors must use the same symbol table as the MtcSystem!

Parameters

rColors Color set with all colors that will be deleted from symbol table if not used anymore

Exceptions

Exception

Symbol table mismatch (id 88)

Definition at line 1237 of file mtc_generator.h.

◆ CheckSymbolTable() [2/2]

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

void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::CheckSymbolTable ( Idx colorIndex )

Delete the given color from the symbol table if it is not used anymore in the generator by calling DelColorName.

Parameters

colorIndex Color which will be deleted from symbol table if not used anymore

Definition at line 1227 of file mtc_generator.h.

◆ ClearStateAttributes()

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

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

virtual

Clear all the generator's state attributes. The current implementation also clears the color symbol table if it is local. This behaviour may change in future.

Reimplemented from faudes::vGenerator.

Definition at line 1622 of file mtc_generator.h.

◆ ClrColors()

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

void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrColors ( Idx stateIndex )

Remove all colors from a particular state. If symbol table is local, unused colors are deleted from it, global symbol table stays untouched.

Define FAUDES_CHECKED for consistency checks

Parameters

stateIndex State where colors should be removed

Exceptions

Exception

Index not member of set (id 200)

Definition at line 1155 of file mtc_generator.h.

◆ ColoredStates() [1/3]

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

StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColoredStates

Returns a state set containing all colored states of the MtcSystem.

Returns: State set containing colored states

Definition at line 1471 of file mtc_generator.h.

◆ ColoredStates() [2/3]

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

StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColoredStates ( const std::string & rColorName ) const

Returns a state set containing all states that are colored with the color given by name.

Parameters

rColorName Color whose corresponding states shall be returned

Returns: State set containing appropriate states

Definition at line 1465 of file mtc_generator.h.

◆ ColoredStates() [3/3]

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

StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColoredStates ( Idx colorIndex ) const

Returns a state set containing all states that are colored with the color given by index.

Parameters

colorIndex Color whose corresponding states shall be returned

Returns: State set containing appropriate states

Definition at line 1455 of file mtc_generator.h.

◆ ColorIndex()

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

Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColorIndex ( const std::string & rColorName ) const

Look up the color index for a given color name.

Parameters

rColorName

Returns: Color index

Definition at line 1285 of file mtc_generator.h.

◆ ColorName()

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

std::string faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColorName ( Idx colorIndex ) const

Look up the color name for a given color index.

Parameters

colorIndex

Returns: Color name

Definition at line 1280 of file mtc_generator.h.

◆ Colors() [1/3]

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

void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Colors ( ColorSet & rColors ) const

doxygen group Insert all colors used in the generator to a given ColorSet.

Parameters

rColors Color set in which all colors of the generator will be inserted

Exceptions

Exception

Symbol table mismatch (id 88)

Definition at line 1182 of file mtc_generator.h.

◆ Colors() [2/3]

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

const ColorSet & faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Colors ( Idx stateIndex ) const

Return a color set which contains all colors of one state.

Returns: Color set with state's colors

Exceptions

Exception

Index not member of set (id 200)

Definition at line 1209 of file mtc_generator.h.

◆ Colors() [3/3]

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

ColorSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Colors ( void ) const

Returns a color set containing all the generator's colors.

Returns: Color set with generators colors

Definition at line 1198 of file mtc_generator.h.

◆ ColorSymbolTable() [1/2]

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

void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColorSymbolTable ( const TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & rOtherGen )

Set ColorSymbolTable as given by rOtherGen.

Parameters

rOtherGen Other generator

Definition at line 912 of file mtc_generator.h.

◆ ColorSymbolTable() [2/2]

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

void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColorSymbolTable ( SymbolTable * pSymTab )

Set ColorSymbolTable to be used by this MtcSystem. Note: the managemnt of local color symbol tables needs a re-design. Dont use thus feature.

Parameters

pSymTab Pointer to SymbolTable

Definition at line 907 of file mtc_generator.h.

◆ ColorSymbolTablep()

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

SymbolTable * faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColorSymbolTablep ( void ) const

Get Pointer to ColorSymbolTable currently used by this MtcSystem.

Returns: Pointer to ColorSymbolTable

Definition at line 902 of file mtc_generator.h.

◆ Copy()

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

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

virtual

Construct copy on heap.

Returns: New Generator

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

Definition at line 844 of file mtc_generator.h.

◆ CStr()

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

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

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

Parameters

index

Returns: std::string Color name

Definition at line 1290 of file mtc_generator.h.

◆ DelColor() [1/4]

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

void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelColor ( const std::string & rColorName )

Remove color by name from all states

Parameters

rColorName Name of state color

Definition at line 1130 of file mtc_generator.h.

◆ DelColor() [2/4]

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

void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelColor ( Idx colorIndex )

Remove color by index from all states

Parameters

colorIndex Index of state color

Definition at line 1144 of file mtc_generator.h.

◆ DelColor() [3/4]

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

void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelColor	(	Idx	stateIndex,
		const std::string &	rColorName
	)

Remove color by name from an existing state specified by index

Define FAUDES_CHECKED for consistency checks.

Parameters

stateIndex	State index
rColorName	Name of the state color

Exceptions

Exception

Index not member of set (id 200)
Name not found in NameSet (id 202)

Definition at line 1075 of file mtc_generator.h.

◆ DelColor() [4/4]

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

void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelColor	(	Idx	stateIndex,
		Idx	colorIndex
	)

Remove color by index form an existing state specified by index

Define FAUDES_CHECKED for consistency checks.

Parameters

stateIndex	State index
colorIndex	Index of the state color

Exceptions

Exception

Index not member of set (id 200)
Color index not found in generator (id 205)

Definition at line 1105 of file mtc_generator.h.

◆ DelColorName()

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

void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelColorName ( Idx colorIndex )

doxygen group Finally deletes a color name and its index from the currently used symbol table.

Parameters

colorIndex Index of color to delete from symbol table

Definition at line 1177 of file mtc_generator.h.

◆ DoAssign()

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

void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DoAssign ( const TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & rSrc )

protected

Assignment

Definition at line 855 of file mtc_generator.h.

◆ DoSWrite()

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

void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DoSWrite ( TokenWriter & rTw ) const

protectedvirtual

Token output, see Type::SWrite for public wrappers. The method assumes that the type parameter is a faudes type and uses the provide write method per entry. Reimplement this function in derived classes for non-faudes type vectors.

Parameters

rTw	Reference to TokenWriter

Exceptions

Exception

IO errors (id 2)

Reimplemented from faudes::vGenerator.

Definition at line 1629 of file mtc_generator.h.

◆ DotWrite()

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

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

virtual

doxygen group Writes generator to dot input format.

The dot file format is specified by the graphiz package; see http://www.graphviz.org. The package includes the dot command line tool to generate a graphical representation of the generators graph. See also Generator::GraphWrite(). This functions sets the re-indexing to minimal indices.

Parameters

rFileName Name of file to save result

Reimplemented from faudes::vGenerator.

Definition at line 1311 of file mtc_generator.h.

◆ ExistsColor() [1/3]

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

bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ExistsColor ( const std::string & rColorName ) const

Check if color exists in generator.

Define FAUDES_CHECKED for consistency checks

Parameters

rColorName Color name which will be examined regarding existence in the generator

Returns: true if color exists

Exceptions

Exception

Color name not found in symbol table (id 202)

Definition at line 1267 of file mtc_generator.h.

◆ ExistsColor() [2/3]

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

bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ExistsColor ( Idx colorIndex ) const

Check if color exists in generator.

Parameters

colorIndex Index which will be examined regarding existence in the generator

Returns: true if color exists

Definition at line 1258 of file mtc_generator.h.

◆ ExistsColor() [3/3]

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

bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ExistsColor	(	Idx	stateIndex,
		Idx	colorIndex
	)		const

Check if color exists in a given state of the MtcSystem.

Define FAUDES_CHECKED for consistency checks

Parameters

stateIndex	Index which determines the generator's state
colorIndex	Color index to look for in given state

Returns: true if color exists in state

Exceptions

Exception

Index not member of set (id 200)

Definition at line 1295 of file mtc_generator.h.

◆ GlobalColorSymbolTablep()

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

SymbolTable * faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalColorSymbolTablep ( void ) const

doxygen group Get Pointer to global ColorSymbolTable. This is a static member of ColorSet and used as default for all derived classes and instantiated objects.

Returns: Pointer to global ColorSymbolTable

Definition at line 897 of file mtc_generator.h.

◆ InsColor() [1/2]

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

Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColor	(	Idx	stateIndex,
		const std::string &	rColorName
	)

Insert a color by name into an existing state

Define FAUDES_CHECKED for consistency checks

Parameters

stateIndex	Index of state to be set as colored state
rColorName	Name of state color to be added

Returns: Index of inserted color

Exceptions

Exception

Index not member of set (id 200)
Name already exists / invalid name (id 104)

Definition at line 988 of file mtc_generator.h.

◆ InsColor() [2/2]

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

void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColor	(	Idx	stateIndex,
		Idx	colorIndex
	)

Insert a color by index into an existing state

Define FAUDES_CHECKED for consistency checks

Parameters

stateIndex	Index of state to be set as colored state
colorIndex	Index of color to be added to state, must already exist in symbol table

Exceptions

Exception

State index not member of set (id 200)
Color index not known to symbol table (id 200)

Definition at line 1016 of file mtc_generator.h.

◆ InsColoredState() [1/4]

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

Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColoredState ( const ColorSet & rColors )

Create a new unnamed state and set the colors from rColors

Parameters

rColors Color set

Returns: Index of new unique state

Definition at line 981 of file mtc_generator.h.

◆ InsColoredState() [2/4]

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

Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColoredState	(	const std::string &	rStateName,
		const ColorSet &	rColors
	)

Create a new named state and set the colors from rColors

Parameters

rStateName	Name of the state to add
rColors	Color set

Returns: Index of new unique state

Definition at line 974 of file mtc_generator.h.

◆ InsColoredState() [3/4]

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

Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColoredState	(	const std::string &	rStateName,
		const std::string &	rColorName
	)

doxygen group Create a new named state and set the color rColorName

Define FAUDES_CHECKED for consistency checks

Parameters

rStateName	Name of the state to add
rColorName	Name of the state color

Returns: Index of new unique state

Exceptions

Exception

Name already exists (id 104)
Index not member of set (id 200)

Definition at line 917 of file mtc_generator.h.

◆ InsColoredState() [4/4]

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

Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColoredState	(	const std::string &	rStateName,
		Idx	colorIndex
	)

Create a new named state and set the color colorIndex

Define FAUDES_CHECKED for consistency checks

Parameters

rStateName	Name of the state to add
colorIndex	Index of the state color, must already exist in symbol table

Returns: Index of new unique state

Exceptions

Exception

Color index not known to symbol table (id 200)

Definition at line 955 of file mtc_generator.h.

◆ InsColors()

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

void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColors	(	Idx	stateIndex,
		const ColorSet &	rColors
	)

Insert multiple colors from a color set into an existing state

Define FAUDES_CHECKED for consistency checks

Parameters

stateIndex	Index of state to be set as colored state
rColors	Reference to color set with colors to set for state, colors must already exist in symbol table

Exceptions

Exception

State index not member of set (id 200)
Symbol table mismach (id 200)
Symbol table mismatch (id 88)

Definition at line 1042 of file mtc_generator.h.

◆ IsColored() [1/2]

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

bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsColored ( Idx stateIndex ) const

Check if the given state is colored or not.

Define FAUDES_CHECKED for consistency checks

Parameters

stateIndex State to examine

Returns: True if given state is colored

Exceptions

Exception

State index not member of set (id 200)

Definition at line 1500 of file mtc_generator.h.

◆ IsColored() [2/2]

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

bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsColored ( void ) const

Check if there is at least one colored state in the MtcSystem.

Returns: True if there is at least one colored state

Definition at line 1491 of file mtc_generator.h.

◆ IsStronglyCoaccessible()

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

bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsStronglyCoaccessible ( void ) const

Check if MtcSystem is strongly coaccessible.

Returns: True if generator is strongly coaccessible

Definition at line 1544 of file mtc_generator.h.

◆ IsStronglyTrim()

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

bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsStronglyTrim ( void ) const

Check if the MtcSystem is strongly trim.

Returns: True if generator is strongly trim

Definition at line 1570 of file mtc_generator.h.

◆ New()

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

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

virtual

Construct on heap.

Returns: New Generator

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

Definition at line 830 of file mtc_generator.h.

◆ NewColorSymbolTable()

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

void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewColorSymbolTable

doxygen group Insert a new local color symbol table. mpColorSymbolTable is reset. The color symbol table pointer in every state attribute's mColors is also reset to the new symbol table. If there already exist color entries in the current symbol table, they are copied to the new local one.

Define FAUDES_CHECKED for consistency checks

Exceptions

Exception

Could not insert index and symbol to symbol table (id 44)

Definition at line 1582 of file mtc_generator.h.

◆ operator=()

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

TmtcGenerator& faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= ( const TmtcGenerator< 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 139 of file mtc_generator.h.

◆ StateColorMap()

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

std::map< Idx, ColorSet > faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StateColorMap ( void ) const

Return a color map with state indices and their corresponding colors. Only states with asociated colors are part of this list.

Returns: color map Standard library map where states and corresponding colors are saved

Definition at line 1443 of file mtc_generator.h.

◆ StronglyCoaccessible()

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

bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StronglyCoaccessible ( void )

Make generator strongly coaccessible. Forbidden states are deleted.

Returns: True if generator is strongly coaccessible

Example: Computation of the strongly coaccessible form of an MtcSystem

Original MtcSystem gen

From state 3 states with other colored markings cannot be reached. So, this generator is weakly coaccessible w.r.t. its color set, but not strongly coaccessible w.r.t. it.

Result of gen.StronglyCoaccessible();

Resulting MtcSystem is strongly coaccessible w.r.t its new color set where the color of the primary state 3 is missing

Definition at line 1537 of file mtc_generator.h.

◆ StronglyCoaccessibleSet()

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

StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StronglyCoaccessibleSet ( void ) const

doxygen group Generate a state set with all strongly coaccessible states.

Returns: StateSet Coaccessible states

Definition at line 1515 of file mtc_generator.h.

◆ StronglyTrim()

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

bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StronglyTrim ( void )

Make generator strongly trim. Therefore, the forbidden states are deleted.

Returns: True if generator is strongly trim

Example: Computation of the strongly trim form of an MtcSystem

Original MtcSystem gen

State 5 is not accessible and from state 3 other states with other colored markings cannot be reached. So, this generator is not accessible and weakly coaccessible w.r.t. its color set.

Result of gen.StronglyTrim();

Resulting MtcSystem is strongly trim, which means accessible and strongly coaccessible w.r.t its color set

Definition at line 1556 of file mtc_generator.h.

◆ StronglyTrimSet()

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

StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StronglyTrimSet ( void ) const

Generate a state set with all the strongly trim generator's states.

Returns: StateSet All states for which generator is strongly trim

Definition at line 1549 of file mtc_generator.h.

◆ UncoloredStates()

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

StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UncoloredStates

Returns a state set containing all states that are not colored.

Returns: State set containing uncolored states

Definition at line 1481 of file mtc_generator.h.

Member Data Documentation

◆ mpColorSymbolTable

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

SymbolTable* faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::mpColorSymbolTable

protected

Pointer to currently used symbol table

Definition at line 723 of file mtc_generator.h.

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

mtc_generator.h

Public Member Functions

Protected Member Functions

Protected Attributes

Additional Inherited Members

Detailed Description

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

Constructor & Destructor Documentation

◆ TmtcGenerator() [1/4]

◆ TmtcGenerator() [2/4]

◆ TmtcGenerator() [3/4]

◆ TmtcGenerator() [4/4]

◆ ~TmtcGenerator()

Member Function Documentation

◆ Assign()

◆ CheckSymbolTable() [1/2]

◆ CheckSymbolTable() [2/2]

◆ ClearStateAttributes()

◆ ClrColors()

◆ ColoredStates() [1/3]

◆ ColoredStates() [2/3]

◆ ColoredStates() [3/3]

◆ ColorIndex()

◆ ColorName()

◆ Colors() [1/3]

◆ Colors() [2/3]

◆ Colors() [3/3]

◆ ColorSymbolTable() [1/2]

◆ ColorSymbolTable() [2/2]

◆ ColorSymbolTablep()

◆ Copy()

◆ CStr()

◆ DelColor() [1/4]

◆ DelColor() [2/4]

◆ DelColor() [3/4]

◆ DelColor() [4/4]

◆ DelColorName()

◆ DoAssign()

◆ DoSWrite()

◆ DotWrite()

◆ ExistsColor() [1/3]

◆ ExistsColor() [2/3]

◆ ExistsColor() [3/3]

◆ GlobalColorSymbolTablep()

◆ InsColor() [1/2]

◆ InsColor() [2/2]

◆ InsColoredState() [1/4]

◆ InsColoredState() [2/4]

◆ InsColoredState() [3/4]

◆ InsColoredState() [4/4]

◆ InsColors()

◆ IsColored() [1/2]

◆ IsColored() [2/2]

◆ IsStronglyCoaccessible()

◆ IsStronglyTrim()

◆ New()

◆ NewColorSymbolTable()

◆ operator=()

◆ StateColorMap()

◆ StronglyCoaccessible()

Example: Computation of the strongly coaccessible form of an MtcSystem

◆ StronglyCoaccessibleSet()

◆ StronglyTrim()

Example: Computation of the strongly trim form of an MtcSystem

◆ StronglyTrimSet()

◆ UncoloredStates()

Member Data Documentation

◆ mpColorSymbolTable

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