syn_compsyn.cpp File Reference

#include "syn_compsyn.h"
#include "syn_synthequiv.h"
#include "corefaudes.h"

Go to the source code of this file.

Classes
class	faudes::ComSyn
class	faudes::SmallSize

Namespaces
	faudes

Functions
void	faudes::TransSpec (const GeneratorVector &rSpecGenVec, const EventSet &rGUncAlph, GeneratorVector &rResGenVec)
void	faudes::ComputeWSOE (const Generator &rGenOrig, const EventSet &rConAlph, const EventSet &rLocAlph, std::map< Idx, Idx > &rMapStateToPartition, Generator &rResGen)
void	faudes::GlobalSelfloop (GeneratorVector &rGenVec)
void	faudes::LocalSelfloop (Generator &rGen, EventSet &rLocAlph)
void	faudes::MakeDistinguisher (Generator &AbstGen, std::map< Idx, Idx > &rMapStateToPartition, Generator &OrigGen, std::map< Idx, std::vector< Idx > > &rMapOldToNew)
void	faudes::Splitter (const std::map< Idx, std::vector< Idx > > &rMapOldToNew, EventSet &rConAlph, GeneratorVector &rGenVec, std::map< Idx, Idx > &rMapEventsToPlant, GeneratorVector &rDisGenVec, GeneratorVector &rSupGenVec)
void	faudes::SelectSubsystem_V1 (GeneratorVector &rGenVec, Generator &rResGen)
void	faudes::SelectSubsystem_V2 (GeneratorVector &rGenVec, Generator &rResGen)
void	faudes::ComputeHSupConNB (const Generator &rOrigGen, const EventSet &rConAlph, const EventSet &rLocAlph, Generator &rHSupGen)
void	faudes::SingleTransSpec (const Generator &rSpecGen, const EventSet &rUncAlph, Generator &rResGen)
void	faudes::SplittGen (Generator &rGen, Idx parent, const std::vector< Idx > &kids)
bool	faudes::BiggerMax (std::vector< GeneratorVector::Position > &rCandidate, GeneratorVector &rGenVec)
void	faudes::H_tocollect (StateSet &rBlockingstates, const TransSetX2EvX1 &rRtrel, const EventSet &rLouc, const EventSet &rShuc, TransSetX2EvX1 &rToredirect)
void	faudes::ControlProblemConsistencyCheck (const GeneratorVector &rPlantGenVec, const EventSet &rConAlph, const GeneratorVector &rSpecGenVec)
void	faudes::CompositionalSynthesisUnchecked (const GeneratorVector &rPlantGenVec, const EventSet &rConAlph, const GeneratorVector &rSpecGenVec, std::map< Idx, Idx > &rMapEventsToPlant, GeneratorVector &rDisGenVec, GeneratorVector &rSupGenVec)
void	faudes::CompositionalSynthesis (const GeneratorVector &rPlantGenVec, const EventSet &rConAlph, const GeneratorVector &rSpecGenVec, std::map< Idx, Idx > &rMapEventsToPlant, GeneratorVector &rDisGenVec, GeneratorVector &rSupGenVec)

Detailed Description

Compositional synthesis

Definition in file syn_compsyn.cpp.