|
faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference Detailed Descriptiontemplate<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
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 THioPlant * | New (void) const |
| Construct on heap. More... | |
| virtual THioPlant * | Copy (void) const |
| Construct copy on heap. More... | |
| THioPlant | NewHioPlant (void) const |
| Create empty HioPlant with same symboltable as this. More... | |
| virtual THioPlant & | operator= (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 Type * | Cast (const Type *pOther) const |
| Type test. More... | |
| virtual | ~TaGenerator (void) |
| Destructor. More... | |
| virtual TaGenerator & | Assign (const Type &rSrc) |
| Copy from other faudes Type (try to cast to agenerator or pass to base) More... | |
| TaGenerator & | operator= (const TaGenerator &rOtherGen) |
| Assignment operator (uses Assign(Generator&) ) More... | |
| virtual void | Move (TaGenerator &rGen) |
| Destructive copy to other TaGenerator Copy method with increased performance at the cost of invalidating the source data. More... | |
| virtual void | Move (Generator &rGen) |
| Destructive copy to other Generator. More... | |
| bool | Valid (void) const |
| Check if generator is valid. More... | |
| virtual void | Clear (void) |
| Clear generator data. More... | |
| const TaEventSet< EventAttr > & | Alphabet (void) const |
| Return const reference to alphabet. More... | |
| const TaStateSet< StateAttr > & | States (void) const |
| Return reference to state set. More... | |
| const ATransSet & | TransRel (void) const |
| Return reference to transition relation. More... | |
| void | TransRel (TransSetX1EvX2 &res) const |
| Get copy of trantision relation sorted by other compare operator, e.g. More... | |
| void | TransRel (TransSetEvX1X2 &res) const |
| void | TransRel (TransSetEvX2X1 &res) const |
| void | TransRel (TransSetX2EvX1 &res) const |
| void | TransRel (TransSetX2X1Ev &res) const |
| void | TransRel (TransSetX1X2Ev &res) const |
| bool | InsEvent (Idx index) |
| Add an existing event to alphabet by index. More... | |
| Idx | InsEvent (const std::string &rName) |
| Add named event to generator. More... | |
| bool | InsEvent (Idx index, const EventAttr &rAttr) |
| Add an existing event to alphabet by index, incl. More... | |
| Idx | InsEvent (const std::string &rName, const EventAttr &rAttr) |
| Add named event with attribute to generator. More... | |
| void | InjectAlphabet (const EventSet &rNewalphabet) |
| Set mpAlphabet without consistency check. More... | |
| void | InjectAlphabet (const TaEventSet< EventAttr > &rNewalphabet) |
| Set mpAlphabet without consistency check. More... | |
| Idx | InsState (void) |
| Add new anonymous state to generator. More... | |
| Idx | InsState (const StateAttr &attr) |
| Add new anonymous state with attribute to generator. More... | |
| bool | InsState (Idx index) |
| Add (perhaps new) state to generator. More... | |
| Idx | InsState (const std::string &rName) |
| Add new named state to generator. More... | |
| Idx | InsState (const std::string &rName, const StateAttr &attr) |
| Add new named state with attribute to generator. More... | |
| bool | InsState (Idx index, const StateAttr &attr) |
| Add (perhaps new) state with attribute to generator. More... | |
| void | InjectStates (const StateSet &rNewStates) |
| Inject a complete state set without consistency checks. More... | |
| void | InjectStates (const TaStateSet< StateAttr > &rNewStates) |
| Inject a complete state set without consistency checks. More... | |
| bool | SetTransition (Idx x1, Idx ev, Idx x2) |
| Add a transition to generator by indices. More... | |
| bool | SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) |
| Add a transition to generator by names. More... | |
| bool | SetTransition (const Transition &rTransition) |
| Add a transition to generator. More... | |
| bool | SetTransition (const Transition &rTransition, const TransAttr &rAttr) |
| Add a transition with attribute to generator. More... | |
| void | InjectTransRel (const TransSet &rNewtransrel) |
| Set transition relation without consistency check. More... | |
| void | InjectTransRel (const ATransSet &rNewtransrel) |
| Set transition relation without consistency check. More... | |
| void | EventAttribute (Idx index, const EventAttr &rAttr) |
| Set attribute for existing event. More... | |
| void | EventAttribute (Idx index, const Type &rAttr) |
| Set attribute for existing event. More... | |
| const EventAttr & | EventAttribute (Idx index) const |
| Event attribute lookup. More... | |
| const EventAttr & | EventAttribute (const std::string &rName) const |
| Event attribute lookup. More... | |
| EventAttr * | EventAttributep (Idx index) |
| Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute. More... | |
| EventAttr * | EventAttributep (const std::string &rName) |
| Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute. More... | |
| void | StateAttribute (Idx index, const StateAttr &rAttr) |
| Set attribute for existing state. More... | |
| void | StateAttribute (Idx index, const Type &rAttr) |
| Set attribute for existing state. More... | |
| const StateAttr & | StateAttribute (Idx index) const |
| State attribute lookup. More... | |
| StateAttr * | StateAttributep (Idx index) |
| State attribute pointer (to access Attribute methods) note: may insert explicit default attribute. More... | |
| void | TransAttribute (const Transition &rTrans, const TransAttr &rAttr) |
| Set attribute for existing transition. More... | |
| void | TransAttribute (const Transition &rTrans, const Type &rAttr) |
| Set attribute for existing transition. More... | |
| const TransAttr & | TransAttribute (const Transition &rTrans) const |
| Get attribute for existing transition. More... | |
| TransAttr * | TransAttributep (const Transition &rTrans) |
| Get attribute pointer for existing transition note: may insert explicit default attribute. More... | |
| void | GlobalAttribute (const GlobalAttr &rAttr) |
| Set global attribute. More... | |
| void | GlobalAttribute (const Type &rAttr) |
| Set global attribute. More... | |
| const GlobalAttr & | GlobalAttribute (void) const |
| Get global attribute ref. More... | |
| GlobalAttr * | GlobalAttributep (void) |
| Get global attribute pointer. More... | |
Public Member Functions inherited from faudes::vGenerator | |
| vGenerator (void) | |
| Default constructor. More... | |
| vGenerator (const vGenerator &rOtherGen) | |
| Copy-constructror. More... | |
| vGenerator (const std::string &rFileName) | |
| Construct from file. More... | |
| virtual | ~vGenerator (void) |
| Destructor. More... | |
| virtual vGenerator & | AssignWithoutAttributes (const vGenerator &rGen) |
| Copy from other vGenerator, ignore attributes. More... | |
| vGenerator & | operator= (const vGenerator &rOtherGen) |
| Assignment operator (uses Assign method) More... | |
| virtual void | Version (const std::string &rVersion, vGenerator &rResGen) const |
| Create another version of this generator. More... | |
| virtual void | Version (Idx version, vGenerator &rResGen) const |
| Create another version of this generator. More... | |
| virtual void | Version (const std::string &rPattern, const std::string &rReplacement, vGenerator &rResGen) const |
| Create another version of this generator. More... | |
| void | Name (const std::string &rName) |
| Set the generator's name. More... | |
| const std::string & | Name (void) const |
| Get generator's name. More... | |
| void | ClearStates (void) |
| Clear all states and transitions, maintain alphabet. More... | |
| Idx | AlphabetSize (void) const |
| Get number of events in alphabet. More... | |
| Idx | Size (void) const |
| Get generator size (number of states) More... | |
| Idx | TransRelSize (void) const |
| Get number of transitions. More... | |
| Idx | InitStatesSize (void) const |
| Get number of initial states. More... | |
| Idx | MarkedStatesSize (void) const |
| Get number of marked states. More... | |
| bool | Empty (void) const |
| Check if generator is empty (no states) More... | |
| bool | AlphabetEmpty (void) const |
| Check if alphabet is Empty. More... | |
| bool | TransRelEmpty (void) const |
| Check if transition relation is empty. More... | |
| bool | InitStatesEmpty (void) const |
| Check if set of initial states are empty. More... | |
| bool | MarkedStatesEmpty (void) const |
| Check if set of marked states are empty. More... | |
| SymbolTable * | EventSymbolTablep (void) const |
| Get Pointer to EventSymbolTable currently used by this vGenerator. More... | |
| virtual void | EventSymbolTablep (SymbolTable *pSymTab) |
| Set EventSymbolTable to be used by this vGenerator. More... | |
| virtual void | EventSymbolTablep (const vGenerator &rOtherGen) |
| Set EventSymbolTable as given by rOtherGen. More... | |
| EventSet | NewEventSet (void) const |
| Create EventSet with generator's EventSymbolTable (on stack). More... | |
| EventSet * | NewEventSetp (void) const |
| Create EventSet with generator's EventSymbolTable (on heap). More... | |
| Idx | EventIndex (const std::string &rName) const |
| Event index lookup. More... | |
| std::string | EventName (Idx index) const |
| Event name lookup. More... | |
| void | EventName (Idx index, const std::string &rName) |
| Set name for existing event. More... | |
| std::string | UniqueEventName (const std::string &rName) const |
| Create a new unique symbolic event name. More... | |
| bool | EventRename (Idx event, const std::string &rNewName) |
| Rename event in this generator. More... | |
| bool | EventRename (const std::string &rOldName, const std::string &rNewName) |
| Rename event in this generator. More... | |
| const SymbolTable & | StateSymbolTable (void) const |
| Get StateSymbolTable. More... | |
| void | StateSymbolTable (const SymbolTable &rSymTab) |
| Set StateSymbolTable. More... | |
| Idx | StateIndex (const std::string &rName) const |
| State index lookup. More... | |
| std::string | StateName (Idx index) const |
| State name lookup. More... | |
| void | StateName (Idx index, const std::string &rName) |
| Set name of state. More... | |
| void | ClearStateNames (void) |
| Remove all names from generator's StateSymbolTable. More... | |
| void | ClrStateName (Idx index) |
| Clear name for individual state. More... | |
| void | ClrStateName (const std::string &rName) |
| Clear name for individual state. More... | |
| bool | StateNamesEnabled (void) const |
| Whether libFAUEDS functions are requested to generate state names. More... | |
| void | StateNamesEnabled (bool flag) |
| Enable/disable libFAUEDS functions to automatically generate state names. More... | |
| void | SetDefaultStateNames (void) |
| Assign each state a default name based on its index. More... | |
| void | EnforceStateNames (const std::string &rTemplate) |
| For all states without a symbolic name, assign a name based on suggested template and the index. More... | |
| std::string | UniqueStateName (const std::string &rName) const |
| Create a new unique symbolic state name. More... | |
| EventSet::Iterator | AlphabetBegin (void) const |
| Iterator to Begin() of alphabet. More... | |
| EventSet::Iterator | AlphabetEnd (void) const |
| Iterator to End() of alphabet. More... | |
| bool | ExistsEvent (Idx index) const |
| Test existence of event in alphabet. More... | |
| bool | ExistsEvent (const std::string &rName) const |
| Test existence of event in alphabet. More... | |
| EventSet::Iterator | FindEvent (Idx index) const |
| Returns a iterator to event index in alphabet. More... | |
| EventSet::Iterator | FindEvent (const std::string &rName) const |
| Returns a iterator to event index in alphabet. More... | |
| const EventSet & | Alphabet (void) const |
| Return const reference to alphabet. More... | |
| StateSet::Iterator | StatesBegin (void) const |
| Iterator to Begin() of state set. More... | |
| StateSet::Iterator | StatesEnd (void) const |
| Iterator to End() of state set. More... | |
| bool | ExistsState (Idx index) const |
| Test existence of state in state set. More... | |
| bool | ExistsState (const std::string &name) const |
| Test existence of state in state set. More... | |
| StateSet::Iterator | FindState (Idx index) const |
| Returns a iterator to state index in state set. More... | |
| StateSet::Iterator | FindState (const std::string &rName) const |
| Returns a iterator to state with specified name. More... | |
| const StateSet & | States (void) const |
| Return reference to state set. More... | |
| Idx | InitState (void) const |
| Return initial state. More... | |
| StateSet::Iterator | InitStatesBegin (void) const |
| Iterator to Begin() of mInitStates. More... | |
| StateSet::Iterator | InitStatesEnd (void) const |
| Iterator to End() of mInitStates. More... | |
| bool | ExistsInitState (Idx index) const |
| Test existence of state in mInitStates. More... | |
| StateSet::Iterator | FindInitState (Idx index) const |
| Iterator to state index in mInitStates. More... | |
| const StateSet & | InitStates (void) const |
| Const ref to initial states. More... | |
| StateSet::Iterator | MarkedStatesBegin (void) const |
| Iterator to Begin() of mMarkedStates. More... | |
| StateSet::Iterator | MarkedStatesEnd (void) const |
| Iterator to End() of mMarkedStates. More... | |
| bool | ExistsMarkedState (Idx index) const |
| Test existence of state in mMarkedStates. More... | |
| StateSet::Iterator | FindMarkedState (Idx index) const |
| Returns a iterator to state index in mMarkedStates. More... | |
| const StateSet & | MarkedStates (void) const |
| Return const ref of marked states. More... | |
| TransSet::Iterator | TransRelBegin (void) const |
| Iterator to Begin() of transition relation. More... | |
| TransSet::Iterator | TransRelEnd (void) const |
| Iterator to End() of transition relation. More... | |
| TransSet::Iterator | TransRelBegin (Idx x1) const |
| Iterator to begin of transitions with x1 as predecessor state. More... | |
| TransSet::Iterator | TransRelEnd (Idx x1) const |
| iterator to end of transitions with x1 as predecessor state. More... | |
| TransSet::Iterator | TransRelBegin (Idx x1, Idx ev) const |
| iterator to begin of transitions with x1 as predecessor state and event ev. More... | |
| TransSet::Iterator | TransRelEnd (Idx x1, Idx ev) const |
| Iterator to end of transitions with x1 as predecessor state and event ev. More... | |
| TransSet::Iterator | FindTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const |
| iterator to transition given by x1, ev, x2 More... | |
| TransSet::Iterator | FindTransition (Idx x1, Idx ev, Idx x2) const |
| Iterator to transition given by x1, ev, x2. More... | |
| TransSet::Iterator | FindTransition (const Transition &rTrans) const |
| Iterator to transition. More... | |
| bool | ExistsTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const |
| Test for transition given by x1, ev, x2. More... | |
| bool | ExistsTransition (Idx x1, Idx ev, Idx x2) const |
| Test for transition given by x1, ev, x2. More... | |
| bool | ExistsTransition (const Transition &rTrans) const |
| test for transition More... | |
| bool | ExistsTransition (Idx x1, Idx ev) const |
| Test for transition given by x1, ev. More... | |
| bool | ExistsTransition (Idx x1) const |
| Test for transition given by x1. More... | |
| const TransSet & | TransRel (void) const |
| Return reference to transition relation. More... | |
| void | TransRel (TransSetX1EvX2 &res) const |
| Get copy of trantision relation sorted by other compare operator, e.g. More... | |
| void | TransRel (TransSetEvX1X2 &res) const |
| void | TransRel (TransSetEvX2X1 &res) const |
| void | TransRel (TransSetX2EvX1 &res) const |
| void | TransRel (TransSetX2X1Ev &res) const |
| void | TransRel (TransSetX1X2Ev &res) const |
| Transition | TransitionByNames (const std::string &rX1, const std::string &rEv, const std::string &rX2) const |
| Convebience function. More... | |
| bool | InsEvent (Idx index) |
| Add an existing event to alphabet by index. More... | |
| Idx | InsEvent (const std::string &rName) |
| Add named event to generator. More... | |
| void | InsEvents (const EventSet &events) |
| Add new named events to generator. More... | |
| bool | DelEvent (Idx index) |
| Delete event from generator by index. More... | |
| bool | DelEvent (const std::string &rName) |
| Delete event from generator by name. More... | |
| void | DelEvents (const EventSet &rEvents) |
| Delete a set of events from generator. More... | |
| bool | DelEventFromAlphabet (Idx index) |
| Delete event from alphabet without consistency check. More... | |
| void | InjectAlphabet (const EventSet &rNewalphabet) |
| Set mpAlphabet without consistency check. More... | |
| void | RestrictAlphabet (const EventSet &rNewalphabet) |
| Restricts mpAlphabet incl removing resp. More... | |
| Idx | InsState (void) |
| Add new anonymous state to generator. More... | |
| bool | InsState (Idx index) |
| Add (perhaps new) state to generator. More... | |
| Idx | InsState (const std::string &rName) |
| Add new named state to generator. More... | |
| void | InsStates (const StateSet &rStates) |
| Add anonymous states to generator. More... | |
| bool | DelState (Idx index) |
| Delete a state from generator by index. More... | |
| bool | DelState (const std::string &rName) |
| Delete a state from generator by name. More... | |
| void | DelStates (const StateSet &rDelStates) |
| Delete a set of states Cleans mpStates, mInitStates, mMarkedStates, mpTransrel, and mpStateSymboltable. More... | |
| bool | DelStateFromStates (Idx index) |
| Delete a state from generator without consistency check. More... | |
| StateSet::Iterator | DelStateFromStates (StateSet::Iterator pos) |
| Delete a state from generator without consistency check. More... | |
| void | RestrictStates (const StateSet &rStates) |
| Restrict states Cleans mpStates, mInitStates, mMarkedStates, mpTransrel, and mpStateSymboltable. More... | |
| void | InjectState (Idx index) |
| Inject an existing state index into generators mStates Use with care! For use in performance optimized functions. More... | |
| void | InjectStates (const StateSet &rNewStates) |
| Inject a complete state set without consistency checks (without attributes) More... | |
| Idx | InsInitState (void) |
| Create new anonymous state and set as initial state. More... | |
| bool | InsInitState (Idx index) |
| Add (perhaps new) state to generator and turn it into a initial state. More... | |
| Idx | InsInitState (const std::string &rName) |
| Create a new named state and set as initial state. More... | |
| void | InsInitStates (const StateSet &rStates) |
| Add (perhaps new) anonymous initial states to generator More... | |
| Idx | InsMarkedState (void) |
| Create new anonymous state and set as marked state. More... | |
| bool | InsMarkedState (Idx index) |
| Add (perhaps new) state to generator and turn it into a marked state. More... | |
| Idx | InsMarkedState (const std::string &rName) |
| Create a new named state and set as marked state. More... | |
| void | InsMarkedStates (const StateSet &rStates) |
| Add (perhaps new) anonymous initial states to generator More... | |
| void | SetInitState (Idx index) |
| Set an existing state as initial state by index. More... | |
| void | SetInitState (const std::string &rName) |
| Set an existing state as initial state by name. More... | |
| void | InjectInitStates (const StateSet &rNewInitStates) |
| Replace mInitStates with StateSet given as parameter without consistency checks. More... | |
| void | ClrInitState (Idx index) |
| Unset an existing state as initial state by index. More... | |
| void | ClrInitState (const std::string &rName) |
| Unset an existing state as initial state by name. More... | |
| StateSet::Iterator | ClrInitState (StateSet::Iterator pos) |
| Unset an existing state as initial state by iterator. More... | |
| void | ClearInitStates (void) |
| Clear all mInitStates. More... | |
| void | SetMarkedState (Idx index) |
| Set an existing state as marked state by index. More... | |
| void | SetMarkedState (const std::string &rName) |
| Set an existing state as marked state by name. More... | |
| void | ClrMarkedState (Idx index) |
| Unset an existing state as marked state by index. More... | |
| void | ClrMarkedState (const std::string &rName) |
| Unset an existing state as marked state by name. More... | |
| StateSet::Iterator | ClrMarkedState (StateSet::Iterator pos) |
| Unset an existing state as marked state by iterator. More... | |
| void | ClearMarkedStates (void) |
| Clear all marked states. More... | |
| void | InjectMarkedStates (const StateSet &rNewMarkedStates) |
| Replace mMarkedStates with StateSet given as parameter without consistency checks. More... | |
| bool | SetTransition (Idx x1, Idx ev, Idx x2) |
| Add a transition to generator by indices. More... | |
| bool | SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) |
| Add a transition to generator by names. More... | |
| bool | SetTransition (const Transition &rTransition) |
| Add a transition to generator. More... | |
| void | ClrTransition (Idx x1, Idx ev, Idx x2) |
| Remove a transition by indices. More... | |
| void | ClrTransition (const Transition &rTrans) |
| Remove a transition by transition object. More... | |
| TransSet::Iterator | ClrTransition (TransSet::Iterator it) |
| Remove a transition by iterator. More... | |
| void | ClrTransitions (Idx x1, Idx ev) |
| Remove a transitions by state and event. More... | |
| void | ClrTransitions (Idx x1) |
| Remove a transitions by state. More... | |
| void | ClearTransRel (void) |
| Clear all transitions. More... | |
| void | InjectTransition (const Transition &rTrans) |
| Set transition without consistency check. More... | |
| void | InjectTransRel (const TransSet &rNewtransrel) |
| Set transition relation without consistency check (no attributes) More... | |
| virtual void | ClearAttributes (void) |
| Clear Attributes. More... | |
| virtual void | ClearEventAttributes (void) |
| Clear event attributes. More... | |
| virtual void | ClrEventAttribute (Idx index) |
| Clear attribute for existing event. More... | |
| virtual void | EventAttributes (const EventSet &rEventSet) |
| Set attributes for existing events. More... | |
| virtual void | ClearStateAttributes (void) |
| Clear state attributes. More... | |
| virtual void | ClrStateAttribute (Idx index) |
| Clear attribute for existing state. More... | |
| virtual void | ClearTransAttributes (void) |
| Clear transition attributes. More... | |
| virtual void | ClrTransAttribute (const Transition &rTrans) |
| Clear attribute for existing transition. More... | |
| virtual void | ClearGlobalAttribute (void) |
| Clear global attribute. More... | |
| virtual void | GlobalAttributeTry (const Type &rAttr) |
| Set global attribute. More... | |
| StateSet | AccessibleSet (void) const |
| Compute set of accessible states. More... | |
| bool | Accessible (void) |
| Make generator accessible. More... | |
| bool | IsAccessible (void) const |
| Check if generator is accessible. More... | |
| StateSet | CoaccessibleSet (void) const |
| Compute set of Coaccessible states. More... | |
| bool | Coaccessible (void) |
| Make generator Coaccessible. More... | |
| bool | IsCoaccessible (void) const |
| Check if generator is Coaccessible. More... | |
| StateSet | BlockingStates (void) const |
| Compute set of blocking states. More... | |
| StateSet | TerminalStates (void) const |
| Compute set of terminal states. More... | |
| StateSet | TerminalStates (const StateSet &rStates) const |
| Compute set of terminal states. More... | |
| bool | IsComplete (void) const |
| Check if generator is complete. More... | |
| bool | IsComplete (const StateSet &rStates) const |
| Check if generator is complete. More... | |
| bool | IsComplete (const EventSet &rSigmaO) const |
| Check if generator is complete w.r.t. More... | |
| bool | Complete (void) |
| Make generator Complete. More... | |
| bool | Complete (const EventSet &rSigmaO) |
| Make generator Complete w.r.t. More... | |
| StateSet | TrimSet (void) const |
| Compute set of trim states. More... | |
| bool | Trim (void) |
| Make generator trim. More... | |
| bool | IsTrim (void) const |
| Check if generator is trim. More... | |
| bool | OmegaTrim (void) |
| Make generator omega-trim. More... | |
| bool | IsOmegaTrim (void) const |
| Check if generator is omega-trim. More... | |
| EventSet | UsedEvents (void) const |
| Return used events (executed in transitions) More... | |
| EventSet | UnusedEvents (void) const |
| Return unused events. More... | |
| void | MinimizeAlphabet (void) |
| Set the alphabet to used events. More... | |
| EventSet | ActiveEventSet (Idx x1) const |
| Return active event set at state x1. More... | |
| TransSet | ActiveTransSet (Idx x1) const |
| Return active transition set at state x1. More... | |
| StateSet | TransRelStates (void) const |
| Return the states covered by transitions. More... | |
| Idx | SuccessorState (Idx x1, Idx ev) const |
| Return the successor state of state x1 with event ev. More... | |
| StateSet | SuccessorStates (Idx x1) const |
| Return the successor states of state x1. More... | |
| StateSet | SuccessorStates (Idx x1, Idx ev) const |
| Return the successor states of state x1 with event ev. More... | |
| bool | IsDeterministic (void) const |
| Check if generator is deterministic. More... | |
| void | SetMinStateIndexMap (void) const |
| Set minimal index map for file io of generator states. More... | |
| void | ClearMinStateIndexMap (void) const |
| Clear minimal index map for 1:1 file io. More... | |
| Idx | MinStateIndex (Idx index) const |
| Get state index as is it will be written to file. More... | |
| void | MinStateIndex (void) |
| Re-enumerate states. More... | |
| Idx | MaxStateIndex (void) const |
| Get maximum state index used in this generator. More... | |
| const std::map< Idx, Idx > & | MinStateIndexMap (void) const |
| Get state index translation map. More... | |
| std::string | EStr (Idx index) const |
| Pretty printable event name for index (eg for debugging). More... | |
| std::string | SStr (Idx index) const |
| Return pretty printable state name for index (eg for debugging) More... | |
| std::string | TStr (const Transition &rTrans) const |
| Return pretty printable transition (eg for debugging) More... | |
| void | GraphWrite (const std::string &rFileName, const std::string &rOutFormat="", const std::string &rDotExec="dot") const |
| Produce graphical representation of this generator. More... | |
| bool | operator< (const vGenerator &rOtherGen) const |
| Order for sorting containers of generators. More... | |
| void | WriteAlphabet (void) const |
| Write generators alphabet to console. More... | |
| std::string | AlphabetToString (void) const |
| Write generators alphabet to string. More... | |
| void | WriteAlphabet (TokenWriter &rTw) const |
| Write generators alphabet to tokenwriter. More... | |
| void | WriteStateSet (const StateSet &rStateSet) const |
| Write a stateset to console (no re-indexing). More... | |
| std::string | StateSetToString (const StateSet &rStateSet) const |
| Write a stateset to string (no re-indexing). More... | |
| std::string | StateSetToText (const StateSet &rStateSet) const |
| Write a stateset to formated text (no re-indexing). More... | |
| void | WriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const |
| Write a stateset to TokenWriter. More... | |
| void | DWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const |
| Write a stateset to TokenWriter (debug version, no re-indexing) More... | |
| std::string | StatesToString (void) const |
| Write stateset of this generator to a string (no re-indexing) More... | |
| std::string | StatesToText (void) const |
| Write stateset of this generator to formated text (no re-indexing) More... | |
| std::string | MarkedStatesToString (void) const |
| Write set of marked states to a string (no re-indexing) More... | |
| std::string | InitStatesToString (void) const |
| Write set of initial states to a string (no re-indexing) More... | |
| void | WriteTransRel (void) const |
| Write transition relation to console (no re-indexing) More... | |
| std::string | TransRelToString (void) const |
| Write transition relation to string (no re-indexing) More... | |
| std::string | TransRelToText (void) const |
| Write transition relation to formated text (no re-indexing) More... | |
| void | WriteTransRel (TokenWriter &rTw) const |
| Write transition relation to tokenwriter. More... | |
| void | DWriteTransRel (TokenWriter &rTw) const |
| Write transition relation to tokenwriter (debug version) More... | |
| virtual void | DotWrite (const std::string &rFileName) const |
| Writes generator to dot input format. More... | |
| virtual void | DDotWrite (const std::string &rFileName) const |
| Writes generator to dot input format (no re-indexing). More... | |
| virtual void | XDotWrite (const std::string &rFileName) const |
| Writes generator to dot input format for export to VioLib. More... | |
| void | ReadStateSet (TokenReader &rTr, const std::string &rLabel, StateSet &rStateSet) const |
| Read a state set. More... | |
| bool | ReindexOnWrite (void) const |
| Test whether file-i/o uses minimal state indicees. More... | |
| void | ReindexOnWrite (bool flag) |
| Enable/disable minimal state indicees for file-i/o. More... | |
Public Member Functions inherited from faudes::Type | |
| Type (void) | |
| Constructor. More... | |
| Type (const Type &rType) | |
| Copy constructor. More... | |
| virtual | ~Type (void) |
| Destructor. More... | |
| Type & | operator= (const Type &rSrc) |
| Assign configurationdata from other object. More... | |
| virtual bool | Equal (const Type &rOther) const |
| Test equality of configuration data. More... | |
| bool | operator== (const Type &rOther) const |
| Test equality of configuration data. More... | |
| bool | operator!= (const Type &rOther) const |
| Test equality of configuration data. More... | |
| virtual const std::string & | TypeName (void) const |
| Get objects's type name. More... | |
| void | Write (const Type *pContext=0) const |
| Write configuration data to console. More... | |
| void | Write (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const |
| Write configuration data to a file. More... | |
| void | Write (const std::string &pFileName, std::ios::openmode openmode) const |
| Write configuration data to a file. More... | |
| void | Write (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data to TokenWriter. More... | |
| virtual void | XWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data to an XML file. More... | |
| void | XWrite (const Type *pContext=0) const |
| Write configuration data in XML format to concole Note: this write function uses the virtual function DoXWrite(), to be reimplemented by derived classes. More... | |
| void | XWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data in XML format to TokenWriter. More... | |
| std::string | ToString (const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data to a string. More... | |
| std::string | ToText (const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data to a formated string. More... | |
| void | DWrite (const Type *pContext=0) const |
| Write configuration data to console, debugging format. More... | |
| void | DWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const |
| Write configuration data to a file, debugging format. More... | |
| void | DWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data in debug format to TokenWriter. More... | |
| void | SWrite (TokenWriter &rTw) const |
| Write statistics comment to TokenWriter. More... | |
| void | SWrite (void) const |
| Write statistics comment to console. More... | |
| std::string | ToSText (void) const |
| Write statistics to a string. More... | |
| void | Read (const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0) |
| Read configuration data from file with label specified. More... | |
| void | FromString (const std::string &rString, const std::string &rLabel="", const Type *pContext=0) |
| Read configuration data from a string. More... | |
| void | Read (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0) |
| Read configuration data from TokenReader with label sepcified. More... | |
Additional Inherited Members | |
Public Types inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
| typedef TaTransSet< TransAttr > | ATransSet |
| Convenience typdef for member transiton set. More... | |
Static Public Member Functions inherited from faudes::vGenerator | |
| static SymbolTable * | GlobalEventSymbolTablep (void) |
| Get Pointer to global EventSymbolTable. More... | |
| static void | StateNamesEnabledDefault (bool flag) |
| Sets the default for automatic state name generation. More... | |
| static void | ReindexOnWriteDefault (bool flag) |
| Enable/disable reindexing states for file-i/o. More... | |
| static bool | ReindexOnWriteDefault (void) |
| Enable/disable reindexing states for file-i/o. More... | |
Protected Member Functions inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
| virtual void | NewCore (void) |
| Allocate my heap members (attribute dependent types) More... | |
| virtual void | UpdateCore (void) |
| Update my secondary pointers for new core. More... | |
| void | DoAssign (const TaGenerator &rGen) |
| Assignment. More... | |
Protected Member Functions inherited from faudes::vGenerator | |
| virtual void | DeleteCore (void) |
| Free my heap members (attribute dependent types) More... | |
| void | ConfigureAttributeTypes (const AttributeVoid *pNewGlobalPrototype, const StateSet *pNewStatesPrototype, const EventSet *pNewAlphabetPrototype, const TransSet *pNewTransRelPrototype) |
| Configure attribute types. More... | |
| void | DoAssign (const vGenerator &rSrc) |
| Assignment for matching type. More... | |
| virtual void | DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0) |
| Read generator object from TokenReader, see Type::Read for public wrappers. More... | |
| virtual void | DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| Write generator to TokenWriter, see Type::Write for public wrappers. More... | |
| virtual void | DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| Write generator in debugging format to TokenWriter, see Type::DWrite for public wrappers. More... | |
| virtual void | DoSWrite (TokenWriter &rTw) const |
| Write generator statistics as comment to TokenWriter, see Type::SWrite for public wrappers. More... | |
| virtual void | DoXWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| Write generator to TokenWriter, see Type::XWrite for public wrappers. More... | |
| void | ReadAlphabet (TokenReader &rTr) |
| Read the generator's alphabet from a TokenReader. More... | |
| void | WriteStates (TokenWriter &rTw) const |
| Write generators stateset to TokenWriter. More... | |
| void | ReadStates (TokenReader &rTr) |
| Read the generator's stateset from a TokenReader. More... | |
| void | XReadStateSet (TokenReader &rTr, StateSet &rStateSet, const std::string &rLabel="") const |
| Read a stateset from TokenReader in XML format. More... | |
| void | ReadTransRel (const std::string &rFileName) |
| Read the generator's transition relation from a file. More... | |
| void | ReadTransRel (TokenReader &rTr) |
| Read the generator's transition relation from a TokenReader. More... | |
| void | XReadTransRel (TokenReader &rTr) |
| Read the generator's transition relation from a TokenReader. More... | |
| void | XWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet, const std::string &rLabel="") const |
| Write a stateset to TokenWriter in XML format. More... | |
| void | XWriteTransRel (TokenWriter &rTw) const |
| Write transition relation to tokenwriter in XML format. More... | |
Protected Member Functions inherited from faudes::Type | |
| void | DoAssign (const Type &rSrc) |
| Assign configuration data from other object. More... | |
| bool | DoEqual (const Type &rOther) const |
| Test equality of configuration data. More... | |
| virtual const TypeDefinition * | TypeDefinitionp (void) const |
| Get objects's type definition. More... | |
| virtual Token | XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const |
Static Protected Member Functions inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
| static const TaNameSet< EventAttr > & | AlphabetTaGen (void) |
| Static default alphabet prototype (incl. More... | |
| static const TaIndexSet< StateAttr > & | StatesTaGen (void) |
| Static default state set prototype (incl. More... | |
| static const ATransSet & | TransRelTaGen (void) |
| Static default transition relation prototype (incl. More... | |
| static const GlobalAttr & | GlobalTaGen (void) |
| Static default global attribute prototype (configures global attribute type) More... | |
Static Protected Member Functions inherited from faudes::vGenerator | |
| static const EventSet & | AlphabetVoid (void) |
| Static default alphabet prototype (incl. More... | |
| static const StateSet & | StatesVoid (void) |
| Static default state set prototype (incl. More... | |
| static const TransSet & | TransRelVoid (void) |
| Static default transition relation prototype (incl. More... | |
| static const AttributeVoid & | GlobalVoid (void) |
| Static default global attribute prototype (configures global attribute type) More... | |
Protected Attributes inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
| TaNameSet< EventAttr > * | pAlphabet |
| Alphabet, pointer with actual attribute type. More... | |
| TaIndexSet< StateAttr > * | pStates |
| State set, pointer with actual attribute type. More... | |
| ATransSet * | pTransRel |
| Transition relation, pointer with actual attribute type. More... | |
| GlobalAttr * | pGlobalAttribute |
| Global attribute, pointer with actual attribute type. More... | |
Protected Attributes inherited from faudes::vGenerator | |
| std::string | mMyName |
| Name of generator. More... | |
| Idx | mId |
| Number of generator. More... | |
| SymbolTable | mStateSymbolTable |
| State symbol table (local per Generator) More... | |
| SymbolTable * | mpStateSymbolTable |
| Pointer to State symbol table. More... | |
| SymbolTable * | mpEventSymbolTable |
| Pointer to Event symbol table. More... | |
| bool | mStateNamesEnabled |
| Automatic state names. More... | |
| bool | mReindexOnWrite |
| Reindex states on file-i/o. More... | |
| EventSet * | mpAlphabet |
| Pointer to alphabet (actual type depends on attributes) More... | |
| StateSet * | mpStates |
| Pointer to state set (actual type depends on attributes) More... | |
| TransSet * | mpTransRel |
| Pointer to ransition relation (actual type depends on attributes) More... | |
| AttributeVoid * | mpGlobalAttribute |
| Pointer to lobal attribute (actual type depends on attributes) More... | |
| const EventSet * | pAlphabetPrototype |
| Pointer to alphabet prototype (incl. More... | |
| const StateSet * | pStatesPrototype |
| Pointer to state set prototype (incl. More... | |
| const TransSet * | pTransRelPrototype |
| Pointer to transition relation prototype (incl. More... | |
| const AttributeVoid * | pGlobalPrototype |
| Pointer to global attribute prototype (configures global attribute type) More... | |
| StateSet | mInitStates |
| Initial states. More... | |
| StateSet | mMarkedStates |
| Marked states. More... | |
| std::map< Idx, Idx > | mMinStateIndexMap |
| Map State indices to consecutive indices. More... | |
Static Protected Attributes inherited from faudes::vGenerator | |
| static Idx | msObjectCount = 0 |
| Number of generator objects. More... | |
| static bool | msStateNamesEnabledDefault = true |
| Default for automatic statenames. More... | |
| static bool | msReindexOnWriteDefault = false |
| Default for automatic statenames. More... | |
| faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioPlant | ( | void | ) |
Creates an empty HioPlant object.
Definition at line 889 of file hio_plant.h.
| faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioPlant | ( | const Generator & | rOtherGen | ) |
HioPlant from a std Generator.
Copy constructor
| rOtherGen |
Definition at line 899 of file hio_plant.h.
| 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
| rOtherGen | Generator |
| rYp | alphabet Yp |
| rUp | alphabet Up |
| rYe | alphabet Ye |
| rUe | alphabet Ue |
Definition at line 904 of file hio_plant.h.
| faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioPlant | ( | const THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) |
HioPlant from a HioPlant.
Copy constructor
| rOtherGen |
Definition at line 894 of file hio_plant.h.
| faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioPlant | ( | const std::string & | rFileName | ) |
construct a HioPlant from file
| rFileName | Filename |
Definition at line 919 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const StateSet & | rStates | ) |
Mark set of states as NOT Err-states (by index)
| rStates | StateSet |
Definition at line 1598 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const std::string & | rName | ) |
Mark state as NOT Err-state (by name)
| rName | State name |
Definition at line 1591 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | Idx | index | ) |
Mark state as NOT Err-state (by index)
| index | State index |
Definition at line 1583 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | const StateSet & | rStates | ) |
Mark set of states as NOT QUe-states (by index)
| rStates | StateSet |
Definition at line 1527 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | const std::string & | rName | ) |
Mark state as NOT QUe-state (by name)
| rName | State name |
Definition at line 1520 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | Idx | index | ) |
Mark state as NOT QUe-state (by index)
| index | State index |
Definition at line 1511 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | const StateSet & | rStates | ) |
Mark set of states as NOT QUp-states (by index)
| rStates | StateSet |
Definition at line 1445 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | const std::string & | rName | ) |
Mark state as NOT QUp-state (by name)
| rName | State name |
Definition at line 1438 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | Idx | index | ) |
Mark state as NOT QUp-state (by index)
| index | State index |
Definition at line 1429 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYpYe | ( | const StateSet & | rStates | ) |
Mark set of states as NOT QYpYe-states (by index)
| rStates | StateSet |
Definition at line 1365 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYpYe | ( | const std::string & | rName | ) |
Mark state as NOT QYpYe-state (by name)
| rName | State name |
Definition at line 1358 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYpYe | ( | Idx | index | ) |
Mark state as NOT QYpYe-state (by index)
| index | State index |
Definition at line 1348 of file hio_plant.h.
|
virtual |
Construct copy on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 934 of file hio_plant.h.
| EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::EEvents | ( | void | ) | const |
Get EventSet with E-events.
Definition at line 1300 of file hio_plant.h.
| StateSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrStates | ( | void | ) | const |
Get StateSet with Err-states.
Definition at line 1619 of file hio_plant.h.
| 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.
| rName | Name of the event to add |
Definition at line 1158 of file hio_plant.h.
| 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.
| index | Event index |
Definition at line 1149 of file hio_plant.h.
| 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.
| rName | Name of the event to add |
Definition at line 1024 of file hio_plant.h.
| 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.
| index | Event index |
Definition at line 1015 of file hio_plant.h.
| 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.
| rName | Name of the event to add |
Definition at line 1140 of file hio_plant.h.
| 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.
| index | Event index |
Definition at line 1131 of file hio_plant.h.
| 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.
| rName | Name of the event to add |
Definition at line 1006 of file hio_plant.h.
| 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.
| index | Event index |
Definition at line 997 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsE | ( | const std::string & | rName | ) | const |
Is event E-event? (by name)
| rName | Event name |
Definition at line 1283 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsE | ( | Idx | index | ) | const |
Is event E-event? (by index)
| index | Event index |
Definition at line 1277 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | const std::string & | rName | ) | const |
Is state Err-state (by name)
| rName | State name |
Definition at line 1613 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | Idx | index | ) | const |
Is state Err-state (by index)
| index | State index |
Definition at line 1607 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsP | ( | const std::string & | rName | ) | const |
Is event P-event? (by name)
| rName | Event name |
Definition at line 1271 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsP | ( | Idx | index | ) | const |
Is event P-event? (by index)
| index | Event index |
Definition at line 1265 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUe | ( | const std::string & | rName | ) | const |
Is state QUe-state (by name)
| rName | State name |
Definition at line 1542 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUe | ( | Idx | index | ) | const |
Is state QUe-state (by index)
| index | State index |
Definition at line 1536 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUp | ( | const std::string & | rName | ) | const |
Is state QUp-state (by name)
| rName | State name |
Definition at line 1460 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUp | ( | Idx | index | ) | const |
Is state QUp-state (by index)
| index | State index |
Definition at line 1454 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYpYe | ( | const std::string & | rName | ) | const |
Is state QYpYe-state (by name)
| rName | State name |
Definition at line 1380 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYpYe | ( | Idx | index | ) | const |
Is state QYpYe-state (by index)
| index | State index |
Definition at line 1374 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | const std::string & | rName | ) | const |
Is event U-event? (by name)
| rName | Event name |
Definition at line 967 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | Idx | index | ) | const |
Is event U-event? (by index)
| index | Event index |
Definition at line 961 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUe | ( | const std::string & | rName | ) | const |
Is event Ue-event (by name)
| rName | Event name |
Definition at line 1235 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUe | ( | Idx | index | ) | const |
Is event Ue-event (by index)
| index | Event index |
Definition at line 1229 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUp | ( | const std::string & | rName | ) | const |
Is event Up-event(by name)
| rName | Event name |
Definition at line 1101 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUp | ( | Idx | index | ) | const |
Is event Up-event(by index)
| index | Event index |
Definition at line 1095 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | const std::string & | rName | ) | const |
Is event Y-event? (by name)
| rName | Event name |
Definition at line 955 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | Idx | index | ) | const |
Is event Y-event? (by index)
| index | Event index |
Definition at line 949 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYe | ( | const std::string & | rName | ) | const |
Is event Ye-event (by name)
| rName | Event name |
Definition at line 1223 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYe | ( | Idx | index | ) | const |
Is event Ye-event (by index)
| index | Event index |
Definition at line 1217 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYp | ( | const std::string & | rName | ) | const |
Is event Yp-event(by name)
| rName | Event name |
Definition at line 1089 of file hio_plant.h.
| bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYp | ( | Idx | index | ) | const |
Is event Yp-event(by index)
| index | Event index |
Definition at line 1083 of file hio_plant.h.
|
virtual |
Construct on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 924 of file hio_plant.h.
| THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewHioPlant | ( | void | ) | const |
Create empty HioPlant with same symboltable as this.
Definition at line 939 of file hio_plant.h.
|
inlinevirtual |
Assignment operator (uses copy )
| rOtherGen | Other generator |
Definition at line 131 of file hio_plant.h.
| EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::PEvents | ( | void | ) | const |
Get EventSet with P-events.
Definition at line 1289 of file hio_plant.h.
| StateSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUeStates | ( | void | ) | const |
Get StateSet with QUe-states.
Definition at line 1548 of file hio_plant.h.
| StateSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUpStates | ( | void | ) | const |
Get StateSet with QUp-states.
Definition at line 1466 of file hio_plant.h.
| StateSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYpYeStates | ( | void | ) | const |
Get StateSet with QYpYe-states.
Definition at line 1386 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const StateSet & | rStates | ) |
Mark set of states as Err-states.
| rStates | StateSet |
Definition at line 1574 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const std::string & | rName | ) |
Mark state as Err-state (by name)
| rName | State name |
Definition at line 1567 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | Idx | index | ) |
Mark state as Err-state (by index)
| index | State index |
Definition at line 1559 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | const StateSet & | rStates | ) |
Mark set of states as QUe-states.
| rStates | StateSet |
Definition at line 1502 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | const std::string & | rName | ) |
Mark state as QUe-state (by name)
| rName | State name |
Definition at line 1495 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | Idx | index | ) |
Mark state as QUe-state (by index)
| index | State index |
Definition at line 1480 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | const StateSet & | rStates | ) |
Mark set of states as QUp-states.
| rStates | StateSet |
Definition at line 1420 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | const std::string & | rName | ) |
Mark state as QUp-state (by name)
| rName | State name |
Definition at line 1413 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | Idx | index | ) |
Mark state as QUp-state (by index)
| index | State index |
Definition at line 1398 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYpYe | ( | const StateSet & | rStates | ) |
Mark set of states as QYpYe-states.
| rStates | StateSet |
Definition at line 1339 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYpYe | ( | const std::string & | rName | ) |
Mark state as QYpYe-state (by name)
| rName | State name |
Definition at line 1332 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYpYe | ( | Idx | index | ) |
Mark state as QYpYe-state (by index)
| index | State index |
Definition at line 1317 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | const EventSet & | rEvents | ) |
Mark set of events as Ue-events.
| rEvents | EventSet |
Definition at line 1208 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | const std::string & | rName | ) |
Mark event as Ue-event (by name)
| rName | Event name |
Definition at line 1201 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | Idx | index | ) |
Mark event as Ue-event (by index)
| index | Event index |
Definition at line 1192 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | const EventSet & | rEvents | ) |
Mark set of events as Up-events.
| rEvents | EventSet |
Definition at line 1074 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | const std::string & | rName | ) |
Mark event Up-event(by name)
| rName | Event name |
Definition at line 1067 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | Idx | index | ) |
Mark event Up-event(by index)
| index | Event index |
Definition at line 1058 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | const EventSet & | rEvents | ) |
Mark set of events as Ye-events.
| rEvents | EventSet |
Definition at line 1183 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | const std::string & | rName | ) |
Mark event as Ye-event (by name)
| rName | Event name |
Definition at line 1176 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | Idx | index | ) |
Mark event as Ye-event (by index)
| index | Event index |
Definition at line 1167 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | const EventSet & | rEvents | ) |
Mark set of events as Yp-events.
| rEvents | EventSet |
Definition at line 1049 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | const std::string & | rName | ) |
Mark event as Yp-event(by name)
| rName | Event name |
Definition at line 1042 of file hio_plant.h.
| void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | Idx | index | ) |
Mark event as Yp-event (by index)
| index | Event index |
Definition at line 1033 of file hio_plant.h.
| EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::UeEvents | ( | void | ) | const |
Get EventSet with Ue-events.
Definition at line 1252 of file hio_plant.h.
| EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::UEvents | ( | void | ) | const |
|
inlinevirtual |
Updates internal attributes.
This method sets the state partition attributes.
Reimplemented from faudes::vGenerator.
Definition at line 871 of file hio_plant.h.
| EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::UpEvents | ( | void | ) | const |
Get EventSet with Up-events.
Definition at line 1118 of file hio_plant.h.
| EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::YeEvents | ( | void | ) | const |
Get EventSet with Ye-events.
Definition at line 1241 of file hio_plant.h.
| EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::YEvents | ( | void | ) | const |
| EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::YpEvents | ( | void | ) | const |
Get EventSet with Yp-events.
Definition at line 1107 of file hio_plant.h.
libFAUDES 2.32f --- 2024.12.22 --- c++ api documentaion by doxygen