Detailed Description

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

Generator with I/O-environment attributes. The HioEnvironment is a variant of the Generator to add an interface for events and states with I/O-environment attributes, built from HioEvent- and HioStateFlags

event attributes: YE = Y && E UE = U && E YL = Y && L UL = U && L
state attributes: QYe = QY && QE QUe = QU && QE QUl = QU && QL QYlUe

Technically, the construct is based on the specialized attribute classes faudes::HioEventFlags and faudes::HioStateFlags that provide attributes with semantics for hierarchical I/O properties. The THioEnvironment expects attribute template parameters with the minimum interface defined in HioEventFlags and HioStateFlags. Thus, you can add further semantics by deriving a class HioEventFlagsAndMore from HioEventFlags (same for HioStateFlags) and use this as event attribute parameter for THioEnvironment. To model a plain finite state machine plus I/O-environment properties, use THioEnvironment with HioEventFlags and HioStateFlags for the event and state attribute parameters and AttributeVoid for the other parameters. For convenience, this has been typedefed as HioEnvironment.

Definition at line 47 of file hio_environment.h.

#include <hio_environment.h>

Public Member Functions
	THioEnvironment (void)

	THioEnvironment (const Generator &rOtherGen)

	THioEnvironment (const Generator &rOtherGen, const EventSet &rYl, const EventSet &rUl, const EventSet &rYe, const EventSet &rUe)

	THioEnvironment (const THioEnvironment &rOtherGen)

	THioEnvironment (const std::string &rFileName)

THioEnvironment *	New (void) const

virtual THioEnvironment *	Copy (void) const

THioEnvironment	NewHioEnvironment (void) const

virtual THioEnvironment &	operator= (const THioEnvironment &rOtherGen)

void	InsYeEvent (Idx index)

Idx	InsYeEvent (const std::string &rName)

void	InsUeEvent (Idx index)

Idx	InsUeEvent (const std::string &rName)

void	SetYe (Idx index)

void	SetYe (const std::string &rName)

void	SetYe (const EventSet &rEvents)

void	SetUe (Idx index)

void	SetUe (const std::string &rName)

void	SetUe (const EventSet &rEvents)

bool	IsYe (Idx index) const

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

bool	IsUe (Idx index) const

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

EventSet	YeEvents (void) const

EventSet	UeEvents (void) const

void	InsYlEvent (Idx index)

Idx	InsYlEvent (const std::string &rName)

void	InsUlEvent (Idx index)

Idx	InsUlEvent (const std::string &rName)

void	SetYl (Idx index)

void	SetYl (const std::string &rName)

void	SetYl (const EventSet &rEvents)

void	SetUl (Idx index)

void	SetUl (const std::string &rName)

void	SetUl (const EventSet &rEvents)

bool	IsYl (Idx index) const

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

bool	IsUl (Idx index) const

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

EventSet	YlEvents (void) const

EventSet	UlEvents (void) const

bool	IsY (Idx index) const

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

EventSet	YEvents (void) const

bool	IsU (Idx index) const

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

EventSet	UEvents (void) const

bool	IsE (Idx index) const

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

EventSet	EEvents (void) const

bool	IsL (Idx index) const

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

EventSet	LEvents (void) const

void	SetQYe (Idx index)

void	SetQYe (const std::string &rName)

void	SetQYe (const StateSet &rStates)

void	ClrQYe (Idx index)

void	ClrQYe (const std::string &rName)

void	ClrQYe (const StateSet &rStates)

bool	IsQYe (Idx index) const

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

StateSet	QYeStates (void) const

void	SetQUe (Idx index)

void	SetQUe (const std::string &rName)

void	SetQUe (const StateSet &rStates)

void	ClrQUe (Idx index)

void	ClrQUe (const std::string &rName)

void	ClrQUe (const StateSet &rStates)

bool	IsQUe (Idx index) const

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

StateSet	QUeStates (void) const

void	SetQUl (Idx index)

void	SetQUl (const std::string &rName)

void	SetQUl (const StateSet &rStates)

void	ClrQUl (Idx index)

void	ClrQUl (const std::string &rName)

void	ClrQUl (const StateSet &rStates)

bool	IsQUl (Idx index) const

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

StateSet	QUlStates (void) const

void	SetQYlUe (Idx index)

void	SetQYlUe (const std::string &rName)

void	SetQYlUe (const StateSet &rStates)

void	ClrQYlUe (Idx index)

void	ClrQYlUe (const std::string &rName)

void	ClrQYlUe (const StateSet &rStates)

bool	IsQYlUe (Idx index) const

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

StateSet	QYlUeStates (void) const

void	SetErr (Idx index)

void	SetErr (const std::string &rName)

void	SetErr (const StateSet &rStates)

void	ClrErr (Idx index)

void	ClrErr (const std::string &rName)

void	ClrErr (const StateSet &rStates)

bool	IsErr (Idx index) const

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

StateSet	ErrStates (void) const

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

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

virtual 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

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 std::string &rLabel="") const

void	XWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet, const std::string &rLabel="") 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::ExtType
	ExtType (void)

	ExtType (const ExtType &rType)

virtual	~ExtType (void)

const std::string &	Name (void) const

void	Name (const std::string &rName)

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

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

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

virtual void	ElementTag (const std::string &rTag)

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

virtual const TypeDefinition *	TypeDefinitionp (void) const

Type &	operator= (const Type &rSrc)

bool	operator== (const Type &rOther) const

bool	operator!= (const Type &rOther) const

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

	AttrType (const AttrType &rSrc)

virtual	~AttrType (void)

virtual bool	IsDefault (void) const

Type &	operator= (const Type &rSrc)

bool	operator== (const Type &rOther) const

bool	operator!= (const Type &rOther) const

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

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)

Static Public Member Functions inherited from faudes::AttrType
static void	Skip (TokenReader &rTr)

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	XWriteTransRel (TokenWriter &rTw) const

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

bool	DoEqual (const AttrType &rOther) const

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

bool	DoEqual (const Type &rOther) 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
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

Protected Attributes inherited from faudes::ExtType
std::string	mElementType

std::string	mElementTagDef

std::string	mObjectName

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

static bool	msStateNamesEnabledDefault = true

static bool	msReindexOnWriteDefault = false

Constructor & Destructor Documentation

◆ THioEnvironment() [1/5]

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

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

Creates an empty HioEnvironment object

Definition at line 965 of file hio_environment.h.

◆ THioEnvironment() [2/5]

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

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

HioEnvironment from a std Generator. Copy constructor

Parameters

rOtherGen

Definition at line 975 of file hio_environment.h.

◆ THioEnvironment() [3/5]

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

faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioEnvironment	(	const Generator &	rOtherGen,
		const EventSet &	rYl,
		const EventSet &	rUl,
		const EventSet &	rYe,
		const EventSet &	rUe
	)

HioEnvironment from a std Generator and event sets. Copy constructor

Parameters

rOtherGen	Generator
rYl	alphabet Yl
rUl	alphabet Ul
rYe	alphabet Ye
rUe	alphabet Ue

Definition at line 980 of file hio_environment.h.

◆ THioEnvironment() [4/5]

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

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

HioEnvironment from a HioEnvironment. Copy constructor

Parameters

rOtherGen

Definition at line 970 of file hio_environment.h.

◆ THioEnvironment() [5/5]

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

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

construct a HioEnvironment from file

Parameters

rFileName Filename

Exceptions

Exception If opening/reading fails an Exception object is thrown (id 1, 50, 51)

Definition at line 995 of file hio_environment.h.

Member Function Documentation

◆ ClrErr() [1/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr ( const StateSet & rStates )

Mark set of states as NOT Err-states (by index)

Parameters

rStates StateSet

Definition at line 1752 of file hio_environment.h.

◆ ClrErr() [2/3]

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

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

Mark state as NOT Err-state (by name)

Parameters

rName State name

Definition at line 1745 of file hio_environment.h.

◆ ClrErr() [3/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr ( Idx index )

Mark state as NOT Err-state (by index)

Parameters

index State index

Definition at line 1737 of file hio_environment.h.

◆ ClrQUe() [1/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe ( const StateSet & rStates )

Mark set of states as NOT QUe-states (by index)

Parameters

rStates StateSet

Definition at line 1519 of file hio_environment.h.

◆ ClrQUe() [2/3]

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

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

Mark state as NOT QUe-state (by name)

Parameters

rName State name

Definition at line 1512 of file hio_environment.h.

◆ ClrQUe() [3/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe ( Idx index )

Mark state as NOT QUe-state (by index)

Parameters

index State index

Definition at line 1503 of file hio_environment.h.

◆ ClrQUl() [1/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUl ( const StateSet & rStates )

Mark set of states as NOT QUl-states (by index)

Parameters

rStates StateSet

Definition at line 1601 of file hio_environment.h.

◆ ClrQUl() [2/3]

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

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

Mark state as NOT QUl-state (by name)

Parameters

rName State name

Definition at line 1594 of file hio_environment.h.

◆ ClrQUl() [3/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUl ( Idx index )

Mark state as NOT QUl-state (by index)

Parameters

index State index

Definition at line 1585 of file hio_environment.h.

◆ ClrQYe() [1/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYe ( const StateSet & rStates )

Mark set of states as NOT QYe-states (by index)

Parameters

rStates StateSet

Definition at line 1439 of file hio_environment.h.

◆ ClrQYe() [2/3]

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

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

Mark state as NOT QYe-state (by name)

Parameters

rName State name

Definition at line 1432 of file hio_environment.h.

◆ ClrQYe() [3/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYe ( Idx index )

Mark state as NOT QYe-state (by index)

Parameters

index State index

Definition at line 1423 of file hio_environment.h.

◆ ClrQYlUe() [1/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYlUe ( const StateSet & rStates )

Mark set of states as NOT QYlUe-states (by index)

Parameters

rStates StateSet

Definition at line 1681 of file hio_environment.h.

◆ ClrQYlUe() [2/3]

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

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

Mark state as NOT QYlUe-state (by name)

Parameters

rName State name

Definition at line 1674 of file hio_environment.h.

◆ ClrQYlUe() [3/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYlUe ( Idx index )

Mark state as NOT QYlUe-state (by index)

Parameters

index State index

Definition at line 1666 of file hio_environment.h.

◆ Copy()

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

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

virtual

Construct copy on heap

Returns: new Generator

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

Definition at line 1010 of file hio_environment.h.

◆ EEvents()

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

EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::EEvents ( void ) const

Get EventSet with P-events

Returns: EventSet of P-events

Definition at line 1364 of file hio_environment.h.

◆ ErrStates()

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

StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrStates ( void ) const

Get StateSet with Err-states

Returns: StateSet of Err-states

Definition at line 1773 of file hio_environment.h.

◆ InsUeEvent() [1/2]

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

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

Add new named Ue-event to generator. 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 1099 of file hio_environment.h.

◆ InsUeEvent() [2/2]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUeEvent ( Idx index )

Add an existing Ue-event to generator. An entry in the global event table will be made.

Parameters

index Event index

Definition at line 1090 of file hio_environment.h.

◆ InsUlEvent() [1/2]

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

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

Add new named Ul-event to generator. 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 1233 of file hio_environment.h.

◆ InsUlEvent() [2/2]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUlEvent ( Idx index )

Add an existing Ul-event to generator. An entry in the global event table will be made.

Parameters

index Event index

Definition at line 1224 of file hio_environment.h.

◆ InsYeEvent() [1/2]

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

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

Add new named Ye-event to generator. 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 1081 of file hio_environment.h.

◆ InsYeEvent() [2/2]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYeEvent ( Idx index )

Add an existing Ye-event to generator. An entry in the global event table will be made.

Parameters

index Event index

Definition at line 1072 of file hio_environment.h.

◆ InsYlEvent() [1/2]

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

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

Add new named Yl-event to generator. 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 1215 of file hio_environment.h.

◆ InsYlEvent() [2/2]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYlEvent ( Idx index )

Add an existing Yl-event to generator. An entry in the global event table will be made.

Parameters

index Event index

Definition at line 1206 of file hio_environment.h.

◆ IsE() [1/2]

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

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

Is event P-event? (by name)

Parameters

rName Event name

Returns: True / false

Definition at line 1346 of file hio_environment.h.

◆ IsE() [2/2]

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

bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsE ( Idx index ) const

Is event P-event? (by index)

Parameters

index Event index

Returns: True / false

Definition at line 1340 of file hio_environment.h.

◆ IsErr() [1/2]

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

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

Is state Err-state (by name)

Parameters

rName State name

Returns: True / false

Definition at line 1767 of file hio_environment.h.

◆ IsErr() [2/2]

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

bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr ( Idx index ) const

Is state Err-state (by index)

Parameters

index State index

Returns: True / false

Definition at line 1761 of file hio_environment.h.

◆ IsL() [1/2]

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

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

Is event E-event? (by name)

Parameters

rName Event name

Returns: True / false

Definition at line 1358 of file hio_environment.h.

◆ IsL() [2/2]

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

bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsL ( Idx index ) const

Is event E-event? (by index)

Parameters

index Event index

Returns: True / false

Definition at line 1352 of file hio_environment.h.

◆ IsQUe() [1/2]

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

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

Is state QUe-state (by name)

Parameters

rName State name

Returns: True / false

Definition at line 1534 of file hio_environment.h.

◆ IsQUe() [2/2]

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

bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUe ( Idx index ) const

Is state QUe-state (by index)

Parameters

index State index

Returns: True / false

Definition at line 1528 of file hio_environment.h.

◆ IsQUl() [1/2]

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

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

Is state QUl-state (by name)

Parameters

rName State name

Returns: True / false

Definition at line 1616 of file hio_environment.h.

◆ IsQUl() [2/2]

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

bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUl ( Idx index ) const

Is state QUl-state (by index)

Parameters

index State index

Returns: True / false

Definition at line 1610 of file hio_environment.h.

◆ IsQYe() [1/2]

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

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

Is state QYe-state (by name)

Parameters

rName State name

Returns: True / false

Definition at line 1454 of file hio_environment.h.

◆ IsQYe() [2/2]

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

bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYe ( Idx index ) const

Is state QYe-state (by index)

Parameters

index State index

Returns: True / false

Definition at line 1448 of file hio_environment.h.

◆ IsQYlUe() [1/2]

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

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

Is state QYlUe-state (by name)

Parameters

rName State name

Returns: True / false

Definition at line 1696 of file hio_environment.h.

◆ IsQYlUe() [2/2]

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

bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYlUe ( Idx index ) const

Is state QYlUe-state (by index)

Parameters

index State index

Returns: True / false

Definition at line 1690 of file hio_environment.h.

◆ IsU() [1/2]

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

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

Is event U-event? (by name)

Parameters

rName Event name

Returns: True / false

Definition at line 1042 of file hio_environment.h.

◆ IsU() [2/2]

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

bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU ( Idx index ) const

Is event U-event? (by index)

Parameters

index Event index

Returns: True / false

Definition at line 1036 of file hio_environment.h.

◆ IsUe() [1/2]

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

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

Is event Ue-event(by name)

Parameters

rName Event name

Returns: True / false

Definition at line 1176 of file hio_environment.h.

◆ IsUe() [2/2]

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

bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUe ( Idx index ) const

Is event Ue-event(by index)

Parameters

index Event index

Returns: True / false

Definition at line 1170 of file hio_environment.h.

◆ IsUl() [1/2]

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

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

Is event Ul-event (by name)

Parameters

rName Event name

Returns: True / false

Definition at line 1310 of file hio_environment.h.

◆ IsUl() [2/2]

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

bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUl ( Idx index ) const

Is event Ul-event (by index)

Parameters

index Event index

Returns: True / false

Definition at line 1304 of file hio_environment.h.

◆ IsY() [1/2]

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

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

Is event Y-event? (by name)

Parameters

rName Event name

Returns: True / false

Definition at line 1030 of file hio_environment.h.

◆ IsY() [2/2]

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

bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY ( Idx index ) const

Is event Y-event? (by index)

Parameters

index Event index

Returns: True / false

Definition at line 1024 of file hio_environment.h.

◆ IsYe() [1/2]

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

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

Is event Ye-event(by name)

Parameters

rName Event name

Returns: True / false

Definition at line 1164 of file hio_environment.h.

◆ IsYe() [2/2]

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

bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYe ( Idx index ) const

Is event Ye-event(by index)

Parameters

index Event index

Returns: True / false

Definition at line 1158 of file hio_environment.h.

◆ IsYl() [1/2]

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

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

Is event Yl-event (by name)

Parameters

rName Event name

Returns: True / false

Definition at line 1298 of file hio_environment.h.

◆ IsYl() [2/2]

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

bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYl ( Idx index ) const

Is event Yl-event (by index)

Parameters

index Event index

Returns: True / false

Definition at line 1292 of file hio_environment.h.

◆ LEvents()

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

EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::LEvents ( void ) const

Get EventSet with E-events

Returns: EventSet of E-events

Definition at line 1375 of file hio_environment.h.

◆ New()

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

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

virtual

Construct on heap

Returns: new Generator

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

Definition at line 1000 of file hio_environment.h.

◆ NewHioEnvironment()

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

THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewHioEnvironment ( void ) const

Create empty HioEnvironment with same symboltable as this

Returns: New Generator

Definition at line 1015 of file hio_environment.h.

◆ operator=()

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

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

inlinevirtual

Assignment operator (uses copy )

Parameters

rOtherGen Other generator

Definition at line 131 of file hio_environment.h.

◆ QUeStates()

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

StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUeStates ( void ) const

Get StateSet with QUe-states

Returns: StateSet of QUe-states

Definition at line 1540 of file hio_environment.h.

◆ QUlStates()

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

StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUlStates ( void ) const

Get StateSet with QUl-states

Returns: StateSet of QUl-states

Definition at line 1622 of file hio_environment.h.

◆ QYeStates()

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

StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYeStates ( void ) const

Get StateSet with QYe-states

Returns: StateSet of QYe-states

Definition at line 1460 of file hio_environment.h.

◆ QYlUeStates()

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

StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYlUeStates ( void ) const

Get StateSet with QYlUe-states

Returns: StateSet of QYlUe-states

Definition at line 1702 of file hio_environment.h.

◆ SetErr() [1/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr ( const StateSet & rStates )

Mark set of states as Err-states

Parameters

rStates StateSet

Definition at line 1728 of file hio_environment.h.

◆ SetErr() [2/3]

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

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

Mark state as Err-state (by name)

Parameters

rName State name

Definition at line 1721 of file hio_environment.h.

◆ SetErr() [3/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr ( Idx index )

Mark state as Err-state (by index)

Parameters

index State index

Definition at line 1713 of file hio_environment.h.

◆ SetQUe() [1/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe ( const StateSet & rStates )

Mark set of states as QUe-states

Parameters

rStates StateSet

Definition at line 1494 of file hio_environment.h.

◆ SetQUe() [2/3]

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

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

Mark state as QUe-state (by name)

Parameters

rName State name

Definition at line 1487 of file hio_environment.h.

◆ SetQUe() [3/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe ( Idx index )

Mark event as QUe-state (by index)

Parameters

index State index

Definition at line 1472 of file hio_environment.h.

◆ SetQUl() [1/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUl ( const StateSet & rStates )

Mark set of states as QUl-states

Parameters

rStates StateSet

Definition at line 1576 of file hio_environment.h.

◆ SetQUl() [2/3]

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

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

Mark state as QUl-state (by name)

Parameters

rName State name

Definition at line 1569 of file hio_environment.h.

◆ SetQUl() [3/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUl ( Idx index )

Mark event as QUl-state (by index)

Parameters

index State index

Definition at line 1554 of file hio_environment.h.

◆ SetQYe() [1/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYe ( const StateSet & rStates )

Mark set of states as QYe-states

Parameters

rStates StateSet

Definition at line 1414 of file hio_environment.h.

◆ SetQYe() [2/3]

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

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

Mark state as QYe-state (by name)

Parameters

rName State name

Definition at line 1407 of file hio_environment.h.

◆ SetQYe() [3/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYe ( Idx index )

Mark event as QYe-state (by index)

Parameters

index State index

Definition at line 1392 of file hio_environment.h.

◆ SetQYlUe() [1/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYlUe ( const StateSet & rStates )

Mark set of states as QYlUe-states

Parameters

rStates StateSet

Definition at line 1657 of file hio_environment.h.

◆ SetQYlUe() [2/3]

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

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

Mark state as QYlUe-state (by name)

Parameters

rName State name

Definition at line 1650 of file hio_environment.h.

◆ SetQYlUe() [3/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYlUe ( Idx index )

Mark event as QYlUe-state (by index)

Parameters

index State index

Definition at line 1635 of file hio_environment.h.

◆ SetUe() [1/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe ( const EventSet & rEvents )

Mark set of events as Ue-events

Parameters

rEvents EventSet

Definition at line 1149 of file hio_environment.h.

◆ SetUe() [2/3]

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

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

Mark event Ue-event(by name)

Parameters

rName Event name

Definition at line 1142 of file hio_environment.h.

◆ SetUe() [3/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe ( Idx index )

Mark event Ue-event(by index)

Parameters

index Event index

Definition at line 1133 of file hio_environment.h.

◆ SetUl() [1/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUl ( const EventSet & rEvents )

Mark set of events as Ul-events

Parameters

rEvents EventSet

Definition at line 1283 of file hio_environment.h.

◆ SetUl() [2/3]

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

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

Mark event as Ul-event (by name)

Parameters

rName Event name

Definition at line 1276 of file hio_environment.h.

◆ SetUl() [3/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUl ( Idx index )

Mark event as Ul-event (by index)

Parameters

index Event index

Definition at line 1267 of file hio_environment.h.

◆ SetYe() [1/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe ( const EventSet & rEvents )

Mark set of events as Ye-events

Parameters

rEvents EventSet

Definition at line 1124 of file hio_environment.h.

◆ SetYe() [2/3]

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

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

Mark event as Ye-event(by name)

Parameters

rName Event name

Definition at line 1117 of file hio_environment.h.

◆ SetYe() [3/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe ( Idx index )

Mark event as Ye-event (by index)

Parameters

index Event index

Definition at line 1108 of file hio_environment.h.

◆ SetYl() [1/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYl ( const EventSet & rEvents )

Mark set of events as Yl-events

Parameters

rEvents EventSet

Definition at line 1258 of file hio_environment.h.

◆ SetYl() [2/3]

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

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

Mark event as Yl-event (by name)

Parameters

rName Event name

Definition at line 1251 of file hio_environment.h.

◆ SetYl() [3/3]

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

void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYl ( Idx index )

Mark event as Yl-event (by index)

Parameters

index Event index

Definition at line 1242 of file hio_environment.h.

◆ UeEvents()

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

EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::UeEvents ( void ) const

Get EventSet with Ue-events

Returns: EventSet of Ue-events

Definition at line 1193 of file hio_environment.h.

◆ UEvents()

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

EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::UEvents ( void ) const

Get EventSet with U-events

Returns: EventSet of U-events

Definition at line 1059 of file hio_environment.h.

◆ UlEvents()

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

EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::UlEvents ( void ) const

Get EventSet with Ul-events

Returns: EventSet of Ul-events

Definition at line 1327 of file hio_environment.h.

◆ UpdateAttributes()

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

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

inlinevirtual

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

Returns: True if value changed

Reimplemented from faudes::vGenerator.

Definition at line 947 of file hio_environment.h.

◆ YeEvents()

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

EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::YeEvents ( void ) const

Get EventSet with Ye-events

Returns: EventSet of Ye-events

Definition at line 1182 of file hio_environment.h.

◆ YEvents()

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

EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::YEvents ( void ) const

Get EventSet with Y-events

Returns: EventSet of Y-events

Definition at line 1048 of file hio_environment.h.

◆ YlEvents()

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

EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::YlEvents ( void ) const

Get EventSet with Yl-events

Returns: EventSet of Yl-events

Definition at line 1316 of file hio_environment.h.

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

hio_environment.h

Detailed Description

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

Public Member Functions

Additional Inherited Members

Constructor & Destructor Documentation

◆ THioEnvironment() [1/5]

◆ THioEnvironment() [2/5]

◆ THioEnvironment() [3/5]

◆ THioEnvironment() [4/5]

◆ THioEnvironment() [5/5]

Member Function Documentation

◆ ClrErr() [1/3]

◆ ClrErr() [2/3]

◆ ClrErr() [3/3]

◆ ClrQUe() [1/3]

◆ ClrQUe() [2/3]

◆ ClrQUe() [3/3]

◆ ClrQUl() [1/3]

◆ ClrQUl() [2/3]

◆ ClrQUl() [3/3]

◆ ClrQYe() [1/3]

◆ ClrQYe() [2/3]

◆ ClrQYe() [3/3]

◆ ClrQYlUe() [1/3]

◆ ClrQYlUe() [2/3]

◆ ClrQYlUe() [3/3]

◆ Copy()

◆ EEvents()

◆ ErrStates()

◆ InsUeEvent() [1/2]

◆ InsUeEvent() [2/2]

◆ InsUlEvent() [1/2]

◆ InsUlEvent() [2/2]

◆ InsYeEvent() [1/2]

◆ InsYeEvent() [2/2]

◆ InsYlEvent() [1/2]

◆ InsYlEvent() [2/2]

◆ IsE() [1/2]

◆ IsE() [2/2]

◆ IsErr() [1/2]

◆ IsErr() [2/2]

◆ IsL() [1/2]

◆ IsL() [2/2]

◆ IsQUe() [1/2]

◆ IsQUe() [2/2]

◆ IsQUl() [1/2]

◆ IsQUl() [2/2]

◆ IsQYe() [1/2]

◆ IsQYe() [2/2]

◆ IsQYlUe() [1/2]

◆ IsQYlUe() [2/2]

◆ IsU() [1/2]

◆ IsU() [2/2]

◆ IsUe() [1/2]

◆ IsUe() [2/2]

◆ IsUl() [1/2]

◆ IsUl() [2/2]

◆ IsY() [1/2]

◆ IsY() [2/2]

◆ IsYe() [1/2]

◆ IsYe() [2/2]

◆ IsYl() [1/2]

◆ IsYl() [2/2]

◆ LEvents()

◆ New()

◆ NewHioEnvironment()

◆ operator=()

◆ QUeStates()

◆ QUlStates()

◆ QYeStates()

◆ QYlUeStates()

◆ SetErr() [1/3]

◆ SetErr() [2/3]

◆ SetErr() [3/3]

◆ SetQUe() [1/3]

◆ SetQUe() [2/3]

◆ SetQUe() [3/3]

◆ SetQUl() [1/3]

◆ SetQUl() [2/3]

◆ SetQUl() [3/3]

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