|
#include <cfl_agenerator.h>
|
|
| TaGenerator (void) |
|
| TaGenerator (const TaGenerator &rOtherGen) |
|
| TaGenerator (const vGenerator &rOtherGen) |
|
| TaGenerator (const std::string &rFileName) |
|
virtual TaGenerator * | New (void) const |
|
virtual TaGenerator * | Copy (void) const |
|
virtual TaGenerator | NewAGen (void) const |
|
virtual const Type * | Cast (const Type *pOther) const |
|
virtual | ~TaGenerator (void) |
|
|
virtual TaGenerator & | Assign (const Type &rSrc) |
|
TaGenerator & | operator= (const TaGenerator &rOtherGen) |
|
virtual void | Move (TaGenerator &rGen) |
|
virtual void | Move (Generator &rGen) |
|
|
bool | Valid (void) const |
|
virtual void | Clear (void) |
|
|
const TaEventSet< EventAttr > & | Alphabet (void) const |
|
const TaStateSet< StateAttr > & | States (void) const |
|
const ATransSet & | TransRel (void) const |
|
void | TransRel (TransSetX1EvX2 &res) const |
|
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) |
|
Idx | InsEvent (const std::string &rName) |
|
bool | InsEvent (Idx index, const EventAttr &rAttr) |
|
Idx | InsEvent (const std::string &rName, const EventAttr &rAttr) |
|
void | InjectAlphabet (const EventSet &rNewalphabet) |
|
void | InjectAlphabet (const TaEventSet< EventAttr > &rNewalphabet) |
|
Idx | InsState (void) |
|
Idx | InsState (const StateAttr &attr) |
|
bool | InsState (Idx index) |
|
Idx | InsState (const std::string &rName) |
|
Idx | InsState (const std::string &rName, const StateAttr &attr) |
|
bool | InsState (Idx index, const StateAttr &attr) |
|
void | InjectStates (const StateSet &rNewStates) |
|
void | InjectStates (const TaStateSet< StateAttr > &rNewStates) |
|
bool | SetTransition (Idx x1, Idx ev, Idx x2) |
|
bool | SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) |
|
bool | SetTransition (const Transition &rTransition) |
|
bool | SetTransition (const Transition &rTransition, const TransAttr &rAttr) |
|
void | InjectTransRel (const TransSet &rNewtransrel) |
|
void | InjectTransRel (const ATransSet &rNewtransrel) |
|
|
void | EventAttribute (Idx index, const EventAttr &rAttr) |
|
void | EventAttribute (Idx index, const Type &rAttr) |
|
const EventAttr & | EventAttribute (Idx index) const |
|
const EventAttr & | EventAttribute (const std::string &rName) const |
|
EventAttr * | EventAttributep (Idx index) |
|
EventAttr * | EventAttributep (const std::string &rName) |
|
void | StateAttribute (Idx index, const StateAttr &rAttr) |
|
void | StateAttribute (Idx index, const Type &rAttr) |
|
const StateAttr & | StateAttribute (Idx index) const |
|
StateAttr * | StateAttributep (Idx index) |
|
void | TransAttribute (const Transition &rTrans, const TransAttr &rAttr) |
|
void | TransAttribute (const Transition &rTrans, const Type &rAttr) |
|
const TransAttr & | TransAttribute (const Transition &rTrans) const |
|
TransAttr * | TransAttributep (const Transition &rTrans) |
|
void | GlobalAttribute (const GlobalAttr &rAttr) |
|
void | GlobalAttribute (const Type &rAttr) |
|
const GlobalAttr & | GlobalAttribute (void) const |
|
GlobalAttr * | GlobalAttributep (void) |
|
| vGenerator (void) |
|
| vGenerator (const vGenerator &rOtherGen) |
|
| vGenerator (const std::string &rFileName) |
|
virtual | ~vGenerator (void) |
|
virtual vGenerator & | AssignWithoutAttributes (const vGenerator &rGen) |
|
vGenerator & | operator= (const vGenerator &rOtherGen) |
|
virtual void | Version (const std::string &rVersion, vGenerator &rResGen) const |
|
virtual void | Version (Idx version, vGenerator &rResGen) const |
|
virtual void | Version (const std::string &rPattern, const std::string &rReplacement, vGenerator &rResGen) const |
|
void | Name (const std::string &rName) |
|
const std::string & | Name (void) const |
|
void | ClearStates (void) |
|
Idx | AlphabetSize (void) const |
|
Idx | Size (void) const |
|
Idx | TransRelSize (void) const |
|
Idx | InitStatesSize (void) const |
|
Idx | MarkedStatesSize (void) const |
|
bool | Empty (void) const |
|
bool | AlphabetEmpty (void) const |
|
bool | TransRelEmpty (void) const |
|
bool | InitStatesEmpty (void) const |
|
bool | MarkedStatesEmpty (void) const |
|
SymbolTable * | EventSymbolTablep (void) const |
|
virtual void | EventSymbolTablep (SymbolTable *pSymTab) |
|
virtual void | EventSymbolTablep (const vGenerator &rOtherGen) |
|
EventSet | NewEventSet (void) const |
|
EventSet * | NewEventSetp (void) const |
|
Idx | EventIndex (const std::string &rName) const |
|
std::string | EventName (Idx index) const |
|
void | EventName (Idx index, const std::string &rName) |
|
std::string | UniqueEventName (const std::string &rName) const |
|
bool | EventRename (Idx event, const std::string &rNewName) |
|
bool | EventRename (const std::string &rOldName, const std::string &rNewName) |
|
const SymbolTable & | StateSymbolTable (void) const |
|
void | StateSymbolTable (const SymbolTable &rSymTab) |
|
Idx | StateIndex (const std::string &rName) const |
|
std::string | StateName (Idx index) const |
|
void | StateName (Idx index, const std::string &rName) |
|
void | ClearStateNames (void) |
|
void | ClrStateName (Idx index) |
|
void | ClrStateName (const std::string &rName) |
|
bool | StateNamesEnabled (void) const |
|
void | StateNamesEnabled (bool flag) |
|
void | SetDefaultStateNames (void) |
|
void | EnforceStateNames (const std::string &rTemplate) |
|
std::string | UniqueStateName (const std::string &rName) const |
|
EventSet::Iterator | AlphabetBegin (void) const |
|
EventSet::Iterator | AlphabetEnd (void) const |
|
bool | ExistsEvent (Idx index) const |
|
bool | ExistsEvent (const std::string &rName) const |
|
EventSet::Iterator | FindEvent (Idx index) const |
|
EventSet::Iterator | FindEvent (const std::string &rName) const |
|
const EventSet & | Alphabet (void) const |
|
StateSet::Iterator | StatesBegin (void) const |
|
StateSet::Iterator | StatesEnd (void) const |
|
bool | ExistsState (Idx index) const |
|
bool | ExistsState (const std::string &name) const |
|
StateSet::Iterator | FindState (Idx index) const |
|
StateSet::Iterator | FindState (const std::string &rName) const |
|
const StateSet & | States (void) const |
|
Idx | InitState (void) const |
|
StateSet::Iterator | InitStatesBegin (void) const |
|
StateSet::Iterator | InitStatesEnd (void) const |
|
bool | ExistsInitState (Idx index) const |
|
StateSet::Iterator | FindInitState (Idx index) const |
|
const StateSet & | InitStates (void) const |
|
StateSet::Iterator | MarkedStatesBegin (void) const |
|
StateSet::Iterator | MarkedStatesEnd (void) const |
|
bool | ExistsMarkedState (Idx index) const |
|
StateSet::Iterator | FindMarkedState (Idx index) const |
|
const StateSet & | MarkedStates (void) const |
|
TransSet::Iterator | TransRelBegin (void) const |
|
TransSet::Iterator | TransRelEnd (void) const |
|
TransSet::Iterator | TransRelBegin (Idx x1) const |
|
TransSet::Iterator | TransRelEnd (Idx x1) const |
|
TransSet::Iterator | TransRelBegin (Idx x1, Idx ev) const |
|
TransSet::Iterator | TransRelEnd (Idx x1, Idx ev) const |
|
TransSet::Iterator | FindTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const |
|
TransSet::Iterator | FindTransition (Idx x1, Idx ev, Idx x2) const |
|
TransSet::Iterator | FindTransition (const Transition &rTrans) const |
|
bool | ExistsTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const |
|
bool | ExistsTransition (Idx x1, Idx ev, Idx x2) const |
|
bool | ExistsTransition (const Transition &rTrans) const |
|
bool | ExistsTransition (Idx x1, Idx ev) const |
|
bool | ExistsTransition (Idx x1) const |
|
const TransSet & | TransRel (void) const |
|
void | TransRel (TransSetX1EvX2 &res) const |
|
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 |
|
Transition | TransitionByNames (const std::string &rX1, const std::string &rEv, const std::string &rX2) const |
|
bool | InsEvent (Idx index) |
|
Idx | InsEvent (const std::string &rName) |
|
void | InsEvents (const EventSet &events) |
|
bool | DelEvent (Idx index) |
|
bool | DelEvent (const std::string &rName) |
|
void | DelEvents (const EventSet &rEvents) |
|
bool | DelEventFromAlphabet (Idx index) |
|
void | InjectAlphabet (const EventSet &rNewalphabet) |
|
void | RestrictAlphabet (const EventSet &rNewalphabet) |
|
Idx | InsState (void) |
|
bool | InsState (Idx index) |
|
Idx | InsState (const std::string &rName) |
|
void | InsStates (const StateSet &rStates) |
|
bool | DelState (Idx index) |
|
bool | DelState (const std::string &rName) |
|
void | DelStates (const StateSet &rDelStates) |
|
bool | DelStateFromStates (Idx index) |
|
StateSet::Iterator | DelStateFromStates (StateSet::Iterator pos) |
|
void | RestrictStates (const StateSet &rStates) |
|
void | InjectState (Idx index) |
|
void | InjectStates (const StateSet &rNewStates) |
|
Idx | InsInitState (void) |
|
bool | InsInitState (Idx index) |
|
Idx | InsInitState (const std::string &rName) |
|
void | InsInitStates (const StateSet &rStates) |
|
Idx | InsMarkedState (void) |
|
bool | InsMarkedState (Idx index) |
|
Idx | InsMarkedState (const std::string &rName) |
|
void | InsMarkedStates (const StateSet &rStates) |
|
void | SetInitState (Idx index) |
|
void | SetInitState (const std::string &rName) |
|
void | InjectInitStates (const StateSet &rNewInitStates) |
|
void | ClrInitState (Idx index) |
|
void | ClrInitState (const std::string &rName) |
|
StateSet::Iterator | ClrInitState (StateSet::Iterator pos) |
|
void | ClearInitStates (void) |
|
void | SetMarkedState (Idx index) |
|
void | SetMarkedState (const std::string &rName) |
|
void | ClrMarkedState (Idx index) |
|
void | ClrMarkedState (const std::string &rName) |
|
StateSet::Iterator | ClrMarkedState (StateSet::Iterator pos) |
|
void | ClearMarkedStates (void) |
|
void | InjectMarkedStates (const StateSet &rNewMarkedStates) |
|
bool | SetTransition (Idx x1, Idx ev, Idx x2) |
|
bool | SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) |
|
bool | SetTransition (const Transition &rTransition) |
|
void | ClrTransition (Idx x1, Idx ev, Idx x2) |
|
void | ClrTransition (const Transition &rTrans) |
|
TransSet::Iterator | ClrTransition (TransSet::Iterator it) |
|
void | ClrTransitions (Idx x1, Idx ev) |
|
void | ClrTransitions (Idx x1) |
|
void | ClearTransRel (void) |
|
void | InjectTransition (const Transition &rTrans) |
|
void | InjectTransRel (const TransSet &rNewtransrel) |
|
virtual void | ClearAttributes (void) |
|
virtual bool | UpdateAttributes (void) |
|
virtual void | ClearEventAttributes (void) |
|
virtual void | ClrEventAttribute (Idx index) |
|
virtual void | EventAttributes (const EventSet &rEventSet) |
|
virtual void | ClearStateAttributes (void) |
|
virtual void | ClrStateAttribute (Idx index) |
|
virtual void | ClearTransAttributes (void) |
|
virtual void | ClrTransAttribute (const Transition &rTrans) |
|
virtual void | ClearGlobalAttribute (void) |
|
virtual void | GlobalAttributeTry (const Type &rAttr) |
|
StateSet | AccessibleSet (void) const |
|
bool | Accessible (void) |
|
bool | IsAccessible (void) const |
|
StateSet | CoaccessibleSet (void) const |
|
bool | Coaccessible (void) |
|
bool | IsCoaccessible (void) const |
|
StateSet | BlockingStates (void) const |
|
StateSet | TerminalStates (void) const |
|
StateSet | TerminalStates (const StateSet &rStates) const |
|
bool | IsComplete (void) const |
|
bool | IsComplete (const StateSet &rStates) const |
|
bool | IsComplete (const EventSet &rSigmaO) const |
|
bool | Complete (void) |
|
bool | Complete (const EventSet &rSigmaO) |
|
StateSet | TrimSet (void) const |
|
bool | Trim (void) |
|
bool | IsTrim (void) const |
|
bool | OmegaTrim (void) |
|
bool | IsOmegaTrim (void) const |
|
EventSet | UsedEvents (void) const |
|
EventSet | UnusedEvents (void) const |
|
void | MinimizeAlphabet (void) |
|
EventSet | ActiveEventSet (Idx x1) const |
|
TransSet | ActiveTransSet (Idx x1) const |
|
StateSet | TransRelStates (void) const |
|
Idx | SuccessorState (Idx x1, Idx ev) const |
|
StateSet | SuccessorStates (Idx x1) const |
|
StateSet | SuccessorStates (Idx x1, Idx ev) const |
|
bool | IsDeterministic (void) const |
|
void | SetMinStateIndexMap (void) const |
|
void | ClearMinStateIndexMap (void) const |
|
Idx | MinStateIndex (Idx index) const |
|
void | MinStateIndex (void) |
|
Idx | MaxStateIndex (void) const |
|
const std::map< Idx, Idx > & | MinStateIndexMap (void) const |
|
std::string | EStr (Idx index) const |
|
std::string | SStr (Idx index) const |
|
std::string | TStr (const Transition &rTrans) const |
|
void | GraphWrite (const std::string &rFileName, const std::string &rOutFormat="", const std::string &rDotExec="dot") const |
|
bool | operator< (const vGenerator &rOtherGen) const |
|
void | WriteAlphabet (void) const |
|
std::string | AlphabetToString (void) const |
|
void | WriteAlphabet (TokenWriter &rTw) const |
|
void | WriteStateSet (const StateSet &rStateSet) const |
|
std::string | StateSetToString (const StateSet &rStateSet) const |
|
std::string | StateSetToText (const StateSet &rStateSet) const |
|
void | WriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const |
|
void | DWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const |
|
std::string | StatesToString (void) const |
|
std::string | StatesToText (void) const |
|
std::string | MarkedStatesToString (void) const |
|
std::string | InitStatesToString (void) const |
|
void | WriteTransRel (void) const |
|
std::string | TransRelToString (void) const |
|
std::string | TransRelToText (void) const |
|
void | WriteTransRel (TokenWriter &rTw) const |
|
void | DWriteTransRel (TokenWriter &rTw) const |
|
virtual void | DotWrite (const std::string &rFileName) const |
|
virtual void | DDotWrite (const std::string &rFileName) const |
|
virtual void | XDotWrite (const std::string &rFileName) const |
|
void | ReadStateSet (TokenReader &rTr, const std::string &rLabel, StateSet &rStateSet) const |
|
bool | ReindexOnWrite (void) const |
|
void | ReindexOnWrite (bool flag) |
|
| Type (void) |
|
| Type (const Type &rType) |
|
virtual | ~Type (void) |
|
Type & | operator= (const Type &rSrc) |
|
virtual bool | Equal (const Type &rOther) const |
|
bool | operator== (const Type &rOther) const |
|
bool | operator!= (const Type &rOther) const |
|
virtual const std::string & | TypeName (void) const |
|
void | Write (const Type *pContext=0) const |
|
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 |
|
void | Write (const std::string &pFileName, std::ios::openmode openmode) const |
|
void | Write (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
|
virtual void | XWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0) const |
|
void | XWrite (const Type *pContext=0) const |
|
void | XWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
|
std::string | ToString (const std::string &rLabel="", const Type *pContext=0) const |
|
std::string | ToText (const std::string &rLabel="", const Type *pContext=0) const |
|
void | DWrite (const Type *pContext=0) const |
|
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 |
|
void | DWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
|
void | SWrite (TokenWriter &rTw) const |
|
void | SWrite (void) const |
|
std::string | ToSText (void) const |
|
void | Read (const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0) |
|
void | FromString (const std::string &rString, const std::string &rLabel="", const Type *pContext=0) |
|
void | Read (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0) |
|
|
virtual void | NewCore (void) |
|
virtual void | UpdateCore (void) |
|
void | DoAssign (const TaGenerator &rGen) |
|
virtual void | DeleteCore (void) |
|
void | ConfigureAttributeTypes (const AttributeVoid *pNewGlobalPrototype, const StateSet *pNewStatesPrototype, const EventSet *pNewAlphabetPrototype, const TransSet *pNewTransRelPrototype) |
|
void | DoAssign (const vGenerator &rSrc) |
|
virtual void | DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0) |
|
virtual void | DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
|
virtual void | DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
|
virtual void | DoSWrite (TokenWriter &rTw) const |
|
virtual void | DoXWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
|
void | ReadAlphabet (TokenReader &rTr) |
|
void | WriteStates (TokenWriter &rTw) const |
|
void | ReadStates (TokenReader &rTr) |
|
void | XReadStateSet (TokenReader &rTr, StateSet &rStateSet, const std::string &rLabel="") const |
|
void | ReadTransRel (const std::string &rFileName) |
|
void | ReadTransRel (TokenReader &rTr) |
|
void | XReadTransRel (TokenReader &rTr) |
|
void | XWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet, const std::string &rLabel="") const |
|
void | XWriteTransRel (TokenWriter &rTw) const |
|
void | DoAssign (const Type &rSrc) |
|
bool | DoEqual (const Type &rOther) const |
|
virtual const TypeDefinition * | TypeDefinitionp (void) const |
|
virtual Token | XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const |
|
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, but 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.
◆ ATransSet
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Convenience typdef for member transiton set
Definition at line 75 of file cfl_agenerator.h.
◆ TaGenerator() [1/4]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
◆ TaGenerator() [2/4]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
◆ TaGenerator() [3/4]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
◆ TaGenerator() [4/4]
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 871 of file cfl_agenerator.h.
◆ ~TaGenerator()
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
◆ Alphabet()
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
doxygen group Return const reference to alphabet
- Returns
- EventSet Reference to mpAlphabet
Definition at line 1360 of file cfl_agenerator.h.
◆ AlphabetTaGen()
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Static default alphabet prototype (incl. attribute type)
Definition at line 812 of file cfl_agenerator.h.
◆ Assign()
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
doxygen group Copy from other faudes Type (try to cast to agenerator or pass to base)
- Parameters
-
rSrc | Source for copy operation. |
Reimplemented from faudes::vGenerator.
Reimplemented in faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 962 of file cfl_agenerator.h.
◆ Cast()
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Type test. Uses C++ dynamic cast to test whether the specified object casts to a Generator.
- Returns
- TcGenerator reference if dynamic cast succeeds, else NULL
Reimplemented from faudes::vGenerator.
Reimplemented in faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1038 of file cfl_agenerator.h.
◆ Clear()
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
◆ Copy()
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Construct copy on heap. Technically not a constructor, this function creates a TaGenerator with the same event symboltable and the same attribute types. It is the callers reponsebilty to delete the object when no longer needed.
- Returns
- new Generator
Reimplemented from faudes::vGenerator.
Reimplemented in faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioPlant< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >, faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioEnvironment< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >, faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioController< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >, faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioConstraint< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >, and faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1017 of file cfl_agenerator.h.
◆ DoAssign()
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 |
◆ EventAttribute() [1/4]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
const EventAttr & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttribute |
( |
const std::string & |
rName | ) |
const |
|
virtual |
◆ EventAttribute() [2/4]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
const EventAttr & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttribute |
( |
Idx |
index | ) |
const |
|
virtual |
◆ EventAttribute() [3/4]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttribute |
( |
Idx |
index, |
|
|
const EventAttr & |
rAttr |
|
) |
| |
doxygen group Set attribute for existing event
- Parameters
-
index | Event index |
rAttr | New attribute |
- Exceptions
-
Definition at line 1289 of file cfl_agenerator.h.
◆ EventAttribute() [4/4]
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 1296 of file cfl_agenerator.h.
◆ EventAttributep() [1/2]
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 1324 of file cfl_agenerator.h.
◆ EventAttributep() [2/2]
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 1314 of file cfl_agenerator.h.
◆ GlobalAttribute() [1/3]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalAttribute |
( |
const GlobalAttr & |
rAttr | ) |
|
|
inline |
◆ GlobalAttribute() [2/3]
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 747 of file cfl_agenerator.h.
◆ GlobalAttribute() [3/3]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
const GlobalAttr& faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalAttribute |
( |
void |
| ) |
const |
|
inlinevirtual |
◆ GlobalAttributep()
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
GlobalAttr* faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalAttributep |
( |
void |
| ) |
|
|
inlinevirtual |
◆ GlobalTaGen()
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 824 of file cfl_agenerator.h.
◆ InjectAlphabet() [1/2]
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 |
Definition at line 1076 of file cfl_agenerator.h.
◆ InjectAlphabet() [2/2]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Set mpAlphabet without consistency check.
- Parameters
-
rNewalphabet | EventSet with new alphabet |
Definition at line 1082 of file cfl_agenerator.h.
◆ InjectStates() [1/2]
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
-
Definition at line 1162 of file cfl_agenerator.h.
◆ InjectStates() [2/2]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Inject a complete state set without consistency checks.
- Parameters
-
Definition at line 1169 of file cfl_agenerator.h.
◆ InjectTransRel() [1/2]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Set transition relation without consistency check.
- Parameters
-
rNewtransrel | TransRel to insert |
Definition at line 1186 of file cfl_agenerator.h.
◆ InjectTransRel() [2/2]
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 |
Definition at line 1180 of file cfl_agenerator.h.
◆ InsEvent() [1/4]
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
Definition at line 1102 of file cfl_agenerator.h.
◆ InsEvent() [2/4]
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 1114 of file cfl_agenerator.h.
◆ InsEvent() [3/4]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
doxygen group Add an existing event to alphabet by index. 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
Definition at line 1096 of file cfl_agenerator.h.
◆ InsEvent() [4/4]
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 1108 of file cfl_agenerator.h.
◆ InsState() [1/6]
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 1126 of file cfl_agenerator.h.
◆ InsState() [2/6]
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
-
Definition at line 1144 of file cfl_agenerator.h.
◆ InsState() [3/6]
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 1152 of file cfl_agenerator.h.
◆ InsState() [4/6]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Add (perhaps new) state to generator
- Returns
- true to indicate that state was new to generator
Definition at line 1132 of file cfl_agenerator.h.
◆ InsState() [5/6]
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 1138 of file cfl_agenerator.h.
◆ InsState() [6/6]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Add new anonymous state to generator
- Returns
- Index of new unique state
Definition at line 1120 of file cfl_agenerator.h.
◆ Move() [1/2]
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 994 of file cfl_agenerator.h.
◆ Move() [2/2]
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 986 of file cfl_agenerator.h.
◆ New()
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Construct on heap. Technically not a constructor, this function creates a TaGenerator with the same event symboltable and the same attribute types. It is the callers reponsebilty to delete the object when no longer needed.
- Returns
- new Generator
Reimplemented from faudes::vGenerator.
Reimplemented in faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioPlant< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >, faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioEnvironment< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >, faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioController< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >, faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioConstraint< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >, and faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1006 of file cfl_agenerator.h.
◆ NewAGen()
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 1025 of file cfl_agenerator.h.
◆ NewCore()
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
◆ operator=()
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 | ) |
|
Assignment operator (uses Assign(Generator&) )
- Parameters
-
Definition at line 1044 of file cfl_agenerator.h.
◆ SetTransition() [1/4]
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 |
|
) |
| |
Add a transition to generator by names. Statename and eventname must already exist!
- Parameters
-
rX1 | Predecessor state name |
rEv | Event name |
rX2 | Successor state name |
- Returns
- True, if the transition was new the generator
- Exceptions
-
Exception |
- state or event not in generator (id 95)
- state name not known (id 90)
- event name not known (id 66)
|
Definition at line 1193 of file cfl_agenerator.h.
◆ SetTransition() [2/4]
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)
|
Definition at line 1204 of file cfl_agenerator.h.
◆ SetTransition() [3/4]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition |
( |
const Transition & |
rTransition, |
|
|
const TransAttr & |
rAttr |
|
) |
| |
Add a transition with attribute to generator. States and event must already exist!
- Parameters
-
rTransition | transition |
rAttr | attribute |
- Returns
- True, if the transition was new the generator
- Exceptions
-
Exception |
- state or event not in generator (id 95)
|
Definition at line 1231 of file cfl_agenerator.h.
◆ SetTransition() [4/4]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Add a transition to generator by indices. States and event must already exist!
Define FAUDES_CHECKED for consistency checks.
- Parameters
-
x1 | Predecessor state index |
ev | Event index |
x2 | Successor state index |
- Returns
- True, if the transition was new the generator
- Exceptions
-
Exception |
- state or event not in generator (id 95)
|
Definition at line 1199 of file cfl_agenerator.h.
◆ StateAttribute() [1/3]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
const StateAttr & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StateAttribute |
( |
Idx |
index | ) |
const |
|
virtual |
◆ StateAttribute() [2/3]
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 1329 of file cfl_agenerator.h.
◆ StateAttribute() [3/3]
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 1336 of file cfl_agenerator.h.
◆ StateAttributep()
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 1355 of file cfl_agenerator.h.
◆ States()
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Return reference to state set
- Returns
- StateSet reference incl actual attribute type
Definition at line 1365 of file cfl_agenerator.h.
◆ StatesTaGen()
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Static default state set prototype (incl. attribute type)
Definition at line 816 of file cfl_agenerator.h.
◆ TransAttribute() [1/3]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
◆ TransAttribute() [2/3]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Set attribute for existing transition
- Parameters
-
rTrans | transition |
rAttr | New attribute |
Definition at line 1258 of file cfl_agenerator.h.
◆ TransAttribute() [3/3]
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 1265 of file cfl_agenerator.h.
◆ TransAttributep()
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 1278 of file cfl_agenerator.h.
◆ TransRel() [1/7]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
◆ TransRel() [2/7]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
◆ TransRel() [3/7]
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 |
Definition at line 1375 of file cfl_agenerator.h.
◆ TransRel() [4/7]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
◆ TransRel() [5/7]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
◆ TransRel() [6/7]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
◆ TransRel() [7/7]
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Return reference to transition relation
- Returns
- TransRel
Definition at line 1370 of file cfl_agenerator.h.
◆ TransRelTaGen()
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Static default transition relation prototype (incl. attribute type)
Definition at line 820 of file cfl_agenerator.h.
◆ UpdateCore()
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
◆ Valid()
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
◆ pAlphabet
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
◆ pGlobalAttribute
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 778 of file cfl_agenerator.h.
◆ pStates
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
◆ pTransRel
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
The documentation for this class was generated from the following file:
libFAUDES 2.33b
--- 2025.05.07
--- c++ api documentaion by doxygen
|