Accessible(void) | faudes::vGenerator | |
AccessibleSet(void) const | faudes::vGenerator | |
ActiveEventSet(Idx x1) const | faudes::vGenerator | |
ActiveTransSet(Idx x1) const | faudes::vGenerator | |
Alphabet(void) const | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
AlphabetBegin(void) const | faudes::vGenerator | |
AlphabetEmpty(void) const | faudes::vGenerator | |
AlphabetEnd(void) const | faudes::vGenerator | |
AlphabetSize(void) const | faudes::vGenerator | |
AlphabetTaGen(void) | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | protectedstatic |
AlphabetToString(void) const | faudes::vGenerator | |
AlphabetVoid(void) | faudes::vGenerator | protectedstatic |
Assign(const Type &rSource) | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | virtual |
AssignWithoutAttributes(const vGenerator &rGen) | faudes::vGenerator | virtual |
ATransSet typedef | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
BlockingStates(void) const | faudes::vGenerator | |
Cast(const Type *pOther) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | inlinevirtual |
Clear(void) | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | virtual |
ClearAttributes(void) | faudes::vGenerator | virtual |
ClearEventAttributes(void) | faudes::vGenerator | virtual |
ClearGlobalAttribute(void) | faudes::vGenerator | virtual |
ClearInitStates(void) | faudes::vGenerator | |
ClearMarkedStates(void) | faudes::vGenerator | |
ClearMinStateIndexMap(void) const | faudes::vGenerator | |
ClearStateAttributes(void) | faudes::vGenerator | virtual |
ClearStateNames(void) | faudes::vGenerator | |
ClearStates(void) | faudes::vGenerator | |
ClearTransAttributes(void) | faudes::vGenerator | virtual |
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::vGenerator | virtual |
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::vGenerator | virtual |
ClrStateName(Idx index) | faudes::vGenerator | |
ClrStateName(const std::string &rName) | faudes::vGenerator | |
ClrTransAttribute(const Transition &rTrans) | faudes::vGenerator | virtual |
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) const | faudes::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::vGenerator | protected |
Controllable(Idx index) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
Controllable(const std::string &rName) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
ControllableEvents(void) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
Copy(void) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | virtual |
DDotWrite(const std::string &rFileName) const | faudes::vGenerator | virtual |
DeleteCore(void) | faudes::vGenerator | protectedvirtual |
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::vGenerator | protected |
faudes::Type::DoAssign(const Type &rSrc) | faudes::Type | protected |
DoDWrite(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const | faudes::vGenerator | protectedvirtual |
DoEqual(const Type &rOther) const | faudes::Type | protected |
DoRead(TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0) | faudes::vGenerator | protectedvirtual |
DoSWrite(TokenWriter &rTw) const | faudes::vGenerator | protectedvirtual |
DotWrite(const std::string &rFileName) const | faudes::vGenerator | virtual |
DoWrite(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const | faudes::vGenerator | protectedvirtual |
DoXWrite(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const | faudes::vGenerator | protectedvirtual |
DWrite(const Type *pContext=0) const | faudes::Type | |
DWrite(const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const | faudes::Type | |
DWrite(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const | faudes::Type | |
DWriteStateSet(TokenWriter &rTw, const StateSet &rStateSet) const | faudes::vGenerator | |
DWriteTransRel(TokenWriter &rTw) const | faudes::vGenerator | |
Empty(void) const | faudes::vGenerator | |
EnforceStateNames(const std::string &rTemplate) | faudes::vGenerator | |
Equal(const Type &rOther) const | faudes::Type | virtual |
EStr(Idx index) const | faudes::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) const | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | virtual |
EventAttribute(const std::string &rName) const | faudes::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::vGenerator | virtual |
EventIndex(const std::string &rName) const | faudes::vGenerator | |
EventName(Idx index) const | faudes::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) const | faudes::vGenerator | |
EventSymbolTablep(SymbolTable *pSymTab) | faudes::vGenerator | virtual |
EventSymbolTablep(const vGenerator &rOtherGen) | faudes::vGenerator | virtual |
ExistsEvent(Idx index) const | faudes::vGenerator | |
ExistsEvent(const std::string &rName) const | faudes::vGenerator | |
ExistsInitState(Idx index) const | faudes::vGenerator | |
ExistsMarkedState(Idx index) const | faudes::vGenerator | |
ExistsState(Idx index) const | faudes::vGenerator | |
ExistsState(const std::string &name) const | faudes::vGenerator | |
ExistsTransition(const std::string &rX1, const std::string &rEv, const std::string &rX2) const | faudes::vGenerator | |
ExistsTransition(Idx x1, Idx ev, Idx x2) const | faudes::vGenerator | |
ExistsTransition(const Transition &rTrans) const | faudes::vGenerator | |
ExistsTransition(Idx x1, Idx ev) const | faudes::vGenerator | |
ExistsTransition(Idx x1) const | faudes::vGenerator | |
FindEvent(Idx index) const | faudes::vGenerator | |
FindEvent(const std::string &rName) const | faudes::vGenerator | |
FindInitState(Idx index) const | faudes::vGenerator | |
FindMarkedState(Idx index) const | faudes::vGenerator | |
FindState(Idx index) const | faudes::vGenerator | |
FindState(const std::string &rName) const | faudes::vGenerator | |
FindTransition(const std::string &rX1, const std::string &rEv, const std::string &rX2) const | faudes::vGenerator | |
FindTransition(Idx x1, Idx ev, Idx x2) const | faudes::vGenerator | |
FindTransition(const Transition &rTrans) const | faudes::vGenerator | |
Forcible(Idx index) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
Forcible(const std::string &rName) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
ForcibleEvents(void) const | faudes::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) const | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | inlinevirtual |
GlobalAttributep(void) | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | inlinevirtual |
GlobalAttributeTry(const Type &rAttr) | faudes::vGenerator | virtual |
GlobalEventSymbolTablep(void) | faudes::vGenerator | static |
GlobalTaGen(void) | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | protectedstatic |
GlobalVoid(void) | faudes::vGenerator | protectedstatic |
GraphWrite(const std::string &rFileName, const std::string &rOutFormat="", const std::string &rDotExec="dot") const | faudes::vGenerator | |
Highlevel(Idx index) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
Highlevel(const std::string &rName) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
HighlevelEvents(void) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
InitState(void) const | faudes::vGenerator | |
InitStates(void) const | faudes::vGenerator | |
InitStatesBegin(void) const | faudes::vGenerator | |
InitStatesEmpty(void) const | faudes::vGenerator | |
InitStatesEnd(void) const | faudes::vGenerator | |
InitStatesSize(void) const | faudes::vGenerator | |
InitStatesToString(void) const | faudes::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) const | faudes::vGenerator | |
IsCoaccessible(void) const | faudes::vGenerator | |
IsComplete(void) const | faudes::vGenerator | |
IsComplete(const StateSet &rStates) const | faudes::vGenerator | |
IsComplete(const EventSet &rSigmaO) const | faudes::vGenerator | |
IsDeterministic(void) const | faudes::vGenerator | |
IsOmegaTrim(void) const | faudes::vGenerator | |
IsTrim(void) const | faudes::vGenerator | |
Lowlevel(Idx index) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
Lowlevel(const std::string &rName) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
LowlevelEvents(void) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
MarkedStates(void) const | faudes::vGenerator | |
MarkedStatesBegin(void) const | faudes::vGenerator | |
MarkedStatesEmpty(void) const | faudes::vGenerator | |
MarkedStatesEnd(void) const | faudes::vGenerator | |
MarkedStatesSize(void) const | faudes::vGenerator | |
MarkedStatesToString(void) const | faudes::vGenerator | |
MaxStateIndex(void) const | faudes::vGenerator | |
mId | faudes::vGenerator | protected |
MinimizeAlphabet(void) | faudes::vGenerator | |
mInitStates | faudes::vGenerator | protected |
MinStateIndex(Idx index) const | faudes::vGenerator | |
MinStateIndex(void) | faudes::vGenerator | |
MinStateIndexMap(void) const | faudes::vGenerator | |
mMarkedStates | faudes::vGenerator | protected |
mMinStateIndexMap | faudes::vGenerator | protected |
mMyName | faudes::vGenerator | protected |
Move(TaGenerator &rGen) | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | virtual |
Move(Generator &rGen) | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | virtual |
mpAlphabet | faudes::vGenerator | protected |
mpEventSymbolTable | faudes::vGenerator | protected |
mpGlobalAttribute | faudes::vGenerator | protected |
mpStates | faudes::vGenerator | protected |
mpStateSymbolTable | faudes::vGenerator | protected |
mpTransRel | faudes::vGenerator | protected |
mReindexOnWrite | faudes::vGenerator | protected |
msObjectCount | faudes::vGenerator | protectedstatic |
msReindexOnWriteDefault | faudes::vGenerator | protectedstatic |
msStateNamesEnabledDefault | faudes::vGenerator | protectedstatic |
msStringEmpty | faudes::Type | privatestatic |
msStringVoid | faudes::Type | privatestatic |
mStateNamesEnabled | faudes::vGenerator | protected |
mStateSymbolTable | faudes::vGenerator | protected |
Name(const std::string &rName) | faudes::vGenerator | virtual |
Name(void) const | faudes::vGenerator | virtual |
New(void) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | virtual |
NewAGen(void) const | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | virtual |
NewCGen(void) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
NewCore(void) | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | protectedvirtual |
NewEventSet(void) const | faudes::vGenerator | |
NewEventSetp(void) const | faudes::vGenerator | |
Observable(Idx index) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
Observable(const std::string &rName) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
ObservableEvents(void) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
OmegaTrim(void) | faudes::vGenerator | |
operator!=(const Type &rOther) const | faudes::Type | virtual |
operator<(const vGenerator &rOtherGen) const | faudes::vGenerator | inline |
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::vGenerator | virtual |
faudes::Type::operator=(const Type &rSrc) | faudes::Type | virtual |
operator==(const Type &rOther) const | faudes::Type | virtual |
pAlphabet | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | protected |
pAlphabetPrototype | faudes::vGenerator | protected |
pGlobalAttribute | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | protected |
pGlobalPrototype | faudes::vGenerator | protected |
pStates | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | protected |
pStatesPrototype | faudes::vGenerator | protected |
pTransRel | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | protected |
pTransRelPrototype | faudes::vGenerator | protected |
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::vGenerator | protected |
ReadStates(TokenReader &rTr) | faudes::vGenerator | protected |
ReadStateSet(TokenReader &rTr, const std::string &rLabel, StateSet &rStateSet) const | faudes::vGenerator | |
ReadTransRel(const std::string &rFileName) | faudes::vGenerator | protected |
ReadTransRel(TokenReader &rTr) | faudes::vGenerator | protected |
ReindexOnWrite(void) const | faudes::vGenerator | |
ReindexOnWrite(bool flag) | faudes::vGenerator | |
ReindexOnWriteDefault(bool flag) | faudes::vGenerator | static |
ReindexOnWriteDefault(void) | faudes::vGenerator | static |
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) const | faudes::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) const | faudes::vGenerator | |
SStr(Idx index) const | faudes::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) const | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | virtual |
StateAttributep(Idx index) | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | virtual |
StateIndex(const std::string &rName) const | faudes::vGenerator | |
StateName(Idx index) const | faudes::vGenerator | |
StateName(Idx index, const std::string &rName) | faudes::vGenerator | |
StateNamesEnabled(void) const | faudes::vGenerator | |
StateNamesEnabled(bool flag) | faudes::vGenerator | |
StateNamesEnabledDefault(bool flag) | faudes::vGenerator | static |
States(void) const | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
StatesBegin(void) const | faudes::vGenerator | |
StatesEnd(void) const | faudes::vGenerator | |
StateSetToString(const StateSet &rStateSet) const | faudes::vGenerator | |
StateSetToText(const StateSet &rStateSet) const | faudes::vGenerator | |
StatesTaGen(void) | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | protectedstatic |
StatesToString(void) const | faudes::vGenerator | |
StatesToText(void) const | faudes::vGenerator | |
StatesVoid(void) | faudes::vGenerator | protectedstatic |
StateSymbolTable(void) const | faudes::vGenerator | |
StateSymbolTable(const SymbolTable &rSymTab) | faudes::vGenerator | |
SuccessorState(Idx x1, Idx ev) const | faudes::vGenerator | |
SuccessorStates(Idx x1) const | faudes::vGenerator | |
SuccessorStates(Idx x1, Idx ev) const | faudes::vGenerator | |
SWrite(TokenWriter &rTw) const | faudes::Type | |
SWrite(void) const | faudes::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) const | faudes::vGenerator | |
TerminalStates(const StateSet &rStates) const | faudes::vGenerator | |
ToSText(void) const | faudes::Type | |
ToString(const std::string &rLabel="", const Type *pContext=0) const | faudes::Type | |
ToText(const std::string &rLabel="", const Type *pContext=0) const | faudes::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) const | faudes::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) const | faudes::vGenerator | |
TransRel(void) const | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
TransRel(TransSetX1EvX2 &res) const | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
TransRel(TransSetEvX1X2 &res) const | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
TransRel(TransSetEvX2X1 &res) const | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
TransRel(TransSetX2EvX1 &res) const | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
TransRel(TransSetX2X1Ev &res) const | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
TransRel(TransSetX1X2Ev &res) const | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
TransRelBegin(void) const | faudes::vGenerator | |
TransRelBegin(Idx x1) const | faudes::vGenerator | |
TransRelBegin(Idx x1, Idx ev) const | faudes::vGenerator | |
TransRelEmpty(void) const | faudes::vGenerator | |
TransRelEnd(void) const | faudes::vGenerator | |
TransRelEnd(Idx x1) const | faudes::vGenerator | |
TransRelEnd(Idx x1, Idx ev) const | faudes::vGenerator | |
TransRelSize(void) const | faudes::vGenerator | |
TransRelStates(void) const | faudes::vGenerator | |
TransRelTaGen(void) | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | protectedstatic |
TransRelToString(void) const | faudes::vGenerator | |
TransRelToText(void) const | faudes::vGenerator | |
TransRelVoid(void) | faudes::vGenerator | protectedstatic |
Trim(void) | faudes::vGenerator | |
TrimSet(void) const | faudes::vGenerator | |
TStr(const Transition &rTrans) const | faudes::vGenerator | |
Type(void) | faudes::Type | |
Type(const Type &rType) | faudes::Type | |
TypeDefinitionp(void) const | faudes::Type | protectedvirtual |
TypeName(void) const | faudes::Type | virtual |
UncontrollableEvents(void) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
UnforcibleEvents(void) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
UniqueEventName(const std::string &rName) const | faudes::vGenerator | |
UniqueStateName(const std::string &rName) const | faudes::vGenerator | |
UnobservableEvents(void) const | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | |
UnusedEvents(void) const | faudes::vGenerator | |
UpdateAttributes(void) | faudes::vGenerator | inlinevirtual |
UpdateCore(void) | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | protectedvirtual |
UsedEvents(void) const | faudes::vGenerator | |
Valid(void) const | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | virtual |
Version(const std::string &rVersion, vGenerator &rResGen) const | faudes::vGenerator | virtual |
Version(Idx version, vGenerator &rResGen) const | faudes::vGenerator | virtual |
Version(const std::string &rPattern, const std::string &rReplacement, vGenerator &rResGen) const | faudes::vGenerator | virtual |
vGenerator(void) | faudes::vGenerator | |
vGenerator(const vGenerator &rOtherGen) | faudes::vGenerator | |
vGenerator(const std::string &rFileName) | faudes::vGenerator | |
Write(const Type *pContext=0) const | faudes::Type | |
Write(const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const | faudes::Type | |
Write(const std::string &pFileName, std::ios::openmode openmode) const | faudes::Type | |
Write(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const | faudes::Type | |
WriteAlphabet(void) const | faudes::vGenerator | |
WriteAlphabet(TokenWriter &rTw) const | faudes::vGenerator | |
WriteStates(TokenWriter &rTw) const | faudes::vGenerator | protected |
WriteStateSet(const StateSet &rStateSet) const | faudes::vGenerator | |
WriteStateSet(TokenWriter &rTw, const StateSet &rStateSet) const | faudes::vGenerator | |
WriteTransRel(void) const | faudes::vGenerator | |
WriteTransRel(TokenWriter &rTw) const | faudes::vGenerator | |
XBeginTag(const std::string &rLabel="", const std::string &rFallbackLabel="") const | faudes::Type | protectedvirtual |
XDotWrite(const std::string &rFileName) const | faudes::vGenerator | virtual |
XReadStateSet(TokenReader &rTr, StateSet &rStateSet, const std::string &rLabel="") const | faudes::vGenerator | protected |
XReadTransRel(TokenReader &rTr) | faudes::vGenerator | protected |
XWrite(const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0) const | faudes::Type | virtual |
XWrite(const Type *pContext=0) const | faudes::Type | |
XWrite(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const | faudes::Type | |
XWriteStateSet(TokenWriter &rTw, const StateSet &rStateSet, const std::string &rLabel="") const | faudes::vGenerator | protected |
XWriteTransRel(TokenWriter &rTw) const | faudes::vGenerator | protected |
~TaGenerator(void) | faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | virtual |
~Type(void) | faudes::Type | virtual |
~vGenerator(void) | faudes::vGenerator | virtual |