faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference

Detailed Description

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

Generator with I/O-plant attributes.

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

  • event attributes: YP = Y && P UP = U && P YE = Y && E UE = U && E
  • state attributes: QYpYe = QY && QP && QE QUp = QU && QP QUe = QU && QE

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 THioPlant 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 THioPlant. To model a plain finite state machine plus I/O-plant properties, use THioPlant with HioEventFlags and HioStateFlags for the event and state attribute parameters and AttributeVoid for the other parameters. For convenience, this has been typedefed as HioPlant.

Definition at line 47 of file hio_plant.h.

#include <hio_plant.h>

Public Member Functions

 THioPlant (void)
 Creates an empty HioPlant object. More...
 
 THioPlant (const Generator &rOtherGen)
 HioPlant from a std Generator. More...
 
 THioPlant (const Generator &rOtherGen, const EventSet &rYp, const EventSet &rUp, const EventSet &rYe, const EventSet &rUe)
 HioPlant from a std Generator and event sets. More...
 
 THioPlant (const THioPlant &rOtherGen)
 HioPlant from a HioPlant. More...
 
 THioPlant (const std::string &rFileName)
 construct a HioPlant from file More...
 
virtual THioPlantNew (void) const
 Construct on heap. More...
 
virtual THioPlantCopy (void) const
 Construct copy on heap. More...
 
THioPlant NewHioPlant (void) const
 Create empty HioPlant with same symboltable as this. More...
 
virtual THioPlantoperator= (const THioPlant &rOtherGen)
 Assignment operator (uses copy ) More...
 
void InsYpEvent (Idx index)
 Add an existing Yp-event to generator. More...
 
Idx InsYpEvent (const std::string &rName)
 Add new named Yp-event to generator. More...
 
void InsUpEvent (Idx index)
 Add an existing Up-event to generator. More...
 
Idx InsUpEvent (const std::string &rName)
 Add new named Up-event to generator. More...
 
void SetYp (Idx index)
 Mark event as Yp-event (by index) More...
 
void SetYp (const std::string &rName)
 Mark event as Yp-event(by name) More...
 
void SetYp (const EventSet &rEvents)
 Mark set of events as Yp-events. More...
 
void SetUp (Idx index)
 Mark event Up-event(by index) More...
 
void SetUp (const std::string &rName)
 Mark event Up-event(by name) More...
 
void SetUp (const EventSet &rEvents)
 Mark set of events as Up-events. More...
 
bool IsYp (Idx index) const
 Is event Yp-event(by index) More...
 
bool IsYp (const std::string &rName) const
 Is event Yp-event(by name) More...
 
bool IsUp (Idx index) const
 Is event Up-event(by index) More...
 
bool IsUp (const std::string &rName) const
 Is event Up-event(by name) More...
 
EventSet YpEvents (void) const
 Get EventSet with Yp-events. More...
 
EventSet UpEvents (void) const
 Get EventSet with Up-events. 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 as Ue-event (by index) More...
 
void SetUe (const std::string &rName)
 Mark event as 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...
 
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 IsP (Idx index) const
 Is event P-event? (by index) More...
 
bool IsP (const std::string &rName) const
 Is event P-event? (by name) More...
 
EventSet PEvents (void) const
 Get EventSet with P-events. More...
 
bool IsE (Idx index) const
 Is event E-event? (by index) More...
 
bool IsE (const std::string &rName) const
 Is event E-event? (by name) More...
 
EventSet EEvents (void) const
 Get EventSet with E-events. More...
 
void SetQYpYe (Idx index)
 Mark state as QYpYe-state (by index) More...
 
void SetQYpYe (const std::string &rName)
 Mark state as QYpYe-state (by name) More...
 
void SetQYpYe (const StateSet &rStates)
 Mark set of states as QYpYe-states. More...
 
void ClrQYpYe (Idx index)
 Mark state as NOT QYpYe-state (by index) More...
 
void ClrQYpYe (const std::string &rName)
 Mark state as NOT QYpYe-state (by name) More...
 
void ClrQYpYe (const StateSet &rStates)
 Mark set of states as NOT QYpYe-states (by index) More...
 
bool IsQYpYe (Idx index) const
 Is state QYpYe-state (by index) More...
 
bool IsQYpYe (const std::string &rName) const
 Is state QYpYe-state (by name) More...
 
StateSet QYpYeStates (void) const
 Get StateSet with QYpYe-states. More...
 
void SetQUp (Idx index)
 Mark state as QUp-state (by index) More...
 
void SetQUp (const std::string &rName)
 Mark state as QUp-state (by name) More...
 
