Compositional synthesis.
More...
#include "corefaudes.h"
Go to the source code of this file.
|
| | faudes |
| | libFAUDES resides within the namespace faudes.
|
| |
|
| void | faudes::CompositionalSynthesis (const GeneratorVector &rPlantGenVec, const EventSet &rConAlph, const GeneratorVector &rSpecGenVec, std::map< Idx, Idx > &rMapEventsToPlant, GeneratorVector &rDisGenVec, GeneratorVector &rSupGenVec) |
| | Compositional synthesis. More...
|
| |
| void | faudes::CompositionalSynthesisUnchecked (const GeneratorVector &rPlantGenVec, const EventSet &rConAlph, const GeneratorVector &rSpecGenVec, std::map< Idx, Idx > &rMapEventsToPlant, GeneratorVector &rDisGenVec, GeneratorVector &rSupGenVec) |
| | Compositional synthesis. More...
|
| |
| void | faudes::ControlProblemConsistencyCheck (const GeneratorVector &rPlantGenVec, const EventSet &rConAlph, const GeneratorVector &rSpecGenVec) |
| | Compositional synthesis. More...
|
| |
Compositional synthesis.
Definition in file syn_compsyn.h.