faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > Member List

This is the complete list of members for faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, including all inherited members.

Accessible(void)faudes::vGenerator
AccessibleSet(void) constfaudes::vGenerator
ActiveEventSet(Idx x1) constfaudes::vGenerator
ActiveTransSet(Idx x1) constfaudes::vGenerator
Alphabet(void) constfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
AlphabetBegin(void) constfaudes::vGenerator
AlphabetEmpty(void) constfaudes::vGenerator
AlphabetEnd(void) constfaudes::vGenerator
AlphabetSize(void) constfaudes::vGenerator
AlphabetTaGen(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >protectedstatic
AlphabetToString(void) constfaudes::vGenerator
AlphabetVoid(void)faudes::vGeneratorprotectedstatic
Assign(const Type &rSource)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
AssignWithoutAttributes(const vGenerator &rGen)faudes::vGeneratorvirtual
ATransSet typedeffaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
BlockingStates(void) constfaudes::vGenerator
Cast(const Type *pOther) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >inlinevirtual
Clear(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
ClearAttributes(void)faudes::vGeneratorvirtual
ClearEventAttributes(void)faudes::vGeneratorvirtual
ClearGlobalAttribute(void)faudes::vGeneratorvirtual
ClearInitStates(void)faudes::vGenerator
ClearMarkedStates(void)faudes::vGenerator
ClearMinStateIndexMap(void) constfaudes::vGenerator
ClearStateAttributes(void)faudes::vGeneratorvirtual
ClearStateNames(void)faudes::vGenerator
ClearStates(void)faudes::vGenerator
ClearTransAttributes(void)faudes::vGeneratorvirtual
ClearTransRel(void)faudes::vGenerator
ClrControllable(Idx index)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ClrControllable(const std::string &rName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ClrControllable(const EventSet &rEvents)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ClrEventAttribute(Idx index)faudes::vGeneratorvirtual
ClrForcible(Idx index)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ClrForcible(const std::string &rName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ClrForcible(const EventSet &rEvents)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ClrInitState(Idx index)faudes::vGenerator
ClrInitState(const std::string &rName)faudes::vGenerator
ClrInitState(StateSet::Iterator pos)faudes::vGenerator
ClrMarkedState(Idx index)faudes::vGenerator
ClrMarkedState(const std::string &rName)faudes::vGenerator
ClrMarkedState(StateSet::Iterator pos)faudes::vGenerator
ClrObservable(Idx index)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ClrObservable(const std::string &rName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ClrObservable(const EventSet &rEvents)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ClrStateAttribute(Idx index)faudes::vGeneratorvirtual
ClrStateName(Idx index)faudes::vGenerator
ClrStateName(const std::string &rName)faudes::vGenerator
ClrTransAttribute(const Transition &rTrans)faudes::vGeneratorvirtual
ClrTransition(Idx x1, Idx ev, Idx x2)faudes::vGenerator
ClrTransition(const Transition &rTrans)faudes::vGenerator
ClrTransition(TransSet::Iterator it)faudes::vGenerator
ClrTransitions(Idx x1, Idx ev)faudes::vGenerator
ClrTransitions(Idx x1)faudes::vGenerator
Coaccessible(void)faudes::vGenerator
CoaccessibleSet(void) constfaudes::vGenerator
Complete(void)faudes::vGenerator
Complete(const EventSet &rSigmaO)faudes::vGenerator
ConfigureAttributeTypes(const AttributeVoid *pNewGlobalPrototype, const StateSet *pNewStatesPrototype, const EventSet *pNewAlphabetPrototype, const TransSet *pNewTransRelPrototype)faudes::vGeneratorprotected
Controllable(Idx index) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
Controllable(const std::string &rName) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ControllableEvents(void) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
Copy(void) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
DDotWrite(const std::string &rFileName) constfaudes::vGeneratorvirtual
DeleteCore(void)faudes::vGeneratorprotectedvirtual
DelEvent(Idx index)faudes::vGenerator
DelEvent(const std::string &rName)faudes::vGenerator
DelEventFromAlphabet(Idx index)faudes::vGenerator
DelEvents(const EventSet &rEvents)faudes::vGenerator
DelState(Idx index)faudes::vGenerator
DelState(const std::string &rName)faudes::vGenerator
DelStateFromStates(Idx index)faudes::vGenerator
DelStateFromStates(StateSet::Iterator pos)faudes::vGenerator
DelStates(const StateSet &rDelStates)faudes::vGenerator
DoAssign(const TaGenerator &rGen)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >protected
faudes::vGenerator::DoAssign(const vGenerator &rSrc)faudes::vGeneratorprotected
faudes::Type::DoAssign(const Type &rSrc)faudes::Typeprotected
DoDWrite(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) constfaudes::vGeneratorprotectedvirtual
DoEqual(const Type &rOther) constfaudes::Typeprotected
DoRead(TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)faudes::vGeneratorprotectedvirtual
DoSWrite(TokenWriter &rTw) constfaudes::vGeneratorprotectedvirtual
DotWrite(const std::string &rFileName) constfaudes::vGeneratorvirtual
DoWrite(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) constfaudes::vGeneratorprotectedvirtual
DoXWrite(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) constfaudes::vGeneratorprotectedvirtual
DWrite(const Type *pContext=0) constfaudes::Type
DWrite(const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) constfaudes::Type
DWrite(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) constfaudes::Type
DWriteStateSet(TokenWriter &rTw, const StateSet &rStateSet) constfaudes::vGenerator
DWriteTransRel(TokenWriter &rTw) constfaudes::vGenerator
Empty(void) constfaudes::vGenerator
EnforceStateNames(const std::string &rTemplate)faudes::vGenerator
Equal(const Type &rOther) constfaudes::Typevirtual
EStr(Idx index) constfaudes::vGenerator
EventAttribute(Idx index, const EventAttr &rAttr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
EventAttribute(Idx index, const Type &rAttr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
EventAttribute(Idx index) constfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
EventAttribute(const std::string &rName) constfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
EventAttributep(Idx index)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
EventAttributep(const std::string &rName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
EventAttributes(const EventSet &rEventSet)faudes::vGeneratorvirtual
EventIndex(const std::string &rName) constfaudes::vGenerator
EventName(Idx index) constfaudes::vGenerator
EventName(Idx index, const std::string &rName)faudes::vGenerator
EventRename(Idx event, const std::string &rNewName)faudes::vGenerator
EventRename(const std::string &rOldName, const std::string &rNewName)faudes::vGenerator
EventSymbolTablep(void) constfaudes::vGenerator
EventSymbolTablep(SymbolTable *pSymTab)faudes::vGeneratorvirtual
EventSymbolTablep(const vGenerator &rOtherGen)faudes::vGeneratorvirtual
ExistsEvent(Idx index) constfaudes::vGenerator
ExistsEvent(const std::string &rName) constfaudes::vGenerator
ExistsInitState(Idx index) constfaudes::vGenerator
ExistsMarkedState(Idx index) constfaudes::vGenerator
ExistsState(Idx index) constfaudes::vGenerator
ExistsState(const std::string &name) constfaudes::vGenerator
ExistsTransition(const std::string &rX1, const std::string &rEv, const std::string &rX2) constfaudes::vGenerator
ExistsTransition(Idx x1, Idx ev, Idx x2) constfaudes::vGenerator
ExistsTransition(const Transition &rTrans) constfaudes::vGenerator
ExistsTransition(Idx x1, Idx ev) constfaudes::vGenerator
ExistsTransition(Idx x1) constfaudes::vGenerator
FindEvent(Idx index) constfaudes::vGenerator
FindEvent(const std::string &rName) constfaudes::vGenerator
FindInitState(Idx index) constfaudes::vGenerator
FindMarkedState(Idx index) constfaudes::vGenerator
FindState(Idx index) constfaudes::vGenerator
FindState(const std::string &rName) constfaudes::vGenerator
FindTransition(const std::string &rX1, const std::string &rEv, const std::string &rX2) constfaudes::vGenerator
FindTransition(Idx x1, Idx ev, Idx x2) constfaudes::vGenerator
FindTransition(const Transition &rTrans) constfaudes::vGenerator
Forcible(Idx index) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
Forcible(const std::string &rName) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ForcibleEvents(void) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
FromString(const std::string &rString, const std::string &rLabel="", const Type *pContext=0)faudes::Type
GlobalAttribute(const GlobalAttr &rAttr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >inline
GlobalAttribute(const Type &rAttr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >inlinevirtual
GlobalAttribute(void) constfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >inlinevirtual
GlobalAttributep(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >inlinevirtual
GlobalAttributeTry(const Type &rAttr)faudes::vGeneratorvirtual
GlobalEventSymbolTablep(void)faudes::vGeneratorstatic
GlobalTaGen(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >protectedstatic
GlobalVoid(void)faudes::vGeneratorprotectedstatic
GraphWrite(const std::string &rFileName, const std::string &rOutFormat="", const std::string &rDotExec="dot") constfaudes::vGenerator
Highlevel(Idx index) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
Highlevel(const std::string &rName) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
HighlevelEvents(void) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InitState(void) constfaudes::vGenerator
InitStates(void) constfaudes::vGenerator
InitStatesBegin(void) constfaudes::vGenerator
InitStatesEmpty(void) constfaudes::vGenerator
InitStatesEnd(void) constfaudes::vGenerator
InitStatesSize(void) constfaudes::vGenerator
InitStatesToString(void) constfaudes::vGenerator
InjectAlphabet(const EventSet &rNewalphabet)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InjectAlphabet(const TaEventSet< EventAttr > &rNewalphabet)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InjectInitStates(const StateSet &rNewInitStates)faudes::vGenerator
InjectMarkedStates(const StateSet &rNewMarkedStates)faudes::vGenerator
InjectState(Idx index)faudes::vGenerator
InjectStates(const StateSet &rNewStates)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InjectStates(const TaStateSet< StateAttr > &rNewStates)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InjectTransition(const Transition &rTrans)faudes::vGenerator
InjectTransRel(const TransSet &rNewtransrel)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InjectTransRel(const ATransSet &rNewtransrel)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsControllableEvent(Idx index)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsControllableEvent(const std::string &rName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsEvent(Idx index)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsEvent(const std::string &rName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsEvent(Idx index, const EventAttr &rAttr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsEvent(const std::string &rName, const EventAttr &rAttr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsEvents(const EventSet &events)faudes::vGenerator
InsForcibleEvent(Idx index)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsForcibleEvent(const std::string &rName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsHighlevelEvent(Idx index)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsHighlevelEvent(const std::string &rName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsInitState(void)faudes::vGenerator
InsInitState(Idx index)faudes::vGenerator
InsInitState(const std::string &rName)faudes::vGenerator
InsInitStates(const StateSet &rStates)faudes::vGenerator
InsLowlevelEvent(Idx index)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsLowlevelEvent(const std::string &rName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsMarkedState(void)faudes::vGenerator
InsMarkedState(Idx index)faudes::vGenerator
InsMarkedState(const std::string &rName)faudes::vGenerator
InsMarkedStates(const StateSet &rStates)faudes::vGenerator
InsObservableEvent(Idx index)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsObservableEvent(const std::string &rName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsState(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsState(const StateAttr &attr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsState(Idx index)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsState(const std::string &rName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsState(const std::string &rName, const StateAttr &attr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsState(Idx index, const StateAttr &attr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsStates(const StateSet &rStates)faudes::vGenerator
InsUncontrollableEvent(Idx index)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsUncontrollableEvent(const std::string &rName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsUnforcibleEvent(Idx index)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsUnforcibleEvent(const std::string &rName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsUnobservableEvent(Idx index)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsUnobservableEvent(const std::string &rName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
IsAccessible(void) constfaudes::vGenerator
IsCoaccessible(void) constfaudes::vGenerator
IsComplete(void) constfaudes::vGenerator
IsComplete(const StateSet &rStates) constfaudes::vGenerator
IsComplete(const EventSet &rSigmaO) constfaudes::vGenerator
IsDeterministic(void) constfaudes::vGenerator
IsOmegaTrim(void) constfaudes::vGenerator
IsTrim(void) constfaudes::vGenerator
Lowlevel(Idx index) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
Lowlevel(const std::string &rName) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
LowlevelEvents(void) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
MarkedStates(void) constfaudes::vGenerator
MarkedStatesBegin(void) constfaudes::vGenerator
MarkedStatesEmpty(void) constfaudes::vGenerator
MarkedStatesEnd(void) constfaudes::vGenerator
MarkedStatesSize(void) constfaudes::vGenerator
MarkedStatesToString(void) constfaudes::vGenerator
MaxStateIndex(void) constfaudes::vGenerator
mIdfaudes::vGeneratorprotected
MinimizeAlphabet(void)faudes::vGenerator
mInitStatesfaudes::vGeneratorprotected
MinStateIndex(Idx index) constfaudes::vGenerator
MinStateIndex(void)faudes::vGenerator
MinStateIndexMap(void) constfaudes::vGenerator
mMarkedStatesfaudes::vGeneratorprotected
mMinStateIndexMapfaudes::vGeneratorprotected
mMyNamefaudes::vGeneratorprotected
Move(TaGenerator &rGen)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
Move(Generator &rGen)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
mpAlphabetfaudes::vGeneratorprotected
mpEventSymbolTablefaudes::vGeneratorprotected
mpGlobalAttributefaudes::vGeneratorprotected
mpStatesfaudes::vGeneratorprotected
mpStateSymbolTablefaudes::vGeneratorprotected
mpTransRelfaudes::vGeneratorprotected
mReindexOnWritefaudes::vGeneratorprotected
msObjectCountfaudes::vGeneratorprotectedstatic
msReindexOnWriteDefaultfaudes::vGeneratorprotectedstatic
msStateNamesEnabledDefaultfaudes::vGeneratorprotectedstatic
msStringEmptyfaudes::Typeprivatestatic
msStringVoidfaudes::Typeprivatestatic
mStateNamesEnabledfaudes::vGeneratorprotected
mStateSymbolTablefaudes::vGeneratorprotected
Name(const std::string &rName)faudes::vGeneratorvirtual
Name(void) constfaudes::vGeneratorvirtual
New(void) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
NewAGen(void) constfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
NewCGen(void) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
NewCore(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >protectedvirtual
NewEventSet(void) constfaudes::vGenerator
NewEventSetp(void) constfaudes::vGenerator
Observable(Idx index) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
Observable(const std::string &rName) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ObservableEvents(void) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
OmegaTrim(void)faudes::vGenerator
operator!=(const Type &rOther) constfaudes::Typevirtual
operator<(const vGenerator &rOtherGen) constfaudes::vGeneratorinline
operator=(const TcGenerator &rOtherGen)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
faudes::TaGenerator::operator=(const TaGenerator &rOtherGen)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
faudes::vGenerator::operator=(const vGenerator &rOtherGen)faudes::vGeneratorvirtual
faudes::Type::operator=(const Type &rSrc)faudes::Typevirtual
operator==(const Type &rOther) constfaudes::Typevirtual
pAlphabetfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >protected
pAlphabetPrototypefaudes::vGeneratorprotected
pGlobalAttributefaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >protected
pGlobalPrototypefaudes::vGeneratorprotected
pStatesfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >protected
pStatesPrototypefaudes::vGeneratorprotected
pTransRelfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >protected
pTransRelPrototypefaudes::vGeneratorprotected
Read(const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0)faudes::Type
Read(TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)faudes::Type
ReadAlphabet(TokenReader &rTr)faudes::vGeneratorprotected
ReadStates(TokenReader &rTr)faudes::vGeneratorprotected
ReadStateSet(TokenReader &rTr, const std::string &rLabel, StateSet &rStateSet) constfaudes::vGenerator
ReadTransRel(const std::string &rFileName)faudes::vGeneratorprotected
ReadTransRel(TokenReader &rTr)faudes::vGeneratorprotected
ReindexOnWrite(void) constfaudes::vGenerator
ReindexOnWrite(bool flag)faudes::vGenerator
ReindexOnWriteDefault(bool flag)faudes::vGeneratorstatic
ReindexOnWriteDefault(void)faudes::vGeneratorstatic
RestrictAlphabet(const EventSet &rNewalphabet)faudes::vGenerator
RestrictStates(const StateSet &rStates)faudes::vGenerator
SetControllable(Idx index)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetControllable(const std::string &rName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetControllable(const EventSet &rEvents)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetDefaultStateNames(void)faudes::vGenerator
SetForcible(Idx index)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetForcible(const std::string &rName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetForcible(const EventSet &rEvents)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetHighlevel(Idx index)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetHighlevel(const std::string &rName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetHighlevel(const EventSet &rEvents)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetInitState(Idx index)faudes::vGenerator
SetInitState(const std::string &rName)faudes::vGenerator
SetLowlevel(Idx index)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetLowlevel(const std::string &rName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetLowlevel(const EventSet &rEvents)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetMarkedState(Idx index)faudes::vGenerator
SetMarkedState(const std::string &rName)faudes::vGenerator
SetMinStateIndexMap(void) constfaudes::vGenerator
SetObservable(Idx index)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetObservable(const std::string &rName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetObservable(const EventSet &rEvents)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetTransition(Idx x1, Idx ev, Idx x2)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetTransition(const std::string &rX1, const std::string &rEv, const std::string &rX2)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetTransition(const Transition &rTransition)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
SetTransition(const Transition &rTransition, const TransAttr &rAttr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
Size(void) constfaudes::vGenerator
SStr(Idx index) constfaudes::vGenerator
StateAttribute(Idx index, const StateAttr &rAttr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
StateAttribute(Idx index, const Type &rAttr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
StateAttribute(Idx index) constfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
StateAttributep(Idx index)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
StateIndex(const std::string &rName) constfaudes::vGenerator
StateName(Idx index) constfaudes::vGenerator
StateName(Idx index, const std::string &rName)faudes::vGenerator
StateNamesEnabled(void) constfaudes::vGenerator
StateNamesEnabled(bool flag)faudes::vGenerator
StateNamesEnabledDefault(bool flag)faudes::vGeneratorstatic
States(void) constfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
StatesBegin(void) constfaudes::vGenerator
StatesEnd(void) constfaudes::vGenerator
StateSetToString(const StateSet &rStateSet) constfaudes::vGenerator
StateSetToText(const StateSet &rStateSet) constfaudes::vGenerator
StatesTaGen(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >protectedstatic
StatesToString(void) constfaudes::vGenerator
StatesToText(void) constfaudes::vGenerator
StatesVoid(void)faudes::vGeneratorprotectedstatic
StateSymbolTable(void) constfaudes::vGenerator
StateSymbolTable(const SymbolTable &rSymTab)faudes::vGenerator
SuccessorState(Idx x1, Idx ev) constfaudes::vGenerator
SuccessorStates(Idx x1) constfaudes::vGenerator
SuccessorStates(Idx x1, Idx ev) constfaudes::vGenerator
SWrite(TokenWriter &rTw) constfaudes::Type
SWrite(void) constfaudes::Type
TaGenerator(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TaGenerator(const TaGenerator &rOtherGen)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TaGenerator(const vGenerator &rOtherGen)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TaGenerator(const std::string &rFileName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TcGenerator(void)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TcGenerator(const vGenerator &rOtherGen)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TcGenerator(const TcGenerator &rOtherGen)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TcGenerator(const std::string &rFileName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TerminalStates(void) constfaudes::vGenerator
TerminalStates(const StateSet &rStates) constfaudes::vGenerator
ToSText(void) constfaudes::Type
ToString(const std::string &rLabel="", const Type *pContext=0) constfaudes::Type
ToText(const std::string &rLabel="", const Type *pContext=0) constfaudes::Type
TransAttribute(const Transition &rTrans, const TransAttr &rAttr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TransAttribute(const Transition &rTrans, const Type &rAttr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
TransAttribute(const Transition &rTrans) constfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
TransAttributep(const Transition &rTrans)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
TransitionByNames(const std::string &rX1, const std::string &rEv, const std::string &rX2) constfaudes::vGenerator
TransRel(void) constfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TransRel(TransSetX1EvX2 &res) constfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TransRel(TransSetEvX1X2 &res) constfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TransRel(TransSetEvX2X1 &res) constfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TransRel(TransSetX2EvX1 &res) constfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TransRel(TransSetX2X1Ev &res) constfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TransRel(TransSetX1X2Ev &res) constfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TransRelBegin(void) constfaudes::vGenerator
TransRelBegin(Idx x1) constfaudes::vGenerator
TransRelBegin(Idx x1, Idx ev) constfaudes::vGenerator
TransRelEmpty(void) constfaudes::vGenerator
TransRelEnd(void) constfaudes::vGenerator
TransRelEnd(Idx x1) constfaudes::vGenerator
TransRelEnd(Idx x1, Idx ev) constfaudes::vGenerator
TransRelSize(void) constfaudes::vGenerator
TransRelStates(void) constfaudes::vGenerator
TransRelTaGen(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >protectedstatic
TransRelToString(void) constfaudes::vGenerator
TransRelToText(void) constfaudes::vGenerator
TransRelVoid(void)faudes::vGeneratorprotectedstatic
Trim(void)faudes::vGenerator
TrimSet(void) constfaudes::vGenerator
TStr(const Transition &rTrans) constfaudes::vGenerator
Type(void)faudes::Type
Type(const Type &rType)faudes::Type
TypeDefinitionp(void) constfaudes::Typeprotectedvirtual
TypeName(void) constfaudes::Typevirtual
UncontrollableEvents(void) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
UnforcibleEvents(void) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
UniqueEventName(const std::string &rName) constfaudes::vGenerator
UniqueStateName(const std::string &rName) constfaudes::vGenerator
UnobservableEvents(void) constfaudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
UnusedEvents(void) constfaudes::vGenerator
UpdateAttributes(void)faudes::vGeneratorinlinevirtual
UpdateCore(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >protectedvirtual
UsedEvents(void) constfaudes::vGenerator
Valid(void) constfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
Version(const std::string &rVersion, vGenerator &rResGen) constfaudes::vGeneratorvirtual
Version(Idx version, vGenerator &rResGen) constfaudes::vGeneratorvirtual
Version(const std::string &rPattern, const std::string &rReplacement, vGenerator &rResGen) constfaudes::vGeneratorvirtual
vGenerator(void)faudes::vGenerator
vGenerator(const vGenerator &rOtherGen)faudes::vGenerator
vGenerator(const std::string &rFileName)faudes::vGenerator
Write(const Type *pContext=0) constfaudes::Type
Write(const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) constfaudes::Type
Write(const std::string &pFileName, std::ios::openmode openmode) constfaudes::Type
Write(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) constfaudes::Type
WriteAlphabet(void) constfaudes::vGenerator
WriteAlphabet(TokenWriter &rTw) constfaudes::vGenerator
WriteStates(TokenWriter &rTw) constfaudes::vGeneratorprotected
WriteStateSet(const StateSet &rStateSet) constfaudes::vGenerator
WriteStateSet(TokenWriter &rTw, const StateSet &rStateSet) constfaudes::vGenerator
WriteTransRel(void) constfaudes::vGenerator
WriteTransRel(TokenWriter &rTw) constfaudes::vGenerator
XBeginTag(const std::string &rLabel="", const std::string &rFallbackLabel="") constfaudes::Typeprotectedvirtual
XDotWrite(const std::string &rFileName) constfaudes::vGeneratorvirtual
XReadStateSet(TokenReader &rTr, StateSet &rStateSet, const std::string &rLabel="") constfaudes::vGeneratorprotected
XReadTransRel(TokenReader &rTr)faudes::vGeneratorprotected
XWrite(const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0) constfaudes::Typevirtual
XWrite(const Type *pContext=0) constfaudes::Type
XWrite(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) constfaudes::Type
XWriteStateSet(TokenWriter &rTw, const StateSet &rStateSet, const std::string &rLabel="") constfaudes::vGeneratorprotected
XWriteTransRel(TokenWriter &rTw) constfaudes::vGeneratorprotected
~TaGenerator(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >virtual
~Type(void)faudes::Typevirtual
~vGenerator(void)faudes::vGeneratorvirtual

libFAUDES 2.32b --- 2024.03.01 --- c++ api documentaion by doxygen