List of all members
faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference
PlugIns » I/O System Plug-In

Detailed Description

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

Generator with I/O-system attributes.

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

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

Definition at line 34 of file ios_system.h.

#include <ios_system.h>

Public Member Functions

Constructors & Destructor
 TioGenerator (void)
 
 ~TioGenerator (void)
 
 TioGenerator (const std::string &rFileName)
 
virtual TioGenerator * New (void) const
 
 TioGenerator (const vGenerator &rOtherGen)
 
 TioGenerator (const TioGenerator &rOtherGen)
 
virtual TioGenerator * Copy (void) const
 
TioGenerator NewIoSystem (void) const
 
Assignment
virtual TioGenerator & operator= (const TioGenerator &rOtherGen)
 
Insertion with attributes
void InsOutputEvent (Idx index)
 
Idx InsOutputEvent (const std::string &rName)
 
void InsInputEvent (Idx index)
 
Idx InsInputEvent (const std::string &rName)
 
Event attributes <br>
EventSet OutputEvents (void) const
 
void OutputEvents (const EventSet &rEventSet)
 
bool OutputEvent (Idx index) const
 
bool OutputEvent (const std::string &rName) const
 
void SetOutputEvent (Idx index)
 
void SetOutputEvent (const std::string &rName)
 
void SetOutputEvent (const EventSet &rEventSet)
 
void ClrOutputEvent (Idx index)
 
void ClrOutputEvent (const std::string &rName)
 
void ClrOutputEvent (const EventSet &rEventSet)
 
EventSet InputEvents (void) const
 
void InputEvents (const EventSet &rEventSet)
 
bool InputEvent (Idx index) const
 
bool InputEvent (const std::string &rName) const
 
void SetInputEvent (Idx index)
 
void SetInputEvent (const std::string &rName)
 
void SetInputEvent (const EventSet &rEventSet)
 
void ClrInputEvent (Idx index)
 
void ClrInputEvent (const std::string &rName)
 
void ClrInputEvent (const EventSet &rEventSet)
 
State attributes <br>
StateSet OutputStates (void) const
 
void OutputStates (const StateSet &rStateSet)
 
bool OutputState (Idx index) const
 
bool OutputState (const std::string &rName) const
 
void SetOutputState (Idx index)
 
void SetOutputState (const std::string &rName)
 
void SetOutputState (const StateSet &rStateSet)
 
void ClrOutputState (Idx index)
 
void ClrOutputState (const std::string &rName)
 
void ClrOutputState (const StateSet &rStateSet)
 
StateSet InputStates (void) const
 
void InputStates (const StateSet &rStateSet)
 
bool InputState (Idx index) const
 
bool InputState (const std::string &rName) const
 
void SetInputState (Idx index)
 
void SetInputState (const std::string &rName)
 
void SetInputState (const StateSet &rStateSet)
 
void ClrInputState (Idx index)
 
void ClrInputState (const std::string &rName)
 
void ClrInputState (const StateSet &rStateSet)
 
StateSet ErrorStates (void) const
 
void ErrorStates (const StateSet &rStateSet)
 
bool ErrorState (Idx index) const
 
bool ErrorState (const std::string &rName) const
 
void SetErrorState (Idx index)
 
void SetErrorState (const std::string &rName)
 
void SetErrorState (const StateSet &rStateSet)
 
void ClrErrorState (Idx index)
 
void ClrErrorState (const std::string &rName)
 
void ClrErrorState (const StateSet &rStateSet)
 
Misc <br>
virtual bool UpdateAttributes (void)
 
- Public Member Functions inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
 TaGenerator (void)
 
 TaGenerator (const TaGenerator &rOtherGen)
 
 TaGenerator (const vGenerator &rOtherGen)
 
 TaGenerator (const std::string &rFileName)
 
virtual TaGenerator NewAGen (void) const
 
virtual const Type * Cast (const Type *pOther) const
 
virtual ~TaGenerator (void)
 
virtual TaGenerator & Assign (const Type &rSrc)
 
TaGenerator & operator= (const TaGenerator &rOtherGen)
 
virtual void Move (TaGenerator &rGen)
 
virtual void Move (Generator &rGen)
 
bool Valid (void) const
 
virtual void Clear (void)
 
const TaEventSet< EventAttr > & Alphabet (void) const
 
const TaStateSet< StateAttr > & States (void) const
 
const ATransSet & TransRel (void) const
 
void TransRel (TransSetX1EvX2 &res) const
 
void TransRel (TransSetEvX1X2 &res) const
 
void TransRel (TransSetEvX2X1 &res) const
 
void TransRel (TransSetX2EvX1 &res) const
 
void TransRel (TransSetX2X1Ev &res) const
 
void TransRel (TransSetX1X2Ev &res) const
 
bool InsEvent (Idx index)
 
Idx InsEvent (const std::string &rName)
 
bool InsEvent (Idx index, const EventAttr &rAttr)
 
Idx InsEvent (const std::string &rName, const EventAttr &rAttr)
 
void InjectAlphabet (const EventSet &rNewalphabet)
 
void InjectAlphabet (const TaEventSet< EventAttr > &rNewalphabet)
 
Idx InsState (void)
 
Idx InsState (const StateAttr &attr)
 
bool InsState (Idx index)
 
Idx InsState (const std::string &rName)
 
Idx InsState (const std::string &rName, const StateAttr &attr)
 
bool InsState (Idx index, const StateAttr &attr)
 
void InjectStates (const StateSet &rNewStates)
 
void InjectStates (const TaStateSet< StateAttr > &rNewStates)
 
bool SetTransition (Idx x1, Idx ev, Idx x2)
 
bool SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2)
 
bool SetTransition (const Transition &rTransition)
 
bool SetTransition (const Transition &rTransition, const TransAttr &rAttr)
 
void InjectTransRel (const TransSet &rNewtransrel)
 
void InjectTransRel (const ATransSet &rNewtransrel)
 
void EventAttribute (Idx index, const EventAttr &rAttr)
 
void EventAttribute (Idx index, const Type &rAttr)
 
const EventAttr & EventAttribute (Idx index) const
 
const EventAttr & EventAttribute (const std::string &rName) const
 
EventAttr * EventAttributep (Idx index)
 
EventAttr * EventAttributep (const std::string &rName)
 
void StateAttribute (Idx index, const StateAttr &rAttr)
 
void StateAttribute (Idx index, const Type &rAttr)
 
const StateAttr & StateAttribute (Idx index) const
 
StateAttr * StateAttributep (Idx index)
 
void TransAttribute (const Transition &rTrans, const TransAttr &rAttr)
 
void TransAttribute (const Transition &rTrans, const Type &rAttr)
 
const TransAttr & TransAttribute (const Transition &rTrans) const
 
TransAttr * TransAttributep (const Transition &rTrans)
 
void GlobalAttribute (const GlobalAttr &rAttr)
 
void GlobalAttribute (const Type &rAttr)
 
const GlobalAttr & GlobalAttribute (void) const
 
GlobalAttr * GlobalAttributep (void)
 
- Public Member Functions inherited from faudes::vGenerator
 vGenerator (void)
 
 vGenerator (const vGenerator &rOtherGen)
 
 vGenerator (const std::string &rFileName)
 
virtual ~vGenerator (void)
 
virtual vGenerator & AssignWithoutAttributes (const vGenerator &rGen)
 
vGenerator & operator= (const vGenerator &rOtherGen)
 
virtual void Version (const std::string &rVersion, vGenerator &rResGen) const
 
virtual void Version (Idx version, vGenerator &rResGen) const
 
virtual void Version (const std::string &rPattern, const std::string &rReplacement, vGenerator &rResGen) const
 
void 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

◆ TioGenerator() [1/4]

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

doxygen group Default constructor

Definition at line 786 of file ios_system.h.

◆ ~TioGenerator()

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

Default destructor

Definition at line 791 of file ios_system.h.

◆ TioGenerator() [2/4]

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

Construtor

Create IoSystem from file

Parameters
rFileNameFilename
Exceptions
Exception
  • File io error (id 1)
  • Token mismatch (id 50, 51, ...)

Definition at line 796 of file ios_system.h.

◆ TioGenerator() [3/4]

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

Copy constructor

Create IoSystem from a std. Generator

Parameters
rOtherGen

Definition at line 807 of file ios_system.h.

◆ TioGenerator() [4/4]

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

Copy constructor

Create IoSystem from another IoSystem

Parameters
rOtherGen

Definition at line 802 of file ios_system.h.

Member Function Documentation

◆ ClrErrorState() [1/3]

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

Unmak states as error states

Parameters
rStateSetSet of states to unmark
Exceptions
Exception
  • Some state does ot exist in generator (id 60)

Definition at line 1248 of file ios_system.h.

◆ ClrErrorState() [2/3]

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

Unmark state as error state

Parameters
rNameState name
Exceptions
Exception
  • State does ot exist in generator (id 60)

Definition at line 1241 of file ios_system.h.

◆ ClrErrorState() [3/3]

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

Unmark state as error state

Parameters
indexState index
Exceptions
Exception
  • State does ot exist in generator (id 60)

Definition at line 1233 of file ios_system.h.

◆ ClrInputEvent() [1/3]

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

Unmak events as input events

Parameters
rEventSetSet of events to unmark
Exceptions
Exception
  • Some event not found in alphabet (id 60)

Definition at line 1015 of file ios_system.h.

◆ ClrInputEvent() [2/3]

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

Unmark event as input event

Parameters
rNameEvent name
Exceptions
Exception
  • Event not found in alphabet (id 60)

Definition at line 1008 of file ios_system.h.

◆ ClrInputEvent() [3/3]

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

Unmark event as input event

Parameters
indexEvent index
Exceptions
Exception
  • Event not found in alphabet (id 60)

Definition at line 1000 of file ios_system.h.

◆ ClrInputState() [1/3]

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

Unmak states as input states

Parameters
rStateSetSet of states to unmark
Exceptions
Exception
  • Some state not found in alphabet (id 60)

Definition at line 1169 of file ios_system.h.

◆ ClrInputState() [2/3]

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

Unmark state as input state

Parameters
rNameState name
Exceptions
Exception
  • State not found in alphabet (id 60)

Definition at line 1162 of file ios_system.h.

◆ ClrInputState() [3/3]

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

Unmark state as input state

Parameters
indexState index
Exceptions
Exception
  • State not found in alphabet (id 60)

Definition at line 1154 of file ios_system.h.

◆ ClrOutputEvent() [1/3]

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

Unmak events as output events

Parameters
rEventSetSet of events to unmark
Exceptions
Exception
  • Some event does ot exist in generator (id 60)

Definition at line 938 of file ios_system.h.

◆ ClrOutputEvent() [2/3]

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

Unmark event as output event

Parameters
rNameEvent name
Exceptions
Exception
  • Event does ot exist in generator (id 60)

Definition at line 931 of file ios_system.h.

◆ ClrOutputEvent() [3/3]

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

Unmark event as output event

Parameters
indexEvent index
Exceptions
Exception
  • Event does ot exist in generator (id 60)

Definition at line 923 of file ios_system.h.

◆ ClrOutputState() [1/3]

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

Unmak states as output states

Parameters
rStateSetSet of states to unmark
Exceptions
Exception
  • Some state does ot exist in generator (id 60)

Definition at line 1092 of file ios_system.h.

◆ ClrOutputState() [2/3]

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

Unmark state as output state

Parameters
rNameState name
Exceptions
Exception
  • State does ot exist in generator (id 60)

Definition at line 1085 of file ios_system.h.

◆ ClrOutputState() [3/3]

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

Unmark state as output state

Parameters
indexState index
Exceptions
Exception
  • State does ot exist in generator (id 60)

Definition at line 1077 of file ios_system.h.

◆ Copy()

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

Copy Constructor

Construct copy on heap

Returns
new Generator

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

Definition at line 824 of file ios_system.h.

◆ ErrorState() [1/2]

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

Test for error state

Parameters
rNameState name
Returns
True / false
Exceptions
Exception
  • State does ot exist in generator (id 60)

Definition at line 1204 of file ios_system.h.

◆ ErrorState() [2/2]

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

Test for error state

Parameters
indexState index
Returns
True / false
Exceptions
Exception
  • State does ot exist in generator(id 60)

Definition at line 1199 of file ios_system.h.

