|
|
||||||
|
syn_tsupcon.cpp
Go to the documentation of this file.
91 for (_titg = rPlantGen.TransRelBegin(currentg); _titg != rPlantGen.TransRelEnd(currentg); ++_titg)
94 for (_tith = rSupCandGen.TransRelBegin(currenth); _tith != rSupCandGen.TransRelEnd(currenth); ++_tith)
258 if(rPlantGen.StateNamesEnabled() && rSpecGen.StateNamesEnabled() && rResGen.StateNamesEnabled())
Definition: cfl_indexset.h:78 Definition: cfl_nameset.h:70 TBaseSet< Transition, TransSort::X1EvX2 >::Iterator Iterator Definition: cfl_transset.h:273 const TaEventSet< EventAttr > & Alphabet(void) const Definition: cfl_agenerator.h:1358 Definition: cfl_cgenerator.h:76 EventSet ControllableEvents(void) const Definition: cfl_cgenerator.h:930 EventSet ForcibleEvents(void) const Definition: cfl_cgenerator.h:1161 std::string ToString(const std::string &rLabel="", const Type *pContext=0) const Definition: cfl_types.cpp:175 Definition: cfl_generator.h:213 StateSet::Iterator InitStatesBegin(void) const Definition: cfl_generator.cpp:1147 bool InitStatesEmpty(void) const Definition: cfl_generator.cpp:660 TransSet::Iterator TransRelBegin(void) const Definition: cfl_generator.cpp:1064 void DelStates(const StateSet &rDelStates) Definition: cfl_generator.cpp:1378 TransSet::Iterator TransRelEnd(void) const Definition: cfl_generator.cpp:1069 virtual void EventAttributes(const EventSet &rEventSet) Definition: cfl_generator.cpp:1727 bool StateNamesEnabled(void) const Definition: cfl_generator.cpp:996 void InjectAlphabet(const EventSet &rNewalphabet) Definition: cfl_generator.cpp:1167 void SupTcon(const Generator &rPlantGen, const EventSet &rCAlph, const EventSet &rFAlph, const EventSet &rPAlph, const Generator &rSpecGen, Generator &rResGen) Definition: syn_tsupcon.cpp:274 Definition: cfl_agenerator.h:43 void SetComposedStateNames(const Generator &rGen1, const Generator &rGen2, const std::map< std::pair< Idx, Idx >, Idx > &rCompositionMap, Generator &rGen12) Definition: cfl_parallel.cpp:753 void ControlProblemConsistencyCheck(const GeneratorVector &rPlantGenVec, const EventSet &rConAlph, const GeneratorVector &rSpecGenVec) Definition: syn_compsyn.cpp:1301 void SupTconUnchecked(const Generator &rPlantGen, const EventSet &rCAlph, const EventSet &rFAlph, const EventSet &rPAlph, const EventSet &rCPAlph, Generator &rSupCandGen) Definition: syn_tsupcon.cpp:40 void SupConClosedUnchecked(const Generator &rPlantGen, const EventSet &rCAlph, Generator &rSupCandGen) Definition: syn_supcon.cpp:57 void SupConProduct(const Generator &rPlantGen, const EventSet &rCAlph, const Generator &rSpecGen, std::map< std::pair< Idx, Idx >, Idx > &rCompositionMap, Generator &rResGen) Definition: syn_supcon.cpp:386 std::string CollapsString(const std::string &rString, unsigned int len) Definition: cfl_utils.cpp:91 libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen |