#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 169 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 std::string &rFileName) | |
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 | 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 | 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. | |
TransSet | ActiveTransSet (Idx x1) const |
Return active transition 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. | |
StateSet | BlockingSet (void) const |
Computer set of blocking states. | |
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) 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. | |
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 | |
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 mStates 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 | |
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 173 of file agenerator.h. |
|
Construct an emtpy Generator.
Definition at line 2433 of file agenerator.h. |
|
Copy-constructor (from TaGenerator, incl attributes).
Definition at line 2446 of file agenerator.h. |
|
Copy-constructor (from vGenerator, set attributes to default).
Definition at line 2457 of file agenerator.h. |
|
Construct from file. This constructor uses the Read(TokenReader&) function to read.
Definition at line 2467 of file agenerator.h. |
|
Destructor.
Definition at line 2552 of file agenerator.h. |
|
Make generator accessible.
Implements faudes::vGenerator. Definition at line 4414 of file agenerator.h. |
|
Compute set of accessible states.
Implements faudes::vGenerator. Definition at line 4403 of file agenerator.h. |
|
Return active event set at state x1.
Implements faudes::vGenerator. Definition at line 4315 of file agenerator.h. |
|
Return active transition set at state x1.
Implements faudes::vGenerator. Definition at line 4325 of file agenerator.h. |
|
Return const reference to mAlphabet.
Implements faudes::vGenerator. Definition at line 4260 of file agenerator.h. |
|
iterator to Begin() of mAlphabet
Implements faudes::vGenerator. Definition at line 3477 of file agenerator.h. |
|
Check if mAlphabet is Empty.
Implements faudes::vGenerator. Definition at line 3452 of file agenerator.h. |
|
iterator to End() of mAlphabet
Implements faudes::vGenerator. Definition at line 3482 of file agenerator.h. |
|
Get number of events in mAlphabet.
Implements faudes::vGenerator. Definition at line 3376 of file agenerator.h. |
|
Write generators alphabet to string.
Implements faudes::vGenerator. Definition at line 2678 of file agenerator.h. |
|
Computer set of blocking states.
Implements faudes::vGenerator. Definition at line 4557 of file agenerator.h. |
|
Get accessible states by filling accessibleset recursive.
Definition at line 4564 of file agenerator.h. |
|
Get Coaccessible states by filling Coaccessibleset recursive.
Definition at line 4576 of file agenerator.h. |
|
Clear alphabet, states and transitions (initial states and marked states also).
Implements faudes::vGenerator. Reimplemented in faudes::Executor. Definition at line 3387 of file agenerator.h. |
|
Clear Attributes.
Definition at line 3419 of file agenerator.h. |
|
Clear event attributes.
Definition at line 3409 of file agenerator.h. |
|
Clear global attribute.
Definition at line 3399 of file agenerator.h. |
|
Clear all mInitStates.
Implements faudes::vGenerator. Definition at line 3914 of file agenerator.h. |
|
Clear all marked states.
Implements faudes::vGenerator. Definition at line 3989 of file agenerator.h. |
|
Clear minimal index map for 1:1 file io.
Implements faudes::vGenerator. Definition at line 4612 of file agenerator.h. |
|
Clear state attributes.
Definition at line 3404 of file agenerator.h. |
|
Clear all states and transitions. Alphabet stays untouched. Implements faudes::vGenerator. Definition at line 3428 of file agenerator.h. |
|
Clear transition attributes.
Definition at line 3414 of file agenerator.h. |
|
Clear all transitions.
Implements faudes::vGenerator. Definition at line 4140 of file agenerator.h. |
|
Clear attribute for existing event.
Definition at line 4152 of file agenerator.h. |
|
Unset an existing state as initial state by iterator.
Implements faudes::vGenerator. Definition at line 3908 of file agenerator.h. |
|
Unset an existing state as initial state by name (only for user interactions).
Implements faudes::vGenerator. Definition at line 3894 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 3880 of file agenerator.h. |
|
Unset an existing state as marked state by iterator.
Implements faudes::vGenerator. Definition at line 3983 of file agenerator.h. |
|
Unset an existing state as marked state by name (only for user interactions).
Implements faudes::vGenerator. Definition at line 3969 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 3955 of file agenerator.h. |
|
Clear attribute for existing state.
Definition at line 4165 of file agenerator.h. |
|
Clear attribute for existing transition.
Definition at line 4134 of file agenerator.h. |
|
Remove a transition by iterator.
Definition at line 4109 of file agenerator.h. |
|
Remove a transition by transition object.
Implements faudes::vGenerator. Definition at line 4103 of file agenerator.h. |
|
Remove a transition by indices.
Implements faudes::vGenerator. Definition at line 4096 of file agenerator.h. |
|
Make generator Coaccessible.
Implements faudes::vGenerator. Definition at line 4475 of file agenerator.h. |
|
Compute set of Coaccessible states.
Implements faudes::vGenerator. Definition at line 4461 of file agenerator.h. |
|
Copy to other vGenerator (set attributes to default).
Implements faudes::vGenerator. Reimplemented in faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< AttributeTimedGlobal, AttributeTimedState, AttributeCFlags, AttributeTimedTrans >. Definition at line 2510 of file agenerator.h. |
|
Copy to other TaGenerator (incl attributes).
Definition at line 2479 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 2977 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 3666 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 3659 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 3684 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 3674 of file agenerator.h. |
|
Delete a state from generator by name. Cleans mStates, mInitStates, mMarkedStates, mTransRel and mpStateSymbolTable.
Implements faudes::vGenerator. Definition at line 3792 of file agenerator.h. |
|
Delete a state from generator by index. Cleans mStates, mInitStates, mMarkedStates, mTransRel and mpStateSymbolTable.
Implements faudes::vGenerator. Definition at line 3778 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 3838 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 3831 of file agenerator.h. |
|
Delete a set of states Cleans mStates, mInitStates, mMarkedStates, mTransrel, and mpStateSymboltable.
Implements faudes::vGenerator. Definition at line 3808 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 1850 of file agenerator.h. |
|
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.
Reimplemented from faudes::Type. Definition at line 2642 of file agenerator.h. |
|
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".
Reimplemented from faudes::Type. Definition at line 3061 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 2918 of file agenerator.h. |
|
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.
Reimplemented from faudes::Type. Definition at line 2609 of file agenerator.h. |
|
Write a stateset to TokenWriter (debug version, no re-indexing).
Implements faudes::vGenerator. Definition at line 2787 of file agenerator.h. |
|
Write a stateset to TokenWriter (debug version).
Definition at line 2773 of file agenerator.h. |
|
Write transition relation to tokenwriter (debug version).
Implements faudes::vGenerator. Definition at line 2869 of file agenerator.h. |
|
Check if generator is empty (no states).
Implements faudes::vGenerator. Definition at line 3457 of file agenerator.h. |
|
Event attribute lookup.
Definition at line 4241 of file agenerator.h. |
|
Event attribute lookup.
Definition at line 4231 of file agenerator.h. |
|
Set attribute for existing event.
Definition at line 4145 of file agenerator.h. |
|
Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
Definition at line 4246 of file agenerator.h. |
|
Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
Definition at line 4236 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 2604 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 2596 of file agenerator.h. |
|
Get Pointer to EventSymbolTable.
Reimplemented from faudes::vGenerator. Definition at line 2591 of file agenerator.h. |
|
Test existence of event in mAlphabet.
Implements faudes::vGenerator. Definition at line 4176 of file agenerator.h. |
|
Test existence of event in mAlphabet.
Implements faudes::vGenerator. Definition at line 4171 of file agenerator.h. |
|
Test existence of state in mInitStates.
Implements faudes::vGenerator. Definition at line 4211 of file agenerator.h. |
|
Test existence of state in mMarkedStates.
Implements faudes::vGenerator. Definition at line 4221 of file agenerator.h. |
|
Test existence of state in mStates.
Implements faudes::vGenerator. Definition at line 4196 of file agenerator.h. |
|
Test existence of state in mStates.
Implements faudes::vGenerator. Definition at line 4191 of file agenerator.h. |
|
test for transition
Implements faudes::vGenerator. Definition at line 3552 of file agenerator.h. |
|
test for transition given by x1, ev, x2
Implements faudes::vGenerator. Definition at line 3557 of file agenerator.h. |
|
test for transition given by x1, ev, x2
Implements faudes::vGenerator. Definition at line 3562 of file agenerator.h. |
|
Returns a iterator to event index in mAlphabet.
Implements faudes::vGenerator. Definition at line 4186 of file agenerator.h. |
|
Returns a iterator to event index in mAlphabet.
Implements faudes::vGenerator. Definition at line 4181 of file agenerator.h. |
|
Returns a iterator to state index in mInitStates.
Implements faudes::vGenerator. Definition at line 4216 of file agenerator.h. |
|
Returns a iterator to state index in mMarkedStates.
Implements faudes::vGenerator. Definition at line 4226 of file agenerator.h. |
|
Returns a iterator to state with specified name.
Implements faudes::vGenerator. Definition at line 4201 of file agenerator.h. |
|
Returns a iterator to state index in mStates.
Implements faudes::vGenerator. Definition at line 4206 of file agenerator.h. |
|
iterator to transition
Implements faudes::vGenerator. Definition at line 3534 of file agenerator.h. |
|
iterator to transition given by x1, ev, x2
Implements faudes::vGenerator. Definition at line 3540 of file agenerator.h. |
|
iterator to transition given by x1, ev, x2
Implements faudes::vGenerator. Definition at line 3545 of file agenerator.h. |
|
Get attribute ref.
Definition at line 2025 of file agenerator.h. |
|
Set global attribute.
Definition at line 2020 of file agenerator.h. |
|
Get attribute pointer.
Definition at line 2031 of file agenerator.h. |
|
Return initial state.
Implements faudes::vGenerator. Definition at line 3570 of file agenerator.h. |
|
Return const ref to initial states.
Implements faudes::vGenerator. Definition at line 4285 of file agenerator.h. |
|
Iterator to Begin() of mInitStates.
Implements faudes::vGenerator. Definition at line 3582 of file agenerator.h. |
|
Check if set of initial states is empty.
Implements faudes::vGenerator. Definition at line 3467 of file agenerator.h. |
|
Iterator to End() of mInitStates.
Implements faudes::vGenerator. Definition at line 3587 of file agenerator.h. |
|
Get number of initial states.
Implements faudes::vGenerator. Definition at line 3442 of file agenerator.h. |
|
Write set of initial states to a string (no re-indexing).
Implements faudes::vGenerator. Definition at line 2803 of file agenerator.h. |
|
Set mAlphabet without consistency check (incl attributes).
Definition at line 3616 of file agenerator.h. |
|
Set mAlphabet without consistency check.
Implements faudes::vGenerator. Definition at line 3602 of file agenerator.h. |
|
Replace mInitStates with StateSet given as parameter without consistency checks.
Implements faudes::vGenerator. Definition at line 3872 of file agenerator.h. |
|
Replace mMarkedStates with StateSet given as parameter without consistency checks.
Implements faudes::vGenerator. Definition at line 3947 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 3727 of file agenerator.h. |
|
Inject a complete mStates without consistency checks (without attributes).
Implements faudes::vGenerator. Definition at line 3734 of file agenerator.h. |
|
Set transition without consistency check.
Implements faudes::vGenerator. Definition at line 3994 of file agenerator.h. |
|
Set mTransRel without consistency check.
Implements faudes::vGenerator. Definition at line 4000 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 3648 of file agenerator.h. |
|
Add an existing event to mAlphabet by index, with attribute.
Definition at line 3642 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 3636 of file agenerator.h. |
|
Add an existing event to mAlphabet by index.
Implements faudes::vGenerator. Definition at line 3630 of file agenerator.h. |
|
Add new named events to generator.
Implements faudes::vGenerator. Definition at line 3654 of file agenerator.h. |
|
Create a new named state and set as initial state.
Implements faudes::vGenerator. Definition at line 3751 of file agenerator.h. |
|
Create new anonymous state and set as initial state.
Implements faudes::vGenerator. Definition at line 3742 of file agenerator.h. |
|
Create a new named state and set as marked state.
Implements faudes::vGenerator. Definition at line 3769 of file agenerator.h. |
|
Create new anonymous state and set as marked state.
Implements faudes::vGenerator. Definition at line 3760 of file agenerator.h. |
|
Add (perhaps new) state with attribute to generator.
Definition at line 3703 of file agenerator.h. |
|
Add new named state with attribute to generator.
Definition at line 3717 of file agenerator.h. |
|
Add new named state to generator.
Implements faudes::vGenerator. Definition at line 3709 of file agenerator.h. |
|
Add (perhaps new) state to generator.
Implements faudes::vGenerator. Definition at line 3697 of file agenerator.h. |
|
Add new anonymous state with attribute to generator.
|
|
Add new anonymous state to generator.
Implements faudes::vGenerator. Definition at line 3691 of file agenerator.h. |
|
Check if generator is accessible.
Implements faudes::vGenerator. Definition at line 4449 of file agenerator.h. |
|
Check if generator is Coaccessible.
Implements faudes::vGenerator. Definition at line 4510 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 4589 of file agenerator.h. |
|
Check if generator is trim.
Implements faudes::vGenerator. Definition at line 4545 of file agenerator.h. |
|
Return const ref of marked states.
Implements faudes::vGenerator. Definition at line 4290 of file agenerator.h. |
|
iterator to Begin() of mMarkedStates
Implements faudes::vGenerator. Definition at line 3592 of file agenerator.h. |
|
Check if set of marked states is empty.
Implements faudes::vGenerator. Definition at line 3472 of file agenerator.h. |
|
iterator to End() of mMarkedStates
Implements faudes::vGenerator. Definition at line 3597 of file agenerator.h. |
|
Get number of marked states.
Implements faudes::vGenerator. Definition at line 3447 of file agenerator.h. |
|
Write set of marked states to a string (no re-indexing).
Implements faudes::vGenerator. Definition at line 2798 of file agenerator.h. |
|
Set the alphabet to events executed in transitions.
Implements faudes::vGenerator. Definition at line 4295 of file agenerator.h. |
|
Get state index as is it will be written to file.
Implements faudes::vGenerator. Definition at line 4620 of file agenerator.h. |
|
Get state index translation map.
Implements faudes::vGenerator. Definition at line 4633 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 2545 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 2537 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 2567 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 >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TcGenerator< AttributeTimedGlobal, AttributeTimedState, AttributeCFlags, AttributeTimedTrans >, and faudes::TtGenerator< AttributeTimedGlobal, AttributeTimedState, AttributeCFlags, AttributeTimedTrans >. Definition at line 2557 of file agenerator.h. |
|
Assignment operator (uses Copy(vGenerator&) ).
Implements faudes::vGenerator. Definition at line 2584 of file agenerator.h. |
|
Assignment operator (uses Copy(TaGenerator&) ).
Definition at line 2577 of file agenerator.h. |
|
Read the generator's alphabet from a TokenReader.
Definition at line 3110 of file agenerator.h. |
|
Read the generator's alphabet from a file.
Definition at line 3104 of file agenerator.h. |
|
Read the generator's name from a TokenReader.
Definition at line 3097 of file agenerator.h. |
|
Read the generator's name from a file.
Definition at line 3090 of file agenerator.h. |
|
Read the generator's stateset from a TokenReader. This sets up the StateSymbolTable
Definition at line 3123 of file agenerator.h. |
|
Read the generator's mStates from a file. This sets up the StateSymbolTable
Definition at line 3117 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 3203 of file agenerator.h. |
|
Read the generator's transition relation from a TokenReader.
Definition at line 3284 of file agenerator.h. |
|
Read the generator's transition relation from a file.
Definition at line 3278 of file agenerator.h. |
|
Set an existing state as initial state by name. (only for user interactions)
Implements faudes::vGenerator. Definition at line 3858 of file agenerator.h. |
|
Set an existing state as initial state by index.
Implements faudes::vGenerator. Definition at line 3844 of file agenerator.h. |
|
Set an existing state as marked state by name. (only for user interactions)
Implements faudes::vGenerator. Definition at line 3933 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 3919 of file agenerator.h. |
|
Set minimal index map for file io of generator states. This function is implemented as fake-const to allow for const Write function. Implements faudes::vGenerator. Definition at line 4640 of file agenerator.h. |
|
Add a transition with attribute to generator. States and event must already exist!
Reimplemented in faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< AttributeTimedGlobal, AttributeTimedState, AttributeCFlags, AttributeTimedTrans >. Definition at line 4069 of file agenerator.h. |
|
Add a transition to generator. States and event must already exist!
Implements faudes::vGenerator. Definition at line 4042 of file agenerator.h. |
|
Add a transition to generator by names. Statename and eventname must already exist!
Implements faudes::vGenerator. Reimplemented in faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< AttributeTimedGlobal, AttributeTimedState, AttributeCFlags, AttributeTimedTrans >. Definition at line 4006 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. Reimplemented in faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< AttributeTimedGlobal, AttributeTimedState, AttributeCFlags, AttributeTimedTrans >. Definition at line 4037 of file agenerator.h. |
|
Get generator size (# of states).
Implements faudes::vGenerator. Definition at line 3381 of file agenerator.h. |
|
State attribute lookup.
Definition at line 4250 of file agenerator.h. |
|
Set attribute for existing state.
Definition at line 4158 of file agenerator.h. |
|
State attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
Definition at line 4255 of file agenerator.h. |
|
Return reference to mStates.
Implements faudes::vGenerator. Definition at line 4265 of file agenerator.h. |
|
iterator to Begin() of mStates
Implements faudes::vGenerator. Definition at line 3487 of file agenerator.h. |
|
iterator to End() of mStates
Implements faudes::vGenerator. Definition at line 3492 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 2711 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 2704 of file agenerator.h. |
|
Write stateset of this generator to a string (no re-indexing).
Implements faudes::vGenerator. Definition at line 2793 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 2894 of file agenerator.h. |
|
get attribute for existing transition
Definition at line 4129 of file agenerator.h. |
|
Set attribute for existing transition.
Definition at line 4116 of file agenerator.h. |
|
get attribute pointer for existing transition note: may insert explicit default attribute
Definition at line 4123 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 4276 of file agenerator.h. |
|
Return reference to transition relation.
Implements faudes::vGenerator. Definition at line 4270 of file agenerator.h. |
|
iterator to begin of transitions with x1 as predecessor state and event ev.
Implements faudes::vGenerator. Definition at line 3522 of file agenerator.h. |
|
iterator to begin of transitions with x1 as predecessor state.
Implements faudes::vGenerator. Definition at line 3510 of file agenerator.h. |
|
iterator to Begin() of transition relation
Implements faudes::vGenerator. Definition at line 3498 of file agenerator.h. |
|
Check if transition relation is empty.
Implements faudes::vGenerator. Definition at line 3462 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 3528 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 3516 of file agenerator.h. |
|
iterator to End() of transition relation
Implements faudes::vGenerator. Definition at line 3504 of file agenerator.h. |
|
Get number of transitions.
Implements faudes::vGenerator. Definition at line 3437 of file agenerator.h. |
|
Return the successor states of state x1.
Implements faudes::vGenerator. Definition at line 4346 of file agenerator.h. |
|
Return the states covered by transitions als indices.
Implements faudes::vGenerator. Definition at line 4335 of file agenerator.h. |
|
Write transition relation to string (no re-indexing).
Implements faudes::vGenerator. Definition at line 2815 of file agenerator.h. |
|
Make generator trim.
Implements faudes::vGenerator. Definition at line 4529 of file agenerator.h. |
|
Computer set of trim states.
Implements faudes::vGenerator. Definition at line 4522 of file agenerator.h. |
|
Return unused events.
Implements faudes::vGenerator. Definition at line 4310 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.
Reimplemented in faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< AttributeTimedGlobal, AttributeTimedState, AttributeCFlags, AttributeTimedTrans >. Definition at line 806 of file agenerator.h. |
|
Return used events (executed in transitions).
Implements faudes::vGenerator. Definition at line 4300 of file agenerator.h. |
|
Check if generator is valid.
Implements faudes::vGenerator. Reimplemented in faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< AttributeTimedGlobal, AttributeTimedState, AttributeCFlags, AttributeTimedTrans >. Definition at line 3353 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 4365 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 4357 of file agenerator.h. |
|
Write generators alphabet to tokenwriter.
Implements faudes::vGenerator. Definition at line 2685 of file agenerator.h. |
|
Write generators alphabet to console.
Implements faudes::vGenerator. Definition at line 2672 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 2766 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 2718 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 2697 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 2691 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 2901 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 2887 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 2822 of file agenerator.h. |
|
Write transition relation to console (no re-indexing).
Implements faudes::vGenerator. Definition at line 2809 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 3028 of file agenerator.h. |
|
Generator alphabet.
Definition at line 2220 of file agenerator.h. |
|
global attribute
Definition at line 2238 of file agenerator.h. |
|
Initial states.
Definition at line 2229 of file agenerator.h. |
|
Marked states.
Definition at line 2232 of file agenerator.h. |
|
Map State indices to consecutive indices.
Definition at line 2235 of file agenerator.h. |
|
Generator state set.
Definition at line 2223 of file agenerator.h. |
|
Transition relation.
Definition at line 2226 of file agenerator.h. |