#include <ios_system.h>

Public Member Functions
Constructors & Destructor
	TioGenerator (void)

	~TioGenerator (void)

	TioGenerator (const std::string &rFileName)

virtual TioGenerator *	New (void) const

	TioGenerator (const vGenerator &rOtherGen)

	TioGenerator (const TioGenerator &rOtherGen)

virtual TioGenerator *	Copy (void) const

TioGenerator	NewIoSystem (void) const

Assignment
virtual TioGenerator &	operator= (const TioGenerator &rOtherGen)

Insertion with attributes
void	InsOutputEvent (Idx index)

Idx	InsOutputEvent (const std::string &rName)

void	InsInputEvent (Idx index)

Idx	InsInputEvent (const std::string &rName)

Event attributes <br>
EventSet	OutputEvents (void) const

void	OutputEvents (const EventSet &rEventSet)

bool	OutputEvent (Idx index) const

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

void	SetOutputEvent (Idx index)

void	SetOutputEvent (const std::string &rName)

void	SetOutputEvent (const EventSet &rEventSet)

void	ClrOutputEvent (Idx index)

void	ClrOutputEvent (const std::string &rName)

void	ClrOutputEvent (const EventSet &rEventSet)

EventSet	InputEvents (void) const

void	InputEvents (const EventSet &rEventSet)

bool	InputEvent (Idx index) const

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

void	SetInputEvent (Idx index)

void	SetInputEvent (const std::string &rName)

void	SetInputEvent (const EventSet &rEventSet)

void	ClrInputEvent (Idx index)

void	ClrInputEvent (const std::string &rName)

void	ClrInputEvent (const EventSet &rEventSet)

State attributes <br>
StateSet	OutputStates (void) const

void	OutputStates (const StateSet &rStateSet)

bool	OutputState (Idx index) const

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

void	SetOutputState (Idx index)

void	SetOutputState (const std::string &rName)

void	SetOutputState (const StateSet &rStateSet)

void	ClrOutputState (Idx index)

void	ClrOutputState (const std::string &rName)

void	ClrOutputState (const StateSet &rStateSet)

StateSet	InputStates (void) const

void	InputStates (const StateSet &rStateSet)

bool	InputState (Idx index) const

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

void	SetInputState (Idx index)

void	SetInputState (const std::string &rName)

void	SetInputState (const StateSet &rStateSet)

void	ClrInputState (Idx index)

void	ClrInputState (const std::string &rName)

void	ClrInputState (const StateSet &rStateSet)

StateSet	ErrorStates (void) const

void	ErrorStates (const StateSet &rStateSet)

bool	ErrorState (Idx index) const

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

void	SetErrorState (Idx index)

void	SetErrorState (const std::string &rName)

void	SetErrorState (const StateSet &rStateSet)

void	ClrErrorState (Idx index)

void	ClrErrorState (const std::string &rName)

void	ClrErrorState (const StateSet &rStateSet)

Misc <br>
virtual bool	UpdateAttributes (void)

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 const Type *	Cast (const Type *pOther) const

virtual	~TaGenerator (void)

virtual TaGenerator &	Assign (const Type &rSrc)

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

Generator with I/O-system attributes.

An IoSystem is a generator with attributes for the representation of I/O systems, i.e., systems with alternating input events U and output events Y.

The IoSystem template assumes that the StateAttr and EventAttr parameter is derived from AttributeIosState and AttributeIosEvent, respectively.

Definition at line 34 of file ios_system.h.

Constructor & Destructor Documentation

◆ TioGenerator() [1/4]

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

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

doxygen group Default constructor

Definition at line 786 of file ios_system.h.

◆ ~TioGenerator()

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

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

Default destructor

Definition at line 791 of file ios_system.h.

◆ TioGenerator() [2/4]

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

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

Construtor

Create IoSystem from file

Parameters

rFileName Filename

Exceptions

Exception

File io error (id 1)
Token mismatch (id 50, 51, ...)

Definition at line 796 of file ios_system.h.

◆ TioGenerator() [3/4]

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

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

Copy constructor

Create IoSystem from a std. Generator

Parameters

rOtherGen

Definition at line 807 of file ios_system.h.

◆ TioGenerator() [4/4]

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

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

Copy constructor

Create IoSystem from another IoSystem

Parameters

rOtherGen

Definition at line 802 of file ios_system.h.

Member Function Documentation

◆ ClrErrorState() [1/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErrorState ( const StateSet & rStateSet )

Unmak states as error states

Parameters

rStateSet Set of states to unmark

Exceptions

Exception

Some state does ot exist in generator (id 60)

Definition at line 1248 of file ios_system.h.

◆ ClrErrorState() [2/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErrorState ( const std::string & rName )

Unmark state as error state

Parameters

rName State name

Exceptions

Exception

State does ot exist in generator (id 60)

Definition at line 1241 of file ios_system.h.

◆ ClrErrorState() [3/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErrorState ( Idx index )

Unmark state as error state

Parameters

index State index

Exceptions

Exception

State does ot exist in generator (id 60)

Definition at line 1233 of file ios_system.h.

◆ ClrInputEvent() [1/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputEvent ( const EventSet & rEventSet )

Unmak events as input events

Parameters

rEventSet Set of events to unmark

Exceptions

Exception

Some event not found in alphabet (id 60)

Definition at line 1015 of file ios_system.h.

◆ ClrInputEvent() [2/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputEvent ( const std::string & rName )

Unmark event as input event

Parameters

rName Event name

Exceptions

Exception

Event not found in alphabet (id 60)

Definition at line 1008 of file ios_system.h.

◆ ClrInputEvent() [3/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputEvent ( Idx index )

Unmark event as input event

Parameters

index Event index

Exceptions

Exception

Event not found in alphabet (id 60)

Definition at line 1000 of file ios_system.h.

◆ ClrInputState() [1/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputState ( const StateSet & rStateSet )

Unmak states as input states

Parameters

rStateSet Set of states to unmark

Exceptions

Exception

Some state not found in alphabet (id 60)

Definition at line 1169 of file ios_system.h.

◆ ClrInputState() [2/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputState ( const std::string & rName )

Unmark state as input state

Parameters

rName State name

Exceptions

Exception

State not found in alphabet (id 60)

Definition at line 1162 of file ios_system.h.

◆ ClrInputState() [3/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputState ( Idx index )

Unmark state as input state

Parameters

index State index

Exceptions

Exception

State not found in alphabet (id 60)

Definition at line 1154 of file ios_system.h.

◆ ClrOutputEvent() [1/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputEvent ( const EventSet & rEventSet )

Unmak events as output events

Parameters

rEventSet Set of events to unmark

Exceptions

Exception

Some event does ot exist in generator (id 60)

Definition at line 938 of file ios_system.h.

◆ ClrOutputEvent() [2/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputEvent ( const std::string & rName )

Unmark event as output event

Parameters

rName Event name

Exceptions

Exception

Event does ot exist in generator (id 60)

Definition at line 931 of file ios_system.h.

◆ ClrOutputEvent() [3/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputEvent ( Idx index )

Unmark event as output event

Parameters

index Event index

Exceptions

Exception

Event does ot exist in generator (id 60)

Definition at line 923 of file ios_system.h.

◆ ClrOutputState() [1/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputState ( const StateSet & rStateSet )

Unmak states as output states

Parameters

rStateSet Set of states to unmark

Exceptions

Exception

Some state does ot exist in generator (id 60)

Definition at line 1092 of file ios_system.h.

◆ ClrOutputState() [2/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputState ( const std::string & rName )

Unmark state as output state

Parameters

rName State name

Exceptions

Exception

State does ot exist in generator (id 60)

Definition at line 1085 of file ios_system.h.

◆ ClrOutputState() [3/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputState ( Idx index )

Unmark state as output state

Parameters

index State index

Exceptions

Exception

State does ot exist in generator (id 60)

Definition at line 1077 of file ios_system.h.

◆ Copy()

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

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

virtual

Copy Constructor

Construct copy on heap

Returns: new Generator

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

Definition at line 824 of file ios_system.h.

◆ ErrorState() [1/2]

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

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

Test for error state

Parameters

rName State name

Returns: True / false

Exceptions

Exception

State does ot exist in generator (id 60)

Definition at line 1204 of file ios_system.h.

◆ ErrorState() [2/2]

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

bool faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrorState ( Idx index ) const

Test for error state

Parameters

index State index

Returns: True / false

Exceptions

Exception

State does ot exist in generator(id 60)

Definition at line 1199 of file ios_system.h.

◆ ErrorStates() [1/2]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrorStates ( const StateSet & rStateSet )

Set all error states.

Mark given states as error states, unmark any other state.

Parameters

rStateSet Set of all error states

Exceptions

Exception

State does ot exist in generator (id 60)

Definition at line 1190 of file ios_system.h.

◆ ErrorStates() [2/2]

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

StateSet faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrorStates ( void ) const

Retrieve all error states

Returns: Set of all error states

Definition at line 1179 of file ios_system.h.

◆ InputEvent() [1/2]

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

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

Test for input event

Parameters

rName Event name

Returns: True / false

Exceptions

Exception

Event not found in alphabet (id 60)

Definition at line 972 of file ios_system.h.

◆ InputEvent() [2/2]

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

bool faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputEvent ( Idx index ) const

Test for input event

Parameters

index Event index

Returns: True / false

Exceptions

Exception

Event not found in alphabet (id 60)

Definition at line 967 of file ios_system.h.

◆ InputEvents() [1/2]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputEvents ( const EventSet & rEventSet )

Set all input events.

Mark given events as input events, unmark any other event.

Parameters

rEventSet Set of all input events

Exceptions

Exception

Event does ot exist in generator (id 60)

Definition at line 957 of file ios_system.h.

◆ InputEvents() [2/2]

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

EventSet faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputEvents ( void ) const

Retrieve all input events

Returns: Set of all input events

Definition at line 946 of file ios_system.h.

◆ InputState() [1/2]

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

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

Test for input state

Parameters

rName State name

Returns: True / false

Exceptions

Exception

State not found in alphabet (id 60)

Definition at line 1125 of file ios_system.h.

◆ InputState() [2/2]

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

bool faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputState ( Idx index ) const

Test for input state

Parameters

index State index

Returns: True / false

Exceptions

Exception

State not found in alphabet (id 60)

Definition at line 1120 of file ios_system.h.

◆ InputStates() [1/2]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputStates ( const StateSet & rStateSet )

Set all input states.

Mark given states as input states, unmark any other state.

Parameters

rStateSet Set of all input states

Exceptions

Exception

State does ot exist in generator (id 60)

Definition at line 1111 of file ios_system.h.

◆ InputStates() [2/2]

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

StateSet faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputStates ( void ) const

Retrieve all input states

Returns: Set of all input states

Definition at line 1100 of file ios_system.h.

◆ InsInputEvent() [1/2]

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

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

Insert input event by name.

An entry in the global event table will be made if event is new.

Parameters

rName Name of the event to add

Returns: New global unique index

Definition at line 860 of file ios_system.h.

◆ InsInputEvent() [2/2]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsInputEvent ( Idx index )

Insert a input event by index.

Note: event must to exist in the global event table

Parameters

index Event index

Definition at line 852 of file ios_system.h.

◆ InsOutputEvent() [1/2]

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

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

Insert output event by name.

An entry in the global event table will be made if event is new.

Parameters

rName Name of the event to add

Returns: New global unique index

Definition at line 844 of file ios_system.h.

◆ InsOutputEvent() [2/2]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsOutputEvent ( Idx index )

doxygen group Insert an output-event by index

An entry in the global event table will be made.

Note: event has to exist in the global event table

Parameters

index Event index

Definition at line 836 of file ios_system.h.

◆ New()

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

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

virtual

Constructor

Create IoSystem on heap

Returns: new Generator

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

Definition at line 812 of file ios_system.h.

◆ NewIoSystem()

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

TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewIoSystem ( void ) const

Create empty IoSystem with same symboltable as this

Returns: New Generator

Definition at line 829 of file ios_system.h.

◆ operator=()

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

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

inlinevirtual

doxygen group Assignment operator

Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly

Parameters

rOtherGen Other generator

Definition at line 131 of file ios_system.h.

◆ OutputEvent() [1/2]

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

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

Test for output event

Parameters

rName Event name

Returns: True / false

Exceptions

Exception

Event does ot exist in generator (id 60)

Definition at line 895 of file ios_system.h.

◆ OutputEvent() [2/2]

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

bool faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputEvent ( Idx index ) const

Test for output event

Parameters

index Event index

Returns: True / false

Exceptions

Exception

Event does ot exist in generator(id 60)

Definition at line 890 of file ios_system.h.

◆ OutputEvents() [1/2]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputEvents ( const EventSet & rEventSet )

Set all output events.

Mark given events as output events, unmark any other event.

Parameters

rEventSet Set of all output events

Exceptions

Exception

Event does ot exist in generator (id 60)

Definition at line 881 of file ios_system.h.

◆ OutputEvents() [2/2]

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

EventSet faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputEvents ( void ) const

doxygen group Retrieve all output events

Returns: Set of all output events

Definition at line 870 of file ios_system.h.

◆ OutputState() [1/2]

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

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

Test for output state

Parameters

rName State name

Returns: True / false

Exceptions

Exception

State does ot exist in generator (id 60)

Definition at line 1048 of file ios_system.h.

◆ OutputState() [2/2]

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

bool faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputState ( Idx index ) const

Test for output state

Parameters

index State index

Returns: True / false

Exceptions

Exception

State does ot exist in generator(id 60)

Definition at line 1043 of file ios_system.h.

◆ OutputStates() [1/2]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputStates ( const StateSet & rStateSet )

Set all output states.

Mark given states as output states, unmark any other state.

Parameters

rStateSet Set of all output states

Exceptions

Exception

State does ot exist in generator (id 60)

Definition at line 1034 of file ios_system.h.

◆ OutputStates() [2/2]

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

StateSet faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputStates ( void ) const

doxygen group Retrieve all output states

Returns: Set of all output states

Definition at line 1023 of file ios_system.h.

◆ SetErrorState() [1/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErrorState ( const StateSet & rStateSet )

Mark state as error states

Parameters

rStateSet Set of states to mark

Exceptions

Exception

Some state does ot exist in generator (id 60)

Definition at line 1225 of file ios_system.h.

◆ SetErrorState() [2/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErrorState ( const std::string & rName )

Mark state as error state

Parameters

rName State name

Exceptions

Exception

State does ot exist in generator (id 60)

Definition at line 1218 of file ios_system.h.

◆ SetErrorState() [3/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErrorState ( Idx index )

Mark state as error state

Parameters

index State index

Exceptions

Exception

State does ot exist in generator (id 60)

Definition at line 1210 of file ios_system.h.

◆ SetInputEvent() [1/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputEvent ( const EventSet & rEventSet )

Mark event as input events

Parameters

rEventSet Set of events to mark

Exceptions

Exception

Some event not found in alphabet (id 60)

Definition at line 992 of file ios_system.h.

◆ SetInputEvent() [2/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputEvent ( const std::string & rName )

Mark event as input event

Parameters

rName Event name

Exceptions

Exception

Event not found in alphabet (id 60)

Definition at line 985 of file ios_system.h.

◆ SetInputEvent() [3/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputEvent ( Idx index )

Mark event as input event

Parameters

index Event index

Exceptions

Exception

Event not found in alphabet (id 60)

Definition at line 977 of file ios_system.h.

◆ SetInputState() [1/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputState ( const StateSet & rStateSet )

Mark state as input states

Parameters

rStateSet Set of states to mark

Exceptions

Exception

Some state not found in alphabet (id 60)

Definition at line 1146 of file ios_system.h.

◆ SetInputState() [2/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputState ( const std::string & rName )

Mark state as input state

Parameters

rName State name

Exceptions

Exception

State not found in alphabet (id 60)

Definition at line 1139 of file ios_system.h.

◆ SetInputState() [3/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputState ( Idx index )

Mark state as input state

Parameters

index State index

Exceptions

Exception

State not found in alphabet (id 60)

Definition at line 1131 of file ios_system.h.

◆ SetOutputEvent() [1/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputEvent ( const EventSet & rEventSet )

Mark event as output events

Parameters

rEventSet Set of events to mark

Exceptions

Exception

Some event does ot exist in generator (id 60)

Definition at line 915 of file ios_system.h.

◆ SetOutputEvent() [2/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputEvent ( const std::string & rName )

Mark event as output event

Parameters

rName Event name

Exceptions

Exception

Event does ot exist in generator (id 60)

Definition at line 908 of file ios_system.h.

◆ SetOutputEvent() [3/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputEvent ( Idx index )

Mark event as output event

Parameters

index Event index

Exceptions

Exception

Event does ot exist in generator (id 60)

Definition at line 900 of file ios_system.h.

◆ SetOutputState() [1/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputState ( const StateSet & rStateSet )

Mark state as output states

Parameters

rStateSet Set of states to mark

Exceptions

Exception

Some state does ot exist in generator (id 60)

Definition at line 1069 of file ios_system.h.

◆ SetOutputState() [2/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputState ( const std::string & rName )

Mark state as output state

Parameters

rName State name

Exceptions

Exception

State does ot exist in generator (id 60)

Definition at line 1062 of file ios_system.h.

◆ SetOutputState() [3/3]

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

void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputState ( Idx index )

Mark state as output state

Parameters

index State index

Exceptions

Exception

State does ot exist in generator (id 60)

Definition at line 1054 of file ios_system.h.

◆ UpdateAttributes()

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

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

virtual

doxygen group Updates internal attributes. This method sets the state partition attributes.

Returns: True if value changed

Reimplemented from faudes::vGenerator.

Definition at line 1256 of file ios_system.h.

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

ios_system.h

Public Member Functions

Additional Inherited Members

Detailed Description

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

Constructor & Destructor Documentation

◆ TioGenerator() [1/4]

◆ ~TioGenerator()

◆ TioGenerator() [2/4]

◆ TioGenerator() [3/4]

◆ TioGenerator() [4/4]

Member Function Documentation

◆ ClrErrorState() [1/3]

◆ ClrErrorState() [2/3]

◆ ClrErrorState() [3/3]

◆ ClrInputEvent() [1/3]

◆ ClrInputEvent() [2/3]

◆ ClrInputEvent() [3/3]

◆ ClrInputState() [1/3]

◆ ClrInputState() [2/3]

◆ ClrInputState() [3/3]

◆ ClrOutputEvent() [1/3]

◆ ClrOutputEvent() [2/3]

◆ ClrOutputEvent() [3/3]

◆ ClrOutputState() [1/3]

◆ ClrOutputState() [2/3]

◆ ClrOutputState() [3/3]

◆ Copy()

◆ ErrorState() [1/2]

◆ ErrorState() [2/2]

◆ ErrorStates() [1/2]

◆ ErrorStates() [2/2]

◆ InputEvent() [1/2]

◆ InputEvent() [2/2]

◆ InputEvents() [1/2]

◆ InputEvents() [2/2]

◆ InputState() [1/2]

◆ InputState() [2/2]

◆ InputStates() [1/2]

◆ InputStates() [2/2]

◆ InsInputEvent() [1/2]

◆ InsInputEvent() [2/2]

◆ InsOutputEvent() [1/2]

◆ InsOutputEvent() [2/2]

◆ New()

◆ NewIoSystem()

◆ operator=()

◆ OutputEvent() [1/2]

◆ OutputEvent() [2/2]

◆ OutputEvents() [1/2]

◆ OutputEvents() [2/2]

◆ OutputState() [1/2]

◆ OutputState() [2/2]

◆ OutputStates() [1/2]

◆ OutputStates() [2/2]

◆ SetErrorState() [1/3]

◆ SetErrorState() [2/3]

◆ SetErrorState() [3/3]

◆ SetInputEvent() [1/3]

◆ SetInputEvent() [2/3]

◆ SetInputEvent() [3/3]

◆ SetInputState() [1/3]

◆ SetInputState() [2/3]

◆ SetInputState() [3/3]

◆ SetOutputEvent() [1/3]

◆ SetOutputEvent() [2/3]

◆ SetOutputEvent() [3/3]

◆ SetOutputState() [1/3]

◆ SetOutputState() [2/3]

◆ SetOutputState() [3/3]

◆ UpdateAttributes()

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