Functions |
void | faudes::PushdownConstructController (const PushdownGenerator &rSpec, const System &rPlant, PushdownGenerator &rRes, bool debug=false) |
| Construct a minimal restrictive sound controller, based on the Algorithm presented by Sven Schneider and Anne-Kathrin Schmuck.
|
void | faudes::ConstructControllerPreCombine (const PushdownGenerator &rSpec, const System &rPlant, PushdownGenerator &rRes, bool debug=false) |
| Create a nonblocking product generator of a pushdown generator and a regular generator.
|
int | faudes::ConstructControllerLoop (const PushdownGenerator &rContr, const System &rPlant, PushdownGenerator &rRes, int loopcounter=0, bool debug=false) |
| Looped execution to construct a minimal restrictive controller.
|
void | faudes::PushdownBlockfree (const PushdownGenerator &rPd, PushdownGenerator &rResPd, bool debug=false) |
| Make a pushdown generator nonblocking.
|
void | faudes::PushdownAccessible (const PushdownGenerator &pd, PushdownGenerator &resPd, bool coacc=true, bool debug=false) |
| Construct the accessible part of a pushdown generator.
|
StateSet | faudes::Transient (const PushdownGenerator &pd) |
| Get all states that are the starting state of a lambda reading transition.
|
PushdownGenerator | faudes::Rnce (const PushdownGenerator &pd, const System &s) |
| Remove non-controllable ears from a generator.
|
PushdownGenerator | faudes::Times (const System ®, const PushdownGenerator &pd) |
| synchronous product generator of a pushdown generator and a regular generator
|
void | faudes::IntersectEvents (const System &s, const PushdownGenerator &pd, PushdownGenerator &rPd) |
| Adds the intersection of events of the first two generators to the result generator.
|
PushdownGenerator | faudes::Split (const PushdownGenerator &pd) |
| Splits the states of a pushdown generator into heads and ears.
|
void | faudes::CorrectEvents (const PushdownGenerator &correctPd, PushdownGenerator &pd) |
| Sets controllability and observability flags for a pushdown generator's events to the event flags of another pushdown generator.
|
int | faudes::timeval_subtract (timeval *result, timeval *x, timeval *y) |
| from http://www.gnu.org/software/libc/manual/html_node/Elapsed-Time.html Calculates time difference x - y.
|
Top-Level functions.
Definition in file pd_alg_main.cpp.