|
|
||||||
|
op_ex_synthesis.cpp
Go to the documentation of this file.
35 // compute an abstraction that is an Lm-observer while keeping the events in the original abstraction alphabet
113 std::cout << "# Lm-observer computed; the result can be found in the folder./results/ex_synthesis\n";
123 // compute an abstraction that is an Lm-observer and LCC whilc keeping the events in the original abstraction alphabet
135 std::cout << "################################################################################\n";
136 std::cout << "# Lm-observer computed; the result can be found in the folder./results/ex_synthesis\n";
137 std::cout << "################################################################################\n";
146 // compute an abstraction that is an Lm-observer and LCC whilc keeping the events in the original abstraction alphabet
158 std::cout << "################################################################################\n";
159 std::cout << "# MSA-observer omputed; the result can be found in the folder./results/ex_synthesis\n";
160 std::cout << "################################################################################\n";
164 // Synthesis of a natural projection that fulfills local control consistency (LCC) with relabeling
170 // compute an abstraction that is an Lm-observer and LCC whilc keeping the events in the original abstraction alphabet
182 std::cout << "################################################################################\n";
183 std::cout << "# Lm-observer with LCC computed; the result can be found in the folder./results/ex_synthesis\n";
184 std::cout << "################################################################################\n";
193 // compute an abstraction that is an Lm-observer and LCC whilc keeping the events in the original abstraction alphabet
205 std::cout << "################################################################################\n";
206 std::cout << "# MSA-observer with LCC computed; the result can be found in the folder./results/ex_synthesis\n";
207 std::cout << "################################################################################\n";
Definition: cfl_nameset.h:69 Definition: cfl_cgenerator.h:278 void Read(const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0) Definition: cfl_types.cpp:262 Definition: cfl_generator.h:213 void GraphWrite(const std::string &rFileName, const std::string &rOutFormat="", const std::string &rDotExec="dot") const Definition: cfl_generator.cpp:3847 TcGenerator< AttributeVoid, AttributeVoid, AttributeCFlags, AttributeVoid > System Definition: cfl_cgenerator.h:921 void aProject(const Generator &rGen, const EventSet &rProjectAlphabet, Generator &rResGen) Definition: cfl_project.cpp:1417 void calcAbstAlphObsLCC(System &rGenObs, EventSet &rHighAlph, EventSet &rNewHighAlph, map< Idx, set< Idx > > &rMapRelabeledEvents) Definition: op_observercomputation.cpp:1171 Int calcNaturalObserver(const Generator &rGen, EventSet &rHighAlph) Definition: op_observercomputation.cpp:433 void calcAbstAlphObs(System &rGenObs, EventSet &rHighAlph, EventSet &rNewHighAlph, map< Idx, set< Idx > > &rMapRelabeledEvents) Definition: op_observercomputation.cpp:746 void calcAbstAlphMSA(System &rGenObs, EventSet &rHighAlph, EventSet &rNewHighAlph, map< Idx, set< Idx > > &rMapRelabeledEvents) Definition: op_observercomputation.cpp:825 Int calcMSAObserverLCC(const Generator &rGen, const EventSet &rControllableEvents, EventSet &rHighAlph) Definition: op_observercomputation.cpp:497 void calcAbstAlphClosed(System &rGenObs, EventSet &rHighAlph, EventSet &rNewHighAlph, map< Idx, set< Idx > > &rMapRelabeledEvents) Definition: op_observercomputation.cpp:667 void calcAbstAlphMSALCC(System &rGenObs, EventSet &rHighAlph, EventSet &rNewHighAlph, map< Idx, set< Idx > > &rMapRelabeledEvents) Definition: op_observercomputation.cpp:1245 Int calcNaturalObserverLCC(const Generator &rGen, const EventSet &rControllableEvents, EventSet &rHighAlph) Definition: op_observercomputation.cpp:454 Idx calcClosedObserver(const Generator &rGen, EventSet &rHighAlph) Definition: op_observercomputation.cpp:413 Int calcMSAObserver(const Generator &rGen, EventSet &rHighAlph) Definition: op_observercomputation.cpp:476 Definition: cfl_agenerator.h:43 libFAUDES 2.33b --- 2025.05.07 --- c++ api documentaion by doxygen |