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.

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen