Public Member Functions |
| Idx | InsFailureTypeMapping (const std::string &failureType, const EventSet &rfailureEvents) |
| | Adds a failure type with associated failure events to the global attribute.
|
| void | InsFailureTypeMap (const std::map< std::string, EventSet > &rFailureMap) |
| | Insert entire failure type map in the diagnoser.
|
| Idx | GetFailureType (Idx failureEvent) const |
| | Returns the failure type of a particular failure events.
|
| EventSet | GetAllFailureEvents (void) const |
| | Returns the all failure events of the failure partition.
|
| void | InsStateLabelMapping (Idx dStateIndex, Idx gStateIndex, Idx labelIndex) |
| | Inserts a generator state estimate to a diagnoser state.
|
| void | InsStateLabelMap (Idx dStateIndex, Idx gState, const DiagLabelSet &labels) |
| | Inserts a DiagLabelSet containing a complete set of generator state estimates to a diagnoser state.
|
| void | SetStateAttr (Idx dStateIndex, const AttributeDiagnoserState &newAttr) |
| | Set a diagnoser state attribute.
|
| std::string | SAStr (Idx dStateIndex) const |
| | Prints all generator state estimates of a diagnoser state to a string.
|
| void | DotWrite (const std::string &rFileName) const |
| | Writes generator to dot input format.
|
|
| | TdiagGenerator (void) |
| | Creates an emtpy diagnoser.
|
| | TdiagGenerator (const Generator &rOtherGen) |
| | Construct diagnoser from std generator.
|
| | TdiagGenerator (const TdiagGenerator &rOtherGen) |
| | Copy constructor.
|
| | TdiagGenerator (const std::string &rFileName) |
| | Construct from file.
|
| virtual TdiagGenerator * | New (void) const |
| | Construct on heap.
|
| virtual TdiagGenerator * | Copy (void) const |
| | Construct copy on heap.
|
| | ~TdiagGenerator (void) |
| | Default destructor.
|
| virtual TdiagGenerator & | operator= (const Generator &rOtherGen) |
| | Assignment operator (uses copy )
|
| | TcGenerator (void) |
| | Creates an emtpy System object.
|
| | TcGenerator (const vGenerator &rOtherGen) |
| | System from a std Generator.
|
| | TcGenerator (const TcGenerator &rOtherGen) |
| | System from a System.
|
| | TcGenerator (const std::string &rFileName) |
| | construct a System from file
|
| virtual const Type * | Cast (const Type *pOther) const |
| | Type test.
|
| TcGenerator | NewCGen (void) const |
| | Construct on stack.
|
| virtual TcGenerator & | operator= (const TcGenerator &rOtherGen) |
| | Assignment operator (uses Assign)
|
| virtual TcGenerator & | Assign (const Type &rSource) |
| | Assignment method.
|
| void | InsControllableEvent (Idx index) |
| | Add an existing controllable event to generator.
|
| Idx | InsControllableEvent (const std::string &rName) |
| | Add new named controllable event to generator.
|
| void | InsUncontrollableEvent (Idx index) |
| | Add an existing uncontrollable event to generator.
|
| Idx | InsUncontrollableEvent (const std::string &rName) |
| | Add new named uncontrollable event to generator.
|
| void | SetControllable (Idx index) |
| | Mark event controllable (by index)
|
| void | SetControllable (const std::string &rName) |
| | Mark event controllable (by name)
|
| void | SetControllable (const EventSet &rEvents) |
| | Mark set of events controllable (by index)
|
| void | ClrControllable (Idx index) |
| | Mark event uncontrollable (by index)
|
| void | ClrControllable (const std::string &rName) |
| | Mark event uncontrollable (by name)
|
| void | ClrControllable (const EventSet &rEvents) |
| | Mark set of events uncontrollable (by index)
|
| bool | Controllable (Idx index) const |
| | Is event controllable (by index)
|
| bool | Controllable (const std::string &rName) const |
| | Is event controllable (by name)
|
| EventSet | ControllableEvents (void) const |
| | Get EventSet with controllable events.
|
| EventSet | UncontrollableEvents (void) const |
| | Get EventSet with uncontrollable events.
|
| void | InsObservableEvent (Idx index) |
| | Add an existing observable event to generator.
|
| Idx | InsObservableEvent (const std::string &rName) |
| | Add new named observable event to generator.
|
| void | InsUnobservableEvent (Idx index) |
| | Add an existing unobservable event to generator.
|
| Idx | InsUnobservableEvent (const std::string &rName) |
| | Add new named unobservable event to generator.
|
| void | SetObservable (Idx index) |
| | Mark event observable (by index)
|
| void | SetObservable (const std::string &rName) |
| | Mark event observable (by name)
|
| void | SetObservable (const EventSet &rEvents) |
| | Mark set of events observable.
|
| void | ClrObservable (Idx index) |
| | Mark event unobservable (by index)
|
| void | ClrObservable (const std::string &rName) |
| | Mark event unobservable (by name)
|
| void | ClrObservable (const EventSet &rEvents) |
| | Mark set of events unobservable.
|
| bool | Observable (Idx index) const |
| | Is event observable (by index)
|
| bool | Observable (const std::string &rName) const |
| | Is event observable (by name)
|
| EventSet | ObservableEvents (void) const |
| | Get EventSet with observable events.
|
| EventSet | UnobservableEvents (void) const |
| | Get EventSet with unobservable events.
|
| void | InsForcibleEvent (Idx index) |
| | Add an existing forcible event to generator.
|
| Idx | InsForcibleEvent (const std::string &rName) |
| | Add new named forcible event to generator.
|
| void | InsUnforcibleEvent (Idx index) |
| | Add an existing unforcible event to generator.
|
| Idx | InsUnforcibleEvent (const std::string &rName) |
| | Add new named unforcible event to generator.
|
| void | SetForcible (Idx index) |
| | Mark event forcible (by index)
|
| void | SetForcible (const std::string &rName) |
| | Mark event forcible (by name)
|
| void | SetForcible (const EventSet &rEvents) |
| | Mark set of events forcible.
|
| void | ClrForcible (Idx index) |
| | Mark event unforcible (by index)
|
| void | ClrForcible (const std::string &rName) |
| | Mark event unforcible (by name)
|
| void | ClrForcible (const EventSet &rEvents) |
| | Mark set of events unforcible.
|
| bool | Forcible (Idx index) const |
| | Is event forcible (by index)
|
| bool | Forcible (const std::string &rName) const |
| | Is event forcible (by name)
|
| EventSet | ForcibleEvents (void) const |
| | Get EventSet with forcible events.
|
| EventSet | UnforcibleEvents (void) const |
| | Get EventSet with unforcible events.
|
| void | InsHighlevelEvent (Idx index) |
| | Add an existing abstraction event to generator.
|
| Idx | InsHighlevelEvent (const std::string &rName) |
| | Add new named abstraction event to generator.
|
| void | InsLowlevelEvent (Idx index) |
| | Add an existing low-level event to generator.
|
| Idx | InsLowlevelEvent (const std::string &rName) |
| | Add new named low-level event to generator.
|
| void | SetHighlevel (Idx index) |
| | Mark event as highlevel event (by index)
|
| void | SetHighlevel (const std::string &rName) |
| | Mark event as highlevel event (by name)
|
| void | SetHighlevel (const EventSet &rEvents) |
| | Mark set of events as high-level events.
|
| void | SetLowlevel (Idx index) |
| | Mark event as low-level event (by index)
|
| void | SetLowlevel (const std::string &rName) |
| | Mark event as low-level event (by name)
|
| void | SetLowlevel (const EventSet &rEvents) |
| | Mark set of events as low-level events.
|
| bool | Highlevel (Idx index) const |
| | Test for high-level event (by index)
|
| bool | Highlevel (const std::string &rName) const |
| | Test for high-level event (by name)
|
| bool | Lowlevel (Idx index) const |
| | Test for low-level event (by index)
|
| bool | Lowlevel (const std::string &rName) const |
| | Test for low-level event (by name)
|
| EventSet | HighlevelEvents (void) const |
| | Get EventSet of all high-level events.
|
| EventSet | LowlevelEvents (void) const |
| | Get EventSet of all low-level events.
|
| | TaGenerator (void) |
| | Construct an emtpy Generator.
|
| | TaGenerator (const TaGenerator &rOtherGen) |
| | Copy-constructor (from TaGenerator, incl attributes)
|
| | TaGenerator (const vGenerator &rOtherGen) |
| | Copy-constructor (from vGenerator, set attributes to default)
|
| | TaGenerator (const std::string &rFileName) |
| | Construct from file.
|
| virtual TaGenerator | NewAGen (void) const |
| | Construct on stack.
|
| virtual | ~TaGenerator (void) |
| | Destructor.
|
| virtual TaGenerator & | operator= (const TaGenerator &rOtherGen) |
| | Assignment operator (uses Assign(Generator&) )
|
| virtual void | Move (TaGenerator &rGen) |
| | Destructive copy to other TaGenerator Copy method with increased performance at the cost of invalidating the source data.
|
| virtual void | Move (Generator &rGen) |
| | Destructive copy to other Generator.
|
| bool | Valid (void) const |
| | Check if generator is valid.
|
| virtual void | Clear (void) |
| | Clear generator data.
|
| const TaEventSet< EventAttr > & | Alphabet (void) const |
| | Return const reference to alphabet.
|
| const TaStateSet< StateAttr > & | States (void) const |
| | Return reference to state set.
|
| const ATransSet & | TransRel (void) const |
| | Return reference to transition relation.
|
| void | TransRel (TransSetX1EvX2 &res) const |
| | Get copy of trantision relation sorted by other compare operator, e.g.
|
| 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.
|
| Idx | InsEvent (const std::string &rName) |
| | Add named event to generator.
|
| bool | InsEvent (Idx index, const EventAttr &rAttr) |
| | Add an existing event to alphabet by index, incl.
|
| Idx | InsEvent (const std::string &rName, const EventAttr &rAttr) |
| | Add named event with attribute to generator.
|
| void | InjectAlphabet (const EventSet &rNewalphabet) |
| | Set mpAlphabet without consistency check.
|
| void | InjectAlphabet (const TaEventSet< EventAttr > &rNewalphabet) |
| | Set mpAlphabet without consistency check.
|
| Idx | InsState (void) |
| | Add new anonymous state to generator.
|
| Idx | InsState (const StateAttr &attr) |
| | Add new anonymous state with attribute to generator.
|
| bool | InsState (Idx index) |
| | Add (perhaps new) state to generator.
|
| Idx | InsState (const std::string &rName) |
| | Add new named state to generator.
|
| Idx | InsState (const std::string &rName, const StateAttr &attr) |
| | Add new named state with attribute to generator.
|
| bool | InsState (Idx index, const StateAttr &attr) |
| | Add (perhaps new) state with attribute to generator.
|
| void | InjectStates (const StateSet &rNewStates) |
| | Inject a complete state set without consistency checks.
|
| void | InjectStates (const TaStateSet< StateAttr > &rNewStates) |
| | Inject a complete state set without consistency checks.
|
| bool | SetTransition (Idx x1, Idx ev, Idx x2) |
| | Add a transition to generator by indices.
|
| bool | SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) |
| | Add a transition to generator by names.
|
| bool | SetTransition (const Transition &rTransition) |
| | Add a transition to generator.
|
| bool | SetTransition (const Transition &rTransition, const TransAttr &rAttr) |
| | Add a transition with attribute to generator.
|
| void | InjectTransRel (const TransSet &rNewtransrel) |
| | Set transition relation without consistency check.
|
| void | InjectTransRel (const ATransSet &rNewtransrel) |
| | Set transition relation without consistency check.
|
| void | EventAttribute (Idx index, const EventAttr &rAttr) |
| | Set attribute for existing event.
|
| void | EventAttribute (Idx index, const Type &rAttr) |
| | Set attribute for existing event.
|
| const EventAttr & | EventAttribute (Idx index) const |
| | Event attribute lookup.
|
| const EventAttr & | EventAttribute (const std::string &rName) const |
| | Event attribute lookup.
|
| EventAttr * | EventAttributep (Idx index) |
| | Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
|
| EventAttr * | EventAttributep (const std::string &rName) |
| | Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
|
| void | StateAttribute (Idx index, const StateAttr &rAttr) |
| | Set attribute for existing state.
|
| void | StateAttribute (Idx index, const Type &rAttr) |
| | Set attribute for existing state.
|
| const StateAttr & | StateAttribute (Idx index) const |
| | State attribute lookup.
|
| StateAttr * | StateAttributep (Idx index) |
| | State attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
|
| void | TransAttribute (const Transition &rTrans, const TransAttr &rAttr) |
| | Set attribute for existing transition.
|
| void | TransAttribute (const Transition &rTrans, const Type &rAttr) |
| | Set attribute for existing transition.
|
| const TransAttr & | TransAttribute (const Transition &rTrans) const |
| | Get attribute for existing transition.
|
| TransAttr * | TransAttributep (const Transition &rTrans) |
| | Get attribute pointer for existing transition note: may insert explicit default attribute.
|
| void | GlobalAttribute (const GlobalAttr &rAttr) |
| | Set global attribute.
|
| void | GlobalAttribute (const Type &rAttr) |
| | Set global attribute.
|
| const GlobalAttr & | GlobalAttribute (void) const |
| | Get global attribute ref.
|
| GlobalAttr * | GlobalAttributep (void) |
| | Get global attribute pointer.
|
| | vGenerator (void) |
| | Default constructor.
|
| | vGenerator (const vGenerator &rOtherGen) |
| | Copy-constructror.
|
| | vGenerator (const std::string &rFileName) |
| | Construct from file.
|
| virtual | ~vGenerator (void) |
| | Destructor.
|
| virtual vGenerator & | AssignWithoutAttributes (const vGenerator &rGen) |
| | Copy from other vGenerator, ignore attributes.
|
| virtual void | Version (const std::string &rVersion, vGenerator &rResGen) const |
| | Create another version of this generator.
|
| virtual void | Version (Idx version, vGenerator &rResGen) const |
| | Create another version of this generator.
|
| virtual void | Version (const std::string &rPattern, const std::string &rReplacement, vGenerator &rResGen) const |
| | Create another version of this generator.
|
| void | Name (const std::string &rName) |
| | Set the generator's name.
|
| const std::string & | Name (void) const |
| | Get generator's name.
|
| void | ClearStates (void) |
| | Clear all states and transitions, maintain alphabet.
|
| Idx | AlphabetSize (void) const |
| | Get number of events in alphabet.
|
| Idx | Size (void) const |
| | Get generator size (number of states)
|
| Idx | TransRelSize (void) const |
| | Get number of transitions.
|
| Idx | InitStatesSize (void) const |
| | Get number of initial states.
|
| Idx | MarkedStatesSize (void) const |
| | Get number of marked states.
|
| bool | Empty (void) const |
| | Check if generator is empty (no states)
|
| bool | AlphabetEmpty (void) const |
| | Check if alphabet is Empty.
|
| bool | TransRelEmpty (void) const |
| | Check if transition relation is empty.
|
| bool | InitStatesEmpty (void) const |
| | Check if set of initial states are empty.
|
| bool | MarkedStatesEmpty (void) const |
| | Check if set of marked states are empty.
|
| SymbolTable * | EventSymbolTablep (void) const |
| | Get Pointer to EventSymbolTable currently used by this vGenerator.
|
| virtual void | EventSymbolTablep (SymbolTable *pSymTab) |
| | Set EventSymbolTable to be used by this vGenerator.
|
| virtual void | EventSymbolTablep (const vGenerator &rOtherGen) |
| | Set EventSymbolTable as given by rOtherGen.
|
| EventSet | NewEventSet (void) const |
| | Create EventSet with generator's EventSymbolTable (on stack).
|
| EventSet * | NewEventSetp (void) const |
| | Create EventSet with generator's EventSymbolTable (on heap).
|
| Idx | EventIndex (const std::string &rName) const |
| | Event index lookup.
|
| std::string | EventName (Idx index) const |
| | Event name lookup.
|
| void | EventName (Idx index, const std::string &rName) |
| | Set name for existing event.
|
| std::string | UniqueEventName (const std::string &rName) const |
| | Create a new unique symbolic event name.
|
| bool | EventRename (Idx event, const std::string &rNewName) |
| | Rename event in this generator.
|
| bool | EventRename (const std::string &rOldName, const std::string &rNewName) |
| | Rename event in this generator.
|
| const SymbolTable & | StateSymbolTable (void) const |
| | Get StateSymbolTable.
|
| void | StateSymbolTable (const SymbolTable &rSymTab) |
| | Set StateSymbolTable.
|
| Idx | StateIndex (const std::string &rName) const |
| | State index lookup.
|
| std::string | StateName (Idx index) const |
| | State name lookup.
|
| void | StateName (Idx index, const std::string &rName) |
| | Set name of state.
|
| void | ClearStateNames (void) |
| | Remove all names from generator's StateSymbolTable.
|
| void | ClrStateName (Idx index) |
| | Clear name for individual state.
|
| void | ClrStateName (const std::string &rName) |
| | Clear name for individual state.
|
| bool | StateNamesEnabled (void) const |
| | Whether libFAUEDS functions are requested to generate state names.
|
| void | StateNamesEnabled (bool flag) |
| | Enable/disable libFAUEDS functions to automatically generate state names.
|
| void | SetDefaultStateNames (void) |
| | Assign each state a default name based on its index.
|
| void | EnforceStateNames (const std::string &rTemplate) |
| | For all states without a symbolic name, assign a name based on suggested template and the index.
|
| std::string | UniqueStateName (const std::string &rName) const |
| | Create a new unique symbolic state name.
|
| EventSet::Iterator | AlphabetBegin (void) const |
| | Iterator to Begin() of alphabet.
|
| EventSet::Iterator | AlphabetEnd (void) const |
| | Iterator to End() of alphabet.
|
| bool | ExistsEvent (Idx index) const |
| | Test existence of event in alphabet.
|
| bool | ExistsEvent (const std::string &rName) const |
| | Test existence of event in alphabet.
|
| EventSet::Iterator | FindEvent (Idx index) const |
| | Returns a iterator to event index in alphabet.
|
| EventSet::Iterator | FindEvent (const std::string &rName) const |
| | Returns a iterator to event index in alphabet.
|
| StateSet::Iterator | StatesBegin (void) const |
| | Iterator to Begin() of state set.
|
| StateSet::Iterator | StatesEnd (void) const |
| | Iterator to End() of state set.
|
| bool | ExistsState (Idx index) const |
| | Test existence of state in state set.
|
| bool | ExistsState (const std::string &name) const |
| | Test existence of state in state set.
|
| StateSet::Iterator | FindState (Idx index) const |
| | Returns a iterator to state index in state set.
|
| StateSet::Iterator | FindState (const std::string &rName) const |
| | Returns a iterator to state with specified name.
|
| Idx | InitState (void) const |
| | Return initial state.
|
| StateSet::Iterator | InitStatesBegin (void) const |
| | Iterator to Begin() of mInitStates.
|
| StateSet::Iterator | InitStatesEnd (void) const |
| | Iterator to End() of mInitStates.
|
| bool | ExistsInitState (Idx index) const |
| | Test existence of state in mInitStates.
|
| StateSet::Iterator | FindInitState (Idx index) const |
| | Iterator to state index in mInitStates.
|
| const StateSet & | InitStates (void) const |
| | Const ref to initial states.
|
| StateSet::Iterator | MarkedStatesBegin (void) const |
| | Iterator to Begin() of mMarkedStates.
|
| StateSet::Iterator | MarkedStatesEnd (void) const |
| | Iterator to End() of mMarkedStates.
|
| bool | ExistsMarkedState (Idx index) const |
| | Test existence of state in mMarkedStates.
|
| StateSet::Iterator | FindMarkedState (Idx index) const |
| | Returns a iterator to state index in mMarkedStates.
|
| const StateSet & | MarkedStates (void) const |
| | Return const ref of marked states.
|
| TransSet::Iterator | TransRelBegin (void) const |
| | Iterator to Begin() of transition relation.
|
| TransSet::Iterator | TransRelEnd (void) const |
| | Iterator to End() of transition relation.
|
| TransSet::Iterator | TransRelBegin (Idx x1) const |
| | Iterator to begin of transitions with x1 as predecessor state.
|
| TransSet::Iterator | TransRelEnd (Idx x1) const |
| | iterator to end of transitions with x1 as predecessor state.
|
| TransSet::Iterator | TransRelBegin (Idx x1, Idx ev) const |
| | iterator to begin of transitions with x1 as predecessor state and event ev.
|
| TransSet::Iterator | TransRelEnd (Idx x1, Idx ev) const |
| | Iterator to end of transitions with x1 as predecessor state and event ev.
|
| TransSet::Iterator | FindTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const |
| | iterator to transition given by x1, ev, x2
|
| TransSet::Iterator | FindTransition (Idx x1, Idx ev, Idx x2) const |
| | Iterator to transition given by x1, ev, x2.
|
| TransSet::Iterator | FindTransition (const Transition &rTrans) const |
| | Iterator to transition.
|
| bool | ExistsTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const |
| | Test for transition given by x1, ev, x2.
|
| bool | ExistsTransition (Idx x1, Idx ev, Idx x2) const |
| | Test for transition given by x1, ev, x2.
|
| bool | ExistsTransition (const Transition &rTrans) const |
| | test for transition
|
| bool | ExistsTransition (Idx x1, Idx ev) const |
| | Test for transition given by x1, ev.
|
| bool | ExistsTransition (Idx x1) const |
| | Test for transition given by x1.
|
| Transition | TransitionByNames (const std::string &rX1, const std::string &rEv, const std::string &rX2) const |
| | Convebience function.
|
| void | InsEvents (const EventSet &events) |
| | Add new named events to generator.
|
| bool | DelEvent (Idx index) |
| | Delete event from generator by index.
|
| bool | DelEvent (const std::string &rName) |
| | Delete event from generator by name.
|
| void | DelEvents (const EventSet &rEvents) |
| | Delete a set of events from generator.
|
| bool | DelEventFromAlphabet (Idx index) |
| | Delete event from alphabet without consistency check.
|
| void | RestrictAlphabet (const EventSet &rNewalphabet) |
| | Restricts mpAlphabet incl removing resp.
|
| void | InsStates (const StateSet &rStates) |
| | Add anonymous states to generator.
|
| bool | DelState (Idx index) |
| | Delete a state from generator by index.
|
| bool | DelState (const std::string &rName) |
| | Delete a state from generator by name.
|
| void | DelStates (const StateSet &rDelStates) |
| | Delete a set of states Cleans mpStates, mInitStates, mMarkedStates, mpTransrel, and mpStateSymboltable.
|
| bool | DelStateFromStates (Idx index) |
| | Delete a state from generator without consistency check.
|
| StateSet::Iterator | DelStateFromStates (StateSet::Iterator pos) |
| | Delete a state from generator without consistency check.
|
| void | RestrictStates (const StateSet &rStates) |
| | Restrict states Cleans mpStates, mInitStates, mMarkedStates, mpTransrel, and mpStateSymboltable.
|
| void | InjectState (Idx index) |
| | Inject an existing state index into generators mStates Use with care! For use in performance optimized functions.
|
| Idx | InsInitState (void) |
| | Create new anonymous state and set as initial state.
|
| bool | InsInitState (Idx index) |
| | Add (perhaps new) state to generator and turn it into a initial state.
|
| Idx | InsInitState (const std::string &rName) |
| | Create a new named state and set as initial state.
|
| void | InsInitStates (const StateSet &rStates) |
| | Add (perhaps new) anonymous initial states to generator.
|
| Idx | InsMarkedState (void) |
| | Create new anonymous state and set as marked state.
|
| bool | InsMarkedState (Idx index) |
| | Add (perhaps new) state to generator and turn it into a marked state.
|
| Idx | InsMarkedState (const std::string &rName) |
| | Create a new named state and set as marked state.
|
| void | InsMarkedStates (const StateSet &rStates) |
| | Add (perhaps new) anonymous initial states to generator.
|
| void | SetInitState (Idx index) |
| | Set an existing state as initial state by index.
|
| void | SetInitState (const std::string &rName) |
| | Set an existing state as initial state by name.
|
| void | InjectInitStates (const StateSet &rNewInitStates) |
| | Replace mInitStates with StateSet given as parameter without consistency checks.
|
| void | ClrInitState (Idx index) |
| | Unset an existing state as initial state by index.
|
| void | ClrInitState (const std::string &rName) |
| | Unset an existing state as initial state by name.
|
| StateSet::Iterator | ClrInitState (StateSet::Iterator pos) |
| | Unset an existing state as initial state by iterator.
|
| void | ClearInitStates (void) |
| | Clear all mInitStates.
|
| void | SetMarkedState (Idx index) |
| | Set an existing state as marked state by index.
|
| void | SetMarkedState (const std::string &rName) |
| | Set an existing state as marked state by name.
|
| void | ClrMarkedState (Idx index) |
| | Unset an existing state as marked state by index.
|
| void | ClrMarkedState (const std::string &rName) |
| | Unset an existing state as marked state by name.
|
| StateSet::Iterator | ClrMarkedState (StateSet::Iterator pos) |
| | Unset an existing state as marked state by iterator.
|
| void | ClearMarkedStates (void) |
| | Clear all marked states.
|
| void | InjectMarkedStates (const StateSet &rNewMarkedStates) |
| | Replace mMarkedStates with StateSet given as parameter without consistency checks.
|
| void | ClrTransition (Idx x1, Idx ev, Idx x2) |
| | Remove a transition by indices.
|
| void | ClrTransition (const Transition &rTrans) |
| | Remove a transition by transition object.
|
| TransSet::Iterator | ClrTransition (TransSet::Iterator it) |
| | Remove a transition by iterator.
|
| void | ClrTransitions (Idx x1, Idx ev) |
| | Remove a transitions by state and event.
|
| void | ClrTransitions (Idx x1) |
| | Remove a transitions by state.
|
| void | ClearTransRel (void) |
| | Clear all transitions.
|
| void | InjectTransition (const Transition &rTrans) |
| | Set transition without consistency check.
|
| virtual void | ClearAttributes (void) |
| | Clear Attributes.
|
| virtual bool | UpdateAttributes (void) |
| | Updates internal attributes.
|
| virtual void | ClearEventAttributes (void) |
| | Clear event attributes.
|
| virtual void | ClrEventAttribute (Idx index) |
| | Clear attribute for existing event.
|
| virtual void | EventAttributes (const EventSet &rEventSet) |
| | Set attributes for existing events.
|
| virtual void | ClearStateAttributes (void) |
| | Clear state attributes.
|
| virtual void | ClrStateAttribute (Idx index) |
| | Clear attribute for existing state.
|
| virtual void | ClearTransAttributes (void) |
| | Clear transition attributes.
|
| virtual void | ClrTransAttribute (const Transition &rTrans) |
| | Clear attribute for existing transition.
|
| virtual void | ClearGlobalAttribute (void) |
| | Clear global attribute.
|
| virtual void | GlobalAttributeTry (const Type &rAttr) |
| | Set global attribute.
|
| StateSet | AccessibleSet (void) const |
| | Compute set of accessible states.
|
| bool | Accessible (void) |
| | Make generator accessible.
|
| bool | IsAccessible (void) const |
| | Check if generator is accessible.
|
| StateSet | CoaccessibleSet (void) const |
| | Compute set of Coaccessible states.
|
| bool | Coaccessible (void) |
| | Make generator Coaccessible.
|
| bool | IsCoaccessible (void) const |
| | Check if generator is Coaccessible.
|
| StateSet | BlockingStates (void) const |
| | Compute set of blocking states.
|
| StateSet | TerminalStates (void) const |
| | Compute set of terminal states.
|
| StateSet | TerminalStates (const StateSet &rStates) const |
| | Compute set of terminal states.
|
| bool | IsComplete (void) const |
| | Check if generator is complete.
|
| bool | IsComplete (const StateSet &rStates) const |
| | Check if generator is complete.
|
| bool | IsComplete (const EventSet &rSigmaO) const |
| | Check if generator is complete w.r.t.
|
| bool | Complete (void) |
| | Make generator Complete.
|
| bool | Complete (const EventSet &rSigmaO) |
| | Make generator Complete w.r.t.
|
| StateSet | TrimSet (void) const |
| | Compute set of trim states.
|
| bool | Trim (void) |
| | Make generator trim.
|
| bool | IsTrim (void) const |
| | Check if generator is trim.
|
| bool | OmegaTrim (void) |
| | Make generator omega-trim.
|
| bool | IsOmegaTrim (void) const |
| | Check if generator is omega-trim.
|
| EventSet | UsedEvents (void) const |
| | Return used events (executed in transitions)
|
| EventSet | UnusedEvents (void) const |
| | Return unused events.
|
| void | MinimizeAlphabet (void) |
| | Set the alphabet to used events.
|
| EventSet | ActiveEventSet (Idx x1) const |
| | Return active event set at state x1.
|
| TransSet | ActiveTransSet (Idx x1) const |
| | Return active transition set at state x1.
|
| StateSet | TransRelStates (void) const |
| | Return the states covered by transitions.
|
| Idx | SuccessorState (Idx x1, Idx ev) const |
| | Return the successor state of state x1 with event ev.
|
| StateSet | SuccessorStates (Idx x1) const |
| | Return the successor states of state x1.
|
| StateSet | SuccessorStates (Idx x1, Idx ev) const |
| | Return the successor states of state x1 with event ev.
|
| bool | IsDeterministic (void) const |
| | Check if generator is deterministic.
|
| void | SetMinStateIndexMap (void) const |
| | Set minimal index map for file io of generator states.
|
| void | ClearMinStateIndexMap (void) const |
| | Clear minimal index map for 1:1 file io.
|
| Idx | MinStateIndex (Idx index) const |
| | Get state index as is it will be written to file.
|
| void | MinStateIndex (void) |
| | Re-enumerate states.
|
| Idx | MaxStateIndex (void) const |
| | Get maximum state index used in this generator.
|
| const std::map< Idx, Idx > & | MinStateIndexMap (void) const |
| | Get state index translation map.
|
| std::string | EStr (Idx index) const |
| | Pretty printable event name for index (eg for debugging).
|
| std::string | SStr (Idx index) const |
| | Return pretty printable state name for index (eg for debugging)
|
| std::string | TStr (const Transition &rTrans) const |
| | Return pretty printable transition (eg for debugging)
|
| void | GraphWrite (const std::string &rFileName, const std::string &rOutFormat="", const std::string &rDotExec="dot") const |
| | Produce graphical representation of this generator.
|
| bool | operator< (const vGenerator &rOtherGen) const |
| | Order for sorting containers of generators.
|
| void | WriteAlphabet (void) const |
| | Write generators alphabet to console.
|
| std::string | AlphabetToString (void) const |
| | Write generators alphabet to string.
|
| void | WriteAlphabet (TokenWriter &rTw) const |
| | Write generators alphabet to tokenwriter.
|
| void | WriteStateSet (const StateSet &rStateSet) const |
| | Write a stateset to console (no re-indexing).
|
| std::string | StateSetToString (const StateSet &rStateSet) const |
| | Write a stateset to string (no re-indexing).
|
| std::string | StateSetToText (const StateSet &rStateSet) const |
| | Write a stateset to formated text (no re-indexing).
|
| void | WriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const |
| | Write a stateset to TokenWriter.
|
| void | DWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const |
| | Write a stateset to TokenWriter (debug version, no re-indexing)
|
| std::string | StatesToString (void) const |
| | Write stateset of this generator to a string (no re-indexing)
|
| std::string | StatesToText (void) const |
| | Write stateset of this generator to formated text (no re-indexing)
|
| std::string | MarkedStatesToString (void) const |
| | Write set of marked states to a string (no re-indexing)
|
| std::string | InitStatesToString (void) const |
| | Write set of initial states to a string (no re-indexing)
|
| void | WriteTransRel (void) const |
| | Write transition relation to console (no re-indexing)
|
| std::string | TransRelToString (void) const |
| | Write transition relation to string (no re-indexing)
|
| std::string | TransRelToText (void) const |
| | Write transition relation to formated text (no re-indexing)
|
| void | WriteTransRel (TokenWriter &rTw) const |
| | Write transition relation to tokenwriter.
|
| void | DWriteTransRel (TokenWriter &rTw) const |
| | Write transition relation to tokenwriter (debug version)
|
| virtual void | DDotWrite (const std::string &rFileName) const |
| | Writes generator to dot input format (no re-indexing).
|
| virtual void | XDotWrite (const std::string &rFileName) const |
| | Writes generator to dot input format for export to VioLib.
|
| void | ReadStateSet (TokenReader &rTr, const std::string &rLabel, StateSet &rStateSet) const |
| | Read a state set.
|
| bool | ReindexOnWrite (void) const |
| | Test whether file-i/o uses minimal state indicees.
|
| void | ReindexOnWrite (bool flag) |
| | Enable/disable minimal state indicees for file-i/o.
|
| | Type (void) |
| | Constructor.
|
| | Type (const Type &rType) |
| | Copy constructor.
|
| virtual | ~Type (void) |
| | Destructor.
|
| virtual Type & | operator= (const Type &rSrc) |
| | Assign configurationdata from other object.
|
| virtual bool | Equal (const Type &rOther) const |
| | Test equality of configuration data.
|
| virtual bool | operator== (const Type &rOther) const |
| | Test equality of configuration data.
|
| virtual bool | operator!= (const Type &rOther) const |
| | Test equality of configuration data.
|
| void | Write (const Type *pContext=0) const |
| | Write configuration data to console.
|
| 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.
|
| void | Write (const std::string &pFileName, std::ios::openmode openmode) const |
| | Write configuration data to a file.
|
| void | Write (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| | Write configuration data to TokenWriter.
|
| virtual void | XWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0) const |
| | Write configuration data to an XML file.
|
| 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.
|
| void | XWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| | Write configuration data in XML format to TokenWriter.
|
| std::string | ToString (const std::string &rLabel="", const Type *pContext=0) const |
| | Write configuration data to a string.
|
| std::string | ToText (const std::string &rLabel="", const Type *pContext=0) const |
| | Write configuration data to a formated string.
|
| void | DWrite (const Type *pContext=0) const |
| | Write configuration data to console, debugging format.
|
| 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.
|
| void | DWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| | Write configuration data in debug format to TokenWriter.
|
| void | SWrite (TokenWriter &rTw) const |
| | Write statistics comment to TokenWriter.
|
| void | SWrite (void) const |
| | Write statistics comment to console.
|
| std::string | ToSText (void) const |
| | Write statistics to a string.
|
| void | Read (const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0) |
| | Read configuration data from file with label specified.
|
| void | FromString (const std::string &rString, const std::string &rLabel="", const Type *pContext=0) |
| | Read configuration data from a string.
|
| void | Read (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0) |
| | Read configuration data from TokenReader with label sepcified.
|