Definition in file supcon.h.
#include "definitions.h"
#include "project.h"
#include "parallel.h"
#include <stack>
Go to the source code of this file.
Namespaces | |
namespace | faudes |
Defines | |
#define | SUBCON_H |
Functions | |
bool | faudes::IsControllable (const vGenerator &rPlantGen, const EventSet &rCAlph, const vGenerator &rSupCandGen) |
Test controllability. | |
bool | faudes::IsControllable (const vGenerator &rPlantGen, const EventSet &rCAlph, const vGenerator &rSupCandGen, StateSet &rCriticalStates) |
Test controllability. | |
void | faudes::SupConNB (const vGenerator &rPlantGen, const EventSet &rCAlph, const vGenerator &rSpecGen, vGenerator &rResGen) |
Nonblocking Supremal Controllable Sublanguage. | |
void | faudes::SupCon (const vGenerator &rPlantGen, const EventSet &rCAlph, const vGenerator &rSpecGen, vGenerator &rResGen) |
Supremal Controllable Sublanguage. | |
void | faudes::SupCon (const vGenerator &rPlantGen, const EventSet &rCAlph, const vGenerator &rSpecGen, std::map< std::pair< Idx, Idx >, Idx > &rReverseCompositionMap, vGenerator &rResGen) |
Supremal Controllable Sublanguage. | |
void | faudes::SupConNBNonDet (const vGenerator &rPlantGen, const EventSet &rCAlph, const vGenerator &rSpecGen, std::map< std::pair< Idx, Idx >, Idx > &rReverseCompositionMap, Generator rDetPlantGen, Generator rDetSpecGen, std::map< Idx, StateSet > &rPowerStatesPlant, std::map< Idx, StateSet > &rPowerStatesSpec, bool &rDetPlantBool, bool &rDetSpecBool, vGenerator &rResGen) |
Nonblocking Supremal Controllable Sublanguage. | |
void | faudes::SupConNBUnchecked (const vGenerator &rPlantGen, const EventSet &rCAlph, const vGenerator &rSpecGen, std::map< std::pair< Idx, Idx >, Idx > &rReverseCompositionMap, vGenerator &rResGen) |
Nonblocking Supremal Controllable Sublanguage (internal function). | |
bool | faudes::SupConUnchecked (const vGenerator &rPlantGen, const EventSet &rCAlph, vGenerator &rSupCandGen) |
Supremal Controllable Sublangauge (internal function). | |
void | faudes::SupconParallel (const vGenerator &rPlantGen, const EventSet &rCAlph, const vGenerator &rSpecGen, std::map< std::pair< Idx, Idx >, Idx > &rReverseCompositionMap, vGenerator &rResGen) |
Parallel composition optimized for the purpose of SupCon (internal function). | |
bool | faudes::IsControllableUnchecked (const vGenerator &rPlantGen, const EventSet &rCAlph, const vGenerator &rSpecGen, StateSet &rCriticalStates) |
Controllability (internal function). | |
void | faudes::TraverseUncontrollableBackwards (const EventSet &rCAlph, TransSetX2EvX1 &rtransrel, StateSet &rCriticalStates, Idx current) |
Helper function for IsControllable. | |
void | faudes::ControlProblemConsistencyCheck (const vGenerator &rPlantGen, const EventSet &rCAlph, const vGenerator &rSpecGen) |
Consistency check for controlproblem input data. |
|
|