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::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
AccessibleSet(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ActiveEventSet(Idx x1) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
Alphabet(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
AlphabetBegin(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
AlphabetEmpty(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
AlphabetEnd(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
AlphabetSize(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
AlphabetToString(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ATransSet typedeffaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
CheckAccessible(StateSet &accessibleset, Idx startState) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [protected]
CheckCoaccessible(StateSet &Coaccessibleset, const TransSetX2EvX1 &rtrel, Idx startState) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [protected]
Clear(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ClearAttributes(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ClearEventAttributes(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ClearGlobalAttribute(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ClearInitStates(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ClearMarkedStates(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ClearMinStateIndexMap(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ClearStateAttributes(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ClearStateNames(void)faudes::vGenerator
ClearStates(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ClearTransAttributes(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ClearTransRel(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
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::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
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::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ClrInitState(const std::string &rName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ClrInitState(StateSet::Iterator pos)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ClrMarkedState(Idx index)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ClrMarkedState(const std::string &rName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ClrMarkedState(StateSet::Iterator pos)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
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::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ClrStateName(Idx index)faudes::vGenerator
ClrStateName(const std::string &rName)faudes::vGenerator
ClrTransAttribute(const Transition &rTrans)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ClrTransition(Idx x1, Idx ev, Idx x2)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ClrTransition(const Transition &rTrans)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ClrTransition(typename ATransSet::Iterator it)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
faudes::vGenerator::ClrTransition(TransSet::Iterator it)=0faudes::vGenerator [pure virtual]
Coaccessible(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
CoaccessibleSet(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
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(TaGenerator &rGen) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
Copy(vGenerator &rGen) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
DDotWrite(const std::string &rFileName) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
DelEvent(Idx index)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
DelEvent(const std::string &rName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
DelEventFromAlphabet(Idx index)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
DelEvents(const EventSet &rEvents)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
DelState(Idx index)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
DelState(const std::string &rName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
DelStateFromStates(Idx index)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
DelStateFromStates(StateSet::Iterator pos)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
DelStates(const StateSet &rDelStates)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
DetermineAttributes(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [inline]
DotWrite(const std::string &rFileName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
DWrite(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
DWriteStateSet(TokenWriter &rTw, const TaIndexSet< OtherAttr > &rStateSet) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
DWriteStateSet(TokenWriter &rTw, const StateSet &rStateSet) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
DWriteTransRel(TokenWriter &rTw) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
Empty(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
EnforceStateNames(const std::string &rTemplate)faudes::vGenerator
EStr(Idx index) const faudes::vGenerator
EventAttribute(Idx index, const EventAttr &rAttr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
EventAttribute(Idx index) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
EventAttribute(const std::string &rName) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
EventAttributep(Idx index)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
EventAttributep(const std::string &rName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
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::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
EventSymbolTablep(SymbolTable *pSymTab)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
EventSymbolTablep(const vGenerator &rOtherGen)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ExistsEvent(Idx index) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ExistsEvent(const std::string &rName) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ExistsInitState(Idx index) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ExistsMarkedState(Idx index) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ExistsState(Idx index) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ExistsState(const std::string &name) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ExistsTransition(const std::string &rX1, const std::string &rEv, const std::string &rX2) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ExistsTransition(Idx x1, Idx ev, Idx x2) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ExistsTransition(const Transition &rTrans) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
FindEvent(Idx index) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
FindEvent(const std::string &rName) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
FindInitState(Idx index) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
FindMarkedState(Idx index) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
FindState(Idx index) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
FindState(const std::string &rName) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
FindTransition(const std::string &rX1, const std::string &rEv, const std::string &rX2) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
FindTransition(Idx x1, Idx ev, Idx x2) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
FindTransition(const Transition &rTrans) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
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 >
GlobalAttribute(const GlobalAttr &rAttr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [inline]
GlobalAttribute(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [inline]
GlobalAttributep(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [inline]
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 faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InitStates(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InitStatesBegin(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InitStatesEmpty(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InitStatesEnd(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InitStatesSize(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InitStatesToString(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InjectAlphabet(const EventSet &rNewalphabet)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InjectAlphabet(const TaNameSet< EventAttr > &rNewalphabet)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InjectInitStates(const StateSet &rNewInitStates)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InjectMarkedStates(const StateSet &rNewMarkedStates)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InjectState(Idx index)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InjectStates(const StateSet &rNewStates)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InjectTransition(const Transition &rTrans)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InjectTransRel(const TransSet &rNewtransrel)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
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 > [virtual]
InsEvent(const std::string &rName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InsEvent(Idx index, const EventAttr &attr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsEvent(const std::string &rName, const EventAttr &attr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsEvents(const EventSet &events)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InsForcibleEvent(Idx index)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsForcibleEvent(const std::string &rName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsInitState(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InsInitState(const std::string &rName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InsMarkedState(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InsMarkedState(const std::string &rName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
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 > [virtual]
InsState(const StateAttr &attr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
InsState(Idx index)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
InsState(const std::string &rName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
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 >
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::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
IsCoaccessible(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
IsDeterministic(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
IsTrim(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
mAlphabetfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [protected]
MarkedStates(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
MarkedStatesBegin(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
MarkedStatesEmpty(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
MarkedStatesEnd(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
MarkedStatesSize(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
MarkedStatesToString(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
mGlobalAttributefaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [protected]
mIdfaudes::vGenerator [protected]
MinimizeAlphabet(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
mInitStatesfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [protected]
MinStateIndex(Idx index) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
mMarkedStatesfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [protected]
mMinStateIndexMapfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [protected]
mMyNamefaudes::vGenerator [protected]
Move(TaGenerator &rGen)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
Move(vGenerator &rGen)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
mpEventSymbolTablefaudes::vGenerator [protected]
mpStateSymbolTablefaudes::vGenerator [protected]
msObjectCountfaudes::vGenerator [protected, static]
mStateNamesEnabledfaudes::vGenerator [protected]
mStatesfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [protected]
mStateSymbolTablefaudes::vGenerator [protected]
mTransRelfaudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [protected]
Name(const std::string &rName)faudes::vGenerator
Name(void) const faudes::vGenerator
NewAGen(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
NewCGen(void) const faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
NewEventSet(void) const faudes::vGenerator
NewEventSetp(void) const faudes::vGenerator
NewP(void) const faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
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 >
operator<(const vGenerator &rOtherGen) const faudes::vGenerator [inline]
operator=(const TaGenerator &rOtherGen)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
operator=(const vGenerator &rOtherGen)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
Read(const char *pFileName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
Read(TokenReader &rTr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ReadAlphabet(const char *pFileName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [protected]
ReadAlphabet(TokenReader &rTr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [protected]
ReadGeneratorName(const char *pFileName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [protected]
ReadGeneratorName(TokenReader &rTr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [protected]
ReadStates(const char *pFileName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [protected]
ReadStates(TokenReader &rTr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [protected]
ReadStateSet(TokenReader &rTr, const std::string &rLabel, StateSet &rStateSet) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
ReadTransRel(const char *pFileName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [protected]
ReadTransRel(TokenReader &rTr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [protected]
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 >
SetInitState(Idx index)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
SetInitState(const std::string &rName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
SetMarkedState(Idx index)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
SetMarkedState(const std::string &rName)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
SetMinStateIndexMap(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
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 > [virtual]
SetTransition(const std::string &rX1, const std::string &rEv, const std::string &rX2)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
SetTransition(const Transition &rTransition)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
SetTransition(const Transition &rTransition, const TransAttr &rAttr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
Size(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
SStr(Idx index) const faudes::vGenerator
StateAttribute(Idx index, const StateAttr &rAttr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
StateAttribute(Idx index) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
StateAttributep(Idx index)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
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 faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
StatesBegin(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
StatesEnd(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
StateSetToString(const TaIndexSet< OtherAttr > &rStateSet) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
StateSetToString(const StateSet &rStateSet) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
StatesToString(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
StateSymbolTable(void) const faudes::vGenerator
StateSymbolTable(const SymbolTable &rSymTab)faudes::vGenerator
StatisticsToString(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
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 char *pFileName)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 char *pFileName)faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
ToString(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransAttribute(const Transition &rTrans, const TransAttr &rAttr)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TransAttribute(const Transition &rTrans) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TransAttributep(const Transition &rTrans)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TransRel(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransRel(TransSetX1EvX2 &res) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransRel(TransSetEvX1X2 &res) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransRel(TransSetEvX2X1 &res) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransRel(TransSetX2EvX1 &res) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransRel(TransSetX2X1Ev &res) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransRel(TransSetX1X2Ev &res) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransRelBegin(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransRelBegin(Idx x1) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransRelBegin(Idx x1, Idx ev) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransRelEmpty(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransRelEnd(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransRelEnd(Idx x1) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransRelEnd(Idx x1, Idx ev) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransRelSize(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransRelStateSpace(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransRelStateSpace(Idx x1) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TransRelToString(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
Trim(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TrimSet(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
TStr(const Transition &rTrans) const faudes::vGenerator
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::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
UpdateAttributes(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [inline, virtual]
UsedEvents(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
Valid(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
Version(Idx version, TaGenerator &rResGen)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
Version(const std::string &rVersion, TaGenerator &rResGen)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
vGenerator(void)faudes::vGenerator
vGenerator(const vGenerator &rOtherGen)faudes::vGenerator
Write(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
Write(const char *pFileName, std::ios::openmode openmode=std::ios::out|std::ios::trunc)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
Write(TokenWriter &rTw) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
WriteAlphabet(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
WriteAlphabet(TokenWriter &rTw) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
WriteStateSet(const TaIndexSet< OtherAttr > &rStateSet) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
WriteStateSet(const StateSet &rStateSet) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
WriteStateSet(TokenWriter &rTw, const TaIndexSet< OtherAttr > &rStateSet) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
WriteStateSet(TokenWriter &rTw, const StateSet &rStateSet) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
WriteStatistics(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
WriteStatistics(TokenWriter &rTw) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
WriteTransRel(void) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
WriteTransRel(TokenWriter &rTw) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [virtual]
XDotWrite(const std::string &rFileName) const faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
~TaGenerator(void)faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > [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