|
faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference Detailed Descriptiontemplate<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Public Member Functions | |
| THioConstraint (void) | |
| THioConstraint (const Generator &rOtherGen) | |
| THioConstraint (const Generator &rOtherGen, const EventSet &rY, const EventSet &rU) | |
| THioConstraint (const THioConstraint &rOtherGen) | |
| THioConstraint (const std::string &rFileName) | |
| THioConstraint * | New (void) const |
| virtual THioConstraint * | Copy (void) const |
| THioConstraint | NewHioConstraint (void) const |
| virtual THioConstraint & | operator= (const THioConstraint &rOtherGen) |
| void | InsYEvent (Idx index) |
| Idx | InsYEvent (const std::string &rName) |
| void | InsUEvent (Idx index) |
| Idx | InsUEvent (const std::string &rName) |
| void | SetY (Idx index) |
| void | SetY (const std::string &rName) |
| void | SetY (const EventSet &rEvents) |
| void | SetU (Idx index) |
| void | SetU (const std::string &rName) |
| void | SetU (const EventSet &rEvents) |
| bool | IsY (Idx index) const |
| bool | IsY (const std::string &rName) const |
| bool | IsU (Idx index) const |
| bool | IsU (const std::string &rName) const |
| EventSet | YEvents (void) const |
| EventSet | UEvents (void) const |
| void | SetQY (Idx index) |
| void | SetQY (const std::string &rName) |
| void | SetQY (const StateSet &rStates) |
| void | ClrQY (Idx index) |
| void | ClrQY (const std::string &rName) |
| void | ClrQY (const StateSet &rStates) |
| bool | IsQY (Idx index) const |
| bool | IsQY (const std::string &rName) const |
| StateSet | QYStates (void) const |
| void | SetQU (Idx index) |
| void | SetQU (const std::string &rName) |
| void | SetQU (const StateSet &rStates) |
| void | ClrQU (Idx index) |
| void | ClrQU (const std::string &rName) |
| void | ClrQU (const StateSet &rStates) |
| bool | IsQU (Idx index) const |
| bool | IsQU (const std::string &rName) const |
| StateSet | QUStates (void) const |
| void | SetErr (Idx index) |
| void | SetErr (const std::string &rName) |
| void | SetErr (const StateSet &rStates) |
| void | ClrErr (Idx index) |
| void | ClrErr (const std::string &rName) |
| void | ClrErr (const StateSet &rStates) |
| bool | IsErr (Idx index) const |
| bool | IsErr (const std::string &rName) const |
| StateSet | ErrStates (void) const |
| virtual bool | UpdateAttributes (void) |
Public Member Functions inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
| TaGenerator (void) | |
| TaGenerator (const TaGenerator &rOtherGen) | |
| TaGenerator (const vGenerator &rOtherGen) | |
| TaGenerator (const std::string &rFileName) | |
| virtual TaGenerator | NewAGen (void) const |
| virtual const Type * | Cast (const Type *pOther) const |
| virtual | ~TaGenerator (void) |
| virtual TaGenerator & | Assign (const Type &rSrc) |
| TaGenerator & | operator= (const TaGenerator &rOtherGen) |
| virtual void | Move (TaGenerator &rGen) |
| virtual void | Move (Generator &rGen) |
| bool | Valid (void) const |
| virtual void | Clear (void) |
| const TaEventSet< EventAttr > & | Alphabet (void) const |
| const TaStateSet< StateAttr > & | States (void) const |
| const ATransSet & | TransRel (void) const |
| void | TransRel (TransSetX1EvX2 &res) const |
| void | TransRel (TransSetEvX1X2 &res) const |
| void | TransRel (TransSetEvX2X1 &res) const |
| void | TransRel (TransSetX2EvX1 &res) const |
| void | TransRel (TransSetX2X1Ev &res) const |
| void | TransRel (TransSetX1X2Ev &res) const |
| bool | InsEvent (Idx index) |
| Idx | InsEvent (const std::string &rName) |
| bool | InsEvent (Idx index, const EventAttr &rAttr) |
| Idx | InsEvent (const std::string &rName, const EventAttr &rAttr) |
| void | InjectAlphabet (const EventSet &rNewalphabet) |
| void | InjectAlphabet (const TaEventSet< EventAttr > &rNewalphabet) |
| Idx | InsState (void) |
| Idx | InsState (const StateAttr &attr) |
| bool | InsState (Idx index) |
| Idx | InsState (const std::string &rName) |
| Idx | InsState (const std::string &rName, const StateAttr &attr) |
| bool | InsState (Idx index, const StateAttr &attr) |
| void | InjectStates (const StateSet &rNewStates) |
| void | InjectStates (const TaStateSet< StateAttr > &rNewStates) |
| bool | SetTransition (Idx x1, Idx ev, Idx x2) |
| bool | SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) |
| bool | SetTransition (const Transition &rTransition) |
| bool | SetTransition (const Transition &rTransition, const TransAttr &rAttr) |
| void | InjectTransRel (const TransSet &rNewtransrel) |
| void | InjectTransRel (const ATransSet &rNewtransrel) |
| void | EventAttribute (Idx index, const EventAttr &rAttr) |
| void | EventAttribute (Idx index, const Type &rAttr) |
| const EventAttr & | EventAttribute (Idx index) const |
| const EventAttr & | EventAttribute (const std::string &rName) const |
| EventAttr * | EventAttributep (Idx index) |
| EventAttr * | EventAttributep (const std::string &rName) |
| void | StateAttribute (Idx index, const StateAttr &rAttr) |
| void | StateAttribute (Idx index, const Type &rAttr) |
| const StateAttr & | StateAttribute (Idx index) const |
| StateAttr * | StateAttributep (Idx index) |
| void | TransAttribute (const Transition &rTrans, const TransAttr &rAttr) |
| void | TransAttribute (const Transition &rTrans, const Type &rAttr) |
| const TransAttr & | TransAttribute (const Transition &rTrans) const |
| TransAttr * | TransAttributep (const Transition &rTrans) |
| void | GlobalAttribute (const GlobalAttr &rAttr) |
| void | GlobalAttribute (const Type &rAttr) |
| const GlobalAttr & | GlobalAttribute (void) const |
| GlobalAttr * | GlobalAttributep (void) |
Public Member Functions inherited from faudes::vGenerator | |
| 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) |
Public Member Functions inherited from faudes::ExtType | |
| 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 |
Public Member Functions inherited from faudes::AttrType | |
| 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 |
Public Member Functions inherited from faudes::Type | |
| 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 | |
Public Types inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
| typedef TaTransSet< TransAttr > | ATransSet |
Static Public Member Functions inherited from faudes::vGenerator | |
| static SymbolTable * | GlobalEventSymbolTablep (void) |
| static void | StateNamesEnabledDefault (bool flag) |
| static void | ReindexOnWriteDefault (bool flag) |
| static bool | ReindexOnWriteDefault (void) |
Static Public Member Functions inherited from faudes::AttrType | |
| static void | Skip (TokenReader &rTr) |
Protected Member Functions inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
| virtual void | NewCore (void) |
| virtual void | UpdateCore (void) |
| void | DoAssign (const TaGenerator &rGen) |
Protected Member Functions inherited from faudes::vGenerator | |
| 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 |
Protected Member Functions inherited from faudes::AttrType | |
| void | DoAssign (const AttrType &rSrc) |
| bool | DoEqual (const AttrType &rOther) const |
Protected Member Functions inherited from faudes::Type | |
| void | DoAssign (const Type &rSrc) |
| bool | DoEqual (const Type &rOther) const |
| virtual Token | XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const |
Static Protected Member Functions inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
| static const TaNameSet< EventAttr > & | AlphabetTaGen (void) |
| static const TaIndexSet< StateAttr > & | StatesTaGen (void) |
| static const ATransSet & | TransRelTaGen (void) |
| static const GlobalAttr & | GlobalTaGen (void) |
Static Protected Member Functions inherited from faudes::vGenerator | |
| static const EventSet & | AlphabetVoid (void) |
| static const StateSet & | StatesVoid (void) |
| static const TransSet & | TransRelVoid (void) |
| static const AttributeVoid & | GlobalVoid (void) |
Protected Attributes inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
| TaNameSet< EventAttr > * | pAlphabet |
| TaIndexSet< StateAttr > * | pStates |
| ATransSet * | pTransRel |
| GlobalAttr * | pGlobalAttribute |
Protected Attributes inherited from faudes::vGenerator | |
| 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 |
Protected Attributes inherited from faudes::ExtType | |
| std::string | mElementType |
| std::string | mElementTagDef |
| std::string | mObjectName |
Static Protected Attributes inherited from faudes::vGenerator | |
| static Idx | msObjectCount = 0 |
| static bool | msStateNamesEnabledDefault = true |
| static bool | msReindexOnWriteDefault = false |
| faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioConstraint | ( | void | ) |
Creates an empty HioConstraint object
Definition at line 531 of file hio_constraint.h.
| faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioConstraint | ( | const Generator & | rOtherGen | ) |
HioConstraint from a std Generator. Copy constructor
| rOtherGen |
Definition at line 541 of file hio_constraint.h.
| faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioConstraint | ( | const Generator & | rOtherGen, |
| const EventSet & | rY, | ||
| const EventSet & | rU | ||
| ) |
HioConstraint from a std Generator and event sets. Copy constructor
| rOtherGen | Generator |
| rY | Output alphabet |
| rU | Input alphabet |
Definition at line 546 of file hio_constraint.h.
| faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioConstraint | ( | const THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) |
HioConstraint from a HioConstraint. Copy constructor
| rOtherGen |
Definition at line 536 of file hio_constraint.h.
| faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioConstraint | ( | const std::string & | rFileName | ) |
construct a HioConstraint from file
| rFileName | Filename |
Definition at line 557 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const StateSet & | rStates | ) |
Mark set of states as NOT Err-states (by index)
| rStates | StateSet |
Definition at line 914 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const std::string & | rName | ) |
Mark state as NOT Err-state (by name)
| rName | State name |
Definition at line 907 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | Idx | index | ) |
Mark state as NOT Err-state (by index)
| index | State index |
Definition at line 899 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQU | ( | const StateSet & | rStates | ) |
Mark set of states as NOT QU-states (by index)
| rStates | StateSet |
Definition at line 843 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQU | ( | const std::string & | rName | ) |
Mark state as NOT QU-state (by name)
| rName | State name |
Definition at line 836 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQU | ( | Idx | index | ) |
Mark state as NOT QU-state (by index)
| index | State index |
Definition at line 828 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQY | ( | const StateSet & | rStates | ) |
Mark set of states as NOT QY-states (by index)
| rStates | StateSet |
Definition at line 764 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQY | ( | const std::string & | rName | ) |
Mark state as NOT QY-state (by name)
| rName | State name |
Definition at line 757 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQY | ( | Idx | index | ) |
Mark state as NOT QY-state (by index)
| index | State index |
Definition at line 749 of file hio_constraint.h.
|
virtual |
Construct copy on heap
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 572 of file hio_constraint.h.
| StateSet faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrStates | ( | void | ) | const |
Get StateSet with Err-states
Definition at line 935 of file hio_constraint.h.
| Idx faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUEvent | ( | const std::string & | rName | ) |
Add new named U-event to generator. An entry in the global event table will be made if event is new.
| rName | Name of the event to add |
Definition at line 658 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUEvent | ( | Idx | index | ) |
Add an existing U-event to generator. An entry in the global event table will be made.
| index | Event index |
Definition at line 650 of file hio_constraint.h.
| Idx faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYEvent | ( | const std::string & | rName | ) |
Add new named Y-event to generator. An entry in the global event table will be made if event is new.
| rName | Name of the event to add |
Definition at line 642 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYEvent | ( | Idx | index | ) |
Add an existing Y-event to generator. An entry in the global event table will be made.
| index | Event index |
Definition at line 634 of file hio_constraint.h.
| bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | const std::string & | rName | ) | const |
Is state Err-state (by name)
| rName | State name |
Definition at line 929 of file hio_constraint.h.
| bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | Idx | index | ) | const |
Is state Err-state (by index)
| index | State index |
Definition at line 923 of file hio_constraint.h.
| bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQU | ( | const std::string & | rName | ) | const |
Is state QU-state (by name)
| rName | State name |
Definition at line 858 of file hio_constraint.h.
| bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQU | ( | Idx | index | ) | const |
Is state QU-state (by index)
| index | State index |
Definition at line 852 of file hio_constraint.h.
| bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQY | ( | const std::string & | rName | ) | const |
Is state QY-state (by name)
| rName | State name |
Definition at line 779 of file hio_constraint.h.
| bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQY | ( | Idx | index | ) | const |
Is state QY-state (by index)
| index | State index |
Definition at line 773 of file hio_constraint.h.
| bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | const std::string & | rName | ) | const |
Is event U-event(by name)
| rName | Event name |
Definition at line 604 of file hio_constraint.h.
| bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | Idx | index | ) | const |
Is event U-event(by index)
| index | Event index |
Definition at line 598 of file hio_constraint.h.
| bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | const std::string & | rName | ) | const |
Is event Y-event(by name)
| rName | Event name |
Definition at line 592 of file hio_constraint.h.
| bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | Idx | index | ) | const |
Is event Y-event(by index)
| index | Event index |
Definition at line 586 of file hio_constraint.h.
|
virtual |
Construct on heap
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 562 of file hio_constraint.h.
| THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewHioConstraint | ( | void | ) | const |
Create empty HioConstraint with same symboltable as this
Definition at line 577 of file hio_constraint.h.
|
inlinevirtual |
Assignment operator (uses copy)
| rOtherGen | Other generator |
Definition at line 121 of file hio_constraint.h.
| StateSet faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUStates | ( | void | ) | const |
Get StateSet with QU-states
Definition at line 864 of file hio_constraint.h.
| StateSet faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYStates | ( | void | ) | const |
Get StateSet with QY-states
Definition at line 785 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const StateSet & | rStates | ) |
Mark set of states as Err-states
| rStates | StateSet |
Definition at line 890 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const std::string & | rName | ) |
Mark state as Err-state (by name)
| rName | State name |
Definition at line 883 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | Idx | index | ) |
Mark state as Err-state (by index)
| index | State index |
Definition at line 875 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQU | ( | const StateSet & | rStates | ) |
Mark set of states as QU-states
| rStates | StateSet |
Definition at line 819 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQU | ( | const std::string & | rName | ) |
Mark state as QU-state (by name)
| rName | State name |
Definition at line 812 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQU | ( | Idx | index | ) |
Mark event as QU-state (by index)
| index | State index |
Definition at line 797 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQY | ( | const StateSet & | rStates | ) |
Mark set of states as QY-states
| rStates | StateSet |
Definition at line 740 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQY | ( | const std::string & | rName | ) |
Mark state as QY-state (by name)
| rName | State name |
Definition at line 733 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQY | ( | Idx | index | ) |
Mark event as QY-state (by index)
| index | State index |
Definition at line 718 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetU | ( | const EventSet & | rEvents | ) |
Mark set of events as U-events
| rEvents | EventSet |
Definition at line 705 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetU | ( | const std::string & | rName | ) |
Mark event U-event(by name)
| rName | Event name |
Definition at line 698 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetU | ( | Idx | index | ) |
Mark event U-event(by index)
| index | Event index |
Definition at line 690 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetY | ( | const EventSet & | rEvents | ) |
Mark set of events as Y-events
| rEvents | EventSet |
Definition at line 681 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetY | ( | const std::string & | rName | ) |
Mark event as Y-event(by name)
| rName | Event name |
Definition at line 674 of file hio_constraint.h.
| void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetY | ( | Idx | index | ) |
Mark event as Y-event (by index)
| index | Event index |
Definition at line 666 of file hio_constraint.h.
| EventSet faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::UEvents | ( | void | ) | const |
Get EventSet with U-events
Definition at line 621 of file hio_constraint.h.
|
inlinevirtual |
Updates internal attributes. This method sets the state partition attributes.
Reimplemented from faudes::vGenerator.
Definition at line 512 of file hio_constraint.h.
| EventSet faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::YEvents | ( | void | ) | const |
Get EventSet with Y-events
Definition at line 610 of file hio_constraint.h.
libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen