|
|
||||||
|
faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference Detailed Descriptiontemplate<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
|
Public Member Functions | |
TtGenerator (void) | |
TtGenerator (const TtGenerator &rOtherGen) | |
TtGenerator (const vGenerator &rOtherGen) | |
TtGenerator & | operator= (const TtGenerator &rOtherGen) |
TtGenerator (const std::string &rFileName) | |
TtGenerator * | New (void) const |
TtGenerator * | Copy (void) const |
virtual const Type * | Cast (const Type *pOther) const |
TtGenerator | NewTGen (void) const |
SymbolTable * | ClockSymbolTablep (void) const |
void | ClockSymbolTablep (SymbolTable *pClockSymTab) |
Idx | ClocksSize (void) const |
const ClockSet & | Clocks (void) const |
ClockSet * | Clocksp (void) |
void | InjectClocks (const ClockSet &newclocks) |
std::string | ClockName (Idx index) const |
Idx | ClockIndex (const std::string &rName) const |
bool | InsClock (Idx index) |
Idx | InsClock (const std::string &rName) |
void | InsClocks (const ClockSet &rClockSet) |
bool | DelClock (Idx index) |
bool | DelClock (const std::string &rName) |
void | DelClocks (const ClockSet &rClocks) |
bool | ExistsClock (Idx index) const |
bool | ExistsClock (const std::string &rName) const |
ClockSet::Iterator | FindClock (Idx index) const |
ClockSet::Iterator | FindClock (const std::string &rName) const |
ClockSet | ActiveClocks (void) const |
ClockSet | InactiveClocks (void) const |
void | InsActiveClocks (void) |
void | DelInactiveClocks (void) |
ClockSet::Iterator | ClocksBegin (void) const |
ClockSet::Iterator | ClocksEnd (void) const |
void | ConsistentTimeConstraint (const TimeConstraint &rTimeConstr) const |
void | ConsistentClocks (const ClockSet &rClocks) const |
const TimeConstraint & | Invariant (Idx idx) const |
TimeConstraint * | Invariantp (Idx idx) |
const TimeConstraint & | Invariant (const std::string &name) const |
TimeConstraint * | Invariantp (const std::string &name) |
void | Invariant (Idx index, const TimeConstraint &rConstraints) |
void | Invariant (const std::string &name, const TimeConstraint &rConstraints) |
void | InsInvariant (const std::string &name, const TimeConstraint &rConstraints) |
void | InsInvariant (Idx index, const TimeConstraint &rConstraints) |
void | ClrInvariant (Idx idx) |
void | ClrInvariant (const std::string &name) |
void | ClearInvariants (void) |
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, const TransAttr &rAttr) |
bool | SetTransition (const Transition &rTrans, const TimeConstraint &rGuard=TimeConstraint(), const ClockSet &rResets=ClockSet()) |
bool | SetTransition (Idx x1, Idx ev, Idx x2, const TimeConstraint &rguard, const ClockSet &rResetClocks=ClockSet()) |
bool | SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2, const TimeConstraint &rGuard=TimeConstraint(), const ClockSet &rResets=ClockSet()) |
void | Guard (const Transition &rTrans, const TimeConstraint &rGuard) |
void | InsGuard (const Transition &rTrans, const TimeConstraint &rConstraints) |
const TimeConstraint & | Guard (const Transition &rTrans) const |
TimeConstraint * | Guardp (const Transition &rTrans) |
void | ClrGuard (const Transition &rTrans) |
void | Resets (const Transition &rTrans, const ClockSet &rResets) |
void | InsResets (const Transition &rTrans, const ClockSet &rMoreResets) |
const ClockSet & | Resets (const Transition &rTrans) const |
ClockSet * | Resetsp (const Transition &rTrans) |
void | ClrResets (const Transition &rTrans) |
std::string | CStr (Idx index) const |
virtual bool | Valid (void) const |
virtual bool | UpdateAttributes (void) |
![]() | |
TcGenerator (void) | |
TcGenerator (const vGenerator &rOtherGen) | |
TcGenerator (const TcGenerator &rOtherGen) | |
TcGenerator (const std::string &rFileName) | |
TcGenerator | NewCGen (void) const |
TcGenerator & | operator= (const TcGenerator &rOtherGen) |
virtual TcGenerator & | Assign (const Type &rSource) |
void | InsControllableEvent (Idx index) |
Idx | InsControllableEvent (const std::string &rName) |
void | InsUncontrollableEvent (Idx index) |
Idx | InsUncontrollableEvent (const std::string &rName) |
void | SetControllable (Idx index) |
void | SetControllable (const std::string &rName) |
void | SetControllable (const EventSet &rEvents) |
void | ClrControllable (Idx index) |
void | ClrControllable (const std::string &rName) |
void | ClrControllable (const EventSet &rEvents) |
bool | Controllable (Idx index) const |
bool | Controllable (const std::string &rName) const |
EventSet | ControllableEvents (void) const |
EventSet | UncontrollableEvents (void) const |
void | InsObservableEvent (Idx index) |
Idx | InsObservableEvent (const std::string &rName) |
void | InsUnobservableEvent (Idx index) |
Idx | InsUnobservableEvent (const std::string &rName) |
void | SetObservable (Idx index) |
void | SetObservable (const std::string &rName) |
void | SetObservable (const EventSet &rEvents) |
void | ClrObservable (Idx index) |
void | ClrObservable (const std::string &rName) |
void | ClrObservable (const EventSet &rEvents) |
bool | Observable (Idx index) const |
bool | Observable (const std::string &rName) const |
EventSet | ObservableEvents (void) const |
EventSet | UnobservableEvents (void) const |
void | InsForcibleEvent (Idx index) |
Idx | InsForcibleEvent (const std::string &rName) |
void | InsUnforcibleEvent (Idx index) |
Idx | InsUnforcibleEvent (const std::string &rName) |
void | SetForcible (Idx index) |
void | SetForcible (const std::string &rName) |
void | SetForcible (const EventSet &rEvents) |
void | ClrForcible (Idx index) |
void | ClrForcible (const std::string &rName) |
void | ClrForcible (const EventSet &rEvents) |
bool | Forcible (Idx index) const |
bool | Forcible (const std::string &rName) const |
EventSet | ForcibleEvents (void) const |
EventSet | UnforcibleEvents (void) const |
void | InsHighlevelEvent (Idx index) |
Idx | InsHighlevelEvent (const std::string &rName) |
void | InsLowlevelEvent (Idx index) |
Idx | InsLowlevelEvent (const std::string &rName) |
void | SetHighlevel (Idx index) |
void | SetHighlevel (const std::string &rName) |
void | SetHighlevel (const EventSet &rEvents) |
void | SetLowlevel (Idx index) |
void | SetLowlevel (const std::string &rName) |
void | SetLowlevel (const EventSet &rEvents) |
bool | Highlevel (Idx index) const |
bool | Highlevel (const std::string &rName) const |
bool | Lowlevel (Idx index) const |
bool | Lowlevel (const std::string &rName) const |
EventSet | HighlevelEvents (void) const |
EventSet | LowlevelEvents (void) const |
![]() | |
TaGenerator (void) | |
TaGenerator (const TaGenerator &rOtherGen) | |
TaGenerator (const vGenerator &rOtherGen) | |
TaGenerator (const std::string &rFileName) | |
virtual TaGenerator | NewAGen (void) const |
virtual | ~TaGenerator (void) |
TaGenerator & | operator= (const TaGenerator &rOtherGen) |
virtual void | Move (TaGenerator &rGen) |
virtual void | Move (Generator &rGen) |
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 | 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 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) |
Additional Inherited Members | |
![]() | |
typedef TaTransSet< TransAttr > | ATransSet |
![]() | |
static SymbolTable * | GlobalEventSymbolTablep (void) |
static void | StateNamesEnabledDefault (bool flag) |
static void | ReindexOnWriteDefault (bool flag) |
static bool | ReindexOnWriteDefault (void) |
![]() | |
static void | Skip (TokenReader &rTr) |
![]() | |
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 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) |
![]() | |
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 |
![]() | |
static Idx | msObjectCount = 0 |
static bool | msStateNamesEnabledDefault = true |
static bool | msReindexOnWriteDefault = false |
faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TtGenerator | ( | void | ) |
Constructor
Definition at line 794 of file tp_tgenerator.h.
faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TtGenerator | ( | const TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) |
faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TtGenerator | ( | const vGenerator & | rOtherGen | ) |
Copy constructor (no attributes)
rOtherGen |
Definition at line 809 of file tp_tgenerator.h.
faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TtGenerator | ( | const std::string & | rFileName | ) |
Construct from file
rFileName | Name of file |
Exception |
|
Definition at line 818 of file tp_tgenerator.h.
ClockSet faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ActiveClocks | ( | void | ) | const |
Returns all clocks used by all TimeConstraints and Resets. Should be a subset of Clocks()
Definition at line 970 of file tp_tgenerator.h.
|
inlinevirtual |
Type test. Uses C++ dynamic cast to test whether the specified object casts to a TimedGenerator.
Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 169 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClearInvariants | ( | void | ) |
Clear all invariants
Definition at line 1141 of file tp_tgenerator.h.
Idx faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClockIndex | ( | const std::string & | rName | ) | const |
Looks up clock index for given name
rName | Clock name |
Definition at line 965 of file tp_tgenerator.h.
std::string faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClockName | ( | Idx | index | ) | const |
Looks up clock name for given index
index | Clock index |
Definition at line 960 of file tp_tgenerator.h.
const ClockSet & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Clocks | ( | void | ) | const |
ClockSet::Iterator faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClocksBegin | ( | void | ) | const |
Iterator to Begin() of mClocks
Definition at line 1010 of file tp_tgenerator.h.
ClockSet::Iterator faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClocksEnd | ( | void | ) | const |
Iterator to End() of mClocks
Definition at line 1015 of file tp_tgenerator.h.
ClockSet * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Clocksp | ( | void | ) |
Idx faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClocksSize | ( | void | ) | const |
Number of clocks in mClocks
Definition at line 867 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClockSymbolTablep | ( | SymbolTable * | pClockSymTab | ) |
Set ClockSymbolTable.
pClockSymTab | Pointer SymbolTable |
Definition at line 830 of file tp_tgenerator.h.
SymbolTable * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClockSymbolTablep | ( | void | ) | const |
Get Pointer to mpClockSymbolTable.
Definition at line 825 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrGuard | ( | const Transition & | rTrans | ) |
Clears Guard of a transition
rTrans | transition to manupilate |
Definition at line 1271 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInvariant | ( | const std::string & | name | ) |
Clear invariant of state by name
name | State name |
Definition at line 1135 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInvariant | ( | Idx | idx | ) |
Clear invariant of state by index
idx | State index |
Definition at line 1129 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrResets | ( | const Transition & | rTrans | ) |
Clears Resets of a transition
rTrans | transition to manupilate |
Definition at line 1341 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ConsistentClocks | ( | const ClockSet & | rClocks | ) | const |
Throw exception if clocksset contains clocks not in generators clockset or symboltable mismatch
Exception |
|
Definition at line 1037 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ConsistentTimeConstraint | ( | const TimeConstraint & | rTimeConstr | ) | const |
Throw exception if timeconstraint refers to clocks not in clockset or symboltable mismatch
Exception |
|
Definition at line 1020 of file tp_tgenerator.h.
|
virtual |
Construct copy on heap. Constructs a TtGenerator on heap with the same attribute types and the same event- and clock-symboltable.
Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 850 of file tp_tgenerator.h.
std::string faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::CStr | ( | Idx | index | ) | const |
Return pretty printable clock name for index. Primary meant for debugging messages
index | Event index |
Definition at line 1411 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelClock | ( | const std::string & | rName | ) |
Delete clock from generator by name. mpClockSymbolTable stays untouched. Also removes constraints and resets that refer to this clock
rName | Name of clock |
Definition at line 923 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelClock | ( | Idx | index | ) |
Delete clock from generator by index. This also removes any constraints and resets that refer to that clock.
index | Index of clock |
Definition at line 904 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelClocks | ( | const ClockSet & | rClocks | ) |
Delete a set of clocks from generator.
rClocks | ClockSet containing clocks to remove |
Definition at line 929 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelInactiveClocks | ( | void | ) |
Update Clocks not to include any inactive clocks
Definition at line 1003 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ExistsClock | ( | const std::string & | rName | ) | const |
Test existence of clock in mClock
rName | Clock name |
Definition at line 944 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ExistsClock | ( | Idx | index | ) | const |
Test existence of clock in mClocks
index | Clock index |
Definition at line 939 of file tp_tgenerator.h.
ClockSet::Iterator faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::FindClock | ( | const std::string & | rName | ) | const |
Returns an iterator to clock index in mClock
rName | Clock name of index to find |
Definition at line 955 of file tp_tgenerator.h.
ClockSet::Iterator faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::FindClock | ( | Idx | index | ) | const |
Returns a niterator to clock index in mClock
index | Index to find |
Definition at line 950 of file tp_tgenerator.h.
const TimeConstraint & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Guard | ( | const Transition & | rTrans | ) | const |
Gets Guard refernce of a transition
rTrans | transition to inspect |
Definition at line 1216 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Guard | ( | const Transition & | rTrans, |
const TimeConstraint & | rGuard | ||
) |
Sets Guard of a transition
rTrans | transition to manupilate |
rGuard | new Guard of transition. |
Definition at line 1242 of file tp_tgenerator.h.
TimeConstraint * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Guardp | ( | const Transition & | rTrans | ) |
Gets Guard pointer of ransition
rTrans | transition to inspect |
Definition at line 1229 of file tp_tgenerator.h.
ClockSet faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InactiveClocks | ( | void | ) | const |
Returns all clocks not used by any TimeConstraints or Reset.
Definition at line 987 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectClocks | ( | const ClockSet & | newclocks | ) |
Overwrites mClocks with newclocks without consistency check
newclocks | New clocks that are written to mClocks |
Definition at line 882 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsActiveClocks | ( | void | ) |
Update Clocks to include all active clocks
Definition at line 996 of file tp_tgenerator.h.
Idx faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsClock | ( | const std::string & | rName | ) |
Add named clock to generator. An entry in the mpClockSymbolTable will be made if clock is new.
rName | Name of the clock to add |
Definition at line 893 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsClock | ( | Idx | index | ) |
Add an existing clock to mClcoks by index
index | Clock index |
Definition at line 888 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsClocks | ( | const ClockSet & | rClockSet | ) |
Add new named clocks to generator.
rClockSet | ClockSet |
Definition at line 898 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsGuard | ( | const Transition & | rTrans, |
const TimeConstraint & | rConstraints | ||
) |
adds constraints to Guard of a transition
rTrans | transition to manupilate |
rConstraints | new constraints for Guard |
Definition at line 1256 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsInvariant | ( | const std::string & | name, |
const TimeConstraint & | rConstraints | ||
) |
Ins invariant of state by name
name | State name |
rConstraints | New constraints |
Definition at line 1122 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsInvariant | ( | Idx | index, |
const TimeConstraint & | rConstraints | ||
) |
Ins invariant of state by name
index | State index |
rConstraints | New constraints |
Definition at line 1106 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsResets | ( | const Transition & | rTrans, |
const ClockSet & | rMoreResets | ||
) |
adds Resets of a transition
rTrans | transition to manupilate |
rMoreResets | new Resets of transition. |
Definition at line 1325 of file tp_tgenerator.h.
const TimeConstraint & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariant | ( | const std::string & | name | ) | const |
Get invariant of state by name
name | State name |
Definition at line 1072 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariant | ( | const std::string & | name, |
const TimeConstraint & | rConstraints | ||
) |
Set invariant of state by name
name | State name |
rConstraints | New constraints |
Definition at line 1099 of file tp_tgenerator.h.
const TimeConstraint & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariant | ( | Idx | idx | ) | const |
Get invariant of state by index
idx | State index |
Definition at line 1052 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariant | ( | Idx | index, |
const TimeConstraint & | rConstraints | ||
) |
Set invariant of state by index
index | State index |
rConstraints | New constraints |
Definition at line 1084 of file tp_tgenerator.h.
TimeConstraint * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariantp | ( | const std::string & | name | ) |
Get invariant of state by name
name | State index |
Definition at line 1078 of file tp_tgenerator.h.
TimeConstraint * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariantp | ( | Idx | idx | ) |
Get invariant of state by index
idx | State index |
Definition at line 1062 of file tp_tgenerator.h.
|
virtual |
Construct on heap. Constructs a TtGenerator on heap with the same attribute types and the same event- and clock-symboltable.
Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 837 of file tp_tgenerator.h.
TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewTGen | ( | void | ) | const |
Construct on stack. Constructs a TtGenerator on stack with the same attribute types and the same event- and clock-symboltable.
Definition at line 858 of file tp_tgenerator.h.
|
inline |
Assignment operator (uses Assign) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly
rOtherGen | Other generator |
Definition at line 129 of file tp_tgenerator.h.
const ClockSet & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Resets | ( | const Transition & | rTrans | ) | const |
Gets Resets refernce of a transition
rTrans | transition to inspect |
Definition at line 1285 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Resets | ( | const Transition & | rTrans, |
const ClockSet & | rResets | ||
) |
Sets Resets of a transition
rTrans | transition to manupilate |
rResets | new Resets of transition. |
Definition at line 1311 of file tp_tgenerator.h.
ClockSet * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Resetsp | ( | const Transition & | rTrans | ) |
Gets Resets pointer of ransition
rTrans | transition to inspect |
Definition at line 1298 of file tp_tgenerator.h.
bool faudes::TtGenerator< 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 1148 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition | ( | const std::string & | rX1, |
const std::string & | rEv, | ||
const std::string & | rX2, | ||
const TimeConstraint & | rGuard = TimeConstraint() , |
||
const ClockSet & | rResets = ClockSet() |
||
) |
Inserts new TimedTransition constructed from parameters. Performs consistency checks for x1, x2, ev and all clocks in rguard and rResetClocks.
rX1 | Start state of new TimedTransition. |
rEv | Event of new TimedTransition. |
rX2 | Goal state of new TimedTransition. |
rGuard | Guard of new TimedTransition. |
rResets | Reset clocks of new TimedTransition. |
Definition at line 1190 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition | ( | const Transition & | rTrans, |
const TimeConstraint & | rGuard = TimeConstraint() , |
||
const ClockSet & | rResets = ClockSet() |
||
) |
Inserts new TimedTransition constructed from parameters. Performs consistency checks for x1, x2, ev and all clocks in rguard and rResetClocks.
rTrans | new transition |
rGuard | Guard of new TimedTransition. |
rResets | Reset clocks of new TimedTransition. |
Definition at line 1164 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition | ( | const Transition & | rTransition, |
const TransAttr & | rAttr | ||
) |
Add a transition with attribute to generator. States and event must already exist!
Define FAUDES_CHECKED for consistency checks.
rTransition | transition |
rAttr | attribute |
Definition at line 1159 of file tp_tgenerator.h.
bool faudes::TtGenerator< 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 1154 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition | ( | Idx | x1, |
Idx | ev, | ||
Idx | x2, | ||
const TimeConstraint & | rguard, | ||
const ClockSet & | rResetClocks = ClockSet() |
||
) |
Inserts new TimedTransition constructed from parameters. Performs consistency checks for x1, x2, ev and all clocks in rguard and rResetClocks.
x1 | Start state of new TimedTransition. |
ev | Event of new TimedTransition. |
x2 | Goal state of new TimedTransition. |
rguard | Guard of new TimedTransition. |
rResetClocks | Reset clocks of new TimedTransition. |
Definition at line 1184 of file tp_tgenerator.h.
|
virtual |
Updates internal attributes. As a demo, we set state flag 0x20000000 for blocking states. Reimplement to your needs.
Reimplemented from faudes::vGenerator.
Definition at line 1388 of file tp_tgenerator.h.
|
virtual |
Check if generator is valid
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Reimplemented in faudes::Executor.
Definition at line 1355 of file tp_tgenerator.h.
libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen