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)
	Creates an empty HioEnvironment object. More...

	THioEnvironment (const Generator &rOtherGen)
	HioEnvironment from a std Generator. More...

	THioEnvironment (const Generator &rOtherGen, const EventSet &rYl, const EventSet &rUl, const EventSet &rYe, const EventSet &rUe)
	HioEnvironment from a std Generator and event sets. More...

	THioEnvironment (const THioEnvironment &rOtherGen)
	HioEnvironment from a HioEnvironment. More...

	THioEnvironment (const std::string &rFileName)
	construct a HioEnvironment from file More...

THioEnvironment *	New (void) const
	Construct on heap. More...

virtual THioEnvironment *	Copy (void) const
	Construct copy on heap. More...

THioEnvironment	NewHioEnvironment (void) const
	Create empty HioEnvironment with same symboltable as this. More...

virtual THioEnvironment &	operator= (const THioEnvironment &rOtherGen)
	Assignment operator (uses copy ) More...

void	InsYeEvent (Idx index)
	Add an existing Ye-event to generator. More...

Idx	InsYeEvent (const std::string &rName)
	Add new named Ye-event to generator. More...

void	InsUeEvent (Idx index)
	Add an existing Ue-event to generator. More...

Idx	InsUeEvent (const std::string &rName)
	Add new named Ue-event to generator. More...

void	SetYe (Idx index)
	Mark event as Ye-event (by index) More...

void	SetYe (const std::string &rName)
	Mark event as Ye-event(by name) More...

void	SetYe (const EventSet &rEvents)
	Mark set of events as Ye-events. More...

void	SetUe (Idx index)
	Mark event Ue-event(by index) More...

void	SetUe (const std::string &rName)
	Mark event Ue-event(by name) More...

void	SetUe (const EventSet &rEvents)
	Mark set of events as Ue-events. More...

bool	IsYe (Idx index) const
	Is event Ye-event(by index) More...

bool	IsYe (const std::string &rName) const
	Is event Ye-event(by name) More...

bool	IsUe (Idx index) const
	Is event Ue-event(by index) More...

bool	IsUe (const std::string &rName) const
	Is event Ue-event(by name) More...

EventSet	YeEvents (void) const
	Get EventSet with Ye-events. More...

EventSet	UeEvents (void) const
	Get EventSet with Ue-events. More...

void	InsYlEvent (Idx index)
	Add an existing Yl-event to generator. More...

Idx	InsYlEvent (const std::string &rName)
	Add new named Yl-event to generator. More...

void	InsUlEvent (Idx index)
	Add an existing Ul-event to generator. More...

Idx	InsUlEvent (const std::string &rName)
	Add new named Ul-event to generator. More...

void	SetYl (Idx index)
	Mark event as Yl-event (by index) More...

void	SetYl (const std::string &rName)
	Mark event as Yl-event (by name) More...

void	SetYl (const EventSet &rEvents)
	Mark set of events as Yl-events. More...

void	SetUl (Idx index)
	Mark event as Ul-event (by index) More...

void	SetUl (const std::string &rName)
	Mark event as Ul-event (by name) More...

void	SetUl (const EventSet &rEvents)
	Mark set of events as Ul-events. More...

bool	IsYl (Idx index) const
	Is event Yl-event (by index) More...

bool	IsYl (const std::string &rName) const
	Is event Yl-event (by name) More...

bool	IsUl (Idx index) const
	Is event Ul-event (by index) More...

bool	IsUl (const std::string &rName) const
	Is event Ul-event (by name) More...

EventSet	YlEvents (void) const
	Get EventSet with Yl-events. More...

EventSet	UlEvents (void) const
	Get EventSet with Ul-events. More...

bool	IsY (Idx index) const
	Is event Y-event? (by index) More...

bool	IsY (const std::string &rName) const
	Is event Y-event? (by name) More...

EventSet	YEvents (void) const
	Get EventSet with Y-events. More...

bool	IsU (Idx index) const
	Is event U-event? (by index) More...

bool	IsU (const std::string &rName) const
	Is event U-event? (by name) More...

EventSet	UEvents (void) const
	Get EventSet with U-events. More...

bool	IsE (Idx index) const
	Is event P-event? (by index) More...

bool	IsE (const std::string &rName) const
	Is event P-event? (by name) More...

EventSet	EEvents (void) const
	Get EventSet with P-events. More...

bool	IsL (Idx index) const
	Is event E-event? (by index) More...

bool	IsL (const std::string &rName) const
	Is event E-event? (by name) More...

EventSet	LEvents (void) const
	Get EventSet with E-events. More...

void	SetQYe (Idx index)
	Mark event as QYe-state (by index) More...

void	SetQYe (const std::string &rName)
	Mark state as QYe-state (by name) More...

void	SetQYe (const StateSet &rStates)
	Mark set of states as QYe-states. More...

void	ClrQYe (Idx index)
	Mark state as NOT QYe-state (by index) More...

void	ClrQYe (const std::string &rName)
	Mark state as NOT QYe-state (by name) More...

void	ClrQYe (const StateSet &rStates)
	Mark set of states as NOT QYe-states (by index) More...

bool	IsQYe (Idx index) const
	Is state QYe-state (by index) More...

bool	IsQYe (const std::string &rName) const
	Is state QYe-state (by name) More...

StateSet	QYeStates (void) const
	Get StateSet with QYe-states. More...

void	SetQUe (Idx index)
	Mark event as QUe-state (by index) More...

void	SetQUe (const std::string &rName)
	Mark state as QUe-state (by name) More...

void	SetQUe (const StateSet &rStates)
	Mark set of states as QUe-states. More...

void	ClrQUe (Idx index)
	Mark state as NOT QUe-state (by index) More...

void	ClrQUe (const std::string &rName)
	Mark state as NOT QUe-state (by name) More...

void	ClrQUe (const StateSet &rStates)
	Mark set of states as NOT QUe-states (by index) More...

bool	IsQUe (Idx index) const
	Is state QUe-state (by index) More...

bool	IsQUe (const std::string &rName) const
	Is state QUe-state (by name) More...

StateSet	QUeStates (void) const
	Get StateSet with QUe-states. More...

void	SetQUl (Idx index)
	Mark event as QUl-state (by index) More...

void	SetQUl (const std::string &rName)
	Mark state as QUl-state (by name) More...

void	SetQUl (const StateSet &rStates)
	Mark set of states as QUl-states. More...

void	ClrQUl (Idx index)
	Mark state as NOT QUl-state (by index) More...

void	ClrQUl (const std::string &rName)
	Mark state as NOT QUl-state (by name) More...

void	ClrQUl (const StateSet &rStates)
	Mark set of states as NOT QUl-states (by index) More...

bool	IsQUl (Idx index) const
	Is state QUl-state (by index) More...

bool	IsQUl (const std::string &rName) const
	Is state QUl-state (by name) More...

StateSet	QUlStates (void) const
	Get StateSet with QUl-states. More...

void	SetQYlUe (Idx index)
	Mark event as QYlUe-state (by index) More...

void	SetQYlUe (const std::string &rName)
	Mark state as QYlUe-state (by name) More...

void	SetQYlUe (const StateSet &rStates)
	Mark set of states as QYlUe-states. More...

void	ClrQYlUe (Idx index)
	Mark state as NOT QYlUe-state (by index) More...

void	ClrQYlUe (const std::string &rName)
	Mark state as NOT QYlUe-state (by name) More...

void	ClrQYlUe (const StateSet &rStates)
	Mark set of states as NOT QYlUe-states (by index) More...

bool	IsQYlUe (Idx index) const
	Is state QYlUe-state (by index) More...

bool	IsQYlUe (const std::string &rName) const
	Is state QYlUe-state (by name) More...

StateSet	QYlUeStates (void) const
	Get StateSet with QYlUe-states. More...

void	SetErr (Idx index)
	Mark state as Err-state (by index) More...

void	SetErr (const std::string &rName)
	Mark state as Err-state (by name) More...

void	SetErr (const StateSet &rStates)
	Mark set of states as Err-states. More...

void	ClrErr (Idx index)
	Mark state as NOT Err-state (by index) More...

void	ClrErr (const std::string &rName)
	Mark state as NOT Err-state (by name) More...

void	ClrErr (const StateSet &rStates)
	Mark set of states as NOT Err-states (by index) More...

bool	IsErr (Idx index) const
	Is state Err-state (by index) More...

bool	IsErr (const std::string &rName) const
	Is state Err-state (by name) More...

StateSet	ErrStates (void) const
	Get StateSet with Err-states. More...

virtual bool	UpdateAttributes (void)
	Updates internal attributes. More...

Public Member Functions inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
	TaGenerator (void)
	Construct an emtpy Generator. More...

	TaGenerator (const TaGenerator &rOtherGen)
	Copy-constructor (from TaGenerator, incl attributes) More...

	TaGenerator (const vGenerator &rOtherGen)
	Copy-constructor (from vGenerator, set attributes to default) More...

	TaGenerator (const std::string &rFileName)
	Construct from file. More...

virtual TaGenerator	NewAGen (void) const
	Construct on stack. More...

virtual const Type *	Cast (const Type *pOther) const
	Type test. More...

virtual	~TaGenerator (void)
	Destructor. More...

virtual TaGenerator &	Assign (const Type &rSrc)
	Copy from other faudes Type (try to cast to agenerator or pass to base) More...

TaGenerator &	operator= (const TaGenerator &rOtherGen)
	Assignment operator (uses Assign(Generator&) ) More...

virtual void	Move (TaGenerator &rGen)
	Destructive copy to other TaGenerator Copy method with increased performance at the cost of invalidating the source data. More...

virtual void	Move (Generator &rGen)
	Destructive copy to other Generator. More...

bool	Valid (void) const
	Check if generator is valid. More...

virtual void	Clear (void)
	Clear generator data. More...

const TaEventSet< EventAttr > &	Alphabet (void) const
	Return const reference to alphabet. More...

const TaStateSet< StateAttr > &	States (void) const
	Return reference to state set. More...

const ATransSet &	TransRel (void) const
	Return reference to transition relation. More...

void	TransRel (TransSetX1EvX2 &res) const
	Get copy of trantision relation sorted by other compare operator, e.g. More...

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)
	Add an existing event to alphabet by index. More...

Idx	InsEvent (const std::string &rName)
	Add named event to generator. More...

bool	InsEvent (Idx index, const EventAttr &rAttr)
	Add an existing event to alphabet by index, incl. More...

Idx	InsEvent (const std::string &rName, const EventAttr &rAttr)
	Add named event with attribute to generator. More...

void	InjectAlphabet (const EventSet &rNewalphabet)
	Set mpAlphabet without consistency check. More...

void	InjectAlphabet (const TaEventSet< EventAttr > &rNewalphabet)
	Set mpAlphabet without consistency check. More...

Idx	InsState (void)
	Add new anonymous state to generator. More...

Idx	InsState (const StateAttr &attr)
	Add new anonymous state with attribute to generator. More...

bool	InsState (Idx index)
	Add (perhaps new) state to generator. More...

Idx	InsState (const std::string &rName)
	Add new named state to generator. More...

Idx	InsState (const std::string &rName, const StateAttr &attr)
	Add new named state with attribute to generator. More...

bool	InsState (Idx index, const StateAttr &attr)
	Add (perhaps new) state with attribute to generator. More...

void	InjectStates (const StateSet &rNewStates)
	Inject a complete state set without consistency checks. More...

void	InjectStates (const TaStateSet< StateAttr > &rNewStates)
	Inject a complete state set without consistency checks. More...

bool	SetTransition (Idx x1, Idx ev, Idx x2)
	Add a transition to generator by indices. More...

bool	SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2)
	Add a transition to generator by names. More...

bool	SetTransition (const Transition &rTransition)
	Add a transition to generator. More...

bool	SetTransition (const Transition &rTransition, const TransAttr &rAttr)
	Add a transition with attribute to generator. More...

void	InjectTransRel (const TransSet &rNewtransrel)
	Set transition relation without consistency check. More...

void	InjectTransRel (const ATransSet &rNewtransrel)
	Set transition relation without consistency check. More...

void	EventAttribute (Idx index, const EventAttr &rAttr)
	Set attribute for existing event. More...

void	EventAttribute (Idx index, const Type &rAttr)
	Set attribute for existing event. More...

const EventAttr &	EventAttribute (Idx index) const
	Event attribute lookup. More...

const EventAttr &	EventAttribute (const std::string &rName) const
	Event attribute lookup. More...

EventAttr *	EventAttributep (Idx index)
	Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute. More...

EventAttr *	EventAttributep (const std::string &rName)
	Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute. More...

void	StateAttribute (Idx index, const StateAttr &rAttr)
	Set attribute for existing state. More...

void	StateAttribute (Idx index, const Type &rAttr)
	Set attribute for existing state. More...

const StateAttr &	StateAttribute (Idx index) const
	State attribute lookup. More...

StateAttr *	StateAttributep (Idx index)
	State attribute pointer (to access Attribute methods) note: may insert explicit default attribute. More...

void	TransAttribute (const Transition &rTrans, const TransAttr &rAttr)
	Set attribute for existing transition. More...

void	TransAttribute (const Transition &rTrans, const Type &rAttr)
	Set attribute for existing transition. More...

const TransAttr &	TransAttribute (const Transition &rTrans) const
	Get attribute for existing transition. More...

TransAttr *	TransAttributep (const Transition &rTrans)
	Get attribute pointer for existing transition note: may insert explicit default attribute. More...

void	GlobalAttribute (const GlobalAttr &rAttr)
	Set global attribute. More...

void	GlobalAttribute (const Type &rAttr)
	Set global attribute. More...

const GlobalAttr &	GlobalAttribute (void) const
	Get global attribute ref. More...

GlobalAttr *	GlobalAttributep (void)
	Get global attribute pointer. More...

Public Member Functions inherited from faudes::vGenerator
	vGenerator (void)
	Default constructor. More...

	vGenerator (const vGenerator &rOtherGen)
	Copy-constructror. More...

	vGenerator (const std::string &rFileName)
	Construct from file. More...

virtual	~vGenerator (void)
	Destructor. More...

virtual vGenerator &	AssignWithoutAttributes (const vGenerator &rGen)
	Copy from other vGenerator, ignore attributes. More...

vGenerator &	operator= (const vGenerator &rOtherGen)
	Assignment operator (uses Assign method) More...

virtual void	Version (const std::string &rVersion, vGenerator &rResGen) const
	Create another version of this generator. More...

virtual void	Version (Idx version, vGenerator &rResGen) const
	Create another version of this generator. More...

virtual void	Version (const std::string &rPattern, const std::string &rReplacement, vGenerator &rResGen) const
	Create another version of this generator. More...

void	Name (const std::string &rName)
	Set the generator's name. More...

const std::string &	Name (void) const
	Get generator's name. More...

void	ClearStates (void)
	Clear all states and transitions, maintain alphabet. More...

Idx	AlphabetSize (void) const
	Get number of events in alphabet. More...

Idx	Size (void) const
	Get generator size (number of states) More...

Idx	TransRelSize (void) const
	Get number of transitions. More...

Idx	InitStatesSize (void) const
	Get number of initial states. More...

Idx	MarkedStatesSize (void) const
	Get number of marked states. More...

bool	Empty (void) const
	Check if generator is empty (no states) More...

bool	AlphabetEmpty (void) const
	Check if alphabet is Empty. More...

bool	TransRelEmpty (void) const
	Check if transition relation is empty. More...

bool	InitStatesEmpty (void) const
	Check if set of initial states are empty. More...

bool	MarkedStatesEmpty (void) const
	Check if set of marked states are empty. More...

SymbolTable *	EventSymbolTablep (void) const
	Get Pointer to EventSymbolTable currently used by this vGenerator. More...

virtual void	EventSymbolTablep (SymbolTable *pSymTab)
	Set EventSymbolTable to be used by this vGenerator. More...

virtual void	EventSymbolTablep (const vGenerator &rOtherGen)
	Set EventSymbolTable as given by rOtherGen. More...

EventSet	NewEventSet (void) const
	Create EventSet with generator's EventSymbolTable (on stack). More...

EventSet *	NewEventSetp (void) const
	Create EventSet with generator's EventSymbolTable (on heap). More...

Idx	EventIndex (const std::string &rName) const
	Event index lookup. More...

std::string	EventName (Idx index) const
	Event name lookup. More...

void	EventName (Idx index, const std::string &rName)
	Set name for existing event. More...

std::string	UniqueEventName (const std::string &rName) const
	Create a new unique symbolic event name. More...

bool	EventRename (Idx event, const std::string &rNewName)
	Rename event in this generator. More...

bool	EventRename (const std::string &rOldName, const std::string &rNewName)
	Rename event in this generator. More...

const SymbolTable &	StateSymbolTable (void) const
	Get StateSymbolTable. More...

void	StateSymbolTable (const SymbolTable &rSymTab)
	Set StateSymbolTable. More...

Idx	StateIndex (const std::string &rName) const
	State index lookup. More...

std::string	StateName (Idx index) const
	State name lookup. More...

void	StateName (Idx index, const std::string &rName)
	Set name of state. More...

void	ClearStateNames (void)
	Remove all names from generator's StateSymbolTable. More...

void	ClrStateName (Idx index)
	Clear name for individual state. More...

void	ClrStateName (const std::string &rName)
	Clear name for individual state. More...

bool	StateNamesEnabled (void) const
	Whether libFAUEDS functions are requested to generate state names. More...

void	StateNamesEnabled (bool flag)
	Enable/disable libFAUEDS functions to automatically generate state names. More...

void	SetDefaultStateNames (void)
	Assign each state a default name based on its index. More...

void	EnforceStateNames (const std::string &rTemplate)
	For all states without a symbolic name, assign a name based on suggested template and the index. More...

std::string	UniqueStateName (const std::string &rName) const
	Create a new unique symbolic state name. More...

EventSet::Iterator	AlphabetBegin (void) const
	Iterator to Begin() of alphabet. More...

EventSet::Iterator	AlphabetEnd (void) const
	Iterator to End() of alphabet. More...

bool	ExistsEvent (Idx index) const
	Test existence of event in alphabet. More...

bool	ExistsEvent (const std::string &rName) const
	Test existence of event in alphabet. More...

EventSet::Iterator	FindEvent (Idx index) const
	Returns a iterator to event index in alphabet. More...

EventSet::Iterator	FindEvent (const std::string &rName) const
	Returns a iterator to event index in alphabet. More...

const EventSet &	Alphabet (void) const
	Return const reference to alphabet. More...

StateSet::Iterator	StatesBegin (void) const
	Iterator to Begin() of state set. More...

StateSet::Iterator	StatesEnd (void) const
	Iterator to End() of state set. More...

bool	ExistsState (Idx index) const
	Test existence of state in state set. More...

bool	ExistsState (const std::string &name) const
	Test existence of state in state set. More...

StateSet::Iterator	FindState (Idx index) const
	Returns a iterator to state index in state set. More...

StateSet::Iterator	FindState (const std::string &rName) const
	Returns a iterator to state with specified name. More...

const StateSet &	States (void) const
	Return reference to state set. More...

Idx	InitState (void) const
	Return initial state. More...

StateSet::Iterator	InitStatesBegin (void) const
	Iterator to Begin() of mInitStates. More...

StateSet::Iterator	InitStatesEnd (void) const
	Iterator to End() of mInitStates. More...

bool	ExistsInitState (Idx index) const
	Test existence of state in mInitStates. More...

StateSet::Iterator	FindInitState (Idx index) const
	Iterator to state index in mInitStates. More...

const StateSet &	InitStates (void) const
	Const ref to initial states. More...

StateSet::Iterator	MarkedStatesBegin (void) const
	Iterator to Begin() of mMarkedStates. More...

StateSet::Iterator	MarkedStatesEnd (void) const
	Iterator to End() of mMarkedStates. More...

bool	ExistsMarkedState (Idx index) const
	Test existence of state in mMarkedStates. More...

StateSet::Iterator	FindMarkedState (Idx index) const
	Returns a iterator to state index in mMarkedStates. More...

const StateSet &	MarkedStates (void) const
	Return const ref of marked states. More...

TransSet::Iterator	TransRelBegin (void) const
	Iterator to Begin() of transition relation. More...

TransSet::Iterator	TransRelEnd (void) const
	Iterator to End() of transition relation. More...

TransSet::Iterator	TransRelBegin (Idx x1) const
	Iterator to begin of transitions with x1 as predecessor state. More...

TransSet::Iterator	TransRelEnd (Idx x1) const
	iterator to end of transitions with x1 as predecessor state. More...

TransSet::Iterator	TransRelBegin (Idx x1, Idx ev) const
	iterator to begin of transitions with x1 as predecessor state and event ev. More...

TransSet::Iterator	TransRelEnd (Idx x1, Idx ev) const
	Iterator to end of transitions with x1 as predecessor state and event ev. More...

TransSet::Iterator	FindTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const
	iterator to transition given by x1, ev, x2 More...

TransSet::Iterator	FindTransition (Idx x1, Idx ev, Idx x2) const
	Iterator to transition given by x1, ev, x2. More...

TransSet::Iterator	FindTransition (const Transition &rTrans) const
	Iterator to transition. More...

bool	ExistsTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const
	Test for transition given by x1, ev, x2. More...

bool	ExistsTransition (Idx x1, Idx ev, Idx x2) const
	Test for transition given by x1, ev, x2. More...

bool	ExistsTransition (const Transition &rTrans) const
	test for transition More...

bool	ExistsTransition (Idx x1, Idx ev) const
	Test for transition given by x1, ev. More...

bool	ExistsTransition (Idx x1) const
	Test for transition given by x1. More...

const TransSet &	TransRel (void) const
	Return reference to transition relation. More...

void	TransRel (TransSetX1EvX2 &res) const
	Get copy of trantision relation sorted by other compare operator, e.g. More...

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
	Convebience function. More...

bool	InsEvent (Idx index)
	Add an existing event to alphabet by index. More...

Idx	InsEvent (const std::string &rName)
	Add named event to generator. More...

void	InsEvents (const EventSet &events)
	Add new named events to generator. More...

bool	DelEvent (Idx index)
	Delete event from generator by index. More...

bool	DelEvent (const std::string &rName)
	Delete event from generator by name. More...

void	DelEvents (const EventSet &rEvents)
	Delete a set of events from generator. More...

bool	DelEventFromAlphabet (Idx index)
	Delete event from alphabet without consistency check. More...

void	InjectAlphabet (const EventSet &rNewalphabet)
	Set mpAlphabet without consistency check. More...

void	RestrictAlphabet (const EventSet &rNewalphabet)
	Restricts mpAlphabet incl removing resp. More...

Idx	InsState (void)
	Add new anonymous state to generator. More...

bool	InsState (Idx index)
	Add (perhaps new) state to generator. More...

Idx	InsState (const std::string &rName)
	Add new named state to generator. More...

void	InsStates (const StateSet &rStates)
	Add anonymous states to generator. More...

bool	DelState (Idx index)
	Delete a state from generator by index. More...

bool	DelState (const std::string &rName)
	Delete a state from generator by name. More...

void	DelStates (const StateSet &rDelStates)
	Delete a set of states Cleans mpStates, mInitStates, mMarkedStates, mpTransrel, and mpStateSymboltable. More...

bool	DelStateFromStates (Idx index)
	Delete a state from generator without consistency check. More...

StateSet::Iterator	DelStateFromStates (StateSet::Iterator pos)
	Delete a state from generator without consistency check. More...

void	RestrictStates (const StateSet &rStates)
	Restrict states Cleans mpStates, mInitStates, mMarkedStates, mpTransrel, and mpStateSymboltable. More...

void	InjectState (Idx index)
	Inject an existing state index into generators mStates Use with care! For use in performance optimized functions. More...

void	InjectStates (const StateSet &rNewStates)
	Inject a complete state set without consistency checks (without attributes) More...

Idx	InsInitState (void)
	Create new anonymous state and set as initial state. More...

bool	InsInitState (Idx index)
	Add (perhaps new) state to generator and turn it into a initial state. More...

Idx	InsInitState (const std::string &rName)
	Create a new named state and set as initial state. More...

void	InsInitStates (const StateSet &rStates)
	Add (perhaps new) anonymous initial states to generator More...

Idx	InsMarkedState (void)
	Create new anonymous state and set as marked state. More...

bool	InsMarkedState (Idx index)
	Add (perhaps new) state to generator and turn it into a marked state. More...

Idx	InsMarkedState (const std::string &rName)
	Create a new named state and set as marked state. More...

void	InsMarkedStates (const StateSet &rStates)
	Add (perhaps new) anonymous initial states to generator More...

void	SetInitState (Idx index)
	Set an existing state as initial state by index. More...

void	SetInitState (const std::string &rName)
	Set an existing state as initial state by name. More...

void	InjectInitStates (const StateSet &rNewInitStates)
	Replace mInitStates with StateSet given as parameter without consistency checks. More...

void	ClrInitState (Idx index)
	Unset an existing state as initial state by index. More...

void	ClrInitState (const std::string &rName)
	Unset an existing state as initial state by name. More...

StateSet::Iterator	ClrInitState (StateSet::Iterator pos)
	Unset an existing state as initial state by iterator. More...

void	ClearInitStates (void)
	Clear all mInitStates. More...

void	SetMarkedState (Idx index)
	Set an existing state as marked state by index. More...

void	SetMarkedState (const std::string &rName)
	Set an existing state as marked state by name. More...

void	ClrMarkedState (Idx index)
	Unset an existing state as marked state by index. More...

void	ClrMarkedState (const std::string &rName)
	Unset an existing state as marked state by name. More...

StateSet::Iterator	ClrMarkedState (StateSet::Iterator pos)
	Unset an existing state as marked state by iterator. More...

void	ClearMarkedStates (void)
	Clear all marked states. More...

void	InjectMarkedStates (const StateSet &rNewMarkedStates)
	Replace mMarkedStates with StateSet given as parameter without consistency checks. More...