void SetQUp (const StateSet &rStates)
 Mark set of states as QUp-states. More...
 
void ClrQUp (Idx index)
 Mark state as NOT QUp-state (by index) More...
 
void ClrQUp (const std::string &rName)
 Mark state as NOT QUp-state (by name) More...
 
void ClrQUp (const StateSet &rStates)
 Mark set of states as NOT QUp-states (by index) More...
 
bool IsQUp (Idx index) const
 Is state QUp-state (by index) More...
 
bool IsQUp (const std::string &rName) const
 Is state QUp-state (by name) More...
 
StateSet QUpStates (void) const
 Get StateSet with QUp-states. More...
 
void SetQUe (Idx index)
 Mark state 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 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 TypeCast (const Type *pOther) const
 Type test. More...
 
virtual ~TaGenerator (void)
 Destructor. More...
 
virtual TaGeneratorAssign (const Type &rSrc)
 Copy from other faudes Type (try to cast to agenerator or pass to base) More...
 
virtual TaGeneratoroperator= (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 ATransSetTransRel (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 vGeneratorAssignWithoutAttributes (const vGenerator &rGen)
 Copy from other vGenerator, ignore attributes. More...
 
virtual vGeneratoroperator= (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...
 
SymbolTableEventSymbolTablep (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...
 
EventSetNewEventSetp (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 SymbolTableStateSymbolTable (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 EventSetAlphabet (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 StateSetStates (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 StateSetInitStates (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 StateSetMarkedStates (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 TransSetTransRel (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...
 
virtual Typeoperator= (const Type &rSrc)
 Assign configurationdata from other object. More...
 
virtual bool Equal (const Type &rOther) const
 Test equality of configuration data. More...
 
virtual bool operator== (const Type &rOther) const
 Test equality of configuration data. More...
 
virtual 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 SymbolTableGlobalEventSymbolTablep (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 TypeDefinitionTypeDefinitionp (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 ATransSetTransRelTaGen (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 EventSetAlphabetVoid (void)
 Static default alphabet prototype (incl. More...
 
static const StateSetStatesVoid (void)
 Static default state set prototype (incl. More...
 
static const TransSetTransRelVoid (void)
 Static default transition relation prototype (incl. More...
 
static const AttributeVoidGlobalVoid (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...
 
ATransSetpTransRel
 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...
 
SymbolTablempStateSymbolTable
 Pointer to State symbol table. More...
 
SymbolTablempEventSymbolTable
 Pointer to Event symbol table. More...
 
bool mStateNamesEnabled
 Automatic state names. More...
 
bool mReindexOnWrite
 Reindex states on file-i/o. More...
 
EventSetmpAlphabet
 Pointer to alphabet (actual type depends on attributes) More...
 
StateSetmpStates
 Pointer to state set (actual type depends on attributes) More...
 
TransSetmpTransRel
 Pointer to ransition relation (actual type depends on attributes) More...
 
AttributeVoidmpGlobalAttribute
 Pointer to lobal attribute (actual type depends on attributes) More...
 
const EventSetpAlphabetPrototype
 Pointer to alphabet prototype (incl. More...
 
const StateSetpStatesPrototype
 Pointer to state set prototype (incl. More...
 
const TransSetpTransRelPrototype
 Pointer to transition relation prototype (incl. More...
 
const AttributeVoidpGlobalPrototype
 Pointer to global attribute prototype (configures global attribute type) More...
 
StateSet mInitStates
 Initial states. More...
 
StateSet mMarkedStates
 Marked states. More...
 
std::map< Idx, IdxmMinStateIndexMap
 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

◆ THioPlant() [1/5]

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

Creates an empty HioPlant object.

Definition at line 889 of file hio_plant.h.

◆ THioPlant() [2/5]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioPlant ( const Generator rOtherGen)

HioPlant from a std Generator.

Copy constructor

Parameters
rOtherGen

Definition at line 899 of file hio_plant.h.

◆ THioPlant() [3/5]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioPlant ( const Generator rOtherGen,
const EventSet rYp,
const EventSet rUp,
const EventSet rYe,
const EventSet rUe 
)

HioPlant from a std Generator and event sets.

Copy constructor

Parameters
rOtherGenGenerator
rYpalphabet Yp
rUpalphabet Up
rYealphabet Ye
rUealphabet Ue

Definition at line 904 of file hio_plant.h.

◆ THioPlant() [4/5]

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

HioPlant from a HioPlant.

Copy constructor

Parameters
rOtherGen

Definition at line 894 of file hio_plant.h.

◆ THioPlant() [5/5]

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

construct a HioPlant from file

Parameters
rFileNameFilename
Exceptions
ExceptionIf opening/reading fails an Exception object is thrown (id 1, 50, 51)

Definition at line 919 of file hio_plant.h.

Member Function Documentation

◆ ClrErr() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr ( const StateSet rStates)

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

Parameters
rStatesStateSet

Definition at line 1598 of file hio_plant.h.

◆ ClrErr() [2/3]

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

Mark state as NOT Err-state (by name)

Parameters
rNameState name

Definition at line 1591 of file hio_plant.h.

◆ ClrErr() [3/3]

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

Mark state as NOT Err-state (by index)

Parameters
indexState index

Definition at line 1583 of file hio_plant.h.

◆ ClrQUe() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe ( const StateSet rStates)

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

Parameters
rStatesStateSet

Definition at line 1527 of file hio_plant.h.

◆ ClrQUe() [2/3]

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

Mark state as NOT QUe-state (by name)

Parameters
rNameState name

Definition at line 1520 of file hio_plant.h.

◆ ClrQUe() [3/3]

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

Mark state as NOT QUe-state (by index)

Parameters
indexState index

Definition at line 1511 of file hio_plant.h.

◆ ClrQUp() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp ( const StateSet rStates)

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

Parameters
rStatesStateSet

Definition at line 1445 of file hio_plant.h.

◆ ClrQUp() [2/3]

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

Mark state as NOT QUp-state (by name)

Parameters
rNameState name

Definition at line 1438 of file hio_plant.h.

◆ ClrQUp() [3/3]

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

Mark state as NOT QUp-state (by index)

Parameters
indexState index

Definition at line 1429 of file hio_plant.h.

◆ ClrQYpYe() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYpYe ( const StateSet rStates)

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

Parameters
rStatesStateSet

Definition at line 1365 of file hio_plant.h.

◆ ClrQYpYe() [2/3]

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

Mark state as NOT QYpYe-state (by name)

Parameters
rNameState name

Definition at line 1358 of file hio_plant.h.

◆ ClrQYpYe() [3/3]

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

Mark state as NOT QYpYe-state (by index)

Parameters
indexState index

Definition at line 1348 of file hio_plant.h.

◆ Copy()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::THioPlant< 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 934 of file hio_plant.h.

◆ EEvents()

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

Get EventSet with E-events.

Returns
EventSet of E-events

Definition at line 1300 of file hio_plant.h.

◆ ErrStates()

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

Get StateSet with Err-states.

Returns
StateSet of Err-states

Definition at line 1619 of file hio_plant.h.

◆ InsUeEvent() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Idx faudes::THioPlant< 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
rNameName of the event to add
Returns
New global unique index

Definition at line 1158 of file hio_plant.h.

◆ InsUeEvent() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioPlant< 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
indexEvent index

Definition at line 1149 of file hio_plant.h.

◆ InsUpEvent() [1/2]

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

Add new named Up-event to generator.

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 1024 of file hio_plant.h.

◆ InsUpEvent() [2/2]

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

Add an existing Up-event to generator.

An entry in the global event table will be made.

Parameters
indexEvent index

Definition at line 1015 of file hio_plant.h.

◆ InsYeEvent() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Idx faudes::THioPlant< 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
rNameName of the event to add
Returns
New global unique index

Definition at line 1140 of file hio_plant.h.

◆ InsYeEvent() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioPlant< 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
indexEvent index

Definition at line 1131 of file hio_plant.h.

◆ InsYpEvent() [1/2]

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

Add new named Yp-event to generator.

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 1006 of file hio_plant.h.

◆ InsYpEvent() [2/2]

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

Add an existing Yp-event to generator.

An entry in the global event table will be made.

Parameters
indexEvent index

Definition at line 997 of file hio_plant.h.

◆ IsE() [1/2]

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

Is event E-event? (by name)

Parameters
rNameEvent name
Returns
True / false

Definition at line 1283 of file hio_plant.h.

◆ IsE() [2/2]

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

Is event E-event? (by index)

Parameters
indexEvent index
Returns
True / false

Definition at line 1277 of file hio_plant.h.

◆ IsErr() [1/2]

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

Is state Err-state (by name)

Parameters
rNameState name
Returns
True / false

Definition at line 1613 of file hio_plant.h.

◆ IsErr() [2/2]

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

Is state Err-state (by index)

Parameters
indexState index
Returns
True / false

Definition at line 1607 of file hio_plant.h.

◆ IsP() [1/2]

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

Is event P-event? (by name)

Parameters
rNameEvent name
Returns
True / false

Definition at line 1271 of file hio_plant.h.

◆ IsP() [2/2]

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

Is event P-event? (by index)

Parameters
indexEvent index
Returns
True / false

Definition at line 1265 of file hio_plant.h.

◆ IsQUe() [1/2]

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

Is state QUe-state (by name)

Parameters
rNameState name
Returns
True / false

Definition at line 1542 of file hio_plant.h.

◆ IsQUe() [2/2]

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

Is state QUe-state (by index)

Parameters
indexState index
Returns
True / false

Definition at line 1536 of file hio_plant.h.

◆ IsQUp() [1/2]

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

Is state QUp-state (by name)

Parameters
rNameState name
Returns
True / false

Definition at line 1460 of file hio_plant.h.

◆ IsQUp() [2/2]

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

Is state QUp-state (by index)

Parameters
indexState index
Returns
True / false

Definition at line 1454 of file hio_plant.h.

◆ IsQYpYe() [1/2]

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

Is state QYpYe-state (by name)

Parameters
rNameState name
Returns
True / false

Definition at line 1380 of file hio_plant.h.

◆ IsQYpYe() [2/2]

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

Is state QYpYe-state (by index)

Parameters
indexState index
Returns
True / false

Definition at line 1374 of file hio_plant.h.

◆ IsU() [1/2]

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

Is event U-event? (by name)

Parameters
rNameEvent name
Returns
True / false

Definition at line 967 of file hio_plant.h.

◆ IsU() [2/2]

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

Is event U-event? (by index)

Parameters
indexEvent index
Returns
True / false

Definition at line 961 of file hio_plant.h.

◆ IsUe() [1/2]

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

Is event Ue-event (by name)

Parameters
rNameEvent name
Returns
True / false

Definition at line 1235 of file hio_plant.h.

◆ IsUe() [2/2]

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

Is event Ue-event (by index)

Parameters
indexEvent index
Returns
True / false

Definition at line 1229 of file hio_plant.h.

◆ IsUp() [1/2]

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

Is event Up-event(by name)

Parameters
rNameEvent name
Returns
True / false

Definition at line 1101 of file hio_plant.h.

◆ IsUp() [2/2]

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

Is event Up-event(by index)

Parameters
indexEvent index
Returns
True / false

Definition at line 1095 of file hio_plant.h.

◆ IsY() [1/2]

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

Is event Y-event? (by name)

Parameters
rNameEvent name
Returns
True / false

Definition at line 955 of file hio_plant.h.

◆ IsY() [2/2]

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

Is event Y-event? (by index)

Parameters
indexEvent index
Returns
True / false

Definition at line 949 of file hio_plant.h.

◆ IsYe() [1/2]

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

Is event Ye-event (by name)

Parameters
rNameEvent name
Returns
True / false

Definition at line 1223 of file hio_plant.h.

◆ IsYe() [2/2]

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

Is event Ye-event (by index)

Parameters
indexEvent index
Returns
True / false

Definition at line 1217 of file hio_plant.h.

◆ IsYp() [1/2]

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

Is event Yp-event(by name)

Parameters
rNameEvent name
Returns
True / false

Definition at line 1089 of file hio_plant.h.

◆ IsYp() [2/2]

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

Is event Yp-event(by index)

Parameters
indexEvent index
Returns
True / false

Definition at line 1083 of file hio_plant.h.

◆ New()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::THioPlant< 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 924 of file hio_plant.h.

◆ NewHioPlant()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewHioPlant ( void  ) const

Create empty HioPlant with same symboltable as this.

Returns
New Generator

Definition at line 939 of file hio_plant.h.

◆ operator=()

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

Assignment operator (uses copy )

Parameters
rOtherGenOther generator

Definition at line 131 of file hio_plant.h.

◆ PEvents()

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

Get EventSet with P-events.

Returns
EventSet of P-events

Definition at line 1289 of file hio_plant.h.

◆ QUeStates()

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

Get StateSet with QUe-states.

Returns
StateSet of QUe-states

Definition at line 1548 of file hio_plant.h.

◆ QUpStates()

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

Get StateSet with QUp-states.

Returns
StateSet of QUp-states

Definition at line 1466 of file hio_plant.h.

◆ QYpYeStates()

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

Get StateSet with QYpYe-states.

Returns
StateSet of QYpYe-states

Definition at line 1386 of file hio_plant.h.

◆ SetErr() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr ( const StateSet rStates)

Mark set of states as Err-states.

Parameters
rStatesStateSet

Definition at line 1574 of file hio_plant.h.

◆ SetErr() [2/3]

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

Mark state as Err-state (by name)

Parameters
rNameState name

Definition at line 1567 of file hio_plant.h.

◆ SetErr() [3/3]

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

Mark state as Err-state (by index)

Parameters
indexState index

Definition at line 1559 of file hio_plant.h.

◆ SetQUe() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe ( const StateSet rStates)

Mark set of states as QUe-states.

Parameters
rStatesStateSet

Definition at line 1502 of file hio_plant.h.

◆ SetQUe() [2/3]

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

Mark state as QUe-state (by name)

Parameters
rNameState name

Definition at line 1495 of file hio_plant.h.

◆ SetQUe() [3/3]

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

Mark state as QUe-state (by index)

Parameters
indexState index

Definition at line 1480 of file hio_plant.h.

◆ SetQUp() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp ( const StateSet rStates)

Mark set of states as QUp-states.

Parameters
rStatesStateSet

Definition at line 1420 of file hio_plant.h.

◆ SetQUp() [2/3]

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

Mark state as QUp-state (by name)

Parameters
rNameState name

Definition at line 1413 of file hio_plant.h.

◆ SetQUp() [3/3]

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

Mark state as QUp-state (by index)

Parameters
indexState index

Definition at line 1398 of file hio_plant.h.

◆ SetQYpYe() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYpYe ( const StateSet rStates)

Mark set of states as QYpYe-states.

Parameters
rStatesStateSet

Definition at line 1339 of file hio_plant.h.

◆ SetQYpYe() [2/3]

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

Mark state as QYpYe-state (by name)

Parameters
rNameState name

Definition at line 1332 of file hio_plant.h.

◆ SetQYpYe() [3/3]

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

Mark state as QYpYe-state (by index)

Parameters
indexState index

Definition at line 1317 of file hio_plant.h.

◆ SetUe() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe ( const EventSet rEvents)

Mark set of events as Ue-events.

Parameters
rEventsEventSet

Definition at line 1208 of file hio_plant.h.

◆ SetUe() [2/3]

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

Mark event as Ue-event (by name)

Parameters
rNameEvent name

Definition at line 1201 of file hio_plant.h.

◆ SetUe() [3/3]

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

Mark event as Ue-event (by index)

Parameters
indexEvent index

Definition at line 1192 of file hio_plant.h.

◆ SetUp() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp ( const EventSet rEvents)

Mark set of events as Up-events.

Parameters
rEventsEventSet

Definition at line 1074 of file hio_plant.h.

◆ SetUp() [2/3]

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

Mark event Up-event(by name)

Parameters
rNameEvent name

Definition at line 1067 of file hio_plant.h.

◆ SetUp() [3/3]

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

Mark event Up-event(by index)

Parameters
indexEvent index

Definition at line 1058 of file hio_plant.h.

◆ SetYe() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe ( const EventSet rEvents)

Mark set of events as Ye-events.

Parameters
rEventsEventSet

Definition at line 1183 of file hio_plant.h.

◆ SetYe() [2/3]

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

Mark event as Ye-event (by name)

Parameters
rNameEvent name

Definition at line 1176 of file hio_plant.h.

◆ SetYe() [3/3]

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

Mark event as Ye-event (by index)

Parameters
indexEvent index

Definition at line 1167 of file hio_plant.h.

◆ SetYp() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp ( const EventSet rEvents)

Mark set of events as Yp-events.

Parameters
rEventsEventSet

Definition at line 1049 of file hio_plant.h.

◆ SetYp() [2/3]

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

Mark event as Yp-event(by name)

Parameters
rNameEvent name

Definition at line 1042 of file hio_plant.h.

◆ SetYp() [3/3]

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

Mark event as Yp-event (by index)

Parameters
indexEvent index

Definition at line 1033 of file hio_plant.h.

◆ UeEvents()

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

Get EventSet with Ue-events.

Returns
EventSet of Ue-events

Definition at line 1252 of file hio_plant.h.

◆ UEvents()

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

Get EventSet with U-events.

Returns
EventSet of U-events

Definition at line 984 of file hio_plant.h.

◆ UpdateAttributes()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
virtual bool faudes::THioPlant< 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 871 of file hio_plant.h.

◆ UpEvents()

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

Get EventSet with Up-events.

Returns
EventSet of Up-events

Definition at line 1118 of file hio_plant.h.

◆ YeEvents()

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

Get EventSet with Ye-events.

Returns
EventSet of Ye-events

Definition at line 1241 of file hio_plant.h.

◆ YEvents()

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

Get EventSet with Y-events.

Returns
EventSet of Y-events

Definition at line 973 of file hio_plant.h.

◆ YpEvents()

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

Get EventSet with Yp-events.

Returns
EventSet of Yp-events

Definition at line 1107 of file hio_plant.h.


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

libFAUDES 2.32b --- 2024.03.01 --- c++ api documentaion by doxygen