faudes::vGenerator Member List

This is the complete list of members for faudes::vGenerator, including all inherited members.

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


Generated on Fri May 9 11:26:48 2008 for libFAUDES 2.09b by  doxygen 1.4.4