Supervisor Reduction.
More...
Go to the source code of this file.
|
| | faudes |
| | libFAUDES resides within the namespace faudes.
|
| |
|
| bool | faudes::TestMergibility (Idx stateI, Idx stateJ, std::vector< std::set< Idx > > &rWaitList, Idx cNode, const System &rSupGen, const std::map< Idx, ReductionStateInfo > &rSupStateInfo, const std::map< Idx, Idx > &rState2Class, const std::vector< StateSet > &rClass2States) |
| |
| bool | faudes::SupReduce (const System &rPlantGen, const System &rSupGen, System &rReducedSup) |
| | Supervisor Reduction algorithm. More...
|
| |
Supervisor Reduction.
Definition in file syn_supreduce.cpp.