syn_supreduce.cpp File Reference

Supervisor Reduction. More...

#include "syn_supreduce.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
	faudes
	libFAUDES resides within the namespace faudes.

Functions
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...

Detailed Description

Supervisor Reduction.

Definition in file syn_supreduce.cpp.