Allows to create colored marking generators (CMGs) as the common five tupel consisting of alphabet, stateset, transition relation, initial states, marked states, and attributes for state and event properties.
More...
Public Member Functions |
|
| TmtcGenerator (void) |
| Creates an emtpy MtcSystem.
|
| TmtcGenerator (const TmtcGenerator &rOtherGen) |
| Creates an mtcgenerator from another mtcgenerator - copy constructor:
|
| TmtcGenerator (const vGenerator &rOtherGen) |
| Creates an mtcgenerator from another generator - copy constructor.
|
| TmtcGenerator (const std::string &rFileName) |
| Constructs an MtcSystem from file.
|
| ~TmtcGenerator (void) |
| Destructor for MtcSystem.
|
virtual TmtcGenerator * | New (void) const |
| Construct on heap.
|
virtual TmtcGenerator * | Copy (void) const |
| Construct copy on heap.
|
virtual TmtcGenerator & | Assign (const TmtcGenerator &rSrc) |
| Copy from other mtcgenerator.
|
virtual TmtcGenerator & | Assign (const vGenerator &rSrc) |
| Copy from other generator.
|
|
SymbolTable * | GlobalColorSymbolTablep (void) const |
| Get Pointer to global ColorSymbolTable.
|
SymbolTable * | ColorSymbolTablep (void) const |
| Get Pointer to ColorSymbolTable currently used by this MtcSystem.
|
void | ColorSymbolTable (SymbolTable *pSymTab) |
| Set ColorSymbolTable to be used by this MtcSystem.
|
void | ColorSymbolTable (const TmtcGenerator &rOtherGen) |
| Set ColorSymbolTable as given by rOtherGen.
|
|
Idx | InsColoredState (const std::string &rStateName, const std::string &rColorName) |
| Create a new named state and set the color rColorName.
|
Idx | InsColoredState (const std::string &rStateName, Idx colorIndex) |
| Create a new named state and set the color colorIndex.
|
Idx | InsColoredState (const std::string &rStateName, const ColorSet &rColors) |
| Create a new named state and set the colors from rColors.
|
Idx | InsColoredState (const ColorSet &rColors) |
| Create a new unnamed state and set the colors from rColors.
|
Idx | InsColor (Idx stateIndex, const std::string &rColorName) |
| Insert a color by name into an existing state.
|
void | InsColor (Idx stateIndex, Idx colorIndex) |
| Insert a color by index into an existing state.
|
void | InsColors (Idx stateIndex, const ColorSet &rColors) |
| Insert multiple colors from a color set into an existing state.
|
void | DelColor (Idx stateIndex, const std::string &rColorName) |
| Remove color by name from an existing state specified by index.
|
void | DelColor (Idx stateIndex, Idx colorIndex) |
| Remove color by index form an existing state specified by index.
|
void | DelColor (const std::string &rColorName) |
| Remove color by name from all states.
|
void | DelColor (Idx colorIndex) |
| Remove color by index from all states.
|
void | ClrColors (Idx stateIndex) |
| Remove all colors from a particular state.
|
void | ClearStateAttributes () |
| Clear all the generator's state attributes.
|
|
void | Colors (ColorSet &rColors) const |
| Insert all colors used in the generator to a given ColorSet.
|
ColorSet | Colors (void) const |
| Returns a color set containing all the generator's colors.
|
const ColorSet & | Colors (Idx stateIndex) const |
| Return a color set which contains all colors of one state.
|
StateSet | ColoredStates (Idx colorIndex) const |
| Returns a state set containing all states that are colored with the color given by index.
|
StateSet | ColoredStates (const std::string &rColorName) const |
| Returns a state set containing all states that are colored with the color given by name.
|
StateSet | ColoredStates () const |
| Returns a state set containing all colored states of the MtcSystem.
|
StateSet | UncoloredStates () const |
| Returns a state set containing all states that are not colored.
|
bool | ExistsColor (Idx colorIndex) const |
| Check if color exists in generator.
|
bool | ExistsColor (const std::string &rColorName) const |
| Check if color exists in generator.
|
bool | ExistsColor (Idx stateIndex, Idx colorIndex) const |
| Check if color exists in a given state of the MtcSystem.
|
bool | IsColored (void) const |
| Check if there is at least one colored state in the MtcSystem.
|
bool | IsColored (Idx stateIndex) const |
| Check if the given state is colored or not.
|
|
void | DelColorName (Idx colorIndex) |
| Finally deletes a color name and its index from the currently used symbol table.
|
void | CheckSymbolTable (Idx colorIndex) |
| Delete the given color from the symbol table if it is not used anymore in the generator by calling DelColorName.
|
void | CheckSymbolTable (ColorSet &rColors) |
| Delete all colors from the given color set from the color symbol table by calling DelColorName if they are not used anymore.
|
std::string | ColorName (Idx colorIndex) const |
| Look up the color name for a given color index.
|
Idx | ColorIndex (const std::string &rColorName) const |
| Look up the color index for a given color name.
|
|
virtual void | DotWrite (const std::string &rFileName) const |
| Writes generator to dot input format.
|
std::string | CStr (Idx index) const |
| Return pretty printable color name for index.
|
|
StateSet | StronglyCoaccessibleSet (void) const |
| Generate a state set with all strongly coaccessible states.
|
bool | StronglyCoaccessible (void) |
| Make generator strongly coaccessible.
|
bool | IsStronglyCoaccessible (void) const |
| Check if MtcSystem is strongly coaccessible.
|
StateSet | StronglyTrimSet (void) const |
| Generate a state set with all the strongly trim generator's states.
|
bool | StronglyTrim (void) |
| Make generator strongly trim.
|
bool | IsStronglyTrim (void) const |
| Check if the MtcSystem is strongly trim.
|
|
void | NewColorSymbolTable () |
| Insert a new local color symbol table.
|
std::map< Idx, ColorSet > | StateColorMap (void) const |
| Return a color map with state indices and their corresponding colors.
|
| 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 copy ) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly.
|
virtual TcGenerator & | operator= (const vGenerator &rOtherGen) |
| Assignment operator (uses copy )
|
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 & | Assign (const TaGenerator &rGen) |
| Copy from other TaGenerator (incl attributes)
|
virtual TaGenerator & | Assign (const Type &rSrc) |
| Copy from other faudes Type.
|
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.
|
virtual TaGenerator & | operator= (const TaGenerator &rOtherGen) |
| Assignment operator (uses Copy(TaGenerator&) )
|
bool | Valid (void) |
| 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.
|
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 | 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 | GlobalAttribute (const Type &rAttr) |
| Set 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.
|