faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference
|
Public Types | |
typedef TaTransSet< TransAttr > | ATransSet |
Convenience typdef for member transiton set. | |
Public Member Functions | |
Constructors & Destructor | |
TaGenerator (void) | |
Construct an emtpy Generator. | |
TaGenerator (const TaGenerator &rOtherGen) | |
Copy-constructor (from TaGenerator, incl attributes). | |
TaGenerator (const vGenerator &rOtherGen) | |
Copy-constructor (from vGenerator, set attributes to default). | |
TaGenerator (const std::string &rFileName) | |
Construct from file. | |
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. | |
Copy and Assignment | |
virtual TaGenerator & | Assign (const TaGenerator &rGen) |
Copy from other TaGenerator (incl attributes). | |
virtual TaGenerator & | Assign (const vGenerator &rGen) |
Copy from other Generator (try to maintain attributes). | |
virtual TaGenerator & | Assign (const Type &rSrc) |
Copy from other faudes Type. | |
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. | |
virtual TaGenerator & | operator= (const TaGenerator &rOtherGen) |
Assignment operator (uses Copy(TaGenerator&) ). | |
virtual TaGenerator & | operator= (const vGenerator &rOtherGen) |
Assignment operator (uses Copy(Generator&) ). | |
Basic Maintenance | |
bool | Valid (void) |
Check if generator is valid. | |
virtual void | Clear (void) |
Clear generator data. | |
Read Access to Core Members | |
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 |
Write Access to Core Members | |
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. | |
Attributes | |
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. | |
const GlobalAttr & | GlobalAttribute (void) const |
Get global attribute ref. | |
GlobalAttr * | GlobalAttributep (void) |
Get global attribute pointer. | |
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. | |
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). | |
Protected Attributes | |
TaNameSet< EventAttr > * | pAlphabet |
Alphabet, pointer with actual attribute type. | |
TaIndexSet< StateAttr > * | pStates |
State set, pointer with actual attribute type. | |
ATransSet * | pTransRel |
Transition relation, pointer with actual attribute type. | |
GlobalAttr * | pGlobalAttribute |
Global attribute, pointer with actual attribute type. |
Generator with specified attribute types.
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.
typedef TaTransSet<TransAttr> faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ATransSet |
Convenience typdef for member transiton set.
Definition at line 74 of file cfl_agenerator.h.
faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TaGenerator | ( | void | ) | [inline] |
faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TaGenerator | ( | const TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline] |
Copy-constructor (from TaGenerator, incl attributes).
rOtherGen |
Definition at line 861 of file cfl_agenerator.h.
faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TaGenerator | ( | const vGenerator & | rOtherGen | ) | [inline] |
Copy-constructor (from vGenerator, set attributes to default).
rOtherGen |
Definition at line 875 of file cfl_agenerator.h.
faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TaGenerator | ( | const std::string & | rFileName | ) | [inline] |
Construct from file.
This constructor effectively uses the Read(TokenReader&) function to read.
rFileName | Name of file |
Definition at line 888 of file cfl_agenerator.h.
faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::~TaGenerator | ( | void | ) | [inline, virtual] |
Destructor.
Definition at line 1010 of file cfl_agenerator.h.
const TaEventSet< EventAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Alphabet | ( | void | ) | const [inline] |
Return const reference to alphabet.
doxygen group
Reimplemented from faudes::vGenerator.
Definition at line 1372 of file cfl_agenerator.h.
const TaNameSet< EventAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::AlphabetTaGen | ( | void | ) | [inline, static, protected] |
Static default alphabet prototype (incl.
attribute type)
Definition at line 830 of file cfl_agenerator.h.
TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Assign | ( | const Type & | rSrc | ) | [inline, virtual] |
Copy from other faudes Type.
rSrc | Source for copy operation. |
Reimplemented from faudes::vGenerator.
Definition at line 983 of file cfl_agenerator.h.
TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Assign | ( | const vGenerator & | rGen | ) | [inline, virtual] |
Copy from other Generator (try to maintain attributes).
rGen | Source for copy operation. |
Reimplemented from faudes::vGenerator.
Reimplemented in faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 966 of file cfl_agenerator.h.
TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Assign | ( | const TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rGen | ) | [inline, virtual] |
Copy from other TaGenerator (incl attributes).
doxygen group
rGen | Source for copy operation. |
Definition at line 935 of file cfl_agenerator.h.
const Type * faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Cast | ( | const Type * | pOther | ) | const [inline, 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::TgotoGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1045 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Clear | ( | void | ) | [inline, virtual] |
Clear generator data.
Clears state set, alphabet and transitionrealtion. Behavioural flags eg StateNamesEnabled are maintained.
Reimplemented from faudes::vGenerator.
Reimplemented in faudes::Executor.
Definition at line 1081 of file cfl_agenerator.h.
TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Copy | ( | void | ) | const [inline, 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::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TgotoGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioConstraint< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >, faudes::THioController< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >, faudes::THioEnvironment< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >, and faudes::THioPlant< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >.
Definition at line 1026 of file cfl_agenerator.h.
const EventAttr & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttribute | ( | const std::string & | rName | ) | const [inline, virtual] |
Event attribute lookup.
rName |
Reimplemented from faudes::vGenerator.
Definition at line 1331 of file cfl_agenerator.h.
const EventAttr & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttribute | ( | Idx | index | ) | const [inline, virtual] |
Event attribute lookup.
index |
Reimplemented from faudes::vGenerator.
Definition at line 1321 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttribute | ( | Idx | index, | |
const Type & | rAttr | |||
) | [inline, 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 1308 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttribute | ( | Idx | index, | |
const EventAttr & | rAttr | |||
) | [inline] |
Set attribute for existing event.
doxygen group
index | Event index | |
rAttr | New attribute |
Exception | Index not found in alphabet (id 60) |
Definition at line 1301 of file cfl_agenerator.h.
EventAttr * faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttributep | ( | const std::string & | rName | ) | [inline, virtual] |
Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
rName |
Reimplemented from faudes::vGenerator.
Definition at line 1336 of file cfl_agenerator.h.
EventAttr * faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::EventAttributep | ( | Idx | index | ) | [inline, virtual] |
Event attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
index |
Reimplemented from faudes::vGenerator.
Definition at line 1326 of file cfl_agenerator.h.
const GlobalAttr& faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalAttribute | ( | void | ) | const [inline, virtual] |
Get global attribute ref.
Reimplemented from faudes::vGenerator.
Definition at line 773 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalAttribute | ( | const GlobalAttr & | rAttr | ) | [inline] |
GlobalAttr* faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalAttributep | ( | void | ) | [inline, virtual] |
Get global attribute pointer.
Reimplemented from faudes::vGenerator.
Definition at line 779 of file cfl_agenerator.h.
const GlobalAttr & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalTaGen | ( | void | ) | [inline, static, protected] |
Static default global attribute prototype (configures global attribute type).
Definition at line 842 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectAlphabet | ( | const TaEventSet< EventAttr > & | rNewalphabet | ) | [inline] |
Set mpAlphabet without consistency check.
rNewalphabet | EventSet with new alphabet |
Definition at line 1094 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectAlphabet | ( | const EventSet & | rNewalphabet | ) | [inline] |
Set mpAlphabet without consistency check.
Attributes will be casted if possible or silently ignored.
rNewalphabet | EventSet with new alphabet |
Reimplemented from faudes::vGenerator.
Definition at line 1088 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectStates | ( | const TaStateSet< StateAttr > & | rNewStates | ) | [inline] |
Inject a complete state set without consistency checks.
rNewStates | StateSet |
Definition at line 1181 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectStates | ( | const StateSet & | rNewStates | ) | [inline] |
Inject a complete state set without consistency checks.
Attributes will be casted if possible or silently ignored.
rNewStates | StateSet |
Reimplemented from faudes::vGenerator.
Definition at line 1174 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectTransRel | ( | const ATransSet & | rNewtransrel | ) | [inline] |
Set transition relation without consistency check.
rNewtransrel | TransRel to insert |
Definition at line 1198 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectTransRel | ( | const TransSet & | rNewtransrel | ) | [inline] |
Set transition relation without consistency check.
Attributes will be casted if possible or silently ignored.
rNewtransrel | TransRel to insert |
Reimplemented from faudes::vGenerator.
Definition at line 1192 of file cfl_agenerator.h.
Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsEvent | ( | const std::string & | rName, | |
const EventAttr & | rAttr | |||
) | [inline] |
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 1126 of file cfl_agenerator.h.
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsEvent | ( | Idx | index, | |
const EventAttr & | rAttr | |||
) | [inline] |
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 1120 of file cfl_agenerator.h.
Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsEvent | ( | const std::string & | rName | ) | [inline] |
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 |
Reimplemented from faudes::vGenerator.
Definition at line 1114 of file cfl_agenerator.h.
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsEvent | ( | Idx | index | ) | [inline] |
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.
index | Event index |
Reimplemented from faudes::vGenerator.
Definition at line 1108 of file cfl_agenerator.h.
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState | ( | Idx | index, | |
const StateAttr & | attr | |||
) | [inline] |
Add (perhaps new) state with attribute to generator.
index | Index of state to add | |
attr | Attribute of new state |
Definition at line 1150 of file cfl_agenerator.h.
Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState | ( | const std::string & | rName, | |
const StateAttr & | attr | |||
) | [inline] |
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 1164 of file cfl_agenerator.h.
Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState | ( | const std::string & | rName | ) | [inline] |
Add new named state to generator.
rName | Name of the state to add |
Exception | Name already exists (id 44) |
Reimplemented from faudes::vGenerator.
Definition at line 1156 of file cfl_agenerator.h.
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState | ( | Idx | index | ) | [inline] |
Add (perhaps new) state to generator.
Reimplemented from faudes::vGenerator.
Definition at line 1144 of file cfl_agenerator.h.
Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState | ( | const StateAttr & | attr | ) | [inline] |
Add new anonymous state with attribute to generator.
attr | attribute of new state |
Definition at line 1138 of file cfl_agenerator.h.
Idx faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsState | ( | void | ) | [inline] |
Add new anonymous state to generator.
Reimplemented from faudes::vGenerator.
Definition at line 1132 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Move | ( | Generator & | rGen | ) | [inline, 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 1003 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Move | ( | TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rGen | ) | [inline, 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 995 of file cfl_agenerator.h.
TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::New | ( | void | ) | const [inline, 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::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TgotoGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioConstraint< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >, faudes::THioController< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >, faudes::THioEnvironment< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >, and faudes::THioPlant< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >.
Definition at line 1015 of file cfl_agenerator.h.
TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewAGen | ( | void | ) | const [inline, 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 1034 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewCore | ( | void | ) | [inline, protected, virtual] |
Allocate my heap members (attribute dependent types).
Reimplemented from faudes::vGenerator.
Definition at line 905 of file cfl_agenerator.h.
TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= | ( | const vGenerator & | rOtherGen | ) | [inline, virtual] |
Assignment operator (uses Copy(Generator&) ).
rOtherGen | Other generator |
Reimplemented from faudes::vGenerator.
Reimplemented in faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TgotoGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::THioConstraint< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >, faudes::THioController< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >, faudes::THioEnvironment< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >, and faudes::THioPlant< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid >.
Definition at line 1056 of file cfl_agenerator.h.
TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= | ( | const TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline, virtual] |
Assignment operator (uses Copy(TaGenerator&) ).
rOtherGen | Other generator |
Definition at line 1050 of file cfl_agenerator.h.
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition | ( | const Transition & | rTransition, | |
const TransAttr & | rAttr | |||
) | [inline] |
Add a transition with attribute to generator.
States and event must already exist!
rTransition | transition | |
rAttr | attribute |
Exception |
|
Reimplemented in faudes::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1243 of file cfl_agenerator.h.
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition | ( | const Transition & | rTransition | ) | [inline] |
Add a transition to generator.
States and event must already exist!
rTransition | Transition |
Exception |
|
Reimplemented from faudes::vGenerator.
Definition at line 1216 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 | |||
) | [inline] |
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 |
|
Reimplemented from faudes::vGenerator.
Reimplemented in faudes::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1205 of file cfl_agenerator.h.
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition | ( | Idx | x1, | |
Idx | ev, | |||
Idx | x2 | |||
) | [inline] |
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 |
|
Reimplemented from faudes::vGenerator.
Reimplemented in faudes::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1211 of file cfl_agenerator.h.
const StateAttr & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StateAttribute | ( | Idx | index | ) | const [inline, virtual] |
State attribute lookup.
index |
Reimplemented from faudes::vGenerator.
Definition at line 1362 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StateAttribute | ( | Idx | index, | |
const Type & | rAttr | |||
) | [inline, 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 1348 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StateAttribute | ( | Idx | index, | |
const StateAttr & | rAttr | |||
) | [inline] |
Set attribute for existing state.
index | Index | |
rAttr | attriute |
Exception | Name already associated with another index (id 44) |
Definition at line 1341 of file cfl_agenerator.h.
StateAttr * faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StateAttributep | ( | Idx | index | ) | [inline, virtual] |
State attribute pointer (to access Attribute methods) note: may insert explicit default attribute.
index |
Reimplemented from faudes::vGenerator.
Definition at line 1367 of file cfl_agenerator.h.
const TaStateSet< StateAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::States | ( | void | ) | const [inline] |
Return reference to state set.
Reimplemented from faudes::vGenerator.
Definition at line 1377 of file cfl_agenerator.h.
const TaIndexSet< StateAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StatesTaGen | ( | void | ) | [inline, static, protected] |
Static default state set prototype (incl.
attribute type)
Definition at line 834 of file cfl_agenerator.h.
const TransAttr & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransAttribute | ( | const Transition & | rTrans | ) | const [inline, virtual] |
Get attribute for existing transition.
Reimplemented from faudes::vGenerator.
Definition at line 1296 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransAttribute | ( | const Transition & | rTrans, | |
const Type & | rAttr | |||
) | [inline, 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 1277 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransAttribute | ( | const Transition & | rTrans, | |
const TransAttr & | rAttr | |||
) | [inline] |
Set attribute for existing transition.
rTrans | transition | |
rAttr | New attribute |
Definition at line 1270 of file cfl_agenerator.h.
TransAttr * faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransAttributep | ( | const Transition & | rTrans | ) | [inline, virtual] |
Get attribute pointer for existing transition note: may insert explicit default attribute.
Reimplemented from faudes::vGenerator.
Definition at line 1290 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel | ( | TransSetX1X2Ev & | res | ) | const |
Reimplemented from faudes::vGenerator.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel | ( | TransSetX2X1Ev & | res | ) | const |
Reimplemented from faudes::vGenerator.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel | ( | TransSetX2EvX1 & | res | ) | const |
Reimplemented from faudes::vGenerator.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel | ( | TransSetEvX2X1 & | res | ) | const [inline] |
Reimplemented from faudes::vGenerator.
Definition at line 1389 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel | ( | TransSetEvX1X2 & | res | ) | const [inline] |
Reimplemented from faudes::vGenerator.
Definition at line 1388 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel | ( | TransSetX1EvX2 & | res | ) | const [inline] |
Get copy of trantision relation sorted by other compare operator, e.g.
"x2,ev,x1"
res | resulting transition relation |
Reimplemented from faudes::vGenerator.
Definition at line 1387 of file cfl_agenerator.h.
const TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ATransSet & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRel | ( | void | ) | const [inline] |
Return reference to transition relation.
Reimplemented from faudes::vGenerator.
Definition at line 1382 of file cfl_agenerator.h.
const TaTransSet< TransAttr > & faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TransRelTaGen | ( | void | ) | [inline, static, protected] |
Static default transition relation prototype (incl.
attribute type)
Definition at line 838 of file cfl_agenerator.h.
void faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UpdateCore | ( | void | ) | [inline, protected, virtual] |
Update my secondary pointers for new core.
Reimplemented from faudes::vGenerator.
Definition at line 912 of file cfl_agenerator.h.
bool faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Valid | ( | void | ) | [inline, virtual] |
Check if generator is valid.
doxygen group
Reimplemented from faudes::vGenerator.
Reimplemented in faudes::TgotoGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1062 of file cfl_agenerator.h.
TaNameSet<EventAttr>* faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::pAlphabet [protected] |
Alphabet, pointer with actual attribute type.
Definition at line 779 of file cfl_agenerator.h.
GlobalAttr* faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::pGlobalAttribute [protected] |
Global attribute, pointer with actual attribute type.
Definition at line 799 of file cfl_agenerator.h.
TaIndexSet<StateAttr>* faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::pStates [protected] |
State set, pointer with actual attribute type.
Definition at line 793 of file cfl_agenerator.h.
ATransSet* faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::pTransRel [protected] |
Transition relation, pointer with actual attribute type.
Definition at line 796 of file cfl_agenerator.h.
libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen