|
|
||||||
|
1_generator.cpp
Go to the documentation of this file.
245 // (by "existing event" we refer to an event that has been previously inserted to some Generator)
Definition: cfl_exception.h:118 Definition: cfl_indexset.h:78 Definition: cfl_nameset.h:70 Definition: cfl_baseset.h:394 TBaseSet< Transition, TransSort::X1EvX2 >::Iterator Iterator Definition: cfl_transset.h:273 void Read(const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0) Definition: cfl_types.cpp:267 void FromString(const std::string &rString, const std::string &rLabel="", const Type *pContext=0) Definition: cfl_types.cpp:281 Definition: cfl_generator.h:213 StateSet::Iterator StatesBegin(void) const Definition: cfl_generator.cpp:1054 bool SetTransition(Idx x1, Idx ev, Idx x2) Definition: cfl_generator.cpp:1623 const StateSet & MarkedStates(void) const Definition: cfl_generator.cpp:1910 virtual void DDotWrite(const std::string &rFileName) const Definition: cfl_generator.cpp:3030 virtual vGenerator & Assign(const Type &rSrc) Definition: cfl_generator.cpp:295 std::string StatesToString(void) const Definition: cfl_generator.cpp:2783 EventSet ActiveEventSet(Idx x1) const Definition: cfl_generator.cpp:1935 const StateSet & InitStates(void) const Definition: cfl_generator.cpp:1905 TransSet::Iterator TransRelBegin(void) const Definition: cfl_generator.cpp:1064 void ClrTransition(Idx x1, Idx ev, Idx x2) Definition: cfl_generator.cpp:1657 Idx StateIndex(const std::string &rName) const Definition: cfl_generator.cpp:941 void InsEvents(const EventSet &events) Definition: cfl_generator.cpp:1207 bool EventRename(Idx event, const std::string &rNewName) Definition: cfl_generator.cpp:864 EventSet::Iterator AlphabetBegin(void) const Definition: cfl_generator.cpp:1044 StateSet TransRelStates(void) const Definition: cfl_generator.cpp:1955 StateSet AccessibleSet(void) const Definition: cfl_generator.cpp:1995 Idx EventIndex(const std::string &rName) const Definition: cfl_generator.cpp:831 std::string TStr(const Transition &rTrans) const Definition: cfl_generator.cpp:3898 std::string StateName(Idx index) const Definition: cfl_generator.cpp:946 virtual void DotWrite(const std::string &rFileName) const Definition: cfl_generator.cpp:2969 StateSet::Iterator StatesEnd(void) const Definition: cfl_generator.cpp:1059 void DelStates(const StateSet &rDelStates) Definition: cfl_generator.cpp:1378 TransSet::Iterator TransRelEnd(void) const Definition: cfl_generator.cpp:1069 StateSet TerminalStates(void) const Definition: cfl_generator.cpp:2325 bool StateNamesEnabled(void) const Definition: cfl_generator.cpp:996 void SetDefaultStateNames(void) Definition: cfl_generator.cpp:1012 void GraphWrite(const std::string &rFileName, const std::string &rOutFormat="", const std::string &rDotExec="dot") const Definition: cfl_generator.cpp:3904 virtual void Version(const std::string &rVersion, vGenerator &rResGen) const Definition: cfl_generator.cpp:416 std::string EventName(Idx index) const Definition: cfl_generator.cpp:836 EventSet::Iterator AlphabetEnd(void) const Definition: cfl_generator.cpp:1049 StateSet CoaccessibleSet(void) const Definition: cfl_generator.cpp:2051 bool ExistsInitState(Idx index) const Definition: cfl_generator.cpp:1793 bool ExistsMarkedState(Idx index) const Definition: cfl_generator.cpp:1803 std::string AlphabetToString(void) const Definition: cfl_generator.cpp:2489 StateSet SuccessorStates(Idx x1) const Definition: cfl_generator.cpp:1966 Definition: cfl_agenerator.h:43 libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen |