|
|
||||||
|
Public Types |
Protected Member Functions |
Static Protected Member Functions |
Protected Attributes |
List of all members
faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference Detailed Descriptiontemplate<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
|
Public Types | |
typedef TaTransSet< TransAttr > | ATransSet |
Public Member Functions | |
Constructors & Destructor | |
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) |
Copy and Assignment | |
virtual TaGenerator & | Assign (const Type &rSrc) |
TaGenerator & | operator= (const TaGenerator &rOtherGen) |
virtual void | Move (TaGenerator &rGen) |
virtual void | Move (Generator &rGen) |
Basic Maintenance | |
bool | Valid (void) const |
virtual void | Clear (void) |
Read Access to Core Members | |
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 |
Write Access to Core Members | |
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) |
Attributes | |
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 | 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) |
virtual 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) |
virtual 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 |
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 std::string &rLabel="") const |
void | XWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet, const std::string &rLabel="") 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) |
![]() | |
ExtType (void) | |
ExtType (const ExtType &rType) | |
virtual | ~ExtType (void) |
const std::string & | Name (void) const |
void | Name (const std::string &rName) |
virtual const std::string & | TypeName (void) const |
virtual void | TypeName (const std::string &rType) |
virtual const std::string & | ElementTag (void) const |
virtual void | ElementTag (const std::string &rTag) |
virtual const std::string & | ElementType (void) const |
virtual const TypeDefinition * | TypeDefinitionp (void) const |
Type & | operator= (const Type &rSrc) |
bool | operator== (const Type &rOther) const |
bool | operator!= (const Type &rOther) const |
![]() | |
AttrType (void) | |
AttrType (const AttrType &rSrc) | |
virtual | ~AttrType (void) |
virtual bool | IsDefault (void) const |
Type & | operator= (const Type &rSrc) |
bool | operator== (const Type &rOther) const |
bool | operator!= (const Type &rOther) const |
![]() | |
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 |
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) |
Protected Member Functions | |
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 | XWriteTransRel (TokenWriter &rTw) const |
![]() | |
void | DoAssign (const AttrType &rSrc) |
bool | DoEqual (const AttrType &rOther) const |
![]() | |
void | DoAssign (const Type &rSrc) |
bool | DoEqual (const Type &rOther) const |
virtual Token | XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const |
Static Protected Member Functions | |
static const TaNameSet< EventAttr > & | AlphabetTaGen (void) |
static const TaIndexSet< StateAttr > & | StatesTaGen (void) |
static const ATransSet & | TransRelTaGen (void) |
static const GlobalAttr & | GlobalTaGen (void) |
![]() | |
static const EventSet & | AlphabetVoid (void) |
static const StateSet & | StatesVoid (void) |
static const TransSet & | TransRelVoid (void) |
static const AttributeVoid & | GlobalVoid (void) |
Protected Attributes | |
TaNameSet< EventAttr > * | pAlphabet |
TaIndexSet< StateAttr > * | pStates |
ATransSet * | pTransRel |
GlobalAttr * | pGlobalAttribute |
![]() | |
Idx | mId |
SymbolTable | mStateSymbolTable |
SymbolTable * | mpStateSymbolTable |
SymbolTable * | mpEventSymbolTable |
bool | mStateNamesEnabled |
bool | mReindexOnWrite |
EventSet * | mpAlphabet |
StateSet * | mpStates |
TransSet * | mpTransRel |
AttributeVoid * | mpGlobalAttribute |
const EventSet * | pAlphabetPrototype |
const StateSet * | pStatesPrototype |
const TransSet * | pTransRelPrototype |
const AttributeVoid * | pGlobalPrototype |
StateSet | mInitStates |
StateSet | mMarkedStates |
std::map< Idx, Idx > | mMinStateIndexMap |
![]() | |
std::string | mElementType |
std::string | mElementTagDef |
std::string | mObjectName |
Additional Inherited Members | |
![]() | |
static SymbolTable * | GlobalEventSymbolTablep (void) |
static void | StateNamesEnabledDefault (bool flag) |
static void | ReindexOnWriteDefault (bool flag) |
static bool | ReindexOnWriteDefault (void) |
![]() | |
static void | Skip (TokenReader &rTr) |
![]() | |
static Idx | msObjectCount = 0 |
static bool | msStateNamesEnabledDefault = true |
static bool | msReindexOnWriteDefault = false |
typedef TaTransSet<TransAttr> faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ATransSet |
Convenience typdef for member transiton set
Definition at line 75 of file cfl_agenerator.h.
faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TaGenerator | ( | void | ) |
doxygen group Construct an emtpy Generator
Definition at line 831 of file cfl_agenerator.h.
faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TaGenerator | ( | const TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) |
Copy-constructor (from TaGenerator, incl attributes)
rOtherGen |
Definition at line 843 of file cfl_agenerator.h.
faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TaGenerator | ( | const vGenerator & | rOtherGen | ) |
Copy-constructor (from vGenerator, set attributes to default)
rOtherGen |
Definition at line 857 of file cfl_agenerator.h.
faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TaGenerator | ( | const std::string & | rFileName | ) |
Construct from file. This constructor effectively uses the Read(TokenReader&) function to read.
rFileName | Name of file |
Definition at line 871 of file cfl_agenerator.h.
|
virtual |
Destructor
Definition at line 1001 of file cfl_agenerator.h.
const TaEventSet< EventAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Alphabet | ( | void | ) | const |
doxygen group Return const reference to alphabet
Definition at line 1358 of file cfl_agenerator.h.
|
staticprotected |
Static default alphabet prototype (incl. attribute type)
Definition at line 812 of file cfl_agenerator.h.
|
virtual |
doxygen group Copy from other faudes Type (try to cast to agenerator or pass to base)
rSrc | Source for copy operation. |
Reimplemented from faudes::vGenerator.
Reimplemented in faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TrGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 962 of file cfl_agenerator.h.
|
virtual |
Type test. Uses C++ dynamic cast to test whether the specified object casts to a 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::TrGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TlhaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1036 of file cfl_agenerator.h.
|
virtual |
Clear generator data. Clears state set, alphabet and transitionrealtion. Behavioural flags eg StateNamesEnabled are maintained.
Reimplemented from faudes::vGenerator.
Reimplemented in faudes::Executor, and faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1067 of file cfl_agenerator.h.
|
virtual |
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.
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::TrGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TlhaGenerator< 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.
|
protected |
Assignment
Definition at line 930 of file cfl_agenerator.h.
|
virtual |
Event attribute lookup
rName |
Reimplemented from faudes::vGenerator.
Definition at line 1317 of file cfl_agenerator.h.
|
virtual |
Event attribute lookup
index |
Reimplemented from faudes::vGenerator.
Definition at line 1307 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttribute | ( | Idx | index, |
const EventAttr & | rAttr | ||
) |
doxygen group Set attribute for existing event
index | Event index |
rAttr | New attribute |
Exception | Index not found in alphabet (id 60) |
Definition at line 1287 of file cfl_agenerator.h.
|
virtual |
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.
index | Event index |
rAttr | New attribute |
Exception |
|
Reimplemented from faudes::vGenerator.
Definition at line 1294 of file cfl_agenerator.h.
|
virtual |
Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute
rName |
Reimplemented from faudes::vGenerator.
Definition at line 1322 of file cfl_agenerator.h.
|
virtual |
Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute
index |
Reimplemented from faudes::vGenerator.
Definition at line 1312 of file cfl_agenerator.h.
|
inline |
|
inlinevirtual |
Set global attribute. The vGenerator does not have attributes, so this function throws an exception for any specified attribute different to AttributeVoid. The TaGenarator provides a re-implementation to actually set the global attribute.
rAttr | Attribute |
Exception |
|
Reimplemented from faudes::vGenerator.
Definition at line 747 of file cfl_agenerator.h.
|
inlinevirtual |
Get global attribute ref
Reimplemented from faudes::vGenerator.
Definition at line 752 of file cfl_agenerator.h.
|
inlinevirtual |
Get global attribute pointer
Reimplemented from faudes::vGenerator.
Definition at line 758 of file cfl_agenerator.h.
|
staticprotected |
Static default global attribute prototype (configures global attribute type)
Definition at line 824 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectAlphabet | ( | const EventSet & | rNewalphabet | ) |
Set mpAlphabet without consistency check. Attributes will be casted if possible or silently ignored.
rNewalphabet | EventSet with new alphabet |
Definition at line 1074 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectAlphabet | ( | const TaEventSet< EventAttr > & | rNewalphabet | ) |
Set mpAlphabet without consistency check.
rNewalphabet | EventSet with new alphabet |
Definition at line 1080 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectStates | ( | const StateSet & | rNewStates | ) |
Inject a complete state set without consistency checks. Attributes will be casted if possible or silently ignored.
rNewStates | StateSet |
Definition at line 1160 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectStates | ( | const TaStateSet< StateAttr > & | rNewStates | ) |
Inject a complete state set without consistency checks.
rNewStates | StateSet |
Definition at line 1167 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectTransRel | ( | const ATransSet & | rNewtransrel | ) |
Set transition relation without consistency check.
rNewtransrel | TransRel to insert |
Definition at line 1184 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectTransRel | ( | const TransSet & | rNewtransrel | ) |
Set transition relation without consistency check. Attributes will be casted if possible or silently ignored.
rNewtransrel | TransRel to insert |
Definition at line 1178 of file cfl_agenerator.h.
Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsEvent | ( | const std::string & | rName | ) |
Add named event to generator. An entry in the mpEventSymbolTable will be made if event name is not known so far.
rName | Name of the event to add |
Definition at line 1100 of file cfl_agenerator.h.
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.
rName | Name of the event to add |
rAttr | Attribute of event |
Definition at line 1112 of file cfl_agenerator.h.
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsEvent | ( | Idx | index | ) |
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.
index | Event index |
Definition at line 1094 of file cfl_agenerator.h.
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.
rAttr | Attribute of event |
index | Event index |
Definition at line 1106 of file cfl_agenerator.h.
Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState | ( | const StateAttr & | attr | ) |
Add new anonymous state with attribute to generator
attr | attribute of new state |
Definition at line 1124 of file cfl_agenerator.h.
Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState | ( | const std::string & | rName | ) |
Add new named state to generator.
rName | Name of the state to add |
Exception | Name already exists (id 44) |
Definition at line 1142 of file cfl_agenerator.h.
Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState | ( | const std::string & | rName, |
const StateAttr & | attr | ||
) |
Add new named state with attribute to generator.
rName | Name of the state to add |
attr | attribute of new state |
Exception | Name already exists (id 44) |
Definition at line 1150 of file cfl_agenerator.h.
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState | ( | Idx | index | ) |
Add (perhaps new) state to generator
Definition at line 1130 of file cfl_agenerator.h.
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState | ( | Idx | index, |
const StateAttr & | attr | ||
) |
Add (perhaps new) state with attribute to generator.
index | Index of state to add |
attr | Attribute of new state |
Definition at line 1136 of file cfl_agenerator.h.
Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState | ( | void | ) |
Add new anonymous state to generator
Definition at line 1118 of file cfl_agenerator.h.
|
virtual |
Destructive copy to other Generator. Copy method with increased performance at the cost of invalidating the source data. Convert attributes if possible.
rGen | Destination for copy operation. |
Reimplemented from faudes::vGenerator.
Definition at line 994 of file cfl_agenerator.h.
|
virtual |
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.
rGen | Destination for copy operation. |
Definition at line 986 of file cfl_agenerator.h.
|
virtual |
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.
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::TrGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TlhaGenerator< 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.
|
virtual |
Construct on stack. Technically not a constructor, this function creates a TaGenerator with the same event symboltable and the same attribute type.
Definition at line 1025 of file cfl_agenerator.h.
|
protectedvirtual |
Allocate my heap members (attribute dependent types)
Reimplemented from faudes::vGenerator.
Definition at line 888 of file cfl_agenerator.h.
TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= | ( | const TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) |
Assignment operator (uses DoAssign(Generator&) )
rOtherGen | Other generator |
Definition at line 1042 of file cfl_agenerator.h.
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!
rX1 | Predecessor state name |
rEv | Event name |
rX2 | Successor state name |
Exception |
|
Definition at line 1191 of file cfl_agenerator.h.
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition | ( | const Transition & | rTransition | ) |
Add a transition to generator. States and event must already exist!
rTransition | Transition |
Exception |
|
Definition at line 1202 of file cfl_agenerator.h.
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!
rTransition | transition |
rAttr | attribute |
Exception |
|
Definition at line 1229 of file cfl_agenerator.h.
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition | ( | Idx | x1, |
Idx | ev, | ||
Idx | x2 | ||
) |
Add a transition to generator by indices. States and event must already exist!
Define FAUDES_CHECKED for consistency checks.
x1 | Predecessor state index |
ev | Event index |
x2 | Successor state index |
Exception |
|
Definition at line 1197 of file cfl_agenerator.h.
|
virtual |
State attribute lookup
index |
Reimplemented from faudes::vGenerator.
Definition at line 1348 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StateAttribute | ( | Idx | index, |
const StateAttr & | rAttr | ||
) |
Set attribute for existing state
index | Index |
rAttr | attriute |
Exception | Name already associated with another index (id 44) |
Definition at line 1327 of file cfl_agenerator.h.
|
virtual |
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.
index | State index |
rAttr | New attribute |
Exception |
|
Reimplemented from faudes::vGenerator.
Definition at line 1334 of file cfl_agenerator.h.
|
virtual |
State attribute pointer (to access Attribute methods) note: may insert explicit default attribute
index |
Reimplemented from faudes::vGenerator.
Definition at line 1353 of file cfl_agenerator.h.
const TaStateSet< StateAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::States | ( | void | ) | const |
Return reference to state set
Definition at line 1363 of file cfl_agenerator.h.
|
staticprotected |
Static default state set prototype (incl. attribute type)
Definition at line 816 of file cfl_agenerator.h.
|
virtual |
Get attribute for existing transition
Reimplemented from faudes::vGenerator.
Definition at line 1282 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransAttribute | ( | const Transition & | rTrans, |
const TransAttr & | rAttr | ||
) |
Set attribute for existing transition
rTrans | transition |
rAttr | New attribute |
Definition at line 1256 of file cfl_agenerator.h.
|
virtual |
Set attribute for existing transition. This version uses a dynamic cast to test the actual type of the provided attribute. An exception is thrown for an invalid attribute type.
rTrans | transition |
rAttr | New attribute |
Exception |
|
Reimplemented from faudes::vGenerator.
Definition at line 1263 of file cfl_agenerator.h.
|
virtual |
Get attribute pointer for existing transition note: may insert explicit default attribute
Reimplemented from faudes::vGenerator.
Definition at line 1276 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel | ( | TransSetEvX1X2 & | res | ) | const |
Definition at line 1374 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel | ( | TransSetEvX2X1 & | res | ) | const |
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel | ( | TransSetX1EvX2 & | res | ) | const |
Get copy of trantision relation sorted by other compare operator, e.g. "x2,ev,x1"
res | resulting transition relation |
Definition at line 1373 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel | ( | TransSetX1X2Ev & | res | ) | const |
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel | ( | TransSetX2EvX1 & | res | ) | const |
Definition at line 1376 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel | ( | TransSetX2X1Ev & | res | ) | const |
const TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ATransSet & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel | ( | void | ) | const |
Return reference to transition relation
Definition at line 1368 of file cfl_agenerator.h.
|
staticprotected |
Static default transition relation prototype (incl. attribute type)
Definition at line 820 of file cfl_agenerator.h.
|
protectedvirtual |
Update my secondary pointers for new core
Reimplemented from faudes::vGenerator.
Definition at line 906 of file cfl_agenerator.h.
|
virtual |
doxygen group Check if generator is valid
Reimplemented from faudes::vGenerator.
Reimplemented in faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::Executor, and faudes::TlhaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1048 of file cfl_agenerator.h.
|
protected |
Alphabet, pointer with actual attribute type
Definition at line 769 of file cfl_agenerator.h.
|
protected |
Global attribute, pointer with actual attribute type
Definition at line 778 of file cfl_agenerator.h.
|
protected |
State set, pointer with actual attribute type
Definition at line 772 of file cfl_agenerator.h.
|
protected |
Transition relation, pointer with actual attribute type
Definition at line 775 of file cfl_agenerator.h.
libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen