| |
libFAUDES
Sections
Index
|
faudes::vGenerator Class Reference |
Public Member Functions | |
Constructors & Destructor | |
vGenerator (void) | |
Default constructor. | |
vGenerator (const vGenerator &rOtherGen) | |
Copy-constructror. | |
vGenerator (const std::string &rFileName) | |
Construct from file. | |
virtual vGenerator * | New (void) const |
Construct on heap. | |
virtual | ~vGenerator (void) |
Destructor. | |
Copy and Assignment | |
virtual void | Copy (vGenerator &rGen) const |
Copy to other vGenerator. | |
virtual void | CopyWithoutAttributes (vGenerator &rGen) const |
Copy to other vGenerator, ignore attributes. | |
virtual void | Move (vGenerator &rGen) |
Destructive copy to other vGenerator. | |
virtual vGenerator & | operator= (const vGenerator &rOtherGen) |
Assignment operator (uses Copy method) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly. | |
virtual void | Version (Idx version, vGenerator &rResGen) const |
Create another version of this generator. | |
virtual void | Version (const std::string &rVersion, vGenerator &rResGen) const |
Create another version of this generator. | |
Basic Maintenance | |
void | Name (const std::string &rName) |
Set the generator's name. | |
std::string | Name (void) const |
Get generator's name. | |
Idx | Id (void) const |
Get generator's unique Id (mId). | |
virtual bool | Valid (void) |
Check if generator is valid. | |
virtual void | Clear (void) |
Clear generator data. | |
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. | |
Event Symboltable | |
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. | |
State Symboltable | |
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 bysed 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. | |
Read Access to Core Members | |
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. | |
const EventSet & | Alphabet (void) const |
Return const reference to 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. | |
const StateSet & | States (void) const |
Return reference to state set. | |
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 |
Returns a iterator to state index in mInitStates. | |
const StateSet & | InitStates (void) const |
Return 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 | |
const TransSet & | 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 |
Write Access to Core Members | |
bool | InsEvent (Idx index) |
Add an existing event to alphabet by index. | |
Idx | InsEvent (const std::string &rName) |
Add named event to generator. | |
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 | InjectAlphabet (const EventSet &rNewalphabet) |
Set mpAlphabet without consistency check (clear attributes). | |
Idx | InsState (void) |
Add new anonymous state to generator. | |
bool | InsState (Idx index) |
Add (perhaps new) state to generator. | |
Idx | InsState (const std::string &rName) |
Add new named state 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 | InjectState (Idx index) |
Inject an existing state index into generators mStates Use with care! For use in performance optimized functions. | |
void | InjectStates (const StateSet &rNewStates) |
Inject a complete state set without consistency checks (without attributes). | |
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. | |
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 | 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. | |
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. | |
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 | ClearTransRel (void) |
Clear all transitions. | |
void | InjectTransition (const Transition &rTrans) |
Set transition without consistency check. | |
void | InjectTransRel (const TransSet &rNewtransrel) |
Set transition relation without consistency check (no attributes). | |
Attributes | |
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 | EventAttribute (Idx index, const Type &rAttr) |
Set attribute for existing event. | |
virtual void | EventAttributes (const EventSet &rEventSet) |
Set attributes for existing events. | |
virtual const AttributeVoid & | EventAttribute (Idx index) const |
Event attribute lookup. | |
virtual const AttributeVoid & | EventAttribute (const std::string &rName) const |
Event attribute lookup. | |
virtual AttributeVoid * | EventAttributep (Idx index) |
Event attribute pointer to access Attribute methods. | |
virtual AttributeVoid * | EventAttributep (const std::string &rName) |
Event attribute pointer to access Attribute methods. | |
virtual void | ClearStateAttributes (void) |
Clear state attributes. | |
virtual void | ClrStateAttribute (Idx index) |
Clear attribute for existing state. | |
virtual void | StateAttribute (Idx index, const Type &rAttr) |
Set attribute for existing state. | |
virtual const AttributeVoid & | StateAttribute (Idx index) const |
State attribute lookup. | |
virtual AttributeVoid * | StateAttributep (Idx index) |
State attribute pointer to access Attribute methods. | |
virtual void | ClearTransAttributes (void) |
Clear transition attributes. | |
virtual void | TransAttribute (const Transition &rTrans, const Type &rAttr) |
Set attribute for existing transition. | |
virtual void | ClrTransAttribute (const Transition &rTrans) |
Clear attribute for existing transition. | |
virtual const AttributeVoid & | TransAttribute (const Transition &rTrans) const |
Transition attribute lookup. | |
virtual AttributeVoid * | TransAttributep (const Transition &rTrans) |
Transition attribute pointer to access Attribute methods. | |
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. | |
virtual const AttributeVoid & | GlobalAttribute (void) const |
Global attribute lookup. | |
virtual AttributeVoid * | GlobalAttributep (void) |
Get attribute pointer The global attribute allways exits. | |
Reachability | |
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 | TrimSet (void) const |
Computer set of trim states. | |
bool | Trim (void) |
Make generator trim. | |
bool | IsTrim (void) const |
Check if generator is trim. | |
StateSet | BlockingSet (void) const |
Computer set of blocking states. | |
File IO | |
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). | |
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 | 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). | |
void | WriteTransRel (TokenWriter &rTw) const |
Write transition relation to tokenwriter (no re-indexing). | |
void | DWriteTransRel (TokenWriter &rTw) const |
Write transition relation to tokenwriter (debug version). | |
void | WriteStatistics (void) const |
Write statistics to console. | |
std::string | StatisticsToString (void) const |
Write statistics to string. | |
void | WriteStatistics (TokenWriter &rTw) const |
Write statistics to tokenwriter Produce statistics (number of states etc. | |
void | DotWrite (const std::string &rFileName) const |
Writes generator to dot input format. | |
void | DDotWrite (const std::string &rFileName) const |
Writes generator to dot input format (no re-indexing). | |
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. | |
Misc | |
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 | TransRelStateSpace (void) const |
Return the states covered by transitions. | |
StateSet | TransRelStateSpace (Idx x1) const |
Return the successor states of state x1. | |
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. | |
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. | |
Static Public Member Functions | |
static SymbolTable * | GlobalEventSymbolTablep (void) |
Get Pointer to global EventSymbolTable. | |
static void | StateNamesEnabledDefault (bool flag) |
Sets the default for automatic state name generation. | |
Protected Member Functions | |
virtual void | NewCore (void) |
Allocate my heap members (attribute dependent types). | |
virtual void | DeleteCore (void) |
Free my heap members (attribute dependent types). | |
virtual void | UpdateCore (void) |
Callback for core update. | |
virtual void | DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0) |
Read generator object from TokenReader, see Type::Read for public wrappers. | |
virtual void | DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
Write generator to TokenWriter, see Type::Write for public wrappers. | |
virtual void | DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
Write generator in debugging format to TokenWriter, see Type::DWrite for public wrappers. | |
void | ReadGeneratorName (const std::string &rFileName) |
Read the generator's name from a file. | |
void | ReadGeneratorName (TokenReader &rTr) |
Read the generator's name from a TokenReader. | |
void | ReadAlphabet (const std::string &rFileName) |
Read the generator's alphabet from a file. | |
void | ReadAlphabet (TokenReader &rTr) |
Read the generator's alphabet from a TokenReader. | |
void | ReadStates (const std::string &rFileName) |
Read the generator's state set from a file. | |
void | ReadStates (TokenReader &rTr) |
Read the generator's stateset from a TokenReader. | |
void | ReadTransRel (const std::string &rFileName) |
Read the generator's transition relation from a file. | |
void | ReadTransRel (TokenReader &rTr) |
Read the generator's transition relation from a TokenReader. | |
void | CheckAccessible (StateSet &accessibleset, Idx startState) const |
Get accessible states by filling accessibleset recursive. | |
void | CheckCoaccessible (StateSet &Coaccessibleset, const TransSetX2EvX1 &rtrel, Idx startState) const |
Get Coaccessible states by filling Coaccessibleset recursive. | |
Protected Attributes | |
std::string | mMyName |
Name of generator. | |
Idx | mId |
Number of generator. | |
SymbolTable | mStateSymbolTable |
State symbol table (local per Generator). | |
SymbolTable * | mpStateSymbolTable |
Pointer to State symbol table. | |
SymbolTable * | mpEventSymbolTable |
Pointer to Event symbol table. | |
bool | mStateNamesEnabled |
Automatic state names. | |
EventSet * | mpAlphabet |
Pointer to alphabet (actual type depends on attributes). | |
StateSet * | mpStates |
Pointer to state set (actual type depends on attributes). | |
TransSet * | mpTransRel |
Pointer to ransition relation (actual type depends on attributes). | |
AttributeVoid * | mpGlobalAttribute |
Pointer to lobal attribute (actual type depends on attributes). | |
StateSet | mInitStates |
Initial states. | |
StateSet | mMarkedStates |
Marked states. | |
std::map< Idx, Idx > | mMinStateIndexMap |
Map State indices to consecutive indices. | |
Static Protected Attributes | |
static Idx | msObjectCount = 0 |
Number of generator objects. | |
static bool | msStateNamesEnabledDefault = true |
Default for automatic statenames. |
faudes::vGenerator::vGenerator | ( | void | ) |
Default constructor.
doxygen group
faudes::vGenerator::vGenerator | ( | const vGenerator & | rOtherGen | ) |
Copy-constructror.
faudes::vGenerator::vGenerator | ( | const std::string & | rFileName | ) |
faudes::vGenerator::~vGenerator | ( | void | ) | [virtual] |
Destructor.
vGenerator * faudes::vGenerator::New | ( | void | ) | const [virtual] |
Construct on heap.
Technically not a constructor, this function creates a vGenerator with the same event symboltable. It is the callers reponsebilty to delete the object when no longer needed. Derived classes must reimplement this function to create an object of the same class and the same event symboltable. The StateNamesEnabled indicator should be copied, too.
Reimplemented from faudes::Type.
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TcGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::THioConstraint< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::THioController< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::THioEnvironment< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::THioPlant< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, and faudes::TtGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >.
void faudes::vGenerator::Copy | ( | vGenerator & | rGen | ) | const [virtual] |
Copy to other vGenerator.
doxygen group The current implementation copies the generator only. Future versions may try to be smart and copy attributes if types can be casted. Use CopyWithoutAttributes to explicitely ignore attributes.
rGen | Destination for copy operation. |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, and faudes::TtGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >.
void faudes::vGenerator::CopyWithoutAttributes | ( | vGenerator & | rGen | ) | const [virtual] |
Copy to other vGenerator, ignore attributes.
Creates a copy of this generator with no attributes.
rGen | Destination for copy operation. |
void faudes::vGenerator::Move | ( | vGenerator & | rGen | ) | [virtual] |
Destructive copy to other vGenerator.
Copy method with increased performance at the cost of invalidating the source data. If attribute types of source and destination differ, a std copy is invoked.
rGen | Destination for copy operation. |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
vGenerator & faudes::vGenerator::operator= | ( | const vGenerator & | rOtherGen | ) | [virtual] |
Assignment operator (uses Copy method) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly.
rOtherGen | Other generator |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TcGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::THioConstraint< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::THioController< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::THioEnvironment< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::THioPlant< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, and faudes::TtGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >.
void faudes::vGenerator::Version | ( | Idx | version, | |
vGenerator & | rResGen | |||
) | const [virtual] |
Create another version of this generator.
Assembles a copy of this generator, however, with versioned events. The new event names are created by appending an underscore and a numeric index. State names and indices as well as any attributes are maintained.
version | Numeric value to be appended to event names | |
rResGen | Resulting versioned generator |
void faudes::vGenerator::Version | ( | const std::string & | rVersion, | |
vGenerator & | rResGen | |||
) | const [virtual] |
Create another version of this generator.
Assembles a copy of this generator, however, with versioned events. The new event names are created by appending an underscore and a specified string. State names and indices as well as any attributes are maintained.
rVersion | String value to be appended to event names | |
rResGen | Resulting versioned generator |
void faudes::vGenerator::Name | ( | const std::string & | rName | ) |
Set the generator's name.
doxygen group
rName | Generator name |
std::string faudes::vGenerator::Name | ( | void | ) | const |
Idx faudes::vGenerator::Id | ( | void | ) | const |
Get generator's unique Id (mId).
bool faudes::vGenerator::Valid | ( | void | ) | [virtual] |
Check if generator is valid.
Performs internal consistency tests, This method is intendend to test generators that have been manipulated by methods without consistency tests, eg InjectAlphabet.
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, and faudes::TtGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >.
void faudes::vGenerator::Clear | ( | void | ) | [virtual] |
Clear generator data.
Clears state set, alphabet and transitionrealtion. Behavioural flags eg StateNamesEnabled are maintained.
Reimplemented from faudes::Type.
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::Executor, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
void faudes::vGenerator::ClearStates | ( | void | ) |
Clear all states and transitions, maintain alphabet.
Idx faudes::vGenerator::AlphabetSize | ( | void | ) | const |
Get number of events in alphabet.
Idx faudes::vGenerator::Size | ( | void | ) | const |
Get generator size (number of states).
Idx faudes::vGenerator::TransRelSize | ( | void | ) | const |
Get number of transitions.
Idx faudes::vGenerator::InitStatesSize | ( | void | ) | const |
Get number of initial states.
Idx faudes::vGenerator::MarkedStatesSize | ( | void | ) | const |
Get number of marked states.
bool faudes::vGenerator::Empty | ( | void | ) | const |
Check if generator is empty (no states).
bool faudes::vGenerator::AlphabetEmpty | ( | void | ) | const |
Check if alphabet is Empty.
bool faudes::vGenerator::TransRelEmpty | ( | void | ) | const |
Check if transition relation is empty.
bool faudes::vGenerator::InitStatesEmpty | ( | void | ) | const |
Check if set of initial states are empty.
bool faudes::vGenerator::MarkedStatesEmpty | ( | void | ) | const |
Check if set of marked states are empty.
SymbolTable * faudes::vGenerator::EventSymbolTablep | ( | void | ) | const |
Get Pointer to EventSymbolTable currently used by this vGenerator.
doxygen group
void faudes::vGenerator::EventSymbolTablep | ( | SymbolTable * | pSymTab | ) | [virtual] |
Set EventSymbolTable to be used by this vGenerator.
This function sets the reference to the event symboltable. The current implementation in derived classes clears the generator, future versions may implement a re-indexing.
pSymTab | Pointer to SymbolTable |
void faudes::vGenerator::EventSymbolTablep | ( | const vGenerator & | rOtherGen | ) | [virtual] |
Set EventSymbolTable as given by rOtherGen.
This function sets the reference to the event symboltable. The current implementation clears the generator, future versions may implement a re-indexing.
rOtherGen | Other generator |
EventSet faudes::vGenerator::NewEventSet | ( | void | ) | const |
Create EventSet with generator's EventSymbolTable (on stack).
EventSet * faudes::vGenerator::NewEventSetp | ( | void | ) | const |
Create EventSet with generator's EventSymbolTable (on heap).
Idx faudes::vGenerator::EventIndex | ( | const std::string & | rName | ) | const |
Event index lookup.
rName | Name of event to lookup |
std::string faudes::vGenerator::EventName | ( | Idx | index | ) | const |
Event name lookup.
index | Index of event to look up |
Reimplemented in faudes::Executor.
void faudes::vGenerator::EventName | ( | Idx | index, | |
const std::string & | rName | |||
) |
Set name for existing event.
index | Event index | |
rName | New name |
Exception |
|
std::string faudes::vGenerator::UniqueEventName | ( | const std::string & | rName | ) | const |
Create a new unique symbolic event name.
See also SymbolTable::UniqueSymbol().
rName | suggestion for new state name |
bool faudes::vGenerator::EventRename | ( | Idx | event, | |
const std::string & | rNewName | |||
) |
Rename event in this generator.
This method renames the specified event. It does so by removing and adding transitions. This does not effect other generators.
event | Event to rename | |
rNewName | New name |
SymbolTable * faudes::vGenerator::GlobalEventSymbolTablep | ( | void | ) | [static] |
Get Pointer to global EventSymbolTable.
This is a static member of SymbolTable and used as default for all derived generator classes and instantiated objects.
const SymbolTable & faudes::vGenerator::StateSymbolTable | ( | void | ) | const |
Get StateSymbolTable.
doxygen group
void faudes::vGenerator::StateSymbolTable | ( | const SymbolTable & | rSymTab | ) |
Set StateSymbolTable.
By convention, state names and indices are local to the respective generator. It is most unlikely that you want to use this function.
Idx faudes::vGenerator::StateIndex | ( | const std::string & | rName | ) | const |
State index lookup.
rName |
std::string faudes::vGenerator::StateName | ( | Idx | index | ) | const |
State name lookup.
index |
Reimplemented in faudes::Executor.
void faudes::vGenerator::StateName | ( | Idx | index, | |
const std::string & | rName | |||
) |
Set name of state.
index | Index | |
rName | Name |
Exception |
|
void faudes::vGenerator::ClearStateNames | ( | void | ) |
Remove all names from generator's StateSymbolTable.
void faudes::vGenerator::ClrStateName | ( | Idx | index | ) |
Clear name for individual state.
index | State index |
Exception |
|
void faudes::vGenerator::ClrStateName | ( | const std::string & | rName | ) |
Clear name for individual state.
rName | State name |
bool faudes::vGenerator::StateNamesEnabled | ( | void | ) | const |
Whether libFAUEDS functions are requested to generate state names.
Most libFAUDES functions introduce new states to a generator can be enabled to also assign (more or less sensible) names to those states. This feature is purely cosmetic and may be disabled for performance reasons.
void faudes::vGenerator::StateNamesEnabled | ( | bool | flag | ) |
Enable/disable libFAUEDS functions to automatically generate state names.
flag | True enables statenames / false disables them |
void faudes::vGenerator::SetDefaultStateNames | ( | void | ) |
Assign each state a default name bysed on its index.
void faudes::vGenerator::EnforceStateNames | ( | const std::string & | rTemplate | ) |
For all states without a symbolic name, assign a name based on suggested template and the index.
rTemplate | basis for name generation |
std::string faudes::vGenerator::UniqueStateName | ( | const std::string & | rName | ) | const |
Create a new unique symbolic state name.
See also SymbolTable::UniqueSymbol().
rName | suggestion for new state name |
void faudes::vGenerator::StateNamesEnabledDefault | ( | bool | flag | ) | [static] |
Sets the default for automatic state name generation.
This flag takes effect only on generators newly created by the default constructor. The copy constructor copies the state name flag from the source generator. See also StateNamesEnabled(bool).
flag | True enables statenames / false disables them |
EventSet::Iterator faudes::vGenerator::AlphabetBegin | ( | void | ) | const |
Iterator to Begin() of alphabet.
doxygen group
EventSet::Iterator faudes::vGenerator::AlphabetEnd | ( | void | ) | const |
Iterator to End() of alphabet.
bool faudes::vGenerator::ExistsEvent | ( | Idx | index | ) | const |
Test existence of event in alphabet.
index | Event index |
bool faudes::vGenerator::ExistsEvent | ( | const std::string & | rName | ) | const |
Test existence of event in alphabet.
rName | Event name |
EventSet::Iterator faudes::vGenerator::FindEvent | ( | Idx | index | ) | const |
Returns a iterator to event index in alphabet.
index | Index to find |
EventSet::Iterator faudes::vGenerator::FindEvent | ( | const std::string & | rName | ) | const |
Returns a iterator to event index in alphabet.
rName | Event name of index to find |
const EventSet & faudes::vGenerator::Alphabet | ( | void | ) | const |
Return const reference to alphabet.
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
StateSet::Iterator faudes::vGenerator::StatesBegin | ( | void | ) | const |
Iterator to Begin() of state set.
StateSet::Iterator faudes::vGenerator::StatesEnd | ( | void | ) | const |
Iterator to End() of state set.
bool faudes::vGenerator::ExistsState | ( | Idx | index | ) | const |
Test existence of state in state set.
index | State index |
bool faudes::vGenerator::ExistsState | ( | const std::string & | name | ) | const |
Test existence of state in state set.
name | State name |
StateSet::Iterator faudes::vGenerator::FindState | ( | Idx | index | ) | const |
Returns a iterator to state index in state set.
index | Index to find |
StateSet::Iterator faudes::vGenerator::FindState | ( | const std::string & | rName | ) | const |
Returns a iterator to state with specified name.
rName | name of state to find |
const StateSet & faudes::vGenerator::States | ( | void | ) | const |
Return reference to state set.
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
Idx faudes::vGenerator::InitState | ( | void | ) | const |
Return initial state.
Exception |
|
StateSet::Iterator faudes::vGenerator::InitStatesBegin | ( | void | ) | const |
Iterator to Begin() of mInitStates.
StateSet::Iterator faudes::vGenerator::InitStatesEnd | ( | void | ) | const |
Iterator to End() of mInitStates.
bool faudes::vGenerator::ExistsInitState | ( | Idx | index | ) | const |
Test existence of state in mInitStates.
index | State index |
StateSet::Iterator faudes::vGenerator::FindInitState | ( | Idx | index | ) | const |
Returns a iterator to state index in mInitStates.
index | Index to find |
const StateSet & faudes::vGenerator::InitStates | ( | void | ) | const |
Return const ref to initial states.
StateSet::Iterator faudes::vGenerator::MarkedStatesBegin | ( | void | ) | const |
iterator to Begin() of mMarkedStates
StateSet::Iterator faudes::vGenerator::MarkedStatesEnd | ( | void | ) | const |
iterator to End() of mMarkedStates
bool faudes::vGenerator::ExistsMarkedState | ( | Idx | index | ) | const |
Test existence of state in mMarkedStates.
index | State index |
StateSet::Iterator faudes::vGenerator::FindMarkedState | ( | Idx | index | ) | const |
Returns a iterator to state index in mMarkedStates.
index | Index to find |
const StateSet & faudes::vGenerator::MarkedStates | ( | void | ) | const |
Return const ref of marked states.
TransSet::Iterator faudes::vGenerator::TransRelBegin | ( | void | ) | const |
Iterator to Begin() of transition relation.
TransSet::Iterator faudes::vGenerator::TransRelEnd | ( | void | ) | const |
Iterator to End() of transition relation.
TransSet::Iterator faudes::vGenerator::TransRelBegin | ( | Idx | x1 | ) | const |
iterator to begin of transitions with x1 as predecessor state.
x1 | Predecessor state |
TransSet::Iterator faudes::vGenerator::TransRelEnd | ( | Idx | x1 | ) | const |
iterator to end of transitions with x1 as predecessor state.
Note: Set the End(x1) iterator to a variable, so it won't be recalculated every iteration.
x1 | Predecessor state |
TransSet::Iterator faudes::vGenerator::TransRelBegin | ( | Idx | x1, | |
Idx | ev | |||
) | const |
iterator to begin of transitions with x1 as predecessor state and event ev.
x1 | Predecessor state | |
ev | Event |
TransSet::Iterator faudes::vGenerator::TransRelEnd | ( | Idx | x1, | |
Idx | ev | |||
) | const |
iterator to end of transitions with x1 as predecessor state and event ev.
Note: Set the End(x1,ev) iterator to a variable, so it won't be recalculated every iteration.
x1 | Predecessor state | |
ev | Event |
TransSet::Iterator faudes::vGenerator::FindTransition | ( | const std::string & | rX1, | |
const std::string & | rEv, | |||
const std::string & | rX2 | |||
) | const |
iterator to transition given by x1, ev, x2
rX1 | name of Predecessor state | |
rEv | name of Event | |
rX2 | name of Successor state |
TransSet::Iterator faudes::vGenerator::FindTransition | ( | Idx | x1, | |
Idx | ev, | |||
Idx | x2 | |||
) | const |
iterator to transition given by x1, ev, x2
x1 | Predecessor state | |
ev | Event | |
x2 | Successor state |
TransSet::Iterator faudes::vGenerator::FindTransition | ( | const Transition & | rTrans | ) | const |
iterator to transition
rTrans | transition |
bool faudes::vGenerator::ExistsTransition | ( | const std::string & | rX1, | |
const std::string & | rEv, | |||
const std::string & | rX2 | |||
) | const |
test for transition given by x1, ev, x2
rX1 | name of Predecessor state | |
rEv | name of Event | |
rX2 | name of Successor state |
test for transition given by x1, ev, x2
x1 | Predecessor state | |
ev | Event | |
x2 | Successor state |
bool faudes::vGenerator::ExistsTransition | ( | const Transition & | rTrans | ) | const |
test for transition
rTrans | transition |
const TransSet & faudes::vGenerator::TransRel | ( | void | ) | const |
Return reference to transition relation.
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
void faudes::vGenerator::TransRel | ( | TransSetX1EvX2 & | res | ) | const |
Get copy of trantision relation sorted by other compare operator, e.g.
"x2,ev,x1"
res | resulting transition relation |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
void faudes::vGenerator::TransRel | ( | TransSetEvX1X2 & | res | ) | const |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
void faudes::vGenerator::TransRel | ( | TransSetEvX2X1 & | res | ) | const |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
void faudes::vGenerator::TransRel | ( | TransSetX2EvX1 & | res | ) | const |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
void faudes::vGenerator::TransRel | ( | TransSetX2X1Ev & | res | ) | const |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
void faudes::vGenerator::TransRel | ( | TransSetX1X2Ev & | res | ) | const |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
bool faudes::vGenerator::InsEvent | ( | Idx | index | ) |
Add an existing event to alphabet by index.
doxygen group It is an error to insert an event index that is not known to the mpEventSymbolTable.
index | Event index |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
Idx faudes::vGenerator::InsEvent | ( | const std::string & | rName | ) |
Add named event to generator.
An entry in the mpEventSymbolTable will be made if event name is not known so far.
rName | Name of the event to add |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
void faudes::vGenerator::InsEvents | ( | const EventSet & | events | ) |
Add new named events to generator.
If the event allready exists, the attribute is maintained.
events | EventSet |
bool faudes::vGenerator::DelEvent | ( | Idx | index | ) |
Delete event from generator by index.
mpEventSymbolTable stays untouched. Transitions containing event will be removed too.
index | Index of event |
bool faudes::vGenerator::DelEvent | ( | const std::string & | rName | ) |
Delete event from generator by name.
mpEventSymbolTable stays untouched. Transitions containing event will be removed too.
rName | Name of event |
void faudes::vGenerator::DelEvents | ( | const EventSet & | rEvents | ) |
Delete a set of events from generator.
mpEventSymbolTable stays untouched. Transitions containing events will be removed too.
rEvents | EventSet containing events to remove |
bool faudes::vGenerator::DelEventFromAlphabet | ( | Idx | index | ) |
Delete event from alphabet without consistency check.
The event is only deleted from mpAlphabet but not from transition relation.
index | Index of event |
void faudes::vGenerator::InjectAlphabet | ( | const EventSet & | rNewalphabet | ) |
Set mpAlphabet without consistency check (clear attributes).
rNewalphabet | EventSet with new alphabet |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
Idx faudes::vGenerator::InsState | ( | void | ) |
Add new anonymous state to generator.
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
bool faudes::vGenerator::InsState | ( | Idx | index | ) |
Add (perhaps new) state to generator.
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
Idx faudes::vGenerator::InsState | ( | const std::string & | rName | ) |
Add new named state to generator.
rName | Name of the state to add |
Exception | Name already exists (id 44) |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
bool faudes::vGenerator::DelState | ( | Idx | index | ) |
Delete a state from generator by index.
Cleans mpStates, mInitStates, mMarkedStates, mpTransRel and mpStateSymbolTable.
index | Index of state to delete. |
bool faudes::vGenerator::DelState | ( | const std::string & | rName | ) |
Delete a state from generator by name.
Cleans mpStates, mInitStates, mMarkedStates, mpTransRel and mpStateSymbolTable.
rName | Name of state to delete. Will be erased in mpStateSymbolTable too |
Exception |
|
void faudes::vGenerator::DelStates | ( | const StateSet & | rDelStates | ) |
Delete a set of states Cleans mpStates, mInitStates, mMarkedStates, mpTransrel, and mpStateSymboltable.
rDelStates | StateSet containing states aka indicees to delete |
bool faudes::vGenerator::DelStateFromStates | ( | Idx | index | ) |
Delete a state from generator without consistency check.
This removes the state from mpStates and mpStateSymbolTable but doesn't touch mpTransRel, mInitStates and mMarkedStates.
index | Index of state to delete. |
StateSet::Iterator faudes::vGenerator::DelStateFromStates | ( | StateSet::Iterator | pos | ) |
Delete a state from generator without consistency check.
This removes the state from mpStates and mpStateSymbolTable but doesn't touch mpTransRel, mInitStates and mMarkedStates. Index to delete is given by iterator.
pos | StateSet::Iterator |
void faudes::vGenerator::InjectState | ( | Idx | index | ) |
Inject an existing state index into generators mStates Use with care! For use in performance optimized functions.
index | State index to inject |
void faudes::vGenerator::InjectStates | ( | const StateSet & | rNewStates | ) |
Inject a complete state set without consistency checks (without attributes).
rNewStates | StateSet |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
Idx faudes::vGenerator::InsInitState | ( | void | ) |
Create new anonymous state and set as initial state.
bool faudes::vGenerator::InsInitState | ( | Idx | index | ) |
Add (perhaps new) state to generator and turn it into a initial state.
index | State to insert |
Idx faudes::vGenerator::InsInitState | ( | const std::string & | rName | ) |
Create a new named state and set as initial state.
rName | Name of the state to add |
Idx faudes::vGenerator::InsMarkedState | ( | void | ) |
Create new anonymous state and set as marked state.
bool faudes::vGenerator::InsMarkedState | ( | Idx | index | ) |
Add (perhaps new) state to generator and turn it into a marked state.
index | State to insert |
Idx faudes::vGenerator::InsMarkedState | ( | const std::string & | rName | ) |
Create a new named state and set as marked state.
rName | Name of the state to add |
void faudes::vGenerator::SetInitState | ( | Idx | index | ) |
Set an existing state as initial state by index.
index | Index of state to set as initial state |
Exception |
|
void faudes::vGenerator::SetInitState | ( | const std::string & | rName | ) |
Set an existing state as initial state by name.
rName | Name of state to set as initial state |
Exception |
|
void faudes::vGenerator::InjectInitStates | ( | const StateSet & | rNewInitStates | ) |
Replace mInitStates with StateSet given as parameter without consistency checks.
rNewInitStates | StateSet containing new mInitStates |
void faudes::vGenerator::ClrInitState | ( | Idx | index | ) |
Unset an existing state as initial state by index.
Define FAUDES_CHECKED for consistency checks.
index | State index |
Exception |
|
void faudes::vGenerator::ClrInitState | ( | const std::string & | rName | ) |
Unset an existing state as initial state by name.
rName | State name |
Exception |
|
StateSet::Iterator faudes::vGenerator::ClrInitState | ( | StateSet::Iterator | pos | ) |
Unset an existing state as initial state by iterator.
pos | StateSet::iterator |
void faudes::vGenerator::ClearInitStates | ( | void | ) |
Clear all mInitStates.
void faudes::vGenerator::SetMarkedState | ( | Idx | index | ) |
Set an existing state as marked state by index.
index | Index of state to set as initial state |
Exception |
|
void faudes::vGenerator::SetMarkedState | ( | const std::string & | rName | ) |
Set an existing state as marked state by name.
rName | Name of state to set as marked state |
Exception |
|
void faudes::vGenerator::ClrMarkedState | ( | Idx | index | ) |
Unset an existing state as marked state by index.
index | State index |
Exception |
|
void faudes::vGenerator::ClrMarkedState | ( | const std::string & | rName | ) |
Unset an existing state as marked state by name.
rName | State name |
Exception |
|
StateSet::Iterator faudes::vGenerator::ClrMarkedState | ( | StateSet::Iterator | pos | ) |
Unset an existing state as marked state by iterator.
pos | StateSet::iterator |
void faudes::vGenerator::ClearMarkedStates | ( | void | ) |
Clear all marked states.
void faudes::vGenerator::InjectMarkedStates | ( | const StateSet & | rNewMarkedStates | ) |
Replace mMarkedStates with StateSet given as parameter without consistency checks.
rNewMarkedStates | StateSet containing new marked states |
Add a transition to generator by indices.
States and event must already exist.
x1 | Predecessor state index | |
ev | Event index | |
x2 | Successor state index |
Exception |
|
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, and faudes::TtGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >.
bool faudes::vGenerator::SetTransition | ( | const std::string & | rX1, | |
const std::string & | rEv, | |||
const std::string & | rX2 | |||
) |
Add a transition to generator by names.
Statename and eventname must already exist.
rX1 | Predecessor state name | |
rEv | Event name | |
rX2 | Successor state name |
Exception |
|
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, and faudes::TtGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >.
bool faudes::vGenerator::SetTransition | ( | const Transition & | rTransition | ) |
Add a transition to generator.
States and event must already exist.
rTransition | Transition |
Exception |
|
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
Remove a transition by indices.
x1 | Predecessor state index | |
ev | Event index | |
x2 | Successor state index |
void faudes::vGenerator::ClrTransition | ( | const Transition & | rTrans | ) |
TransSet::Iterator faudes::vGenerator::ClrTransition | ( | TransSet::Iterator | it | ) |
Remove a transition by iterator.
it | TransSet::iterator |
void faudes::vGenerator::ClearTransRel | ( | void | ) |
Clear all transitions.
void faudes::vGenerator::InjectTransition | ( | const Transition & | rTrans | ) |
void faudes::vGenerator::InjectTransRel | ( | const TransSet & | rNewtransrel | ) |
Set transition relation without consistency check (no attributes).
rNewtransrel | TransRel to insert |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
void faudes::vGenerator::ClearAttributes | ( | void | ) | [virtual] |
Clear Attributes.
doxygen group
virtual bool faudes::vGenerator::UpdateAttributes | ( | void | ) | [inline, virtual] |
Updates internal attributes.
This method does nothing and may be reimplemented by a any class that adds semantics to attributes Eg. you may set a particular state flag, if this state is reachable.
Reimplemented in faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioConstraint< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::THioController< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::THioEnvironment< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, faudes::THioPlant< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >, and faudes::TtGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >.
void faudes::vGenerator::ClearEventAttributes | ( | void | ) | [virtual] |
Clear event attributes.
void faudes::vGenerator::ClrEventAttribute | ( | Idx | index | ) | [virtual] |
Clear attribute for existing event.
index | Event index |
Set attribute for existing event.
This version uses a dynamic cast to test the actual type of the provided attribute. An exception is thrown for an invalid attribute type. In a context where the attribute type is known, you may prefer the TaGenerator method.
index | Event index | |
rAttr | New attribute |
Exception |
|
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
void faudes::vGenerator::EventAttributes | ( | const EventSet & | rEventSet | ) | [virtual] |
Set attributes for existing events.
This version uses a dynamic cast to test the actual type of the provided attributes. An exception is thrown for an invalid attribute type.
rEventSet | Set of attributed events |
Exception |
|
const AttributeVoid & faudes::vGenerator::EventAttribute | ( | Idx | index | ) | const [virtual] |
Event attribute lookup.
In a context where the attribute type is known, you may prefer the TaGenerator method.
index |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
const AttributeVoid & faudes::vGenerator::EventAttribute | ( | const std::string & | rName | ) | const [virtual] |
Event attribute lookup.
In a context where the attribute type is known, you may prefer the TaGenerator method.
rName |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
AttributeVoid * faudes::vGenerator::EventAttributep | ( | Idx | index | ) | [virtual] |
Event attribute pointer to access Attribute methods.
If there are no attributes (plain vGenerator) this method returs 0. If there are attributes, an explicit default value may be inserted. In a context where the attribute type is known, you may prefer the TaGenerator method.
index |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
AttributeVoid * faudes::vGenerator::EventAttributep | ( | const std::string & | rName | ) | [virtual] |
Event attribute pointer to access Attribute methods.
If there are no attributes (plain vGenerator) this method returs 0. If there are attributes, an explicit default value may be inserted. In a context where the attribute type is known, you may prefer the TaGenerator method.
rName |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
void faudes::vGenerator::ClearStateAttributes | ( | void | ) | [virtual] |
Clear state attributes.
void faudes::vGenerator::ClrStateAttribute | ( | Idx | index | ) | [virtual] |
Clear attribute for existing state.
index | State index |
Set attribute for existing state.
This version uses a dynamic cast to test the actual type of the provided attribute. An exception is thrown for an invalid attribute type. In a context where the attribute type is known, you may prefer the TaGenerator method.
index | State index | |
rAttr | New attribute |
Exception |
|
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
const AttributeVoid & faudes::vGenerator::StateAttribute | ( | Idx | index | ) | const [virtual] |
State attribute lookup.
In a context where the attribute type is known, you may prefer the TaGenerator method.
index | State index |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
AttributeVoid * faudes::vGenerator::StateAttributep | ( | Idx | index | ) | [virtual] |
State attribute pointer to access Attribute methods.
If there are no attributes (plain vGenerator) this method returns 0. If there are attributes, an explicit default value may be inserted. In a context where the attribute type is known, you may prefer the TaGenerator method.
index | State index |
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
void faudes::vGenerator::ClearTransAttributes | ( | void | ) | [virtual] |
Clear transition attributes.
void faudes::vGenerator::TransAttribute | ( | const Transition & | rTrans, | |
const Type & | rAttr | |||
) | [virtual] |
Set attribute for existing transition.
This version uses a dynamic cast to test the actual type of the provided attribute. An exception is thrown for an invalid attribute type. In a context where the attribute type is known, you may prefer the TaGenerator method.
rTrans | Transition | |
rAttr | New attribute |
Exception |
|
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
void faudes::vGenerator::ClrTransAttribute | ( | const Transition & | rTrans | ) | [virtual] |
Clear attribute for existing transition.
rTrans | transition |
const AttributeVoid & faudes::vGenerator::TransAttribute | ( | const Transition & | rTrans | ) | const [virtual] |
Transition attribute lookup.
In a context where the attribute type is known, you may prefer the TaGenerator method.
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
AttributeVoid * faudes::vGenerator::TransAttributep | ( | const Transition & | rTrans | ) | [virtual] |
Transition attribute pointer to access Attribute methods.
If there are no attributes (plain vGenerator) this method returns 0. If there are attributes, an explicit default value may be inserted. In a context where the attribute type is known, you may prefer the TaGenerator method.
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
void faudes::vGenerator::ClearGlobalAttribute | ( | void | ) | [virtual] |
Clear global attribute.
void faudes::vGenerator::GlobalAttribute | ( | const Type & | rAttr | ) | [virtual] |
Set global attribute.
The vGenerator does not have attributes, so this function throws an exception for any specified attribute different to AttributeVoid. The TaGenarator provides a re-implementation to actually set the global attribute.
rAttr | Attribute |
Exception |
|
void faudes::vGenerator::GlobalAttributeTry | ( | const Type & | rAttr | ) | [virtual] |
Set global attribute.
The vGenerator does not have attributes, so this function does nothing. The TaGenarator provides a re-implementation to actually set the global attribute.
rAttr | Attribute |
const AttributeVoid & faudes::vGenerator::GlobalAttribute | ( | void | ) | const [virtual] |
Global attribute lookup.
In a context where the attribute type is known, you may prefer the TaGenerator method.
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
AttributeVoid * faudes::vGenerator::GlobalAttributep | ( | void | ) | [virtual] |
Get attribute pointer The global attribute allways exits.
For the vGenerator its of type AttributeVoid, the TaGenerator sets a nontrivial type. In a context where the attribute type is known, you may prefer the TaGenerator method.
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
StateSet faudes::vGenerator::AccessibleSet | ( | void | ) | const |
Compute set of accessible states.
doxygen group
bool faudes::vGenerator::Accessible | ( | void | ) |
Make generator accessible.
Reimplemented in faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
bool faudes::vGenerator::IsAccessible | ( | void | ) | const |
Check if generator is accessible.
Reimplemented in faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
StateSet faudes::vGenerator::CoaccessibleSet | ( | void | ) | const |
Compute set of Coaccessible states.
bool faudes::vGenerator::Coaccessible | ( | void | ) |
Make generator Coaccessible.
bool faudes::vGenerator::IsCoaccessible | ( | void | ) | const |
Check if generator is Coaccessible.
StateSet faudes::vGenerator::TrimSet | ( | void | ) | const |
Computer set of trim states.
bool faudes::vGenerator::Trim | ( | void | ) |
Make generator trim.
bool faudes::vGenerator::IsTrim | ( | void | ) | const |
Check if generator is trim.
StateSet faudes::vGenerator::BlockingSet | ( | void | ) | const |
Computer set of blocking states.
void faudes::vGenerator::WriteAlphabet | ( | void | ) | const |
Write generators alphabet to console.
doxygen group
std::string faudes::vGenerator::AlphabetToString | ( | void | ) | const |
void faudes::vGenerator::WriteAlphabet | ( | TokenWriter & | rTw | ) | const |
Write generators alphabet to tokenwriter.
rTw | Reference to TokenWriter |
Exception |
|
void faudes::vGenerator::WriteStateSet | ( | const StateSet & | rStateSet | ) | const |
Write a stateset to console (no re-indexing).
Uses WriteStateSet(TokenWriter& rTw, const StateSet&) const to write the specified state set to console referring to this generators state names.
rStateSet | Reference to stateset |
std::string faudes::vGenerator::StateSetToString | ( | const StateSet & | rStateSet | ) | const |
Write a stateset to string (no re-indexing).
Uses WriteStateSet(TokenWriter& rTw, const StateSet&) const to write the specified state set to a string referring to this generators state names.
rStateSet | Reference to stateset |
Exception |
|
void faudes::vGenerator::WriteStateSet | ( | TokenWriter & | rTw, | |
const StateSet & | rStateSet | |||
) | const |
Write a stateset to TokenWriter.
All output of state sets done with this function. Recall that a StateSet technically is a set of plain indices, no reference to symbolic names. Thus, it is only the context of a Generator that provides the symbolic names for file output.
Output of state sets always uses the mMinStateIndexMap to re-index states. However, this map is only set up automatically for file output. If You require re-indexed output to eg a string, you must set up the map by calling SetMinStateIndexMap(). To ensure that no re-indexing takes place, call ClearMinStateIndexMap().
rTw | Reference to TokenWriter | |
rStateSet | Reference to stateset |
Exception |
|
void faudes::vGenerator::DWriteStateSet | ( | TokenWriter & | rTw, | |
const StateSet & | rStateSet | |||
) | const |
Write a stateset to TokenWriter (debug version, no re-indexing).
rTw | Reference to TokenWriter | |
rStateSet | Reference to stateset |
Exception |
|
std::string faudes::vGenerator::StatesToString | ( | void | ) | const |
Write stateset of this generator to a string (no re-indexing).
Exception |
|
std::string faudes::vGenerator::MarkedStatesToString | ( | void | ) | const |
Write set of marked states to a string (no re-indexing).
Exception |
|
std::string faudes::vGenerator::InitStatesToString | ( | void | ) | const |
Write set of initial states to a string (no re-indexing).
Exception |
|
void faudes::vGenerator::WriteTransRel | ( | void | ) | const |
Write transition relation to console (no re-indexing).
std::string faudes::vGenerator::TransRelToString | ( | void | ) | const |
Write transition relation to string (no re-indexing).
void faudes::vGenerator::WriteTransRel | ( | TokenWriter & | rTw | ) | const |
Write transition relation to tokenwriter (no re-indexing).
Re-indexing and symbolic state names are handled in the same way as with state sets: this function refers to the generators state symboltable to obtain state names and uses the mMinStateIndexMap to re-index the output.
rTw | Reference to TokenWriter |
Exception |
|
void faudes::vGenerator::DWriteTransRel | ( | TokenWriter & | rTw | ) | const |
Write transition relation to tokenwriter (debug version).
rTw | Reference to TokenWriter |
Exception |
|
void faudes::vGenerator::WriteStatistics | ( | void | ) | const |
Write statistics to console.
Produce statistics (number of states etc.) in comment form (lines starting with %)
std::string faudes::vGenerator::StatisticsToString | ( | void | ) | const |
Write statistics to string.
Produce statistics (number of states etc.) in comment form (lines starting with %)
void faudes::vGenerator::WriteStatistics | ( | TokenWriter & | rTw | ) | const |
Write statistics to tokenwriter Produce statistics (number of states etc.
) in comment form (lines starting with %)
rTw | Reference to TokenWriter |
Exception |
|
void faudes::vGenerator::DotWrite | ( | const std::string & | rFileName | ) | const |
Writes generator to dot input format.
The dot file format is specified by the graphiz package; see http://www.graphviz.org. The package includes the dot command line tool to generate a graphical representation of the generators graph. See also GraphWrite(). This functions sets the re-indexing to minimal indices.
rFileName | File to write |
Exception |
|
void faudes::vGenerator::DDotWrite | ( | const std::string & | rFileName | ) | const |
Writes generator to dot input format (no re-indexing).
Variant of DotWrite() without re-indexing.
rFileName | File to write |
Exception |
|
void faudes::vGenerator::XDotWrite | ( | const std::string & | rFileName | ) | const |
Writes generator to dot input format for export to VioLib.
Variant of DotWrite() using strategic state and event names to simplify import to VioLib (qt widget for graphical representation of FAUDES generators).
rFileName | File to write |
Exception |
|
void faudes::vGenerator::ReadStateSet | ( | TokenReader & | rTr, | |
const std::string & | rLabel, | |||
StateSet & | rStateSet | |||
) | const |
Read a state set.
Refer to the generators state symboltable while reading a state set. Ignore any attributes.
rTr | Reference to TokenReader | |
rLabel | Label of set in source | |
rStateSet | Destination state set |
Exception |
|
EventSet faudes::vGenerator::UsedEvents | ( | void | ) | const |
Return used events (executed in transitions).
doxygen group
EventSet faudes::vGenerator::UnusedEvents | ( | void | ) | const |
Return unused events.
void faudes::vGenerator::MinimizeAlphabet | ( | void | ) |
Set the alphabet to used events.
Return active event set at state x1.
x1 | Index of x1 |
Return active transition set at state x1.
x1 | Index of x1 |
StateSet faudes::vGenerator::TransRelStateSpace | ( | void | ) | const |
Return the states covered by transitions.
Return the successor states of state x1.
bool faudes::vGenerator::IsDeterministic | ( | void | ) | const |
Check if generator is deterministic.
We insict in exactly one initial state and for each state and event at most one transition (to some successor state). This definition matches the situation where a generator is defined to have one inital state as opposed to a set set of initial states (which may be empty). In particular, the generated language of a determinitstic generator allways includes the empty string and therefor is not the empty set. When focus is on the marked language only, this issue does not exists.
void faudes::vGenerator::SetMinStateIndexMap | ( | void | ) | const |
Set minimal index map for file io of generator states.
This function is implemented as fake-const to allow for const Write function.
void faudes::vGenerator::ClearMinStateIndexMap | ( | void | ) | const |
Clear minimal index map for 1:1 file io.
Get state index as is it will be written to file.
index | state index |
Get state index translation map.
std::string faudes::vGenerator::EStr | ( | Idx | index | ) | const |
Pretty printable event name for index (eg for debugging).
index | Event index |
Reimplemented in faudes::Executor.
std::string faudes::vGenerator::SStr | ( | Idx | index | ) | const |
Return pretty printable state name for index (eg for debugging).
index | State index |
Reimplemented in faudes::Executor.
std::string faudes::vGenerator::TStr | ( | const Transition & | rTrans | ) | const |
Return pretty printable transition (eg for debugging).
rTrans | Transition |
void faudes::vGenerator::GraphWrite | ( | const std::string & | rFileName, | |
const std::string & | rOutFormat = "" , |
|||
const std::string & | rDotExec = "dot" | |||
) | const |
Produce graphical representation of this generator.
This method calls the generator's DotWrite function and then processes the output with the dot tool from graphiz package. If no output format is given, try to guess from filename extension. See also ProcessDot().
rFileName | Name of output file | |
rOutFormat | Graphics file format, eg "png", "jpg", "svg" | |
rDotExec | path/name of executable |
Exception |
|
bool faudes::vGenerator::operator< | ( | const vGenerator & | rOtherGen | ) | const [inline] |
Order for sorting containers of generators.
void faudes::vGenerator::NewCore | ( | void | ) | [protected, virtual] |
Allocate my heap members (attribute dependent types).
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
void faudes::vGenerator::DeleteCore | ( | void | ) | [protected, virtual] |
Free my heap members (attribute dependent types).
void faudes::vGenerator::UpdateCore | ( | void | ) | [protected, virtual] |
Callback for core update.
Reimplemented in faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TaGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >, and faudes::TaGenerator< faudes::AttributeVoid, faudes::HioStateFlags, faudes::HioEventFlags, faudes::AttributeVoid >.
void faudes::vGenerator::DoRead | ( | TokenReader & | rTr, | |
const std::string & | rLabel = "" , |
|||
const Type * | pContext = 0 | |||
) | [protected, virtual] |
Read generator object from TokenReader, see Type::Read for public wrappers.
Virtual function for std token io interface. Context is ignored, label defaults to "Generator".
rTr | TokenReader to read from | |
rLabel | Section to read | |
pContext | Read context to provide contextual information (ignored) |
Exception |
|
Reimplemented from faudes::Type.
void faudes::vGenerator::DoWrite | ( | TokenWriter & | rTw, | |
const std::string & | rLabel = "" , |
|||
const Type * | pContext = 0 | |||
) | const [protected, virtual] |
Write generator to TokenWriter, see Type::Write for public wrappers.
Virtual function for std token io interface. Context is ignored, label defaults to "Generator". If the tokenwriter writes to a file, state indices will be re-indext to start from 1.
rTw | Reference to TokenWriter | |
rLabel | Label of section to write | |
pContext | Write context to provide contextual information (ignored) |
Exception |
|
Reimplemented from faudes::Type.
void faudes::vGenerator::DoDWrite | ( | TokenWriter & | rTw, | |
const std::string & | rLabel = "" , |
|||
const Type * | pContext = 0 | |||
) | const [protected, virtual] |
Write generator in debugging format to TokenWriter, see Type::DWrite for public wrappers.
Reimplement this method in derived classes to provide the std token io interface defined in the public section of Type.
rTw | Reference to TokenWriter | |
rLabel | Label of section to write | |
pContext | Write context to provide contextual information (ignored) |
Exception |
|
Reimplemented from faudes::Type.
void faudes::vGenerator::ReadGeneratorName | ( | const std::string & | rFileName | ) | [protected] |
Read the generator's name from a file.
rFileName | File to read from |
Exception |
|
void faudes::vGenerator::ReadGeneratorName | ( | TokenReader & | rTr | ) | [protected] |
Read the generator's name from a TokenReader.
rTr | Reference to TokenReader |
Exception |
|
void faudes::vGenerator::ReadAlphabet | ( | const std::string & | rFileName | ) | [protected] |
Read the generator's alphabet from a file.
rFileName | File to read from |
Exception |
|
void faudes::vGenerator::ReadAlphabet | ( | TokenReader & | rTr | ) | [protected] |
Read the generator's alphabet from a TokenReader.
rTr | Reference to TokenReader |
Exception |
|
void faudes::vGenerator::ReadStates | ( | const std::string & | rFileName | ) | [protected] |
Read the generator's state set from a file.
This sets up the StateSymbolTable.
rFileName | File to read from |
Exception |
|
void faudes::vGenerator::ReadStates | ( | TokenReader & | rTr | ) | [protected] |
Read the generator's stateset from a TokenReader.
This sets up the StateSymbolTable
rTr | Reference to TokenReader |
Exception |
|
void faudes::vGenerator::ReadTransRel | ( | const std::string & | rFileName | ) | [protected] |
Read the generator's transition relation from a file.
rFileName | File to read from |
Exception |
|
void faudes::vGenerator::ReadTransRel | ( | TokenReader & | rTr | ) | [protected] |
Read the generator's transition relation from a TokenReader.
rTr | Reference to TokenReader |
Exception |
|
void faudes::vGenerator::CheckAccessible | ( | StateSet & | accessibleset, | |
Idx | startState | |||
) | const [protected] |
Get accessible states by filling accessibleset recursive.
accessibleset | Reference to StateSet with accessibel states | |
startState | State index to start with |
void faudes::vGenerator::CheckCoaccessible | ( | StateSet & | Coaccessibleset, | |
const TransSetX2EvX1 & | rtrel, | |||
Idx | startState | |||
) | const [protected] |
Get Coaccessible states by filling Coaccessibleset recursive.
Coaccessibleset | Reference to StateSet with coaccessibel states | |
rtrel | Reverse transition relation where x1 <-> x2 | |
startState | State index to start with |
std::string faudes::vGenerator::mMyName [protected] |
Name of generator.
Idx faudes::vGenerator::mId [protected] |
Number of generator.
Idx faudes::vGenerator::msObjectCount = 0 [static, protected] |
Number of generator objects.
SymbolTable faudes::vGenerator::mStateSymbolTable [protected] |
State symbol table (local per Generator).
SymbolTable* faudes::vGenerator::mpStateSymbolTable [protected] |
Pointer to State symbol table.
SymbolTable* faudes::vGenerator::mpEventSymbolTable [protected] |
Pointer to Event symbol table.
bool faudes::vGenerator::mStateNamesEnabled [protected] |
Automatic state names.
bool faudes::vGenerator::msStateNamesEnabledDefault = true [static, protected] |
Default for automatic statenames.
EventSet* faudes::vGenerator::mpAlphabet [protected] |
Pointer to alphabet (actual type depends on attributes).
StateSet* faudes::vGenerator::mpStates [protected] |
Pointer to state set (actual type depends on attributes).
TransSet* faudes::vGenerator::mpTransRel [protected] |
Pointer to ransition relation (actual type depends on attributes).
AttributeVoid* faudes::vGenerator::mpGlobalAttribute [protected] |
Pointer to lobal attribute (actual type depends on attributes).
StateSet faudes::vGenerator::mInitStates [protected] |
Initial states.
StateSet faudes::vGenerator::mMarkedStates [protected] |
Marked states.
std::map<Idx,Idx> faudes::vGenerator::mMinStateIndexMap [protected] |
Map State indices to consecutive indices.
libFAUDES 2.13a c++ source docu by doxygen 1.5.6