faudes::ComSyn Class Reference
Detailed DescriptionDefinition at line 56 of file syn_compsyn.cpp. Constructor & Destructor Documentation
Constructer: construct the synthesis-buffer for running compositional synthesis algorithmus and initialize the map and supervisors. Input:
Output:
Definition at line 318 of file syn_compsyn.cpp.
Destructer. Definition at line 566 of file syn_compsyn.cpp. Member Function Documentation
adjust bisimulation relation to compositional synthesis
Definition at line 587 of file syn_compsyn.cpp.
Preprocess: firstly abstract every generator in synthesis-buffer before running synthesis-algorithmus. Definition at line 385 of file syn_compsyn.cpp.
the union of eventset from generators but without a speicified generator
Definition at line 573 of file syn_compsyn.cpp.
Compositional Synthesis Algorithmus after Preprocess. Definition at line 462 of file syn_compsyn.cpp. Member Data Documentation
global controllable events Definition at line 110 of file syn_compsyn.cpp.
synthesis-buffer Definition at line 115 of file syn_compsyn.cpp.
keep reference to distinguisher-generator Definition at line 125 of file syn_compsyn.cpp.
keep reference to EventSymbolTable Definition at line 135 of file syn_compsyn.cpp. keep reference to event-map Definition at line 120 of file syn_compsyn.cpp.
keep reference to supervisor-generator Definition at line 130 of file syn_compsyn.cpp.
the termination-event Definition at line 140 of file syn_compsyn.cpp. The documentation for this class was generated from the following file: libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen |