|
|
||||||
|
faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference Detailed Descriptiontemplate<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
|
Public Member Functions | |
Constructor, Destructor and Copy-Methods | |
TmtcGenerator (void) | |
TmtcGenerator (const TmtcGenerator &rOtherGen) | |
TmtcGenerator (const vGenerator &rOtherGen) | |
TmtcGenerator (const std::string &rFileName) | |
~TmtcGenerator (void) | |
virtual TmtcGenerator * | New (void) const |
virtual TmtcGenerator * | Copy (void) const |
virtual TmtcGenerator & | Assign (const Type &rSrc) |
TmtcGenerator & | operator= (const TmtcGenerator &rOtherGen) |
Color Symbol Table | |
SymbolTable * | GlobalColorSymbolTablep (void) const |
SymbolTable * | ColorSymbolTablep (void) const |
void | ColorSymbolTable (SymbolTable *pSymTab) |
void | ColorSymbolTable (const TmtcGenerator &rOtherGen) |
Editing Colored States | |
Idx | InsColoredState (const std::string &rStateName, const std::string &rColorName) |
Idx | InsColoredState (const std::string &rStateName, Idx colorIndex) |
Idx | InsColoredState (const std::string &rStateName, const ColorSet &rColors) |
Idx | InsColoredState (const ColorSet &rColors) |
Idx | InsColor (Idx stateIndex, const std::string &rColorName) |
void | InsColor (Idx stateIndex, Idx colorIndex) |
void | InsColors (Idx stateIndex, const ColorSet &rColors) |
void | DelColor (Idx stateIndex, const std::string &rColorName) |
void | DelColor (Idx stateIndex, Idx colorIndex) |
void | DelColor (const std::string &rColorName) |
void | DelColor (Idx colorIndex) |
void | ClrColors (Idx stateIndex) |
void | ClearStateAttributes () |
Analyse Colored States and State Colors | |
void | Colors (ColorSet &rColors) const |
ColorSet | Colors (void) const |
const ColorSet & | Colors (Idx stateIndex) const |
StateSet | ColoredStates (Idx colorIndex) const |
StateSet | ColoredStates (const std::string &rColorName) const |
StateSet | ColoredStates () const |
StateSet | UncoloredStates () const |
bool | ExistsColor (Idx colorIndex) const |
bool | ExistsColor (const std::string &rColorName) const |
bool | ExistsColor (Idx stateIndex, Idx colorIndex) const |
bool | IsColored (void) const |
bool | IsColored (Idx stateIndex) const |
Symbol Table | |
void | DelColorName (Idx colorIndex) |
void | CheckSymbolTable (Idx colorIndex) |
void | CheckSymbolTable (ColorSet &rColors) |
std::string | ColorName (Idx colorIndex) const |
Idx | ColorIndex (const std::string &rColorName) const |
Output Methods | |
virtual void | DotWrite (const std::string &rFileName) const |
std::string | CStr (Idx index) const |
Reachability | |
StateSet | StronglyCoaccessibleSet (void) const |
bool | StronglyCoaccessible (void) |
bool | IsStronglyCoaccessible (void) const |
StateSet | StronglyTrimSet (void) const |
bool | StronglyTrim (void) |
bool | IsStronglyTrim (void) const |
Further Methods | |
void | NewColorSymbolTable () |
std::map< Idx, ColorSet > | StateColorMap (void) const |
![]() | |
TcGenerator (void) | |
TcGenerator (const vGenerator &rOtherGen) | |
TcGenerator (const TcGenerator &rOtherGen) | |
TcGenerator (const std::string &rFileName) | |
virtual const Type * | Cast (const Type *pOther) const |
TcGenerator | NewCGen (void) const |
TcGenerator & | operator= (const TcGenerator &rOtherGen) |
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) |
bool | Valid (void) const |
virtual void | Clear (void) |
const TaEventSet< EventAttr > & | Alphabet (void) const |
const TaStateSet< StateAttr > & | States (void) const |
const ATransSet & | TransRel (void) const |
void | TransRel (TransSetX1EvX2 &res) const |
void | TransRel (TransSetEvX1X2 &res) const |
void | TransRel (TransSetEvX2X1 &res) const |
void | TransRel (TransSetX2EvX1 &res) const |
void | TransRel (TransSetX2X1Ev &res) const |
void | TransRel (TransSetX1X2Ev &res) const |
bool | InsEvent (Idx index) |
Idx | InsEvent (const std::string &rName) |
bool | InsEvent (Idx index, const EventAttr &rAttr) |
Idx | InsEvent (const std::string &rName, const EventAttr &rAttr) |
void | InjectAlphabet (const EventSet &rNewalphabet) |
void | InjectAlphabet (const TaEventSet< EventAttr > &rNewalphabet) |
Idx | InsState (void) |
Idx | InsState (const StateAttr &attr) |
bool | InsState (Idx index) |
Idx | InsState (const std::string &rName) |
Idx | InsState (const std::string &rName, const StateAttr &attr) |
bool | InsState (Idx index, const StateAttr &attr) |
void | InjectStates (const StateSet &rNewStates) |
void | InjectStates (const TaStateSet< StateAttr > &rNewStates) |
bool | SetTransition (Idx x1, Idx ev, Idx x2) |
bool | SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) |
bool | SetTransition (const Transition &rTransition) |
bool | SetTransition (const Transition &rTransition, const TransAttr &rAttr) |
void | InjectTransRel (const TransSet &rNewtransrel) |
void | InjectTransRel (const ATransSet &rNewtransrel) |
void | EventAttribute (Idx index, const EventAttr &rAttr) |
void | EventAttribute (Idx index, const Type &rAttr) |
const EventAttr & | EventAttribute (Idx index) const |
const EventAttr & | EventAttribute (const std::string &rName) const |
EventAttr * | EventAttributep (Idx index) |
EventAttr * | EventAttributep (const std::string &rName) |
void | StateAttribute (Idx index, const StateAttr &rAttr) |
void | StateAttribute (Idx index, const Type &rAttr) |
const StateAttr & | StateAttribute (Idx index) const |
StateAttr * | StateAttributep (Idx index) |
void | TransAttribute (const Transition &rTrans, const TransAttr &rAttr) |
void | TransAttribute (const Transition &rTrans, const Type &rAttr) |
const TransAttr & | TransAttribute (const Transition &rTrans) const |
TransAttr * | TransAttributep (const Transition &rTrans) |
void | GlobalAttribute (const GlobalAttr &rAttr) |
void | GlobalAttribute (const Type &rAttr) |
const GlobalAttr & | GlobalAttribute (void) const |
GlobalAttr * | GlobalAttributep (void) |
![]() | |
vGenerator (void) | |
vGenerator (const vGenerator &rOtherGen) | |
vGenerator (const std::string &rFileName) | |
virtual | ~vGenerator (void) |
virtual vGenerator & | AssignWithoutAttributes (const vGenerator &rGen) |
vGenerator & | operator= (const vGenerator &rOtherGen) |
virtual void | Version (const std::string &rVersion, vGenerator &rResGen) const |
virtual void | Version (Idx version, vGenerator &rResGen) const |
virtual void | Version (const std::string &rPattern, const std::string &rReplacement, vGenerator &rResGen) const |
void | 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 | 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 | 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 | |
void | DoAssign (const TmtcGenerator &rSrc) |
virtual void | DoSWrite (TokenWriter &rTw) const |
![]() | |
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 | 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 |
Protected Attributes | |
SymbolTable * | mpColorSymbolTable |
![]() | |
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 | |
![]() | |
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) |
![]() | |
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) |
![]() | |
static Idx | msObjectCount = 0 |
static bool | msStateNamesEnabledDefault = true |
static bool | msReindexOnWriteDefault = false |
faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TmtcGenerator | ( | void | ) |
doxygen group Creates an emtpy MtcSystem
Definition at line 801 of file mtc_generator.h.
faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TmtcGenerator | ( | const TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) |
Creates an mtcgenerator from another mtcgenerator - copy constructor:
If the other MtcSystem uses a local color symbol table, the new generator also creates a local symbol table. This new one is empty! If you use a local symbol table, you should implement a copy mechanism for the entries of the original generator's symbol table.
rOtherGen | Other mtcgenerator to copy |
Definition at line 807 of file mtc_generator.h.
faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TmtcGenerator | ( | const vGenerator & | rOtherGen | ) |
Creates an mtcgenerator from another generator - copy constructor
rOtherGen | Other generator to copy |
Definition at line 816 of file mtc_generator.h.
faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TmtcGenerator | ( | const std::string & | rFileName | ) |
Constructs an MtcSystem from file
Define FAUDES_CHECKED for consistency checks
rFileName | Filename |
Exception |
|
Definition at line 823 of file mtc_generator.h.
|
inline |
Destructor for MtcSystem
Definition at line 103 of file mtc_generator.h.
|
virtual |
Assignment
rSrc | MtcSystem to copy from |
Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 879 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::CheckSymbolTable | ( | ColorSet & | rColors | ) |
Delete all colors from the given color set from the color symbol table by calling DelColorName if they are not used anymore. rColors must use the same symbol table as the MtcSystem!
rColors | Color set with all colors that will be deleted from symbol table if not used anymore |
Exception |
|
Definition at line 1237 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::CheckSymbolTable | ( | Idx | colorIndex | ) |
Delete the given color from the symbol table if it is not used anymore in the generator by calling DelColorName.
colorIndex | Color which will be deleted from symbol table if not used anymore |
Definition at line 1227 of file mtc_generator.h.
|
virtual |
Clear all the generator's state attributes. The current implementation also clears the color symbol table if it is local. This behaviour may change in future.
Reimplemented from faudes::vGenerator.
Definition at line 1622 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrColors | ( | Idx | stateIndex | ) |
Remove all colors from a particular state. If symbol table is local, unused colors are deleted from it, global symbol table stays untouched.
Define FAUDES_CHECKED for consistency checks
stateIndex | State where colors should be removed |
Exception |
|
Definition at line 1155 of file mtc_generator.h.
StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColoredStates |
Returns a state set containing all colored states of the MtcSystem.
Definition at line 1471 of file mtc_generator.h.
StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColoredStates | ( | const std::string & | rColorName | ) | const |
Returns a state set containing all states that are colored with the color given by name.
rColorName | Color whose corresponding states shall be returned |
Definition at line 1465 of file mtc_generator.h.
StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColoredStates | ( | Idx | colorIndex | ) | const |
Returns a state set containing all states that are colored with the color given by index.
colorIndex | Color whose corresponding states shall be returned |
Definition at line 1455 of file mtc_generator.h.
Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColorIndex | ( | const std::string & | rColorName | ) | const |
Look up the color index for a given color name.
rColorName |
Definition at line 1285 of file mtc_generator.h.
std::string faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColorName | ( | Idx | colorIndex | ) | const |
Look up the color name for a given color index.
colorIndex |
Definition at line 1280 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Colors | ( | ColorSet & | rColors | ) | const |
doxygen group Insert all colors used in the generator to a given ColorSet.
rColors | Color set in which all colors of the generator will be inserted |
Exception |
|
Definition at line 1182 of file mtc_generator.h.
const ColorSet & faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Colors | ( | Idx | stateIndex | ) | const |
Return a color set which contains all colors of one state.
Exception |
|
Definition at line 1209 of file mtc_generator.h.
ColorSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Colors | ( | void | ) | const |
Returns a color set containing all the generator's colors.
Definition at line 1198 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColorSymbolTable | ( | const TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) |
Set ColorSymbolTable as given by rOtherGen.
rOtherGen | Other generator |
Definition at line 912 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColorSymbolTable | ( | SymbolTable * | pSymTab | ) |
Set ColorSymbolTable to be used by this MtcSystem. Note: the managemnt of local color symbol tables needs a re-design. Dont use thus feature.
pSymTab | Pointer to SymbolTable |
Definition at line 907 of file mtc_generator.h.
SymbolTable * faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColorSymbolTablep | ( | void | ) | const |
Get Pointer to ColorSymbolTable currently used by this MtcSystem.
Definition at line 902 of file mtc_generator.h.
|
virtual |
Construct copy on heap.
Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 844 of file mtc_generator.h.
std::string faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::CStr | ( | Idx | index | ) | const |
Return pretty printable color name for index. Primary meant for debugging messages.
index |
Definition at line 1290 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelColor | ( | const std::string & | rColorName | ) |
Remove color by name from all states
rColorName | Name of state color |
Definition at line 1130 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelColor | ( | Idx | colorIndex | ) |
Remove color by index from all states
colorIndex | Index of state color |
Definition at line 1144 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelColor | ( | Idx | stateIndex, |
const std::string & | rColorName | ||
) |
Remove color by name from an existing state specified by index
Define FAUDES_CHECKED for consistency checks.
stateIndex | State index |
rColorName | Name of the state color |
Definition at line 1075 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelColor | ( | Idx | stateIndex, |
Idx | colorIndex | ||
) |
Remove color by index form an existing state specified by index
Define FAUDES_CHECKED for consistency checks.
stateIndex | State index |
colorIndex | Index of the state color |
Exception |
|
Definition at line 1105 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelColorName | ( | Idx | colorIndex | ) |
doxygen group Finally deletes a color name and its index from the currently used symbol table.
colorIndex | Index of color to delete from symbol table |
Definition at line 1177 of file mtc_generator.h.
|
protected |
Assignment
Definition at line 855 of file mtc_generator.h.
|
protectedvirtual |
Token output, see Type::SWrite for public wrappers. The method assumes that the type parameter is a faudes type and uses the provide write method per entry. Reimplement this function in derived classes for non-faudes type vectors.
rTw | Reference to TokenWriter |
Exception |
|
Reimplemented from faudes::vGenerator.
Definition at line 1629 of file mtc_generator.h.
|
virtual |
doxygen group Writes generator to dot input format.
The dot file format is specified by the graphiz package; see http://www.graphviz.org. The package includes the dot command line tool to generate a graphical representation of the generators graph. See also Generator::GraphWrite(). This functions sets the re-indexing to minimal indices.
rFileName | Name of file to save result |
Reimplemented from faudes::vGenerator.
Definition at line 1311 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ExistsColor | ( | const std::string & | rColorName | ) | const |
Check if color exists in generator.
Define FAUDES_CHECKED for consistency checks
rColorName | Color name which will be examined regarding existence in the generator |
Exception |
|
Definition at line 1267 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ExistsColor | ( | Idx | colorIndex | ) | const |
Check if color exists in generator.
colorIndex | Index which will be examined regarding existence in the generator |
Definition at line 1258 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ExistsColor | ( | Idx | stateIndex, |
Idx | colorIndex | ||
) | const |
Check if color exists in a given state of the MtcSystem.
Define FAUDES_CHECKED for consistency checks
stateIndex | Index which determines the generator's state |
colorIndex | Color index to look for in given state |
Exception |
|
Definition at line 1295 of file mtc_generator.h.
SymbolTable * faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalColorSymbolTablep | ( | void | ) | const |
doxygen group Get Pointer to global ColorSymbolTable. This is a static member of ColorSet and used as default for all derived classes and instantiated objects.
Definition at line 897 of file mtc_generator.h.
Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColor | ( | Idx | stateIndex, |
const std::string & | rColorName | ||
) |
Insert a color by name into an existing state
Define FAUDES_CHECKED for consistency checks
stateIndex | Index of state to be set as colored state |
rColorName | Name of state color to be added |
Exception |
|
Definition at line 988 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColor | ( | Idx | stateIndex, |
Idx | colorIndex | ||
) |
Insert a color by index into an existing state
Define FAUDES_CHECKED for consistency checks
stateIndex | Index of state to be set as colored state |
colorIndex | Index of color to be added to state, must already exist in symbol table |
Exception |
|
Definition at line 1016 of file mtc_generator.h.
Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColoredState | ( | const ColorSet & | rColors | ) |
Create a new unnamed state and set the colors from rColors
rColors | Color set |
Definition at line 981 of file mtc_generator.h.
Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColoredState | ( | const std::string & | rStateName, |
const ColorSet & | rColors | ||
) |
Create a new named state and set the colors from rColors
rStateName | Name of the state to add |
rColors | Color set |
Definition at line 974 of file mtc_generator.h.
Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColoredState | ( | const std::string & | rStateName, |
const std::string & | rColorName | ||
) |
doxygen group Create a new named state and set the color rColorName
Define FAUDES_CHECKED for consistency checks
rStateName | Name of the state to add |
rColorName | Name of the state color |
Exception |
|
Definition at line 917 of file mtc_generator.h.
Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColoredState | ( | const std::string & | rStateName, |
Idx | colorIndex | ||
) |
Create a new named state and set the color colorIndex
Define FAUDES_CHECKED for consistency checks
rStateName | Name of the state to add |
colorIndex | Index of the state color, must already exist in symbol table |
Exception |
|
Definition at line 955 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColors | ( | Idx | stateIndex, |
const ColorSet & | rColors | ||
) |
Insert multiple colors from a color set into an existing state
Define FAUDES_CHECKED for consistency checks
stateIndex | Index of state to be set as colored state |
rColors | Reference to color set with colors to set for state, colors must already exist in symbol table |
Exception |
|
Definition at line 1042 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsColored | ( | Idx | stateIndex | ) | const |
Check if the given state is colored or not.
Define FAUDES_CHECKED for consistency checks
stateIndex | State to examine |
Exception |
|
Definition at line 1500 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsColored | ( | void | ) | const |
Check if there is at least one colored state in the MtcSystem.
Definition at line 1491 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsStronglyCoaccessible | ( | void | ) | const |
Check if MtcSystem is strongly coaccessible.
Definition at line 1544 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsStronglyTrim | ( | void | ) | const |
Check if the MtcSystem is strongly trim.
Definition at line 1570 of file mtc_generator.h.
|
virtual |
Construct on heap.
Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 830 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewColorSymbolTable |
doxygen group Insert a new local color symbol table. mpColorSymbolTable is reset. The color symbol table pointer in every state attribute's mColors is also reset to the new symbol table. If there already exist color entries in the current symbol table, they are copied to the new local one.
Define FAUDES_CHECKED for consistency checks
Exception |
|
Definition at line 1582 of file mtc_generator.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 139 of file mtc_generator.h.
std::map< Idx, ColorSet > faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StateColorMap | ( | void | ) | const |
Return a color map with state indices and their corresponding colors. Only states with asociated colors are part of this list.
Definition at line 1443 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StronglyCoaccessible | ( | void | ) |
Make generator strongly coaccessible. Forbidden states are deleted.
| |||
|
Definition at line 1537 of file mtc_generator.h.
StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StronglyCoaccessibleSet | ( | void | ) | const |
doxygen group Generate a state set with all strongly coaccessible states.
Definition at line 1515 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StronglyTrim | ( | void | ) |
Make generator strongly trim. Therefore, the forbidden states are deleted.
| |||
|
Definition at line 1556 of file mtc_generator.h.
StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StronglyTrimSet | ( | void | ) | const |
Generate a state set with all the strongly trim generator's states.
Definition at line 1549 of file mtc_generator.h.
StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UncoloredStates |
Returns a state set containing all states that are not colored.
Definition at line 1481 of file mtc_generator.h.
|
protected |
Pointer to currently used symbol table
Definition at line 723 of file mtc_generator.h.
libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen