syn_supreduce.h File Reference
#include "corefaudes.h"
Go to the source code of this file.
Classes |
struct | faudes::ReductionStateInfo |
| Data structure for identifying states in the same coset for supervisor reduction. More...
|
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Functions |
bool | faudes::SupReduce (const System &rPlantGen, const System &rSupGen, System &rReducedSup) |
| Supervisor Reduction algorithm.
|
bool | faudes::CheckMergibility (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) |
| Supervisor Reduction mergibility algorithm.
|