◆ ErrorStates() [1/2]

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

Set all error states.

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

Parameters
rStateSetSet of all error states
Exceptions
Exception
  • State does ot exist in generator (id 60)

Definition at line 1190 of file ios_system.h.

◆ ErrorStates() [2/2]

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

Retrieve all error states

Returns
Set of all error states

Definition at line 1179 of file ios_system.h.

◆ InputEvent() [1/2]

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

Test for input event

Parameters
rNameEvent name
Returns
True / false
Exceptions
Exception
  • Event not found in alphabet (id 60)

Definition at line 972 of file ios_system.h.

◆ InputEvent() [2/2]

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

Test for input event

Parameters
indexEvent index
Returns
True / false
Exceptions
Exception
  • Event not found in alphabet (id 60)

Definition at line 967 of file ios_system.h.

◆ InputEvents() [1/2]

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

Set all input events.

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

Parameters
rEventSetSet of all input events
Exceptions
Exception
  • Event does ot exist in generator (id 60)

Definition at line 957 of file ios_system.h.

◆ InputEvents() [2/2]

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

Retrieve all input events

Returns
Set of all input events

Definition at line 946 of file ios_system.h.

◆ InputState() [1/2]

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

Test for input state

Parameters
rNameState name
Returns
True / false
Exceptions
Exception
  • State not found in alphabet (id 60)

Definition at line 1125 of file ios_system.h.

◆ InputState() [2/2]

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

Test for input state

Parameters
indexState index
Returns
True / false
Exceptions
Exception
  • State not found in alphabet (id 60)

Definition at line 1120 of file ios_system.h.

◆ InputStates() [1/2]

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

Set all input states.

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

Parameters
rStateSetSet of all input states
Exceptions
Exception
  • State does ot exist in generator (id 60)

Definition at line 1111 of file ios_system.h.

◆ InputStates() [2/2]

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

Retrieve all input states

Returns
Set of all input states

Definition at line 1100 of file ios_system.h.

◆ InsInputEvent() [1/2]

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

Insert input event by name.

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

Parameters
rNameName of the event to add
Returns
New global unique index

Definition at line 860 of file ios_system.h.

◆ InsInputEvent() [2/2]

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

Insert a input event by index.

Note: event must to exist in the global event table

Parameters
indexEvent index

Definition at line 852 of file ios_system.h.

◆ InsOutputEvent() [1/2]

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

Insert output event by name.

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

Parameters
rNameName of the event to add
Returns
New global unique index

Definition at line 844 of file ios_system.h.

◆ InsOutputEvent() [2/2]

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

doxygen group Insert an output-event by index

An entry in the global event table will be made.

Note: event has to exist in the global event table

Parameters
indexEvent index

Definition at line 836 of file ios_system.h.

◆ New()

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

Constructor

Create IoSystem on heap

Returns
new Generator

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

Definition at line 812 of file ios_system.h.

◆ NewIoSystem()

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

Create empty IoSystem with same symboltable as this

Returns
New Generator

Definition at line 829 of file ios_system.h.

◆ operator=()

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

doxygen group Assignment operator

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

Parameters
rOtherGenOther generator

Definition at line 131 of file ios_system.h.

◆ OutputEvent() [1/2]

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

Test for output event

Parameters
rNameEvent name
Returns
True / false
Exceptions
Exception
  • Event does ot exist in generator (id 60)

Definition at line 895 of file ios_system.h.

◆ OutputEvent() [2/2]

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

Test for output event

Parameters
indexEvent index
Returns
True / false
Exceptions
Exception
  • Event does ot exist in generator(id 60)

Definition at line 890 of file ios_system.h.

◆ OutputEvents() [1/2]

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

Set all output events.

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

Parameters
rEventSetSet of all output events
Exceptions
Exception
  • Event does ot exist in generator (id 60)

Definition at line 881 of file ios_system.h.

◆ OutputEvents() [2/2]

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

doxygen group Retrieve all output events

Returns
Set of all output events

Definition at line 870 of file ios_system.h.

◆ OutputState() [1/2]

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

Test for output state

Parameters
rNameState name
Returns
True / false
Exceptions
Exception
  • State does ot exist in generator (id 60)

