|
|
| | TioGenerator (void) |
| | Default constructor
More...
|
| |
| | ~TioGenerator (void) |
| | Default destructor. More...
|
| |
| | TioGenerator (const std::string &rFileName) |
| | Construtor. More...
|
| |
| virtual TioGenerator * | New (void) const |
| | Constructor. More...
|
| |
| | TioGenerator (const vGenerator &rOtherGen) |
| | Copy constructor. More...
|
| |
| | TioGenerator (const TioGenerator &rOtherGen) |
| | Copy constructor. More...
|
| |
| virtual TioGenerator * | Copy (void) const |
| | Copy Constructor. More...
|
| |
| TioGenerator | NewIoSystem (void) const |
| | Create empty IoSystem with same symboltable as this. More...
|
| |
|
| virtual TioGenerator & | operator= (const TioGenerator &rOtherGen) |
| | Assignment operator. More...
|
| |
|
| void | InsOutputEvent (Idx index) |
| | Insert an output-event by index. More...
|
| |
| Idx | InsOutputEvent (const std::string &rName) |
| | Insert output event by name. More...
|
| |
| void | InsInputEvent (Idx index) |
| | Insert a input event by index. More...
|
| |
| Idx | InsInputEvent (const std::string &rName) |
| | Insert input event by name. More...
|
| |
|
| EventSet | OutputEvents (void) const |
| | Retrieve all output events. More...
|
| |
| void | OutputEvents (const EventSet &rEventSet) |
| | Set all output events. More...
|
| |
| bool | OutputEvent (Idx index) const |
| | Test for output event. More...
|
| |
| bool | OutputEvent (const std::string &rName) const |
| | Test for output event. More...
|
| |
| void | SetOutputEvent (Idx index) |
| | Mark event as output event. More...
|
| |
| void | SetOutputEvent (const std::string &rName) |
| | Mark event as output event. More...
|
| |
| void | SetOutputEvent (const EventSet &rEventSet) |
| | Mark event as output events. More...
|
| |
| void | ClrOutputEvent (Idx index) |
| | Unmark event as output event. More...
|
| |
| void | ClrOutputEvent (const std::string &rName) |
| | Unmark event as output event. More...
|
| |
| void | ClrOutputEvent (const EventSet &rEventSet) |
| | Unmak events as output events. More...
|
| |
| EventSet | InputEvents (void) const |
| | Retrieve all input events. More...
|
| |
| void | InputEvents (const EventSet &rEventSet) |
| | Set all input events. More...
|
| |
| bool | InputEvent (Idx index) const |
| | Test for input event. More...
|
| |
| bool | InputEvent (const std::string &rName) const |
| | Test for input event. More...
|
| |
| void | SetInputEvent (Idx index) |
| | Mark event as input event. More...
|
| |
| void | SetInputEvent (const std::string &rName) |
| | Mark event as input event. More...
|
| |
| void | SetInputEvent (const EventSet &rEventSet) |
| | Mark event as input events. More...
|
| |
| void | ClrInputEvent (Idx index) |
| | Unmark event as input event. More...
|
| |
| void | ClrInputEvent (const std::string &rName) |
| | Unmark event as input event. More...
|
| |
| void | ClrInputEvent (const EventSet &rEventSet) |
| | Unmak events as input events. More...
|
| |
|
| StateSet | OutputStates (void) const |
| | Retrieve all output states. More...
|
| |
| void | OutputStates (const StateSet &rStateSet) |
| | Set all output states. More...
|
| |
| bool | OutputState (Idx index) const |
| | Test for output state. More...
|
| |
| bool | OutputState (const std::string &rName) const |
| | Test for output state. More...
|
| |
| void | SetOutputState (Idx index) |
| | Mark state as output state. More...
|
| |
| void | SetOutputState (const std::string &rName) |
| | Mark state as output state. More...
|
| |
| void | SetOutputState (const StateSet &rStateSet) |
| | Mark state as output states. More...
|
| |
| void | ClrOutputState (Idx index) |
| | Unmark state as output state. More...
|
| |
| void | ClrOutputState (const std::string &rName) |
| | Unmark state as output state. More...
|
| |
| void | ClrOutputState (const StateSet &rStateSet) |
| | Unmak states as output states. More...
|
| |
| StateSet | InputStates (void) const |
| | Retrieve all input states. More...
|
| |
| void | InputStates (const StateSet &rStateSet) |
| | Set all input states. More...
|
| |
| bool | InputState (Idx index) const |
| | Test for input state. More...
|
| |
| bool | InputState (const std::string &rName) const |
| | Test for input state. More...
|
| |
| void | SetInputState (Idx index) |
| | Mark state as input state. More...
|
| |
| void | SetInputState (const std::string &rName) |
| | Mark state as input state. More...
|
| |
| void | SetInputState (const StateSet &rStateSet) |
| | Mark state as input states. More...
|
| |
| void | ClrInputState (Idx index) |
| | Unmark state as input state. More...
|
| |
| void | ClrInputState (const std::string &rName) |
| | Unmark state as input state. More...
|
| |
| void | ClrInputState (const StateSet &rStateSet) |
| | Unmak states as input states. More...
|
| |
| StateSet | ErrorStates (void) const |
| | Retrieve all error states. More...
|
| |
| void | ErrorStates (const StateSet &rStateSet) |
| | Set all error states. More...
|
| |
| bool | ErrorState (Idx index) const |
| | Test for error state. More...
|
| |
| bool | ErrorState (const std::string &rName) const |
| | Test for error state. More...
|
| |
| void | SetErrorState (Idx index) |
| | Mark state as error state. More...
|
| |
| void | SetErrorState (const std::string &rName) |
| | Mark state as error state. More...
|
| |
| void | SetErrorState (const StateSet &rStateSet) |
| | Mark state as error states. More...
|
| |
| void | ClrErrorState (Idx index) |
| | Unmark state as error state. More...
|
| |
| void | ClrErrorState (const std::string &rName) |
| | Unmark state as error state. More...
|
| |
| void | ClrErrorState (const StateSet &rStateSet) |
| | Unmak states as error states. More...
|
| |
|
| virtual bool | UpdateAttributes (void) |
| | Updates internal attributes. More...
|
| |
| | 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...
|
| |
| | 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...
|
| |
| | 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...
|
| |