|
Generator with specified attribute types.
More...
#include <cfl_agenerator.h>
Public Types |
typedef TaTransSet< TransAttr > | ATransSet |
| Convenience typdef for member transiton set.
|
Public Member Functions |
|
| TaGenerator (void) |
| Construct an emtpy Generator.
|
| TaGenerator (const TaGenerator &rOtherGen) |
| Copy-constructor (from TaGenerator, incl attributes)
|
| TaGenerator (const vGenerator &rOtherGen) |
| Copy-constructor (from vGenerator, set attributes to default)
|
| TaGenerator (const std::string &rFileName) |
| Construct from file.
|
virtual TaGenerator * | New (void) const |
| Construct on heap.
|
virtual TaGenerator * | Copy (void) const |
| Construct copy on heap.
|
virtual TaGenerator | NewAGen (void) const |
| Construct on stack.
|
virtual const Type * | Cast (const Type *pOther) const |
| Type test.
|
virtual | ~TaGenerator (void) |
| Destructor.
|
|
virtual TaGenerator & | Assign (const Type &rSrc) |
| Copy from other faudes Type (try to cast to agenerator or pass to base)
|
virtual TaGenerator & | operator= (const TaGenerator &rOtherGen) |
| Assignment operator (uses Assign(Generator&) )
|
virtual void | Move (TaGenerator &rGen) |
| Destructive copy to other TaGenerator Copy method with increased performance at the cost of invalidating the source data.
|
virtual void | Move (Generator &rGen) |
| Destructive copy to other Generator.
|
|
bool | Valid (void) const |
| Check if generator is valid.
|
virtual void | Clear (void) |
| Clear generator data.
|
|
const TaEventSet< EventAttr > & | Alphabet (void) const |
| Return const reference to alphabet.
|
const TaStateSet< StateAttr > & | States (void) const |
| Return reference to state set.
|
const ATransSet & | TransRel (void) const |
| Return reference to transition relation.
|
void | TransRel (TransSetX1EvX2 &res) const |
| Get copy of trantision relation sorted by other compare operator, e.g.
|
void | TransRel (TransSetEvX1X2 &res) const |
void | TransRel (TransSetEvX2X1 &res) const |
void | TransRel (TransSetX2EvX1 &res) const |
void | TransRel (TransSetX2X1Ev &res) const |
void | TransRel (TransSetX1X2Ev &res) const |
|
bool | InsEvent (Idx index) |
| Add an existing event to alphabet by index.
|
Idx | InsEvent (const std::string &rName) |
| Add named event to generator.
|
bool | InsEvent (Idx index, const EventAttr &rAttr) |
| Add an existing event to alphabet by index, incl.
|
Idx | InsEvent (const std::string &rName, const EventAttr &rAttr) |
| Add named event with attribute to generator.
|
void | InjectAlphabet (const EventSet &rNewalphabet) |
| Set mpAlphabet without consistency check.
|
void | InjectAlphabet (const TaEventSet< EventAttr > &rNewalphabet) |
| Set mpAlphabet without consistency check.
|
Idx | InsState (void) |
| Add new anonymous state to generator.
|
Idx | InsState (const StateAttr &attr) |
| Add new anonymous state with attribute to generator.
|
bool | InsState (Idx index) |
| Add (perhaps new) state to generator.
|
Idx | InsState (const std::string &rName) |
| Add new named state to generator.
|
Idx | InsState (const std::string &rName, const StateAttr &attr) |
| Add new named state with attribute to generator.
|
bool | InsState (Idx index, const StateAttr &attr) |
| Add (perhaps new) state with attribute to generator.
|
void | InjectStates (const StateSet &rNewStates) |
| Inject a complete state set without consistency checks.
|
void | InjectStates (const TaStateSet< StateAttr > &rNewStates) |
| Inject a complete state set without consistency checks.
|
bool | SetTransition (Idx x1, Idx ev, Idx x2) |
| Add a transition to generator by indices.
|
bool | SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) |
| Add a transition to generator by names.
|
bool | SetTransition (const Transition &rTransition) |
| Add a transition to generator.
|
bool | SetTransition (const Transition &rTransition, const TransAttr &rAttr) |
| Add a transition with attribute to generator.
|
void | InjectTransRel (const TransSet &rNewtransrel) |
| Set transition relation without consistency check.
|
void | InjectTransRel (const ATransSet &rNewtransrel) |
| Set transition relation without consistency check.
|
|
void | EventAttribute (Idx index, const EventAttr &rAttr) |
| Set attribute for existing event.
|
void | EventAttribute (Idx index, const Type &rAttr) |
| Set attribute for existing event.
|
const EventAttr & | EventAttribute (Idx index) const |
| Event attribute lookup.
|
const EventAttr & | EventAttribute (const std::string &rName) const |
| Event attribute lookup.
|
EventAttr * | EventAttributep (Idx index) |
| Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
|
EventAttr * | EventAttributep (const std::string &rName) |
| Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
|
void | StateAttribute (Idx index, const StateAttr &rAttr) |
| Set attribute for existing state.
|
void | StateAttribute (Idx index, const Type &rAttr) |
| Set attribute for existing state.
|
const StateAttr & | StateAttribute (Idx index) const |
| State attribute lookup.
|
StateAttr * | StateAttributep (Idx index) |
| State attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
|
void | TransAttribute (const Transition &rTrans, const TransAttr &rAttr) |
| Set attribute for existing transition.
|
void | TransAttribute (const Transition &rTrans, const Type &rAttr) |
| Set attribute for existing transition.
|
const TransAttr & | TransAttribute (const Transition &rTrans) const |
| Get attribute for existing transition.
|
TransAttr * | TransAttributep (const Transition &rTrans) |
| Get attribute pointer for existing transition note: may insert explicit default attribute.
|
void | GlobalAttribute (const GlobalAttr &rAttr) |
| Set global attribute.
|
void | GlobalAttribute (const Type &rAttr) |
| Set global attribute.
|
const GlobalAttr & | GlobalAttribute (void) const |
| Get global attribute ref.
|
GlobalAttr * | GlobalAttributep (void) |
| Get global attribute pointer.
|
| vGenerator (void) |
| Default constructor.
|
| vGenerator (const vGenerator &rOtherGen) |
| Copy-constructror.
|
| vGenerator (const std::string &rFileName) |
| Construct from file.
|
virtual | ~vGenerator (void) |
| Destructor.
|
virtual vGenerator & | AssignWithoutAttributes (const vGenerator &rGen) |
| Copy from other vGenerator, ignore attributes.
|
virtual vGenerator & | operator= (const vGenerator &rOtherGen) |
| Assignment operator (uses Assign method)
|
virtual void | Version (const std::string &rVersion, vGenerator &rResGen) const |
| Create another version of this generator.
|
virtual void | Version (Idx version, vGenerator &rResGen) const |
| Create another version of this generator.
|
virtual void | Version (const std::string &rPattern, const std::string &rReplacement, vGenerator &rResGen) const |
| Create another version of this generator.
|
void | Name (const std::string &rName) |
| Set the generator's name.
|
const std::string & | Name (void) const |
| Get generator's name.
|
void | ClearStates (void) |
| Clear all states and transitions, maintain alphabet.
|
Idx | AlphabetSize (void) const |
| Get number of events in alphabet.
|
Idx | Size (void) const |
| Get generator size (number of states)
|
Idx | TransRelSize (void) const |
| Get number of transitions.
|
Idx | InitStatesSize (void) const |
| Get number of initial states.
|
Idx | MarkedStatesSize (void) const |
| Get number of marked states.
|
bool | Empty (void) const |
| Check if generator is empty (no states)
|
bool | AlphabetEmpty (void) const |
| Check if alphabet is Empty.
|
bool | TransRelEmpty (void) const |
| Check if transition relation is empty.
|
bool | InitStatesEmpty (void) const |
| Check if set of initial states are empty.
|
bool | MarkedStatesEmpty (void) const |
| Check if set of marked states are empty.
|
SymbolTable * | EventSymbolTablep (void) const |
| Get Pointer to EventSymbolTable currently used by this vGenerator.
|
virtual void | EventSymbolTablep (SymbolTable *pSymTab) |
| Set EventSymbolTable to be used by this vGenerator.
|
virtual void | EventSymbolTablep (const vGenerator &rOtherGen) |
| Set EventSymbolTable as given by rOtherGen.
|
EventSet | NewEventSet (void) const |
| Create EventSet with generator's EventSymbolTable (on stack).
|
EventSet * | NewEventSetp (void) const |
| Create EventSet with generator's EventSymbolTable (on heap).
|
Idx | EventIndex (const std::string &rName) const |
| Event index lookup.
|
std::string | EventName (Idx index) const |
| Event name lookup.
|
void | EventName (Idx index, const std::string &rName) |
| Set name for existing event.
|
std::string | UniqueEventName (const std::string &rName) const |
| Create a new unique symbolic event name.
|
bool | EventRename (Idx event, const std::string &rNewName) |
| Rename event in this generator.
|
bool | EventRename (const std::string &rOldName, const std::string &rNewName) |
| Rename event in this generator.
|
const SymbolTable & | StateSymbolTable (void) const |
| Get StateSymbolTable.
|
void | StateSymbolTable (const SymbolTable &rSymTab) |
| Set StateSymbolTable.
|
Idx | StateIndex (const std::string &rName) const |
| State index lookup.
|
std::string | StateName (Idx index) const |
| State name lookup.
|
void | StateName (Idx index, const std::string &rName) |
| Set name of state.
|
void | ClearStateNames (void) |
| Remove all names from generator's StateSymbolTable.
|
void | ClrStateName (Idx index) |
| Clear name for individual state.
|
void | ClrStateName (const std::string &rName) |
| Clear name for individual state.
|
bool | StateNamesEnabled (void) const |
| Whether libFAUEDS functions are requested to generate state names.
|
void | StateNamesEnabled (bool flag) |
| Enable/disable libFAUEDS functions to automatically generate state names.
|
void | SetDefaultStateNames (void) |
| Assign each state a default name based on its index.
|
void | EnforceStateNames (const std::string &rTemplate) |
| For all states without a symbolic name, assign a name based on suggested template and the index.
|
std::string | UniqueStateName (const std::string &rName) const |
| Create a new unique symbolic state name.
|
EventSet::Iterator | AlphabetBegin (void) const |
| Iterator to Begin() of alphabet.
|
EventSet::Iterator | AlphabetEnd (void) const |
| Iterator to End() of alphabet.
|
bool | ExistsEvent (Idx index) const |
| Test existence of event in alphabet.
|
bool | ExistsEvent (const std::string &rName) const |
| Test existence of event in alphabet.
|
EventSet::Iterator | FindEvent (Idx index) const |
| Returns a iterator to event index in alphabet.
|
EventSet::Iterator | FindEvent (const std::string &rName) const |
| Returns a iterator to event index in alphabet.
|
StateSet::Iterator | StatesBegin (void) const |
| Iterator to Begin() of state set.
|
StateSet::Iterator | StatesEnd (void) const |
| Iterator to End() of state set.
|
bool | ExistsState (Idx index) const |
| Test existence of state in state set.
|
bool | ExistsState (const std::string &name) const |
| Test existence of state in state set.
|
StateSet::Iterator | FindState (Idx index) const |
| Returns a iterator to state index in state set.
|
StateSet::Iterator | FindState (const std::string &rName) const |
| Returns a iterator to state with specified name.
|
Idx | InitState (void) const |
| Return initial state.
|
StateSet::Iterator | InitStatesBegin (void) const |
| Iterator to Begin() of mInitStates.
|
StateSet::Iterator | InitStatesEnd (void) const |
| Iterator to End() of mInitStates.
|
bool | ExistsInitState (Idx index) const |
| Test existence of state in mInitStates.
|
StateSet::Iterator | FindInitState (Idx index) const |
| Iterator to state index in mInitStates.
|
const StateSet & | InitStates (void) const |
| Const ref to initial states.
|
StateSet::Iterator | MarkedStatesBegin (void) const |
| Iterator to Begin() of mMarkedStates.
|
StateSet::Iterator | MarkedStatesEnd (void) const |
| Iterator to End() of mMarkedStates.
|
bool | ExistsMarkedState (Idx index) const |
| Test existence of state in mMarkedStates.
|
StateSet::Iterator | FindMarkedState (Idx index) const |
| Returns a iterator to state index in mMarkedStates.
|
const StateSet & | MarkedStates (void) const |
| Return const ref of marked states.
|
TransSet::Iterator | TransRelBegin (void) const |
| Iterator to Begin() of transition relation.
|
TransSet::Iterator | TransRelEnd (void) const |
| Iterator to End() of transition relation.
|
TransSet::Iterator | TransRelBegin (Idx x1) const |
| Iterator to begin of transitions with x1 as predecessor state.
|
TransSet::Iterator | TransRelEnd (Idx x1) const |
| iterator to end of transitions with x1 as predecessor state.
|
TransSet::Iterator | TransRelBegin (Idx x1, Idx ev) const |
| iterator to begin of transitions with x1 as predecessor state and event ev.
|
TransSet::Iterator | TransRelEnd (Idx x1, Idx ev) const |
| Iterator to end of transitions with x1 as predecessor state and event ev.
|
TransSet::Iterator | FindTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const |
| iterator to transition given by x1, ev, x2
|
TransSet::Iterator | FindTransition (Idx x1, Idx ev, Idx x2) const |
| Iterator to transition given by x1, ev, x2.
|
TransSet::Iterator | FindTransition (const Transition &rTrans) const |
| Iterator to transition.
|
bool | ExistsTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const |
| Test for transition given by x1, ev, x2.
|
bool | ExistsTransition (Idx x1, Idx ev, Idx x2) const |
| Test for transition given by x1, ev, x2.
|
bool | ExistsTransition (const Transition &rTrans) const |
| test for transition
|
bool | ExistsTransition (Idx x1, Idx ev) const |
| Test for transition given by x1, ev.
|
bool | ExistsTransition (Idx x1) const |
| Test for transition given by x1.
|
Transition | TransitionByNames (const std::string &rX1, const std::string &rEv, const std::string &rX2) const |
| Convebience function.
|
void | InsEvents (const EventSet &events) |
| Add new named events to generator.
|
bool | DelEvent (Idx index) |
| Delete event from generator by index.
|
bool | DelEvent (const std::string &rName) |
| Delete event from generator by name.
|
void | DelEvents (const EventSet &rEvents) |
| Delete a set of events from generator.
|
bool | DelEventFromAlphabet (Idx index) |
| Delete event from alphabet without consistency check.
|
void | RestrictAlphabet (const EventSet &rNewalphabet) |
| Restricts mpAlphabet incl removing resp.
|
void | InsStates (const StateSet &rStates) |
| Add anonymous states to generator.
|
bool | DelState (Idx index) |
| Delete a state from generator by index.
|
bool | DelState (const std::string &rName) |
| Delete a state from generator by name.
|
void | DelStates (const StateSet &rDelStates) |
| Delete a set of states Cleans mpStates, mInitStates, mMarkedStates, mpTransrel, and mpStateSymboltable.
|
bool | DelStateFromStates (Idx index) |
| Delete a state from generator without consistency check.
|
StateSet::Iterator | DelStateFromStates (StateSet::Iterator pos) |
| Delete a state from generator without consistency check.
|
void | RestrictStates (const StateSet &rStates) |
| Restrict states Cleans mpStates, mInitStates, mMarkedStates, mpTransrel, and mpStateSymboltable.
|
void | InjectState (Idx index) |
| Inject an existing state index into generators mStates Use with care! For use in performance optimized functions.
|
Idx | InsInitState (void) |
| Create new anonymous state and set as initial state.
|
bool | InsInitState (Idx index) |
| Add (perhaps new) state to generator and turn it into a initial state.
|
Idx | InsInitState (const std::string &rName) |
| Create a new named state and set as initial state.
|
void | InsInitStates (const StateSet &rStates) |
| Add (perhaps new) anonymous initial states to generator.
|
Idx | InsMarkedState (void) |
| Create new anonymous state and set as marked state.
|
bool | InsMarkedState (Idx index) |
| Add (perhaps new) state to generator and turn it into a marked state.
|
Idx | InsMarkedState (const std::string &rName) |
| Create a new named state and set as marked state.
|
void | InsMarkedStates (const StateSet &rStates) |
| Add (perhaps new) anonymous initial states to generator.
|
void | SetInitState (Idx index) |
| Set an existing state as initial state by index.
|
void | SetInitState (const std::string &rName) |
| Set an existing state as initial state by name.
|
void | InjectInitStates (const StateSet &rNewInitStates) |
| Replace mInitStates with StateSet given as parameter without consistency checks.
|
void | ClrInitState (Idx index) |
| Unset an existing state as initial state by index.
|
void | ClrInitState (const std::string &rName) |
| Unset an existing state as initial state by name.
|
StateSet::Iterator | ClrInitState (StateSet::Iterator pos) |
| Unset an existing state as initial state by iterator.
|
void | ClearInitStates (void) |
| Clear all mInitStates.
|
void | SetMarkedState (Idx index) |
| Set an existing state as marked state by index.
|
void | SetMarkedState (const std::string &rName) |
| Set an existing state as marked state by name.
|
void | ClrMarkedState (Idx index) |
| Unset an existing state as marked state by index.
|
void | ClrMarkedState (const std::string &rName) |
| Unset an existing state as marked state by name.
|
StateSet::Iterator | ClrMarkedState (StateSet::Iterator pos) |
| Unset an existing state as marked state by iterator.
|
void | ClearMarkedStates (void) |
| Clear all marked states.
|
void | InjectMarkedStates (const StateSet &rNewMarkedStates) |
| Replace mMarkedStates with StateSet given as parameter without consistency checks.
|
void | ClrTransition (Idx x1, Idx ev, Idx x2) |
| Remove a transition by indices.
|
void | ClrTransition (const Transition &rTrans) |
| Remove a transition by transition object.
|
TransSet::Iterator | ClrTransition (TransSet::Iterator it) |
| Remove a transition by iterator.
|
void | ClrTransitions (Idx x1, Idx ev) |
| Remove a transitions by state and event.
|
void | ClrTransitions (Idx x1) |
| Remove a transitions by state.
|
void | ClearTransRel (void) |
| Clear all transitions.
|
void | InjectTransition (const Transition &rTrans) |
| Set transition without consistency check.
|
virtual void | ClearAttributes (void) |
| Clear Attributes.
|
virtual bool | UpdateAttributes (void) |
| Updates internal attributes.
|
virtual void | ClearEventAttributes (void) |
| Clear event attributes.
|
virtual void | ClrEventAttribute (Idx index) |
| Clear attribute for existing event.
|
virtual void | EventAttributes (const EventSet &rEventSet) |
| Set attributes for existing events.
|
virtual void | ClearStateAttributes (void) |
| Clear state attributes.
|
virtual void | ClrStateAttribute (Idx index) |
| Clear attribute for existing state.
|
virtual void | ClearTransAttributes (void) |
| Clear transition attributes.
|
virtual void | ClrTransAttribute (const Transition &rTrans) |
| Clear attribute for existing transition.
|
virtual void | ClearGlobalAttribute (void) |
| Clear global attribute.
|
virtual void | GlobalAttributeTry (const Type &rAttr) |
| Set global attribute.
|
StateSet | AccessibleSet (void) const |
| Compute set of accessible states.
|
bool | Accessible (void) |
| Make generator accessible.
|
bool | IsAccessible (void) const |
| Check if generator is accessible.
|
StateSet | CoaccessibleSet (void) const |
| Compute set of Coaccessible states.
|
bool | Coaccessible (void) |
| Make generator Coaccessible.
|
bool | IsCoaccessible (void) const |
| Check if generator is Coaccessible.
|
StateSet | BlockingStates (void) const |
| Compute set of blocking states.
|
StateSet | TerminalStates (void) const |
| Compute set of terminal states.
|
StateSet | TerminalStates (const StateSet &rStates) const |
| Compute set of terminal states.
|
bool | IsComplete (void) const |
| Check if generator is complete.
|
bool | IsComplete (const StateSet &rStates) const |
| Check if generator is complete.
|
bool | IsComplete (const EventSet &rSigmaO) const |
| Check if generator is complete w.r.t.
|
bool | Complete (void) |
| Make generator Complete.
|
bool | Complete (const EventSet &rSigmaO) |
| Make generator Complete w.r.t.
|
StateSet | TrimSet (void) const |
| Compute set of trim states.
|
bool | Trim (void) |
| Make generator trim.
|
bool | IsTrim (void) const |
| Check if generator is trim.
|
bool | OmegaTrim (void) |
| Make generator omega-trim.
|
bool | IsOmegaTrim (void) const |
| Check if generator is omega-trim.
|
EventSet | UsedEvents (void) const |
| Return used events (executed in transitions)
|
EventSet | UnusedEvents (void) const |
| Return unused events.
|
void | MinimizeAlphabet (void) |
| Set the alphabet to used events.
|
EventSet | ActiveEventSet (Idx x1) const |
| Return active event set at state x1.
|
TransSet | ActiveTransSet (Idx x1) const |
| Return active transition set at state x1.
|
StateSet | TransRelStates (void) const |
| Return the states covered by transitions.
|
Idx | SuccessorState (Idx x1, Idx ev) const |
| Return the successor state of state x1 with event ev.
|
StateSet | SuccessorStates (Idx x1) const |
| Return the successor states of state x1.
|
StateSet | SuccessorStates (Idx x1, Idx ev) const |
| Return the successor states of state x1 with event ev.
|
bool | IsDeterministic (void) const |
| Check if generator is deterministic.
|
void | SetMinStateIndexMap (void) const |
| Set minimal index map for file io of generator states.
|
void | ClearMinStateIndexMap (void) const |
| Clear minimal index map for 1:1 file io.
|
Idx | MinStateIndex (Idx index) const |
| Get state index as is it will be written to file.
|
void | MinStateIndex (void) |
| Re-enumerate states.
|
Idx | MaxStateIndex (void) const |
| Get maximum state index used in this generator.
|
const std::map< Idx, Idx > & | MinStateIndexMap (void) const |
| Get state index translation map.
|
std::string | EStr (Idx index) const |
| Pretty printable event name for index (eg for debugging).
|
std::string | SStr (Idx index) const |
| Return pretty printable state name for index (eg for debugging)
|
std::string | TStr (const Transition &rTrans) const |
| Return pretty printable transition (eg for debugging)
|
void | GraphWrite (const std::string &rFileName, const std::string &rOutFormat="", const std::string &rDotExec="dot") const |
| Produce graphical representation of this generator.
|
bool | operator< (const vGenerator &rOtherGen) const |
| Order for sorting containers of generators.
|
void | WriteAlphabet (void) const |
| Write generators alphabet to console.
|
std::string | AlphabetToString (void) const |
| Write generators alphabet to string.
|
void | WriteAlphabet (TokenWriter &rTw) const |
| Write generators alphabet to tokenwriter.
|
void | WriteStateSet (const StateSet &rStateSet) const |
| Write a stateset to console (no re-indexing).
|
std::string | StateSetToString (const StateSet &rStateSet) const |
| Write a stateset to string (no re-indexing).
|
std::string | StateSetToText (const StateSet &rStateSet) const |
| Write a stateset to formated text (no re-indexing).
|
void | WriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const |
| Write a stateset to TokenWriter.
|
void | DWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const |
| Write a stateset to TokenWriter (debug version, no re-indexing)
|
std::string | StatesToString (void) const |
| Write stateset of this generator to a string (no re-indexing)
|
std::string | StatesToText (void) const |
| Write stateset of this generator to formated text (no re-indexing)
|
std::string | MarkedStatesToString (void) const |
| Write set of marked states to a string (no re-indexing)
|
std::string | InitStatesToString (void) const |
| Write set of initial states to a string (no re-indexing)
|
void | WriteTransRel (void) const |
| Write transition relation to console (no re-indexing)
|
std::string | TransRelToString (void) const |
| Write transition relation to string (no re-indexing)
|
std::string | TransRelToText (void) const |
| Write transition relation to formated text (no re-indexing)
|
void | WriteTransRel (TokenWriter &rTw) const |
| Write transition relation to tokenwriter.
|
void | DWriteTransRel (TokenWriter &rTw) const |
| Write transition relation to tokenwriter (debug version)
|
virtual void | DotWrite (const std::string &rFileName) const |
| Writes generator to dot input format.
|
virtual void | DDotWrite (const std::string &rFileName) const |
| Writes generator to dot input format (no re-indexing).
|
virtual void | XDotWrite (const std::string &rFileName) const |
| Writes generator to dot input format for export to VioLib.
|
void | ReadStateSet (TokenReader &rTr, const std::string &rLabel, StateSet &rStateSet) const |
| Read a state set.
|
bool | ReindexOnWrite (void) const |
| Test whether file-i/o uses minimal state indicees.
|
void | ReindexOnWrite (bool flag) |
| Enable/disable minimal state indicees for file-i/o.
|
| Type (void) |
| Constructor.
|
| Type (const Type &rType) |
| Copy constructor.
|
virtual | ~Type (void) |
| Destructor.
|
virtual Type & | operator= (const Type &rSrc) |
| Assign configurationdata from other object.
|
virtual bool | Equal (const Type &rOther) const |
| Test equality of configuration data.
|
virtual bool | operator== (const Type &rOther) const |
| Test equality of configuration data.
|
virtual bool | operator!= (const Type &rOther) const |
| Test equality of configuration data.
|
void | Write (const Type *pContext=0) const |
| Write configuration data to console.
|
void | Write (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const |
| Write configuration data to a file.
|
void | Write (const std::string &pFileName, std::ios::openmode openmode) const |
| Write configuration data to a file.
|
void | Write (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data to TokenWriter.
|
virtual void | XWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data to an XML file.
|
void | XWrite (const Type *pContext=0) const |
| Write configuration data in XML format to concole Note: this write function uses the virtual function DoXWrite(), to be reimplemented by derived classes.
|
void | XWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data in XML format to TokenWriter.
|
std::string | ToString (const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data to a string.
|
std::string | ToText (const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data to a formated string.
|
void | DWrite (const Type *pContext=0) const |
| Write configuration data to console, debugging format.
|
void | DWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const |
| Write configuration data to a file, debugging format.
|
void | DWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data in debug format to TokenWriter.
|
void | SWrite (TokenWriter &rTw) const |
| Write statistics comment to TokenWriter.
|
void | SWrite (void) const |
| Write statistics comment to console.
|
std::string | ToSText (void) const |
| Write statistics to a string.
|
void | Read (const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0) |
| Read configuration data from file with label specified.
|
void | FromString (const std::string &rString, const std::string &rLabel="", const Type *pContext=0) |
| Read configuration data from a string.
|
void | Read (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0) |
| Read configuration data from TokenReader with label sepcified.
|
Protected Member Functions |
virtual void | NewCore (void) |
| Allocate my heap members (attribute dependent types)
|
virtual void | UpdateCore (void) |
| Update my secondary pointers for new core.
|
void | DoAssign (const TaGenerator &rGen) |
| Assignment.
|
virtual void | DeleteCore (void) |
| Free my heap members (attribute dependent types)
|
void | ConfigureAttributeTypes (const AttributeVoid *pNewGlobalPrototype, const StateSet *pNewStatesPrototype, const EventSet *pNewAlphabetPrototype, const TransSet *pNewTransRelPrototype) |
| Configure attribute types.
|
void | DoAssign (const vGenerator &rSrc) |
| Assignment for matching type.
|
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.
|
virtual void | DoSWrite (TokenWriter &rTw) const |
| Write generator statistics as comment to TokenWriter, see Type::SWrite for public wrappers.
|
virtual void | DoXWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| Write generator to TokenWriter, see Type::XWrite for public wrappers.
|
void | ReadAlphabet (TokenReader &rTr) |
| Read the generator's alphabet from a TokenReader.
|
void | WriteStates (TokenWriter &rTw) const |
| Write generators stateset to TokenWriter.
|
void | ReadStates (TokenReader &rTr) |
| Read the generator's stateset from a TokenReader.
|
void | XReadStateSet (TokenReader &rTr, StateSet &rStateSet, const std::string &rLabel="") const |
| Read a stateset from TokenReader in XML format.
|
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 | XReadTransRel (TokenReader &rTr) |
| Read the generator's transition relation from a TokenReader.
|
void | XWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet, const std::string &rLabel="") const |
| Write a stateset to TokenWriter in XML format.
|
void | XWriteTransRel (TokenWriter &rTw) const |
| Write transition relation to tokenwriter in XML format.
|
void | DoAssign (const Type &rSrc) |
| Assign configuration data from other object.
|
bool | DoEqual (const Type &rOther) const |
| Test equality of configuration data.
|
virtual const TypeDefinition * | TypeDefinitionp (void) const |
| Get objects's type definition.
|
virtual const std::string & | TypeName (void) const |
| Get objects's type name.
|
virtual Token | XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const |
Static Protected Member Functions |
static const TaNameSet
< EventAttr > & | AlphabetTaGen (void) |
| Static default alphabet prototype (incl.
|
static const TaIndexSet
< StateAttr > & | StatesTaGen (void) |
| Static default state set prototype (incl.
|
static const ATransSet & | TransRelTaGen (void) |
| Static default transition relation prototype (incl.
|
static const GlobalAttr & | GlobalTaGen (void) |
| Static default global attribute prototype (configures global attribute type)
|
static const EventSet & | AlphabetVoid (void) |
| Static default alphabet prototype (incl.
|
static const StateSet & | StatesVoid (void) |
| Static default state set prototype (incl.
|
static const TransSet & | TransRelVoid (void) |
| Static default transition relation prototype (incl.
|
static const AttributeVoid & | GlobalVoid (void) |
| Static default global attribute prototype (configures global attribute type)
|
Detailed Description
template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
class faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
Generator with specified attribute types.
Overview
The TaGenerator takes four template parameters to specify attribute classes for the global attribute and state-, event- and transition-attributes.
In the context of a TaGenerator, attributes still 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 template parameter must provide, is given in faudes::AttributeVoid. Derived attribute classes are meant to provide addtional semantics, eg faudes::AttributeFlags for boolean flags and faudes::AttributeCFlags for controllability properties. The TaGenerator transparently supports extended attribute semantics, buit does not provide taylored access functions. This is done in TaGenerator derivates eg TcGenerator.
Technical detail: Attributes data types must be derived from AttributeVoid, which in turn is derived from the general purpose base faudes::Type. For your derived attribute class to be fully functional, you must reimplement the faudes::Type::New().
Definition at line 70 of file cfl_agenerator.h.
Member Typedef Documentation
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Convenience typdef for member transiton set.
Definition at line 74 of file cfl_agenerator.h.
Constructor & Destructor Documentation
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Construct from file.
This constructor effectively uses the Read(TokenReader&) function to read.
- Parameters
-
- Exceptions
-
Definition at line 868 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Member Function Documentation
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Static default alphabet prototype (incl.
attribute type)
Definition at line 809 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DoAssign |
( |
const TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & |
rGen | ) |
|
|
protected |
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttribute |
( |
Idx |
index, |
|
|
const EventAttr & |
rAttr |
|
) |
| |
Set attribute for existing event.
doxygen group
- Parameters
-
index | Event index |
rAttr | New attribute |
- Exceptions
-
Definition at line 1277 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Set attribute for existing event.
This version uses a dynamic cast to test the actual type of the provided attribute. An exception is thrown for an invalid attribute type.
- Parameters
-
index | Event index |
rAttr | New attribute |
- Exceptions
-
Exception |
- Index not found in alphabet (id 60)
- Cannot cast attribute (id 63)
|
Reimplemented from faudes::vGenerator.
Definition at line 1284 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
const EventAttr & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttribute |
( |
Idx |
index | ) |
const |
|
virtual |
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
const EventAttr & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttribute |
( |
const std::string & |
rName | ) |
const |
|
virtual |
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
- Parameters
-
- Returns
- pointer to attribute
Reimplemented from faudes::vGenerator.
Definition at line 1302 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
EventAttr * faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttributep |
( |
const std::string & |
rName | ) |
|
|
virtual |
Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
- Parameters
-
- Returns
- pointer to attribute
Reimplemented from faudes::vGenerator.
Definition at line 1312 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalAttribute |
( |
const GlobalAttr & |
rAttr | ) |
|
|
inline |
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Set global attribute.
The vGenerator does not have attributes, so this function throws an exception for any specified attribute different to AttributeVoid. The TaGenarator provides a re-implementation to actually set the global attribute.
- Parameters
-
- Exceptions
-
Reimplemented from faudes::vGenerator.
Definition at line 744 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
const GlobalAttr& faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalAttribute |
( |
void |
| ) |
const |
|
inlinevirtual |
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
GlobalAttr* faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalAttributep |
( |
void |
| ) |
|
|
inlinevirtual |
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
const GlobalAttr & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalTaGen |
( |
void |
| ) |
|
|
staticprotected |
Static default global attribute prototype (configures global attribute type)
Definition at line 821 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Set mpAlphabet without consistency check.
Attributes will be casted if possible or silently ignored.
- Parameters
-
rNewalphabet | EventSet with new alphabet |
Reimplemented from faudes::vGenerator.
Definition at line 1064 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Set mpAlphabet without consistency check.
- Parameters
-
rNewalphabet | EventSet with new alphabet |
Definition at line 1070 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Inject a complete state set without consistency checks.
Attributes will be casted if possible or silently ignored.
- Parameters
-
Reimplemented from faudes::vGenerator.
Definition at line 1150 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Inject a complete state set without consistency checks.
- Parameters
-
Definition at line 1157 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Set transition relation without consistency check.
Attributes will be casted if possible or silently ignored.
- Parameters
-
rNewtransrel | TransRel to insert |
Reimplemented from faudes::vGenerator.
Definition at line 1168 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Set transition relation without consistency check.
- Parameters
-
rNewtransrel | TransRel to insert |
Definition at line 1174 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Add an existing event to alphabet by index.
doxygen group It is an error to insert an event index that is not known to the mpEventSymbolTable.
- Parameters
-
- Returns
- True, if event was new to alphabet
Reimplemented from faudes::vGenerator.
Definition at line 1084 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Add named event to generator.
An entry in the mpEventSymbolTable will be made if event name is not known so far.
- Parameters
-
rName | Name of the event to add |
- Returns
- New unique index
Reimplemented from faudes::vGenerator.
Definition at line 1090 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsEvent |
( |
Idx |
index, |
|
|
const EventAttr & |
rAttr |
|
) |
| |
Add an existing event to alphabet by index, incl.
attribute If the index allready exists, the attribute is overwritten by rAttr.
- Parameters
-
rAttr | Attribute of event |
index | Event index |
- Returns
- True, if event was new to alphabet
Definition at line 1096 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsEvent |
( |
const std::string & |
rName, |
|
|
const EventAttr & |
rAttr |
|
) |
| |
Add named event with attribute to generator.
An entry in the mpEventSymbolTable will be made if event is not kown so far. If the event allready exits in the generator, the attribute will be overwritten by rAttr.
- Parameters
-
rName | Name of the event to add |
rAttr | Attribute of event |
- Returns
- New unique index
Definition at line 1102 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Add new anonymous state with attribute to generator.
- Parameters
-
attr | attribute of new state |
- Returns
- Index of new unique state
Definition at line 1114 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Add new named state to generator.
- Parameters
-
rName | Name of the state to add |
- Returns
- Index of new unique state
- Exceptions
-
Reimplemented from faudes::vGenerator.
Definition at line 1132 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState |
( |
const std::string & |
rName, |
|
|
const StateAttr & |
attr |
|
) |
| |
Add new named state with attribute to generator.
- Parameters
-
rName | Name of the state to add |
attr | attribute of new state |
- Returns
- Index of new unique state
- Exceptions
-
Definition at line 1140 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState |
( |
Idx |
index, |
|
|
const StateAttr & |
attr |
|
) |
| |
Add (perhaps new) state with attribute to generator.
- Parameters
-
index | Index of state to add |
attr | Attribute of new state |
- Returns
- True, if event was new to alphabet
Definition at line 1126 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Destructive copy to other TaGenerator Copy method with increased performance at the cost of invalidating the source data.
This version will copy attributes 1:1.
- Parameters
-
rGen | Destination for copy operation. |
Definition at line 976 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Destructive copy to other Generator.
Copy method with increased performance at the cost of invalidating the source data. Convert attributes if possible.
- Parameters
-
rGen | Destination for copy operation. |
Reimplemented from faudes::vGenerator.
Definition at line 984 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Construct on stack.
Technically not a constructor, this function creates a TaGenerator with the same event symboltable and the same attribute type.
- Returns
- new Generator
Definition at line 1015 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= |
( |
const TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & |
rOtherGen | ) |
|
|
virtual |
Assignment operator (uses Assign(Generator&) )
- Parameters
-
Definition at line 1032 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition |
( |
const std::string & |
rX1, |
|
|
const std::string & |
rEv, |
|
|
const std::string & |
rX2 |
|
) |
| |
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Add a transition to generator.
States and event must already exist!
- Parameters
-
- Returns
- True, if the transition was new the generator
- Exceptions
-
Exception |
- state or event not in generator (id 95)
|
Reimplemented from faudes::vGenerator.
Definition at line 1192 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition |
( |
const Transition & |
rTransition, |
|
|
const TransAttr & |
rAttr |
|
) |
| |
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StateAttribute |
( |
Idx |
index, |
|
|
const StateAttr & |
rAttr |
|
) |
| |
Set attribute for existing state.
- Parameters
-
- Exceptions
-
Exception | Name already associated with another index (id 44) |
Definition at line 1317 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Set attribute for existing state.
This version uses a dynamic cast to test the actual type of the provided attribute. An exception is thrown for an invalid attribute type.
- Parameters
-
index | State index |
rAttr | New attribute |
- Exceptions
-
Exception |
- Index not found in Stateset (id 60)
- Cannot cast attribute (id 63)
|
Reimplemented from faudes::vGenerator.
Definition at line 1324 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
const StateAttr & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StateAttribute |
( |
Idx |
index | ) |
const |
|
virtual |
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
State attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
- Parameters
-
- Returns
- pointer to attribute of state
Reimplemented from faudes::vGenerator.
Definition at line 1343 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Static default state set prototype (incl.
attribute type)
Definition at line 813 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Set attribute for existing transition.
- Parameters
-
rTrans | transition |
rAttr | New attribute |
Definition at line 1246 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Set attribute for existing transition.
This version uses a dynamic cast to test the actual type of the provided attribute. An exception is thrown for an invalid attribute type.
- Parameters
-
rTrans | transition |
rAttr | New attribute |
- Exceptions
-
Reimplemented from faudes::vGenerator.
Definition at line 1253 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Get attribute pointer for existing transition note: may insert explicit default attribute.
- Returns
- attribute pointer
Reimplemented from faudes::vGenerator.
Definition at line 1266 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Get copy of trantision relation sorted by other compare operator, e.g.
"x2,ev,x1"
- Parameters
-
res | resulting transition relation |
Reimplemented from faudes::vGenerator.
Definition at line 1363 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Static default transition relation prototype (incl.
attribute type)
Definition at line 817 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Member Data Documentation
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
GlobalAttr* faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::pGlobalAttribute |
|
protected |
Global attribute, pointer with actual attribute type.
Definition at line 775 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
State set, pointer with actual attribute type.
Definition at line 769 of file cfl_agenerator.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
The documentation for this class was generated from the following file:
libFAUDES 2.28a
--- 2016.09.13
--- c++ api documentaion by doxygen
|