Accessible(void)=0 | faudes::vGenerator | [pure virtual] |
AccessibleSet(void) const =0 | faudes::vGenerator | [pure virtual] |
ActiveEventSet(Idx x1) const =0 | faudes::vGenerator | [pure virtual] |
Alphabet(void) const =0 | faudes::vGenerator | [pure virtual] |
AlphabetBegin(void) const =0 | faudes::vGenerator | [pure virtual] |
AlphabetEmpty(void) const =0 | faudes::vGenerator | [pure virtual] |
AlphabetEnd(void) const =0 | faudes::vGenerator | [pure virtual] |
AlphabetSize(void) const =0 | faudes::vGenerator | [pure virtual] |
AlphabetToString(void) const =0 | faudes::vGenerator | [pure virtual] |
Clear(void)=0 | faudes::vGenerator | [pure virtual] |
ClearInitStates(void)=0 | faudes::vGenerator | [pure virtual] |
ClearMarkedStates(void)=0 | faudes::vGenerator | [pure virtual] |
ClearMinStateIndexMap(void)=0 | faudes::vGenerator | [pure virtual] |
ClearStateNames(void) | faudes::vGenerator | |
ClearStates(void)=0 | faudes::vGenerator | [pure virtual] |
ClearTransRel(void)=0 | faudes::vGenerator | [pure virtual] |
ClrInitState(Idx index)=0 | faudes::vGenerator | [pure virtual] |
ClrInitState(const std::string &rName)=0 | faudes::vGenerator | [pure virtual] |
ClrInitState(StateSet::Iterator pos)=0 | faudes::vGenerator | [pure virtual] |
ClrMarkedState(Idx index)=0 | faudes::vGenerator | [pure virtual] |
ClrMarkedState(const std::string &rName)=0 | faudes::vGenerator | [pure virtual] |
ClrMarkedState(StateSet::Iterator pos)=0 | faudes::vGenerator | [pure virtual] |
ClrStateName(Idx index) | faudes::vGenerator | |
ClrStateName(const std::string &rName) | faudes::vGenerator | |
ClrTransition(Idx x1, Idx ev, Idx x2)=0 | faudes::vGenerator | [pure virtual] |
ClrTransition(const Transition &rTrans)=0 | faudes::vGenerator | [pure virtual] |
ClrTransition(TransSet::Iterator it)=0 | faudes::vGenerator | [pure virtual] |
Coaccessible(void)=0 | faudes::vGenerator | [pure virtual] |
CoaccessibleSet(void) const =0 | faudes::vGenerator | [pure virtual] |
Copy(vGenerator &rGen) const =0 | faudes::vGenerator | [pure virtual] |
DDotWrite(const std::string &rFileName) const =0 | faudes::vGenerator | [pure virtual] |
DelEvent(Idx index)=0 | faudes::vGenerator | [pure virtual] |
DelEvent(const std::string &rName)=0 | faudes::vGenerator | [pure virtual] |
DelEventFromAlphabet(Idx index)=0 | faudes::vGenerator | [pure virtual] |
DelEvents(const EventSet &rEvents)=0 | faudes::vGenerator | [pure virtual] |
DelState(Idx index)=0 | faudes::vGenerator | [pure virtual] |
DelState(const std::string &rName)=0 | faudes::vGenerator | [pure virtual] |
DelStateFromStates(Idx index)=0 | faudes::vGenerator | [pure virtual] |
DelStateFromStates(StateSet::Iterator pos)=0 | faudes::vGenerator | [pure virtual] |
DelStates(const StateSet &rDelStates)=0 | faudes::vGenerator | [pure virtual] |
DotWrite(const std::string &rFileName)=0 | faudes::vGenerator | [pure virtual] |
DWrite(void) const =0 | faudes::vGenerator | [pure virtual] |
DWriteStateSet(TokenWriter &rTw, const StateSet &rStateSet) const =0 | faudes::vGenerator | [pure virtual] |
DWriteTransRel(TokenWriter &rTw) const =0 | faudes::vGenerator | [pure virtual] |
Empty(void) const =0 | faudes::vGenerator | [pure virtual] |
EnforceStateNames(const std::string &rTemplate) | faudes::vGenerator | |
EStr(Idx index) const | faudes::vGenerator | |
EventIndex(const std::string &rName) const | faudes::vGenerator | |
EventName(Idx index) const | faudes::vGenerator | |
EventName(Idx index, const std::string &rName) | faudes::vGenerator | |
EventSymbolTablep(void) const | faudes::vGenerator | |
EventSymbolTablep(SymbolTable *pSymTab) | faudes::vGenerator | [virtual] |
EventSymbolTablep(const vGenerator &rOtherGen) | faudes::vGenerator | [virtual] |
ExistsEvent(Idx index) const =0 | faudes::vGenerator | [pure virtual] |
ExistsEvent(const std::string &rName) const =0 | faudes::vGenerator | [pure virtual] |
ExistsInitState(Idx index) const =0 | faudes::vGenerator | [pure virtual] |
ExistsMarkedState(Idx index) const =0 | faudes::vGenerator | [pure virtual] |
ExistsState(Idx index) const =0 | faudes::vGenerator | [pure virtual] |
ExistsState(const std::string &name) const =0 | faudes::vGenerator | [pure virtual] |
ExistsTransition(const std::string &rX1, const std::string &rEv, const std::string &rX2) const =0 | faudes::vGenerator | [pure virtual] |
ExistsTransition(Idx x1, Idx ev, Idx x2) const =0 | faudes::vGenerator | [pure virtual] |
ExistsTransition(const Transition &rTrans) const =0 | faudes::vGenerator | [pure virtual] |
FindEvent(Idx index) const =0 | faudes::vGenerator | [pure virtual] |
FindEvent(const std::string &rName) const =0 | faudes::vGenerator | [pure virtual] |
FindInitState(Idx index) const =0 | faudes::vGenerator | [pure virtual] |
FindMarkedState(Idx index) const =0 | faudes::vGenerator | [pure virtual] |
FindState(Idx index) const =0 | faudes::vGenerator | [pure virtual] |
FindState(const std::string &rName) const =0 | faudes::vGenerator | [pure virtual] |
FindTransition(const std::string &rX1, const std::string &rEv, const std::string &rX2) const =0 | faudes::vGenerator | [pure virtual] |
FindTransition(Idx x1, Idx ev, Idx x2) const =0 | faudes::vGenerator | [pure virtual] |
FindTransition(const Transition &rTrans) const =0 | faudes::vGenerator | [pure virtual] |
GlobalEventSymbolTablep(void) | faudes::vGenerator | [static] |
GraphWrite(const std::string &rFileName, const std::string &rOutFormat="", const std::string &rDotExec="dot") | faudes::vGenerator | |
Id(void) const | faudes::vGenerator | |
InitState(void) const =0 | faudes::vGenerator | [pure virtual] |
InitStates(void) const =0 | faudes::vGenerator | [pure virtual] |
InitStatesBegin(void) const =0 | faudes::vGenerator | [pure virtual] |
InitStatesEmpty(void) const =0 | faudes::vGenerator | [pure virtual] |
InitStatesEnd(void) const =0 | faudes::vGenerator | [pure virtual] |
InitStatesSize(void) const =0 | faudes::vGenerator | [pure virtual] |
InitStatesToString(void) const =0 | faudes::vGenerator | [pure virtual] |
InjectAlphabet(const EventSet &newalphabet)=0 | faudes::vGenerator | [pure virtual] |
InjectInitStates(const StateSet &rNewInitStates)=0 | faudes::vGenerator | [pure virtual] |
InjectMarkedStates(const StateSet &rNewMarkedStates)=0 | faudes::vGenerator | [pure virtual] |
InjectState(Idx index)=0 | faudes::vGenerator | [pure virtual] |
InjectStates(const StateSet &rNewStates)=0 | faudes::vGenerator | [pure virtual] |
InjectTransition(const Transition &rTrans)=0 | faudes::vGenerator | [pure virtual] |
InjectTransRel(const TransSet &newtransset)=0 | faudes::vGenerator | [pure virtual] |
InsEvent(Idx index)=0 | faudes::vGenerator | [pure virtual] |
InsEvent(const std::string &rName)=0 | faudes::vGenerator | [pure virtual] |
InsEvents(const EventSet &events)=0 | faudes::vGenerator | [pure virtual] |
InsInitState(void)=0 | faudes::vGenerator | [pure virtual] |
InsInitState(const std::string &rName)=0 | faudes::vGenerator | [pure virtual] |
InsMarkedState(void)=0 | faudes::vGenerator | [pure virtual] |
InsMarkedState(const std::string &rName)=0 | faudes::vGenerator | [pure virtual] |
InsState(void)=0 | faudes::vGenerator | [pure virtual] |
InsState(Idx index)=0 | faudes::vGenerator | [pure virtual] |
InsState(const std::string &rName)=0 | faudes::vGenerator | [pure virtual] |
IsAccessible(void) const =0 | faudes::vGenerator | [pure virtual] |
IsCoaccessible(void) const =0 | faudes::vGenerator | [pure virtual] |
IsDeterministic(void) const =0 | faudes::vGenerator | [pure virtual] |
IsTrim(void) const =0 | faudes::vGenerator | [pure virtual] |
MarkedStates(void) const =0 | faudes::vGenerator | [pure virtual] |
MarkedStatesBegin(void) const =0 | faudes::vGenerator | [pure virtual] |
MarkedStatesEmpty(void) const =0 | faudes::vGenerator | [pure virtual] |
MarkedStatesEnd(void) const =0 | faudes::vGenerator | [pure virtual] |
MarkedStatesSize(void) const =0 | faudes::vGenerator | [pure virtual] |
MarkedStatesToString(void) const =0 | faudes::vGenerator | [pure virtual] |
mId | faudes::vGenerator | [protected] |
MinimizeAlphabet(void)=0 | faudes::vGenerator | [pure virtual] |
mMyName | faudes::vGenerator | [protected] |
Move(vGenerator &rGen)=0 | faudes::vGenerator | [pure virtual] |
mpEventSymbolTable | faudes::vGenerator | [protected] |
mpStateSymbolTable | faudes::vGenerator | [protected] |
msObjectCount | faudes::vGenerator | [protected, static] |
mStateNamesEnabled | faudes::vGenerator | [protected] |
mStateSymbolTable | faudes::vGenerator | [protected] |
Name(const std::string &rName) | faudes::vGenerator | |
Name(void) const | faudes::vGenerator | |
NewEventSet(void) const | faudes::vGenerator | |
NewEventSetp(void) const | faudes::vGenerator | |
NewP(void) const =0 | faudes::vGenerator | [pure virtual] |
operator<(const vGenerator &rOtherGen) const | faudes::vGenerator | [inline] |
operator=(const vGenerator &rOtherGen)=0 | faudes::vGenerator | [pure virtual] |
Read(const char *pFileName)=0 | faudes::vGenerator | [pure virtual] |
Read(TokenReader &rTr)=0 | faudes::vGenerator | [pure virtual] |
ReadStateSet(TokenReader &rTr, const std::string &rLabel, StateSet &rStateSet) const =0 | faudes::vGenerator | [pure virtual] |
SetDefaultStateNames(void) | faudes::vGenerator | |
SetInitState(Idx index)=0 | faudes::vGenerator | [pure virtual] |
SetInitState(const std::string &rName)=0 | faudes::vGenerator | [pure virtual] |
SetMarkedState(Idx index)=0 | faudes::vGenerator | [pure virtual] |
SetMarkedState(const std::string &rName)=0 | faudes::vGenerator | [pure virtual] |
SetMinStateIndexMap(void)=0 | faudes::vGenerator | [pure virtual] |
SetTransition(Idx x1, Idx ev, Idx x2)=0 | faudes::vGenerator | [pure virtual] |
SetTransition(const std::string &rX1, const std::string &rEv, const std::string &rX2)=0 | faudes::vGenerator | [pure virtual] |
SetTransition(const Transition &rTransition)=0 | faudes::vGenerator | [pure virtual] |
Size(void) const =0 | faudes::vGenerator | [pure virtual] |
SStr(Idx index) const | faudes::vGenerator | |
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 | |
States(void) const =0 | faudes::vGenerator | [pure virtual] |
StatesBegin(void) const =0 | faudes::vGenerator | [pure virtual] |
StatesEnd(void) const =0 | faudes::vGenerator | [pure virtual] |
StateSetToString(const StateSet &rStateSet) const =0 | faudes::vGenerator | [pure virtual] |
StatesToString(void) const =0 | faudes::vGenerator | [pure virtual] |
StateSymbolTable(void) const | faudes::vGenerator | |
StateSymbolTable(const SymbolTable &rSymTab) | faudes::vGenerator | |
StatisticsToString(void) const =0 | faudes::vGenerator | [pure virtual] |
ToString(void) const =0 | faudes::vGenerator | [pure virtual] |
TransRel(void) const =0 | faudes::vGenerator | [pure virtual] |
TransRel(TransSetX1EvX2 &res) const =0 | faudes::vGenerator | [pure virtual] |
TransRel(TransSetEvX1X2 &res) const =0 | faudes::vGenerator | [pure virtual] |
TransRel(TransSetEvX2X1 &res) const =0 | faudes::vGenerator | [pure virtual] |
TransRel(TransSetX2EvX1 &res) const =0 | faudes::vGenerator | [pure virtual] |
TransRel(TransSetX2X1Ev &res) const =0 | faudes::vGenerator | [pure virtual] |
TransRel(TransSetX1X2Ev &res) const =0 | faudes::vGenerator | [pure virtual] |
TransRelBegin(void) const =0 | faudes::vGenerator | [pure virtual] |
TransRelBegin(Idx x1) const =0 | faudes::vGenerator | [pure virtual] |
TransRelBegin(Idx x1, Idx ev) const =0 | faudes::vGenerator | [pure virtual] |
TransRelEmpty(void) const =0 | faudes::vGenerator | [pure virtual] |
TransRelEnd(void) const =0 | faudes::vGenerator | [pure virtual] |
TransRelEnd(Idx x1) const =0 | faudes::vGenerator | [pure virtual] |
TransRelEnd(Idx x1, Idx ev) const =0 | faudes::vGenerator | [pure virtual] |
TransRelSize(void) const =0 | faudes::vGenerator | [pure virtual] |
TransRelStateSpace(void) const =0 | faudes::vGenerator | [pure virtual] |
TransRelStateSpace(Idx x1) const =0 | faudes::vGenerator | [pure virtual] |
TransRelToString(void) const =0 | faudes::vGenerator | [pure virtual] |
Trim(void)=0 | faudes::vGenerator | [pure virtual] |
TrimSet(void) const =0 | faudes::vGenerator | [pure virtual] |
TStr(const Transition &rTrans) const | faudes::vGenerator | |
UniqueEventName(const std::string &rName) const | faudes::vGenerator | |
UniqueStateName(const std::string &rName) const | faudes::vGenerator | |
UnusedEvents(void) const =0 | faudes::vGenerator | [pure virtual] |
UsedEvents(void) const =0 | faudes::vGenerator | [pure virtual] |
Valid(void)=0 | faudes::vGenerator | [pure virtual] |
vGenerator(void) | faudes::vGenerator | |
vGenerator(const vGenerator &rOtherGen) | faudes::vGenerator | |
Write(void) const =0 | faudes::vGenerator | [pure virtual] |
Write(const char *pFileName, std::ios::openmode openmode=std::ios::out|std::ios::trunc)=0 | faudes::vGenerator | [pure virtual] |
Write(TokenWriter &rTw) const =0 | faudes::vGenerator | [pure virtual] |
WriteAlphabet(void) const =0 | faudes::vGenerator | [pure virtual] |
WriteAlphabet(TokenWriter &rTw) const =0 | faudes::vGenerator | [pure virtual] |
WriteStateSet(const StateSet &rStateSet) const =0 | faudes::vGenerator | [pure virtual] |
WriteStateSet(TokenWriter &rTw, const StateSet &rStateSet) const =0 | faudes::vGenerator | [pure virtual] |
WriteStatistics(void) const =0 | faudes::vGenerator | [pure virtual] |
WriteStatistics(TokenWriter &rTw) const =0 | faudes::vGenerator | [pure virtual] |
WriteTransRel(void) const =0 | faudes::vGenerator | [pure virtual] |
WriteTransRel(TokenWriter &rTw) const =0 | faudes::vGenerator | [pure virtual] |
~vGenerator(void) | faudes::vGenerator | [inline, virtual] |