bool	SetTransition (Idx x1, Idx ev, Idx x2)
	Add a transition to generator by indices. More...

bool	SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2)
	Add a transition to generator by names. More...

bool	SetTransition (const Transition &rTransition)
	Add a transition to generator. More...

void	ClrTransition (Idx x1, Idx ev, Idx x2)
	Remove a transition by indices. More...

void	ClrTransition (const Transition &rTrans)
	Remove a transition by transition object. More...

TransSet::Iterator	ClrTransition (TransSet::Iterator it)
	Remove a transition by iterator. More...

void	ClrTransitions (Idx x1, Idx ev)
	Remove a transitions by state and event. More...

void	ClrTransitions (Idx x1)
	Remove a transitions by state. More...

void	ClearTransRel (void)
	Clear all transitions. More...

void	InjectTransition (const Transition &rTrans)
	Set transition without consistency check. More...

void	InjectTransRel (const TransSet &rNewtransrel)
	Set transition relation without consistency check (no attributes) More...

virtual void	ClearAttributes (void)
	Clear Attributes. More...

virtual void	ClearEventAttributes (void)
	Clear event attributes. More...

virtual void	ClrEventAttribute (Idx index)
	Clear attribute for existing event. More...

virtual void	EventAttributes (const EventSet &rEventSet)
	Set attributes for existing events. More...

virtual void	ClearStateAttributes (void)
	Clear state attributes. More...

virtual void	ClrStateAttribute (Idx index)
	Clear attribute for existing state. More...

virtual void	ClearTransAttributes (void)
	Clear transition attributes. More...

virtual void	ClrTransAttribute (const Transition &rTrans)
	Clear attribute for existing transition. More...

virtual void	ClearGlobalAttribute (void)
	Clear global attribute. More...

virtual void	GlobalAttributeTry (const Type &rAttr)
	Set global attribute. More...

StateSet	AccessibleSet (void) const
	Compute set of accessible states. More...

bool	Accessible (void)
	Make generator accessible. More...

bool	IsAccessible (void) const
	Check if generator is accessible. More...

StateSet	CoaccessibleSet (void) const
	Compute set of Coaccessible states. More...

bool	Coaccessible (void)
	Make generator Coaccessible. More...

bool	IsCoaccessible (void) const
	Check if generator is Coaccessible. More...

StateSet	BlockingStates (void) const
	Compute set of blocking states. More...

StateSet	TerminalStates (void) const
	Compute set of terminal states. More...

StateSet	TerminalStates (const StateSet &rStates) const
	Compute set of terminal states. More...

bool	IsComplete (void) const
	Check if generator is complete. More...

bool	IsComplete (const StateSet &rStates) const
	Check if generator is complete. More...

bool	IsComplete (const EventSet &rSigmaO) const
	Check if generator is complete w.r.t. More...

bool	Complete (void)
	Make generator Complete. More...

bool	Complete (const EventSet &rSigmaO)
	Make generator Complete w.r.t. More...

StateSet	TrimSet (void) const
	Compute set of trim states. More...

bool	Trim (void)
	Make generator trim. More...

bool	IsTrim (void) const
	Check if generator is trim. More...

bool	OmegaTrim (void)
	Make generator omega-trim. More...

bool	IsOmegaTrim (void) const
	Check if generator is omega-trim. More...

EventSet	UsedEvents (void) const
	Return used events (executed in transitions) More...

EventSet	UnusedEvents (void) const
	Return unused events. More...

void	MinimizeAlphabet (void)
	Set the alphabet to used events. More...

EventSet	ActiveEventSet (Idx x1) const
	Return active event set at state x1. More...

TransSet	ActiveTransSet (Idx x1) const
	Return active transition set at state x1. More...

StateSet	TransRelStates (void) const
	Return the states covered by transitions. More...

Idx	SuccessorState (Idx x1, Idx ev) const
	Return the successor state of state x1 with event ev. More...

StateSet	SuccessorStates (Idx x1) const
	Return the successor states of state x1. More...

StateSet	SuccessorStates (Idx x1, Idx ev) const
	Return the successor states of state x1 with event ev. More...

bool	IsDeterministic (void) const
	Check if generator is deterministic. More...

void	SetMinStateIndexMap (void) const
	Set minimal index map for file io of generator states. More...

void	ClearMinStateIndexMap (void) const
	Clear minimal index map for 1:1 file io. More...

Idx	MinStateIndex (Idx index) const
	Get state index as is it will be written to file. More...

void	MinStateIndex (void)
	Re-enumerate states. More...

Idx	MaxStateIndex (void) const
	Get maximum state index used in this generator. More...

const std::map< Idx, Idx > &	MinStateIndexMap (void) const
	Get state index translation map. More...

std::string	EStr (Idx index) const
	Pretty printable event name for index (eg for debugging). More...

std::string	SStr (Idx index) const
	Return pretty printable state name for index (eg for debugging) More...

std::string	TStr (const Transition &rTrans) const
	Return pretty printable transition (eg for debugging) More...

void	GraphWrite (const std::string &rFileName, const std::string &rOutFormat="", const std::string &rDotExec="dot") const
	Produce graphical representation of this generator. More...

bool	operator< (const vGenerator &rOtherGen) const
	Order for sorting containers of generators. More...

void	WriteAlphabet (void) const
	Write generators alphabet to console. More...

std::string	AlphabetToString (void) const
	Write generators alphabet to string. More...

void	WriteAlphabet (TokenWriter &rTw) const
	Write generators alphabet to tokenwriter. More...

void	WriteStateSet (const StateSet &rStateSet) const
	Write a stateset to console (no re-indexing). More...

std::string	StateSetToString (const StateSet &rStateSet) const
	Write a stateset to string (no re-indexing). More...

std::string	StateSetToText (const StateSet &rStateSet) const
	Write a stateset to formated text (no re-indexing). More...

void	WriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const
	Write a stateset to TokenWriter. More...

void	DWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const
	Write a stateset to TokenWriter (debug version, no re-indexing) More...

std::string	StatesToString (void) const
	Write stateset of this generator to a string (no re-indexing) More...

std::string	StatesToText (void) const
	Write stateset of this generator to formated text (no re-indexing) More...

std::string	MarkedStatesToString (void) const
	Write set of marked states to a string (no re-indexing) More...

std::string	InitStatesToString (void) const
	Write set of initial states to a string (no re-indexing) More...

void	WriteTransRel (void) const
	Write transition relation to console (no re-indexing) More...

std::string	TransRelToString (void) const
	Write transition relation to string (no re-indexing) More...

std::string	TransRelToText (void) const
	Write transition relation to formated text (no re-indexing) More...

void	WriteTransRel (TokenWriter &rTw) const
	Write transition relation to tokenwriter. More...

void	DWriteTransRel (TokenWriter &rTw) const
	Write transition relation to tokenwriter (debug version) More...

virtual void	DotWrite (const std::string &rFileName) const
	Writes generator to dot input format. More...

virtual void	DDotWrite (const std::string &rFileName) const
	Writes generator to dot input format (no re-indexing). More...

virtual void	XDotWrite (const std::string &rFileName) const
	Writes generator to dot input format for export to VioLib. More...

void	ReadStateSet (TokenReader &rTr, const std::string &rLabel, StateSet &rStateSet) const
	Read a state set. More...

bool	ReindexOnWrite (void) const
	Test whether file-i/o uses minimal state indicees. More...

void	ReindexOnWrite (bool flag)
	Enable/disable minimal state indicees for file-i/o. More...

Public Member Functions inherited from faudes::Type
	Type (void)
	Constructor. More...

	Type (const Type &rType)
	Copy constructor. More...

virtual	~Type (void)
	Destructor. More...

Type &	operator= (const Type &rSrc)
	Assign configurationdata from other object. More...

virtual bool	Equal (const Type &rOther) const
	Test equality of configuration data. More...

bool	operator== (const Type &rOther) const
	Test equality of configuration data. More...

bool	operator!= (const Type &rOther) const
	Test equality of configuration data. More...

virtual const std::string &	TypeName (void) const
	Get objects's type name. More...

void	Write (const Type *pContext=0) const
	Write configuration data to console. More...

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
	Write configuration data to a file. More...

void	Write (const std::string &pFileName, std::ios::openmode openmode) const
	Write configuration data to a file. More...

void	Write (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
	Write configuration data to TokenWriter. More...

virtual void	XWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0) const
	Write configuration data to an XML file. More...

void	XWrite (const Type *pContext=0) const
	Write configuration data in XML format to concole Note: this write function uses the virtual function DoXWrite(), to be reimplemented by derived classes. More...

void	XWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
	Write configuration data in XML format to TokenWriter. More...

std::string	ToString (const std::string &rLabel="", const Type *pContext=0) const
	Write configuration data to a string. More...

std::string	ToText (const std::string &rLabel="", const Type *pContext=0) const
	Write configuration data to a formated string. More...

void	DWrite (const Type *pContext=0) const
	Write configuration data to console, debugging format. More...

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
	Write configuration data to a file, debugging format. More...

void	DWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
	Write configuration data in debug format to TokenWriter. More...

void	SWrite (TokenWriter &rTw) const
	Write statistics comment to TokenWriter. More...

void	SWrite (void) const
	Write statistics comment to console. More...

std::string	ToSText (void) const
	Write statistics to a string. More...

void	Read (const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0)
	Read configuration data from file with label specified. More...

void	FromString (const std::string &rString, const std::string &rLabel="", const Type *pContext=0)
	Read configuration data from a string. More...

void	Read (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)
	Read configuration data from TokenReader with label sepcified. More...

Additional Inherited Members
Public Types inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
typedef TaTransSet< TransAttr >	ATransSet
	Convenience typdef for member transiton set. More...

Static Public Member Functions inherited from faudes::vGenerator
static SymbolTable *	GlobalEventSymbolTablep (void)
	Get Pointer to global EventSymbolTable. More...

static void	StateNamesEnabledDefault (bool flag)
	Sets the default for automatic state name generation. More...

static void	ReindexOnWriteDefault (bool flag)
	Enable/disable reindexing states for file-i/o. More...

static bool	ReindexOnWriteDefault (void)
	Enable/disable reindexing states for file-i/o. More...

Protected Member Functions inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
virtual void	NewCore (void)
	Allocate my heap members (attribute dependent types) More...

virtual void	UpdateCore (void)
	Update my secondary pointers for new core. More...

void	DoAssign (const TaGenerator &rGen)
	Assignment. More...

Protected Member Functions inherited from faudes::vGenerator
virtual void	DeleteCore (void)
	Free my heap members (attribute dependent types) More...

void	ConfigureAttributeTypes (const AttributeVoid pNewGlobalPrototype, const StateSet pNewStatesPrototype, const EventSet pNewAlphabetPrototype, const TransSet pNewTransRelPrototype)
	Configure attribute types. More...

void	DoAssign (const vGenerator &rSrc)
	Assignment for matching type. More...

virtual void	DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)
	Read generator object from TokenReader, see Type::Read for public wrappers. More...

virtual void	DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
	Write generator to TokenWriter, see Type::Write for public wrappers. More...

virtual void	DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
	Write generator in debugging format to TokenWriter, see Type::DWrite for public wrappers. More...

virtual void	DoSWrite (TokenWriter &rTw) const
	Write generator statistics as comment to TokenWriter, see Type::SWrite for public wrappers. More...

virtual void	DoXWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
	Write generator to TokenWriter, see Type::XWrite for public wrappers. More...

void	ReadAlphabet (TokenReader &rTr)
	Read the generator's alphabet from a TokenReader. More...

void	WriteStates (TokenWriter &rTw) const
	Write generators stateset to TokenWriter. More...

void	ReadStates (TokenReader &rTr)
	Read the generator's stateset from a TokenReader. More...

void	XReadStateSet (TokenReader &rTr, StateSet &rStateSet, const std::string &rLabel="") const
	Read a stateset from TokenReader in XML format. More...

void	ReadTransRel (const std::string &rFileName)
	Read the generator's transition relation from a file. More...

void	ReadTransRel (TokenReader &rTr)
	Read the generator's transition relation from a TokenReader. More...

void	XReadTransRel (TokenReader &rTr)
	Read the generator's transition relation from a TokenReader. More...

void	XWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet, const std::string &rLabel="") const
	Write a stateset to TokenWriter in XML format. More...

void	XWriteTransRel (TokenWriter &rTw) const
	Write transition relation to tokenwriter in XML format. More...

Protected Member Functions inherited from faudes::Type
void	DoAssign (const Type &rSrc)
	Assign configuration data from other object. More...

bool	DoEqual (const Type &rOther) const
	Test equality of configuration data. More...

virtual const TypeDefinition *	TypeDefinitionp (void) const
	Get objects's type definition. More...

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 default alphabet prototype (incl. More...

static const TaIndexSet< StateAttr > &	StatesTaGen (void)
	Static default state set prototype (incl. More...

static const ATransSet &	TransRelTaGen (void)
	Static default transition relation prototype (incl. More...

static const GlobalAttr &	GlobalTaGen (void)
	Static default global attribute prototype (configures global attribute type) More...

Static Protected Member Functions inherited from faudes::vGenerator
static const EventSet &	AlphabetVoid (void)
	Static default alphabet prototype (incl. More...

static const StateSet &	StatesVoid (void)
	Static default state set prototype (incl. More...

static const TransSet &	TransRelVoid (void)
	Static default transition relation prototype (incl. More...

static const AttributeVoid &	GlobalVoid (void)
	Static default global attribute prototype (configures global attribute type) More...

Protected Attributes inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TaNameSet< EventAttr > *	pAlphabet
	Alphabet, pointer with actual attribute type. More...

TaIndexSet< StateAttr > *	pStates
	State set, pointer with actual attribute type. More...

ATransSet *	pTransRel
	Transition relation, pointer with actual attribute type. More...

GlobalAttr *	pGlobalAttribute
	Global attribute, pointer with actual attribute type. More...

Protected Attributes inherited from faudes::vGenerator
std::string	mMyName
	Name of generator. More...

Idx	mId
	Number of generator. More...

SymbolTable	mStateSymbolTable
	State symbol table (local per Generator) More...

SymbolTable *	mpStateSymbolTable
	Pointer to State symbol table. More...

SymbolTable *	mpEventSymbolTable
	Pointer to Event symbol table. More...

bool	mStateNamesEnabled
	Automatic state names. More...

bool	mReindexOnWrite
	Reindex states on file-i/o. More...

EventSet *	mpAlphabet
	Pointer to alphabet (actual type depends on attributes) More...

StateSet *	mpStates
	Pointer to state set (actual type depends on attributes) More...

TransSet *	mpTransRel
	Pointer to ransition relation (actual type depends on attributes) More...

AttributeVoid *	mpGlobalAttribute
	Pointer to lobal attribute (actual type depends on attributes) More...

const EventSet *	pAlphabetPrototype
	Pointer to alphabet prototype (incl. More...

const StateSet *	pStatesPrototype
	Pointer to state set prototype (incl. More...

const TransSet *	pTransRelPrototype
	Pointer to transition relation prototype (incl. More...

const AttributeVoid *	pGlobalPrototype
	Pointer to global attribute prototype (configures global attribute type) More...

StateSet	mInitStates
	Initial states. More...

StateSet	mMarkedStates
	Marked states. More...

std::map< Idx, Idx >	mMinStateIndexMap
	Map State indices to consecutive indices. More...

Static Protected Attributes inherited from faudes::vGenerator
static Idx	msObjectCount = 0
	Number of generator objects. More...

static bool	msStateNamesEnabledDefault = true
	Default for automatic statenames. More...

static bool	msReindexOnWriteDefault = false
	Default for automatic statenames. More...

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 >