#include <agenerator.h>
Inheritance diagram for faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >:
mAlphabet | the Alphabet Sigma, type faudes::EventSet | |
mStates | the stateset X, type faudes::StateSet | |
mTransRel | the transitionrelation Delta, type faudes::TransSet | |
mInitStates | the set of initial states X_0, type faudes::StateSet | |
mMarkedStates | the set of marked statesX_m, type faudes::StateSet |
States, events and transitions in a generator can be addressed in three alternative methods:
For read access, const refererences to sets are provided. In order to allow for consistency checks, write access is via generator methods only. When the compiletime option FAUDES_CHECKED is defined, write methods throw an exception on inconsistent data, eg. setting an initial state that is not an element of the state set, or introducung a transition with an event label that is not in the alphabet.
In consequence of the different charakter of events and states, there is one global sybmoltable that provides event names, while there is a local state symbol table for each generator. Furthermore, state names are considered cosmetic and hence are optional, while event names are mandatory.
Example: two machines both refer to the event name "alpha" that models the process of passing a workpiece from one machine to the other. In libFAUDES this is indeed modelled as one event which is represented by one index. However, both machines may have a state "Idle" which indicates that the respective machine is idle. In libFAUDES the two states are treated locally to the generators and whether or not they have the same index is regarded irrelevant.
The Generator class carries a flag to indicate that functions with result type Generator shall attach names to the newly created states, perhaps based on the state names of the respective arguments. Turning of this feature and avoiding state names alltogether considerably increases libFAUDES performance.
<Generator> % libFAUDES Generator for the simple machine "simple machine" <Alphabet> "alpha" "beta" "mue" "lambda" </Alphabet> <States> "idle" "busy" "down" </States> <TransRel> "idle" "alpha" "busy" "busy" "beta" "idle" "busy" "mue" "down" "down" "lambda" "idle" </TransRel> <InitStates> "idle" </InitStates> <MarkedStates> "idle" </MarkedStates> </Generator>
Note that for file IO states may be represented either ba symbolic name or index. However, when writing a file indices will be chosen consecutively and beginning at 1. Thus, state indices are not maintained by file IO. Events are always represented by their symbolic name.
In the context of a TaGenerator, also non-trivial attributes attributes have only minimal sematics: they can be accessed in a per event, state and transition manner and they can have default or non-default value. The minimum interface that an attribute class parameter must provide, is given in faudes::AttributeVoid. Derived classes can provide addtional semantics, eg faudes::AttributeFlags for boolean flags and faudes::AttributeCFlags for controllability properties. The TaGenerator transparently support extended attribute semantics, buit does not provide taylored acces function. This is done in TaGenerator derivates eg TcGenerator.
Definition at line 167 of file agenerator.h.
Public Types | |
typedef TaTransSet< TransAttr > | ATransSet |
Convenience typdef for member transiton set. | |
Public Member Functions | |
Constructors & Destructor | |
TaGenerator (void) | |
Construct an emtpy Generator. | |
TaGenerator (const TaGenerator &rOtherGen) | |
Copy-constructor (from TaGenerator, incl attributes). | |
TaGenerator (const vGenerator &rOtherGen) | |
Copy-constructor (from vGenerator, set attributes to default). | |
TaGenerator (const char *pFileName) | |
Construct from file. | |
TaGenerator * | NewP (void) const |
Construct on heap. | |
virtual TaGenerator | NewAGen (void) const |
Construct on stack. | |
virtual | ~TaGenerator (void) |
Destructor. | |
Copy and Assignment | |
virtual void | Copy (TaGenerator &rGen) const |
Copy to other TaGenerator (incl attributes). | |
virtual void | Copy (vGenerator &rGen) const |
Copy to other vGenerator (set attributes to default). | |
virtual void | Move (TaGenerator &rGen) |
Destructive copy to other TaGenerator (incl attributes). | |
virtual void | Move (vGenerator &rGen) |
Destructive copy to other vGenerator (set attributes to default). | |
virtual TaGenerator & | operator= (const TaGenerator &rOtherGen) |
Assignment operator (uses Copy(TaGenerator&) ). | |
virtual TaGenerator & | operator= (const vGenerator &rOtherGen) |
Assignment operator (uses Copy(vGenerator&) ). | |
void | Version (Idx version, TaGenerator &rResGen) |
Create another version of this generator. | |
void | Version (const std::string &rVersion, TaGenerator &rResGen) |
Create another version of this generator. | |
File IO | |
void | Write (void) const |
Write to console. | |
std::string | ToString (void) const |
Write to string. | |
void | Write (const char *pFileName, std::ios::openmode openmode=std::ios::out|std::ios::trunc) |
Write to file (using minimal state indices). | |
void | Write (TokenWriter &rTw) const |
Write to TokenWriter. | |
void | DWrite (void) const |
Write to console (for debugging). | |
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. | |
template<class OtherAttr> | |
void | WriteStateSet (const TaIndexSet< OtherAttr > &rStateSet) const |
Write a stateset to console. | |
void | WriteStateSet (const StateSet &rStateSet) const |
Write a stateset to console. | |
template<class OtherAttr> | |
std::string | StateSetToString (const TaIndexSet< OtherAttr > &rStateSet) const |
Write a stateset to string. | |
std::string | StateSetToString (const StateSet &rStateSet) const |
Write a stateset to string. | |
template<class OtherAttr> | |
void | WriteStateSet (TokenWriter &rTw, const TaIndexSet< OtherAttr > &rStateSet) const |
Write a stateset to TokenWriter. | |
void | WriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const |
Write a stateset to TokenWriter. | |
template<class OtherAttr> | |
void | DWriteStateSet (TokenWriter &rTw, const TaIndexSet< OtherAttr > &rStateSet) const |
Write a stateset to TokenWriter (debug version). | |
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) 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. | |
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) |
Writes generator to dot input format. | |
void | DDotWrite (const std::string &rFileName) const |
Writes generator to dot input format (no re-indexing) Variant of DotWrite() without re-indexing. | |
void | XDotWrite (const std::string &rFileName) const |
Writes generator to dot input format (for export to VioLib). | |
void | Read (const char *pFileName) |
Read generator from file. | |
void | Read (TokenReader &rTr) |
Read generator from TokenReader. | |
void | ReadStateSet (TokenReader &rTr, const std::string &rLabel, StateSet &rStateSet) const |
Read a state set. | |
Basic Maintenance | |
bool | Valid (void) |
Check if generator is valid. | |
virtual void | Clear (void) |
Clear alphabet, states and transitions (initial states and marked states also). | |
void | ClearStates (void) |
Clear all states and transitions. | |
Idx | AlphabetSize (void) const |
Get number of events in mAlphabet. | |
Idx | Size (void) const |
Get generator size (# 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 mAlphabet is Empty. | |
bool | TransRelEmpty (void) const |
Check if transition relation is empty. | |
bool | InitStatesEmpty (void) const |
Check if set of initial states is empty. | |
bool | MarkedStatesEmpty (void) const |
Check if set of marked states is empty. | |
EventSet | UsedEvents (void) const |
Return used events (executed in transitions). | |
EventSet | UnusedEvents (void) const |
Return unused events. | |
EventSet | ActiveEventSet (Idx x1) const |
Return active event set at state x1. | |
StateSet | TransRelStateSpace (void) const |
Return the states covered by transitions als indices. | |
StateSet | TransRelStateSpace (Idx x1) const |
Return the successor states of state x1. | |
virtual bool | UpdateAttributes (void) |
Updates internal attributes. | |
Read Access to Core Members | |
EventSet::Iterator | AlphabetBegin (void) const |
iterator to Begin() of mAlphabet | |
EventSet::Iterator | AlphabetEnd (void) const |
iterator to End() of mAlphabet | |
bool | ExistsEvent (Idx index) const |
Test existence of event in mAlphabet. | |
bool | ExistsEvent (const std::string &rName) const |
Test existence of event in mAlphabet. | |
EventSet::Iterator | FindEvent (Idx index) const |
Returns a iterator to event index in mAlphabet. | |
EventSet::Iterator | FindEvent (const std::string &rName) const |
Returns a iterator to event index in mAlphabet. | |
const TaNameSet< EventAttr > & | Alphabet (void) const |
Return const reference to mAlphabet. | |
StateSet::Iterator | StatesBegin (void) const |
iterator to Begin() of mStates | |
StateSet::Iterator | StatesEnd (void) const |
iterator to End() of mStates | |
bool | ExistsState (Idx index) const |
Test existence of state in mStates. | |
bool | ExistsState (const std::string &name) const |
Test existence of state in mStates. | |
StateSet::Iterator | FindState (Idx index) const |
Returns a iterator to state index in mStates. | |
StateSet::Iterator | FindState (const std::string &rName) const |
Returns a iterator to state with specified name. | |
const TaIndexSet< StateAttr > & | States (void) const |
Return reference to mStates. | |
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. | |
ATransSet::Iterator | TransRelBegin (void) const |
iterator to Begin() of transition relation | |
ATransSet::Iterator | TransRelEnd (void) const |
iterator to End() of transition relation | |
ATransSet::Iterator | TransRelBegin (Idx x1) const |
iterator to begin of transitions with x1 as predecessor state. | |
ATransSet::Iterator | TransRelEnd (Idx x1) const |
iterator to end of transitions with x1 as predecessor state. | |
ATransSet::Iterator | TransRelBegin (Idx x1, Idx ev) const |
iterator to begin of transitions with x1 as predecessor state and event ev. | |
ATransSet::Iterator | TransRelEnd (Idx x1, Idx ev) const |
iterator to end of transitions with x1 as predecessor state and event ev. | |
ATransSet::Iterator | FindTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const |
iterator to transition given by x1, ev, x2 | |
ATransSet::Iterator | FindTransition (Idx x1, Idx ev, Idx x2) const |
iterator to transition given by x1, ev, x2 | |
ATransSet::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 ATransSet & | TransRel (void) const |
Return reference to transition relation. | |
void | TransRel (TransSetX1EvX2 &res) const |
Get copy of trantision relation sorted by other compare operator, e.g. | |
void | TransRel (TransSetEvX1X2 &res) const |
void | TransRel (TransSetEvX2X1 &res) const |
void | TransRel (TransSetX2EvX1 &res) const |
void | TransRel (TransSetX2X1Ev &res) const |
void | TransRel (TransSetX1X2Ev &res) const |
Write Access to Core Members | |
bool | InsEvent (Idx index) |
Add an existing event to mAlphabet by index. | |
Idx | InsEvent (const std::string &rName) |
Add named event to generator. | |
bool | InsEvent (Idx index, const EventAttr &attr) |
Add an existing event to mAlphabet by index, with attribute. | |
Idx | InsEvent (const std::string &rName, const EventAttr &attr) |
Add named event with attribute 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 mAlphabet without consistency check. | |
void | InjectAlphabet (const TaNameSet< EventAttr > &rNewalphabet) |
Set mAlphabet without consistency check (incl attributes). | |
Idx | InsState (void) |
Add new anonymous state to generator. | |
Idx | InsState (const StateAttr &attr) |
Add new anonymous state with attribute to generator. | |
bool | InsState (Idx index) |
Add (perhaps new) state to generator. | |
Idx | InsState (const std::string &rName) |
Add new named state to generator. | |
Idx | InsState (const std::string &rName, const StateAttr &attr) |
Add new named state with attribute to generator. | |
bool | InsState (Idx index, const StateAttr &attr) |
Add (perhaps new) state with attribute to generator. | |
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 mStates, mInitStates, mMarkedStates, mTransrel, 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 optimized functions. | |
void | InjectStates (const StateSet &rNewStates) |
Inject a complete mStates without consistency checks (without attributes). | |
Idx | InsInitState (void) |
Create new anonymous state and set as 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. | |
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 (only for user interactions). | |
void | 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 (only for user interactions). | |
void | 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. | |
bool | SetTransition (const Transition &rTransition, const TransAttr &rAttr) |
Add a transition with attribute 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. | |
ATransSet::Iterator | ClrTransition (typename ATransSet::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 mTransRel without consistency check. | |
Attributes | |
void | ClearAttributes (void) |
Clear Attributes. | |
void | DetermineAttributes (void) |
Determine and set those attributes, that are a conseqence of other given data. | |
void | ClearEventAttributes (void) |
Clear event attributes. | |
void | ClrEventAttribute (Idx index) |
Clear attribute for existing event. | |
void | EventAttribute (Idx index, const EventAttr &rAttr) |
Set attribute for existing event. | |
const EventAttr & | EventAttribute (Idx index) const |
Event attribute lookup. | |
const EventAttr & | EventAttribute (const std::string &rName) const |
Event attribute lookup. | |
EventAttr * | EventAttributep (Idx index) |
Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute. | |
EventAttr * | EventAttributep (const std::string &rName) |
Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute. | |
void | ClearStateAttributes (void) |
Clear state attributes. | |
void | ClrStateAttribute (Idx index) |
Clear attribute for existing state. | |
void | StateAttribute (Idx index, const StateAttr &rAttr) |
Set attribute for existing state. | |
const StateAttr & | StateAttribute (Idx index) const |
State attribute lookup. | |
StateAttr * | StateAttributep (Idx index) |
State attribute pointer (to access Attribute methods) note: may insert explicit default attribute. | |
void | ClearTransAttributes (void) |
Clear transition attributes. | |
void | TransAttribute (const Transition &rTrans, const TransAttr &rAttr) |
Set attribute for existing transition. | |
void | ClrTransAttribute (const Transition &rTrans) |
Clear attribute for existing transition. | |
const TransAttr & | TransAttribute (const Transition &rTrans) const |
get attribute for existing transition | |
TransAttr * | TransAttributep (const Transition &rTrans) |
get attribute pointer for existing transition note: may insert explicit default attribute | |
void | ClearGlobalAttribute (void) |
Clear global attribute. | |
void | GlobalAttribute (const GlobalAttr &rAttr) |
Set global attribute. | |
const GlobalAttr & | GlobalAttribute (void) const |
Get attribute ref. | |
GlobalAttr * | GlobalAttributep (void) |
Get attribute pointer. | |
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. | |
Misc | |
void | MinimizeAlphabet (void) |
Set the alphabet to events executed in transitions. | |
bool | IsDeterministic (void) const |
Check if generator is deterministique We insit in exactly one initial state and for each state and event at most one transition (to some successor state). | |
void | SetMinStateIndexMap (void) |
Set minimal index map for file io of generator states. | |
void | ClearMinStateIndexMap (void) |
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. | |
SymbolTable * | EventSymbolTablep (void) const |
Get Pointer to EventSymbolTable. | |
void | EventSymbolTablep (SymbolTable *pSymTab) |
Set Pointer to EventSymbolTable. | |
virtual void | EventSymbolTablep (const vGenerator &rOtherGen) |
Set Pointer to EventSymbolTable. | |
Protected Member Functions | |
void | ReadGeneratorName (const char *pFileName) |
Read the generator's name from a file. | |
void | ReadGeneratorName (TokenReader &rTr) |
Read the generator's name from a TokenReader. | |
void | ReadAlphabet (const char *pFileName) |
Read the generator's alphabet from a file. | |
void | ReadAlphabet (TokenReader &rTr) |
Read the generator's alphabet from a TokenReader. | |
void | ReadStates (const char *pFileName) |
Read the generator's mStates from a file. | |
void | ReadStates (TokenReader &rTr) |
Read the generator's stateset from a TokenReader. | |
void | ReadTransRel (const char *pFileName) |
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 | |
TaNameSet< EventAttr > | mAlphabet |
Generator alphabet. | |
TaIndexSet< StateAttr > | mStates |
Generator state set. | |
ATransSet | mTransRel |
Transition relation. | |
StateSet | mInitStates |
Initial states. | |
StateSet | mMarkedStates |
Marked states. | |
std::map< Idx, Idx > | mMinStateIndexMap |
Map State indices to consecutive indices. | |
GlobalAttr | mGlobalAttribute |
global attribute |
|
Convenience typdef for member transiton set.
Definition at line 171 of file agenerator.h. |
|
Construct an emtpy Generator.
Definition at line 2434 of file agenerator.h. |
|
Copy-constructor (from TaGenerator, incl attributes).
Definition at line 2447 of file agenerator.h. |
|
Copy-constructor (from vGenerator, set attributes to default).
Definition at line 2458 of file agenerator.h. |
|
Construct from file. This constructor uses the Read(TokenReader&) function to read.
Definition at line 2468 of file agenerator.h. |
|
Destructor.
Definition at line 2553 of file agenerator.h. |
|
Make generator accessible.
Implements faudes::vGenerator. Definition at line 4420 of file agenerator.h. |
|
Compute set of accessible states.
Implements faudes::vGenerator. Definition at line 4409 of file agenerator.h. |
|
Return active event set at state x1.
Implements faudes::vGenerator. Definition at line 4331 of file agenerator.h. |
|
Return const reference to mAlphabet.
Implements faudes::vGenerator. Definition at line 4276 of file agenerator.h. |
|
iterator to Begin() of mAlphabet
Implements faudes::vGenerator. Definition at line 3493 of file agenerator.h. |
|
Check if mAlphabet is Empty.
Implements faudes::vGenerator. Definition at line 3468 of file agenerator.h. |
|
iterator to End() of mAlphabet
Implements faudes::vGenerator. Definition at line 3498 of file agenerator.h. |
|
Get number of events in mAlphabet.
Implements faudes::vGenerator. Definition at line 3392 of file agenerator.h. |
|
Write generators alphabet to string.
Implements faudes::vGenerator. Definition at line 2688 of file agenerator.h. |
|
Get accessible states by filling accessibleset recursive.
Definition at line 4563 of file agenerator.h. |
|
Get Coaccessible states by filling Coaccessibleset recursive.
Definition at line 4575 of file agenerator.h. |
|
Clear alphabet, states and transitions (initial states and marked states also).
Implements faudes::vGenerator. Definition at line 3403 of file agenerator.h. |
|
Clear Attributes.
Definition at line 3435 of file agenerator.h. |
|
Clear event attributes.
Definition at line 3425 of file agenerator.h. |
|
Clear global attribute.
Definition at line 3415 of file agenerator.h. |
|
Clear all mInitStates.
Implements faudes::vGenerator. Definition at line 3930 of file agenerator.h. |
|
Clear all marked states.
Implements faudes::vGenerator. Definition at line 4005 of file agenerator.h. |
|
Clear minimal index map for 1:1 file io.
Implements faudes::vGenerator. Definition at line 4611 of file agenerator.h. |
|
Clear state attributes.
Definition at line 3420 of file agenerator.h. |
|
Clear all states and transitions. Alphabet stays untouched. Implements faudes::vGenerator. Definition at line 3444 of file agenerator.h. |
|
Clear transition attributes.
Definition at line 3430 of file agenerator.h. |
|
Clear all transitions.
Implements faudes::vGenerator. Definition at line 4156 of file agenerator.h. |
|
Clear attribute for existing event.
Definition at line 4168 of file agenerator.h. |
|
Unset an existing state as initial state by iterator.
Implements faudes::vGenerator. Definition at line 3924 of file agenerator.h. |
|
Unset an existing state as initial state by name (only for user interactions).
Implements faudes::vGenerator. Definition at line 3910 of file agenerator.h. |
|
Unset an existing state as initial state by index. Define FAUDES_CHECKED for consistency checks.
Implements faudes::vGenerator. Definition at line 3896 of file agenerator.h. |
|
Unset an existing state as marked state by iterator.
Implements faudes::vGenerator. Definition at line 3999 of file agenerator.h. |
|
Unset an existing state as marked state by name (only for user interactions).
Implements faudes::vGenerator. Definition at line 3985 of file agenerator.h. |
|
Unset an existing state as marked state by index. Define FAUDES_CHECKED for consistency checks.
Implements faudes::vGenerator. Definition at line 3971 of file agenerator.h. |
|
Clear attribute for existing state.
Definition at line 4181 of file agenerator.h. |
|
Clear attribute for existing transition.
Definition at line 4150 of file agenerator.h. |
|
Remove a transition by iterator.
Definition at line 4125 of file agenerator.h. |
|
Remove a transition by transition object.
Implements faudes::vGenerator. Definition at line 4119 of file agenerator.h. |
|
Remove a transition by indices.
Implements faudes::vGenerator. Definition at line 4112 of file agenerator.h. |
|
Make generator Coaccessible.
Implements faudes::vGenerator. Definition at line 4481 of file agenerator.h. |
|
Compute set of Coaccessible states.
Implements faudes::vGenerator. Definition at line 4467 of file agenerator.h. |
|
Copy to other vGenerator (set attributes to default).
Implements faudes::vGenerator. Definition at line 2511 of file agenerator.h. |
|
Copy to other TaGenerator (incl attributes).
Definition at line 2480 of file agenerator.h. |
|
Writes generator to dot input format (no re-indexing) Variant of DotWrite() without re-indexing.
Implements faudes::vGenerator. Definition at line 2987 of file agenerator.h. |
|
Delete event from generator by name. mpEventSymbolTable stays untouched. Transitions containing event will be removed too.
Implements faudes::vGenerator. Definition at line 3682 of file agenerator.h. |
|
Delete event from generator by index. mpEventSymbolTable stays untouched. Transitions containing event will be removed too.
Implements faudes::vGenerator. Definition at line 3675 of file agenerator.h. |
|
Delete event from Alphabet without consistency check. The event is only deleted from mAlphabet but not from transition relation.
Implements faudes::vGenerator. Definition at line 3700 of file agenerator.h. |
|
Delete a set of events from generator. mpEventSymbolTable stays untouched. Transitions containing events will be removed too.
Implements faudes::vGenerator. Definition at line 3690 of file agenerator.h. |
|
Delete a state from generator by name. Cleans mStates, mInitStates, mMarkedStates, mTransRel and mpStateSymbolTable.
Implements faudes::vGenerator. Definition at line 3808 of file agenerator.h. |
|
Delete a state from generator by index. Cleans mStates, mInitStates, mMarkedStates, mTransRel and mpStateSymbolTable.
Implements faudes::vGenerator. Definition at line 3794 of file agenerator.h. |
|
Delete a state from generator without consistency check. This removes the state from mStates and mpStateSymbolTable but doesn't touch mTransRel, mInitStates and mMarkedStates. Index to delete is given by iterator.
Implements faudes::vGenerator. Definition at line 3854 of file agenerator.h. |
|
Delete a state from generator without consistency check. This removes the state from mStates and mpStateSymbolTable but doesn't touch mTransRel, mInitStates and mMarkedStates.
Implements faudes::vGenerator. Definition at line 3847 of file agenerator.h. |
|
Delete a set of states Cleans mStates, mInitStates, mMarkedStates, mTransrel, and mpStateSymboltable.
Implements faudes::vGenerator. Definition at line 3824 of file agenerator.h. |
|
Determine and set those attributes, that are a conseqence of other given data. E.g. you may set particular state flag, if this state is reachable. This method does nothing and may be reimplemented by a class that adds semantics to attributes. Definition at line 1923 of file agenerator.h. |
|
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 vGenerator::GraphWrite(). This functions sets the re-indexing to minimal indices.
Implements faudes::vGenerator. Definition at line 2928 of file agenerator.h. |
|
Write to console (for debugging).
Implements faudes::vGenerator. Definition at line 2657 of file agenerator.h. |
|
Write a stateset to TokenWriter (debug version, no re-indexing).
Implements faudes::vGenerator. Definition at line 2797 of file agenerator.h. |
|
Write a stateset to TokenWriter (debug version).
Definition at line 2783 of file agenerator.h. |
|
Write transition relation to tokenwriter (debug version).
Implements faudes::vGenerator. Definition at line 2879 of file agenerator.h. |
|
Check if generator is empty (no states).
Implements faudes::vGenerator. Definition at line 3473 of file agenerator.h. |
|
Event attribute lookup.
Definition at line 4257 of file agenerator.h. |
|
Event attribute lookup.
Definition at line 4247 of file agenerator.h. |
|
Set attribute for existing event.
Definition at line 4161 of file agenerator.h. |
|
Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
Definition at line 4262 of file agenerator.h. |
|
Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
Definition at line 4252 of file agenerator.h. |
|
Set Pointer to EventSymbolTable. This function sets the reference to the global event symboltable according to the one used in the specified generator. The current implementation clears the generator, future versions may implement a re-indexing.
Reimplemented from faudes::vGenerator. Definition at line 2605 of file agenerator.h. |
|
Set Pointer to EventSymbolTable. This function sets the reference to the event symboltable. The current implementation clears the generator, future versions may implement a re-indexing.
Reimplemented from faudes::vGenerator. Definition at line 2597 of file agenerator.h. |
|
Get Pointer to EventSymbolTable.
Reimplemented from faudes::vGenerator. Definition at line 2592 of file agenerator.h. |
|
Test existence of event in mAlphabet.
Implements faudes::vGenerator. Definition at line 4192 of file agenerator.h. |
|
Test existence of event in mAlphabet.
Implements faudes::vGenerator. Definition at line 4187 of file agenerator.h. |
|
Test existence of state in mInitStates.
Implements faudes::vGenerator. Definition at line 4227 of file agenerator.h. |
|
Test existence of state in mMarkedStates.
Implements faudes::vGenerator. Definition at line 4237 of file agenerator.h. |
|
Test existence of state in mStates.
Implements faudes::vGenerator. Definition at line 4212 of file agenerator.h. |
|
Test existence of state in mStates.
Implements faudes::vGenerator. Definition at line 4207 of file agenerator.h. |
|
test for transition
Implements faudes::vGenerator. Definition at line 3568 of file agenerator.h. |
|
test for transition given by x1, ev, x2
Implements faudes::vGenerator. Definition at line 3573 of file agenerator.h. |
|
test for transition given by x1, ev, x2
Implements faudes::vGenerator. Definition at line 3578 of file agenerator.h. |
|
Returns a iterator to event index in mAlphabet.
Implements faudes::vGenerator. Definition at line 4202 of file agenerator.h. |
|
Returns a iterator to event index in mAlphabet.
Implements faudes::vGenerator. Definition at line 4197 of file agenerator.h. |
|
Returns a iterator to state index in mInitStates.
Implements faudes::vGenerator. Definition at line 4232 of file agenerator.h. |
|
Returns a iterator to state index in mMarkedStates.
Implements faudes::vGenerator. Definition at line 4242 of file agenerator.h. |
|
Returns a iterator to state with specified name.
Implements faudes::vGenerator. Definition at line 4217 of file agenerator.h. |
|
Returns a iterator to state index in mStates.
Implements faudes::vGenerator. Definition at line 4222 of file agenerator.h. |
|
iterator to transition
Implements faudes::vGenerator. Definition at line 3550 of file agenerator.h. |
|
iterator to transition given by x1, ev, x2
Implements faudes::vGenerator. Definition at line 3556 of file agenerator.h. |
|
iterator to transition given by x1, ev, x2
Implements faudes::vGenerator. Definition at line 3561 of file agenerator.h. |
|
Get attribute ref.
Definition at line 2099 of file agenerator.h. |
|
Set global attribute.
Definition at line 2094 of file agenerator.h. |
|
Get attribute pointer.
Definition at line 2105 of file agenerator.h. |
|
Return initial state.
Implements faudes::vGenerator. Definition at line 3586 of file agenerator.h. |
|
Return const ref to initial states.
Implements faudes::vGenerator. Definition at line 4301 of file agenerator.h. |
|
Iterator to Begin() of mInitStates.
Implements faudes::vGenerator. Definition at line 3598 of file agenerator.h. |
|
Check if set of initial states is empty.
Implements faudes::vGenerator. Definition at line 3483 of file agenerator.h. |
|
Iterator to End() of mInitStates.
Implements faudes::vGenerator. Definition at line 3603 of file agenerator.h. |
|
Get number of initial states.
Implements faudes::vGenerator. Definition at line 3458 of file agenerator.h. |
|
Write set of initial states to a string (no re-indexing).
Implements faudes::vGenerator. Definition at line 2813 of file agenerator.h. |
|
Set mAlphabet without consistency check (incl attributes).
Definition at line 3632 of file agenerator.h. |
|
Set mAlphabet without consistency check.
Implements faudes::vGenerator. Definition at line 3618 of file agenerator.h. |
|
Replace mInitStates with StateSet given as parameter without consistency checks.
Implements faudes::vGenerator. Definition at line 3888 of file agenerator.h. |
|
Replace mMarkedStates with StateSet given as parameter without consistency checks.
Implements faudes::vGenerator. Definition at line 3963 of file agenerator.h. |
|
Inject an existing state index into generators mStates Use with care! For use in optimized functions.
Implements faudes::vGenerator. Definition at line 3743 of file agenerator.h. |
|
Inject a complete mStates without consistency checks (without attributes).
Implements faudes::vGenerator. Definition at line 3750 of file agenerator.h. |
|
Set transition without consistency check.
Implements faudes::vGenerator. Definition at line 4010 of file agenerator.h. |
|
Set mTransRel without consistency check.
Implements faudes::vGenerator. Definition at line 4016 of file agenerator.h. |
|
Add named event with attribute to generator. An entry in the mpEventSymbolTable will be made if event is new.
Definition at line 3664 of file agenerator.h. |
|
Add an existing event to mAlphabet by index, with attribute.
Definition at line 3658 of file agenerator.h. |
|
Add named event to generator. An entry in the mpEventSymbolTable will be made if event is new.
Implements faudes::vGenerator. Definition at line 3652 of file agenerator.h. |
|
Add an existing event to mAlphabet by index.
Implements faudes::vGenerator. Definition at line 3646 of file agenerator.h. |
|
Add new named events to generator.
Implements faudes::vGenerator. Definition at line 3670 of file agenerator.h. |
|
Create a new named state and set as initial state.
Implements faudes::vGenerator. Definition at line 3767 of file agenerator.h. |
|
Create new anonymous state and set as initial state.
Implements faudes::vGenerator. Definition at line 3758 of file agenerator.h. |
|
Create a new named state and set as marked state.
Implements faudes::vGenerator. Definition at line 3785 of file agenerator.h. |
|
Create new anonymous state and set as marked state.
Implements faudes::vGenerator. Definition at line 3776 of file agenerator.h. |
|
Add (perhaps new) state with attribute to generator.
Definition at line 3719 of file agenerator.h. |
|
Add new named state with attribute to generator.
Definition at line 3733 of file agenerator.h. |
|
Add new named state to generator.
Implements faudes::vGenerator. Definition at line 3725 of file agenerator.h. |
|
Add (perhaps new) state to generator.
Implements faudes::vGenerator. Definition at line 3713 of file agenerator.h. |
|
Add new anonymous state with attribute to generator.
|
|
Add new anonymous state to generator.
Implements faudes::vGenerator. Definition at line 3707 of file agenerator.h. |
|
Check if generator is accessible.
Implements faudes::vGenerator. Definition at line 4455 of file agenerator.h. |
|
Check if generator is Coaccessible.
Implements faudes::vGenerator. Definition at line 4516 of file agenerator.h. |
|
Check if generator is deterministique We insit 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 focuus is on the marked language only, this issue does not exists.
Implements faudes::vGenerator. Definition at line 4588 of file agenerator.h. |
|
Check if generator is trim.
Implements faudes::vGenerator. Definition at line 4551 of file agenerator.h. |
|
Return const ref of marked states.
Implements faudes::vGenerator. Definition at line 4306 of file agenerator.h. |
|
iterator to Begin() of mMarkedStates
Implements faudes::vGenerator. Definition at line 3608 of file agenerator.h. |
|
Check if set of marked states is empty.
Implements faudes::vGenerator. Definition at line 3488 of file agenerator.h. |
|
iterator to End() of mMarkedStates
Implements faudes::vGenerator. Definition at line 3613 of file agenerator.h. |
|
Get number of marked states.
Implements faudes::vGenerator. Definition at line 3463 of file agenerator.h. |
|
Write set of marked states to a string (no re-indexing).
Implements faudes::vGenerator. Definition at line 2808 of file agenerator.h. |
|
Set the alphabet to events executed in transitions.
Implements faudes::vGenerator. Definition at line 4311 of file agenerator.h. |
|
Get state index as is it will be written to file.
Definition at line 4617 of file agenerator.h. |
|
Destructive copy to other vGenerator (set attributes to default). This is the intended interface definition for a copy method with increased performance at the cost of clearing the source data. However, the current implementation calls std copy.
Implements faudes::vGenerator. Definition at line 2546 of file agenerator.h. |
|
Destructive copy to other TaGenerator (incl attributes). This is the intended interface definition for a copy method with increased performance at the cost of clearing the source data. However, the current implementation calls std copy.
Definition at line 2538 of file agenerator.h. |
|
Construct on stack. Technically not a constructor, this function creates a TaGenerator with the same event symboltable and the same attribute type.
Definition at line 2568 of file agenerator.h. |
|
Construct on heap. Technically not a constructor, this function creates a TaGenerator with the same event symboltable and the same attribute type. Since NewP() is defined as virtual vGenerator function, it can be accessed from all generator classes. It is the callers reponsebilty to delete the object when no longer needed.
Implements faudes::vGenerator. Reimplemented in faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >. Definition at line 2558 of file agenerator.h. |
|
Assignment operator (uses Copy(vGenerator&) ).
Implements faudes::vGenerator. Definition at line 2585 of file agenerator.h. |
|
Assignment operator (uses Copy(TaGenerator&) ).
Definition at line 2578 of file agenerator.h. |
|
Read generator from TokenReader.
Implements faudes::vGenerator. Definition at line 3077 of file agenerator.h. |
|
Read generator from file. Used Read(TokenReader&) to read a generator from file.
Implements faudes::vGenerator. Definition at line 3071 of file agenerator.h. |
|
Read the generator's alphabet from a TokenReader.
Definition at line 3122 of file agenerator.h. |
|
Read the generator's alphabet from a file.
Definition at line 3116 of file agenerator.h. |
|
Read the generator's name from a TokenReader.
Definition at line 3109 of file agenerator.h. |
|
Read the generator's name from a file.
Definition at line 3102 of file agenerator.h. |
|
Read the generator's stateset from a TokenReader. This sets up the StateSymbolTable
Definition at line 3135 of file agenerator.h. |
|
Read the generator's mStates from a file. This sets up the StateSymbolTable
Definition at line 3129 of file agenerator.h. |
|
Read a state set. Refer to the generators state symboltable while reading a state set. Ignore any attributes.
Implements faudes::vGenerator. Definition at line 3218 of file agenerator.h. |
|
Read the generator's transition relation from a TokenReader.
Definition at line 3299 of file agenerator.h. |
|
Read the generator's transition relation from a file.
Definition at line 3293 of file agenerator.h. |
|
Set an existing state as initial state by name. (only for user interactions)
Implements faudes::vGenerator. Definition at line 3874 of file agenerator.h. |
|
Set an existing state as initial state by index.
Implements faudes::vGenerator. Definition at line 3860 of file agenerator.h. |
|
Set an existing state as marked state by name. (only for user interactions)
Implements faudes::vGenerator. Definition at line 3949 of file agenerator.h. |
|
Set an existing state as marked state by index. Define FAUDES_CHECKED for consistency checks.
Implements faudes::vGenerator. Definition at line 3935 of file agenerator.h. |
|
Set minimal index map for file io of generator states.
Implements faudes::vGenerator. Definition at line 4631 of file agenerator.h. |
|
Add a transition with attribute to generator. States and event must already exist!
Definition at line 4085 of file agenerator.h. |
|
Add a transition to generator. States and event must already exist!
Implements faudes::vGenerator. Definition at line 4058 of file agenerator.h. |
|
Add a transition to generator by names. Statename and eventname must already exist!
Implements faudes::vGenerator. Definition at line 4022 of file agenerator.h. |
|
Add a transition to generator by indices. States and event must already exist! Define FAUDES_CHECKED for consistency checks.
Implements faudes::vGenerator. Definition at line 4053 of file agenerator.h. |
|
Get generator size (# of states).
Implements faudes::vGenerator. Definition at line 3397 of file agenerator.h. |
|
State attribute lookup.
Definition at line 4266 of file agenerator.h. |
|
Set attribute for existing state.
Definition at line 4174 of file agenerator.h. |
|
State attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
Definition at line 4271 of file agenerator.h. |
|
Return reference to mStates.
Implements faudes::vGenerator. Definition at line 4281 of file agenerator.h. |
|
iterator to Begin() of mStates
Implements faudes::vGenerator. Definition at line 3503 of file agenerator.h. |
|
iterator to End() of mStates
Implements faudes::vGenerator. Definition at line 3508 of file agenerator.h. |
|
Write a stateset to string. Uses WriteStateSet(TokenWriter& rTw, const StateSet&) const to write the specified state set to a string referring to this generators state names.
Implements faudes::vGenerator. Definition at line 2721 of file agenerator.h. |
|
Write a stateset to string. Uses WriteStateSet(TokenWriter& rTw, const TaStateSet&) const to write the specified state set to a string referring to this generators state names.
Definition at line 2714 of file agenerator.h. |
|
Write stateset of this generator to a string (no re-indexing).
Implements faudes::vGenerator. Definition at line 2803 of file agenerator.h. |
|
Write statistics to string. Produce statistics (number of states etc.) in comment form (lines starting with %) Implements faudes::vGenerator. Definition at line 2904 of file agenerator.h. |
|
Write to string.
Implements faudes::vGenerator. Definition at line 2625 of file agenerator.h. |
|
get attribute for existing transition
Definition at line 4145 of file agenerator.h. |
|
Set attribute for existing transition.
Definition at line 4132 of file agenerator.h. |
|
get attribute pointer for existing transition note: may insert explicit default attribute
Definition at line 4139 of file agenerator.h. |
|
Implements faudes::vGenerator. |
|
Implements faudes::vGenerator. |
|
Implements faudes::vGenerator. |
|
Implements faudes::vGenerator. |
|
Implements faudes::vGenerator. |
|
Get copy of trantision relation sorted by other compare operator, e.g. "x2,ev,x1"
Implements faudes::vGenerator. Definition at line 4292 of file agenerator.h. |
|
Return reference to transition relation.
Implements faudes::vGenerator. Definition at line 4286 of file agenerator.h. |
|
iterator to begin of transitions with x1 as predecessor state and event ev.
Implements faudes::vGenerator. Definition at line 3538 of file agenerator.h. |
|
iterator to begin of transitions with x1 as predecessor state.
Implements faudes::vGenerator. Definition at line 3526 of file agenerator.h. |
|
iterator to Begin() of transition relation
Implements faudes::vGenerator. Definition at line 3514 of file agenerator.h. |
|
Check if transition relation is empty.
Implements faudes::vGenerator. Definition at line 3478 of file agenerator.h. |
|
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.
Implements faudes::vGenerator. Definition at line 3544 of file agenerator.h. |
|
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.
Implements faudes::vGenerator. Definition at line 3532 of file agenerator.h. |
|
iterator to End() of transition relation
Implements faudes::vGenerator. Definition at line 3520 of file agenerator.h. |
|
Get number of transitions.
Implements faudes::vGenerator. Definition at line 3453 of file agenerator.h. |
|
Return the successor states of state x1.
Implements faudes::vGenerator. Definition at line 4352 of file agenerator.h. |
|
Return the states covered by transitions als indices.
Implements faudes::vGenerator. Definition at line 4341 of file agenerator.h. |
|
Write transition relation to string (no re-indexing).
Implements faudes::vGenerator. Definition at line 2825 of file agenerator.h. |
|
Make generator trim.
Implements faudes::vGenerator. Definition at line 4535 of file agenerator.h. |
|
Computer set of trim states.
Implements faudes::vGenerator. Definition at line 4528 of file agenerator.h. |
|
Return unused events.
Implements faudes::vGenerator. Definition at line 4326 of file agenerator.h. |
|
Updates internal attributes. Since a plain generator does not have any internal attributes, this is just an interface. Reimplement to your needs.
Definition at line 879 of file agenerator.h. |
|
Return used events (executed in transitions).
Implements faudes::vGenerator. Definition at line 4316 of file agenerator.h. |
|
Check if generator is valid.
Implements faudes::vGenerator. Definition at line 3369 of file agenerator.h. |
|
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.
Definition at line 4371 of file agenerator.h. |
|
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.
Definition at line 4363 of file agenerator.h. |
|
Write to TokenWriter. All writing functions are implemented to write to an accordingly initialised TokenWriter. Events are always written as symbolic names, states in state sets as indices or names if present. For the transition relation, a compiletime option defines whether or not states may be written as symbolic names. Output of generators 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().
Implements faudes::vGenerator. Definition at line 2632 of file agenerator.h. |
|
Write to file (using minimal state indices). Writing to a file is always done with minimal state indices, ie states are re.indexed consecutively starting from 1. This is implemented by the member mMinStateIndexMap, which is set before calling the Write(TokenWriter&) const and cleared afterwards.
Implements faudes::vGenerator. Definition at line 2616 of file agenerator.h. |
|
Write to console.
Implements faudes::vGenerator. Definition at line 2610 of file agenerator.h. |
|
Write generators alphabet to tokenwriter.
Implements faudes::vGenerator. Definition at line 2695 of file agenerator.h. |
|
Write generators alphabet to console.
Implements faudes::vGenerator. Definition at line 2682 of file agenerator.h. |
|
Write a stateset to TokenWriter. All output of statesets with no attributes is done with this function. See WriteStateSet(TokenWriter&, const TaStateSet&) const for further details.
Implements faudes::vGenerator. Definition at line 2776 of file agenerator.h. |
|
Write a stateset to TokenWriter. All output of state sets with attributes is 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().
Definition at line 2728 of file agenerator.h. |
|
Write a stateset to console. Uses WriteStateSet(TokenWriter& rTw, const StateSet&) const to write the specified state set to console referring to this generators state names.
Implements faudes::vGenerator. Definition at line 2707 of file agenerator.h. |
|
Write a stateset to console. Uses WriteStateSet(TokenWriter& rTw, const TaStateSet&) const to write the specified state set to console referring to this generators state names.
Definition at line 2701 of file agenerator.h. |
|
Write statistics to tokenwriter Produce statistics (number of states etc. ) in comment form (lines starting with %)
Implements faudes::vGenerator. Definition at line 2911 of file agenerator.h. |
|
Write statistics to console. Produce statistics (number of states etc.) in comment form (lines starting with %) Implements faudes::vGenerator. Definition at line 2897 of file agenerator.h. |
|
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.
Implements faudes::vGenerator. Definition at line 2832 of file agenerator.h. |
|
Write transition relation to console (no re-indexing).
Implements faudes::vGenerator. Definition at line 2819 of file agenerator.h. |
|
Writes generator to dot input format (for export to VioLib). Variant of DotWrite() using strategig state and event names to simplify import to VioLib (qt widget for graphical representation of FAUDES generators).
Definition at line 3038 of file agenerator.h. |
|
Generator alphabet.
Definition at line 2277 of file agenerator.h. |
|
global attribute
Definition at line 2295 of file agenerator.h. |
|
Initial states.
Definition at line 2286 of file agenerator.h. |
|
Marked states.
Definition at line 2289 of file agenerator.h. |
|
Map State indices to consecutive indices.
Definition at line 2292 of file agenerator.h. |
|
Generator state set.
Definition at line 2280 of file agenerator.h. |
|
Transition relation.
Definition at line 2283 of file agenerator.h. |