Supremal controllable sublanguage.
|
Namespaces |
namespace | faudes |
Functions |
bool | faudes::IsControllableUnchecked (const vGenerator &rPlantGen, const EventSet &rCAlph, const vGenerator &rSpecGen, StateSet &rCriticalStates) |
| Controllability (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).
|
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).
|
void | faudes::ControlProblemConsistencyCheck (const vGenerator &rPlantGen, const EventSet &rCAlph, const vGenerator &rSpecGen) |
| Consistency check for controlproblem input data.
|
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::IsControllable (const vGenerator &rPlantGen, const EventSet &rCAlph, const vGenerator &rSupCandGen, bool &rRes) |
| IsControllable wrapper.
|
void | faudes::SupConNB (const vGenerator &rPlantGen, const EventSet &rCAlph, const vGenerator &rSpecGen, vGenerator &rResGen) |
| Nonblocking 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::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::TraverseUncontrollableBackwards (const EventSet &rCAlph, TransSetX2EvX1 &rtransrel, StateSet &rCriticalStates, Idx current) |
| Helper function for IsControllable.
|
bool | faudes::cIsControllable (const cGenerator &rPlantGen, const vGenerator &rSupCandGen) |
| Test controllability.
|
void | faudes::cSupConNB (const cGenerator &rPlantGen, const vGenerator &rSpecGen, vGenerator &rResGen) |
| Nonblocking Supremal Controllable Sublanguage.
|
void | faudes::cSupCon (const cGenerator &rPlantGen, const vGenerator &rSpecGen, vGenerator &rResGen) |
| Supremal Controllable Sublanguage.
|