Definition at line 1048 of file ios_system.h.

◆ OutputState() [2/2]

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

Test for output state

Parameters
indexState index
Returns
True / false
Exceptions
Exception
  • State does ot exist in generator(id 60)

Definition at line 1043 of file ios_system.h.

◆ OutputStates() [1/2]

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

Set all output states.

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

Parameters
rStateSetSet of all output states
Exceptions
Exception
  • State does ot exist in generator (id 60)

Definition at line 1034 of file ios_system.h.

◆ OutputStates() [2/2]

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

doxygen group Retrieve all output states

Returns
Set of all output states

Definition at line 1023 of file ios_system.h.

◆ SetErrorState() [1/3]

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

Mark state as error states

Parameters
rStateSetSet of states to mark
Exceptions
Exception
  • Some state does ot exist in generator (id 60)

Definition at line 1225 of file ios_system.h.

◆ SetErrorState() [2/3]

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

Mark state as error state

Parameters
rNameState name
Exceptions
Exception
  • State does ot exist in generator (id 60)

Definition at line 1218 of file ios_system.h.

◆ SetErrorState() [3/3]

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

Mark state as error state

Parameters
indexState index
Exceptions
Exception
  • State does ot exist in generator (id 60)

Definition at line 1210 of file ios_system.h.

◆ SetInputEvent() [1/3]

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

Mark event as input events

Parameters
rEventSetSet of events to mark
Exceptions
Exception
  • Some event not found in alphabet (id 60)

Definition at line 992 of file ios_system.h.

◆ SetInputEvent() [2/3]

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

Mark event as input event

Parameters
rNameEvent name
Exceptions
Exception
  • Event not found in alphabet (id 60)

Definition at line 985 of file ios_system.h.

◆ SetInputEvent() [3/3]

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

Mark event as input event

Parameters
indexEvent index
Exceptions
Exception
  • Event not found in alphabet (id 60)

Definition at line 977 of file ios_system.h.

◆ SetInputState() [1/3]

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

Mark state as input states

Parameters
rStateSetSet of states to mark
Exceptions
Exception
  • Some state not found in alphabet (id 60)

Definition at line 1146 of file ios_system.h.

◆ SetInputState() [2/3]

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

Mark state as input state

Parameters
rNameState name
Exceptions
Exception
  • State not found in alphabet (id 60)

Definition at line 1139 of file ios_system.h.

◆ SetInputState() [3/3]

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

Mark state as input state

Parameters
indexState index
Exceptions
Exception
  • State not found in alphabet (id 60)

Definition at line 1131 of file ios_system.h.

◆ SetOutputEvent() [1/3]

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

Mark event as output events

Parameters
rEventSetSet of events to mark
Exceptions
Exception
  • Some event does ot exist in generator (id 60)

Definition at line 915 of file ios_system.h.

◆ SetOutputEvent() [2/3]

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

Mark event as output event

Parameters
rNameEvent name
Exceptions
Exception
  • Event does ot exist in generator (id 60)

Definition at line 908 of file ios_system.h.

◆ SetOutputEvent() [3/3]

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

Mark event as output event

Parameters
indexEvent index
Exceptions
Exception
  • Event does ot exist in generator (id 60)

Definition at line 900 of file ios_system.h.

◆ SetOutputState() [1/3]

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

Mark state as output states

Parameters
rStateSetSet of states to mark
Exceptions
Exception
  • Some state does ot exist in generator (id 60)

Definition at line 1069 of file ios_system.h.

◆ SetOutputState() [2/3]

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

Mark state as output state

Parameters
rNameState name
Exceptions
Exception
  • State does ot exist in generator (id 60)

Definition at line 1062 of file ios_system.h.

◆ SetOutputState() [3/3]

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

Mark state as output state

Parameters
indexState index
Exceptions
Exception
  • State does ot exist in generator (id 60)

Definition at line 1054 of file ios_system.h.

◆ UpdateAttributes()

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

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

Returns
True if value changed

Reimplemented from faudes::vGenerator.

Definition at line 1256 of file ios_system.h.

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

libFAUDES 2.33l --- 2025.09.16 --- c++ api documentaion by doxygen

>>