Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Functions |
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::PushdownNonblock (const PushdownGenerator &pd, PushdownGenerator &res, bool print=false) |
| Make a pushdown generator nonblocking.
|
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.
|
bool | faudes::Ts (const PushdownGenerator &pd, Idx state) |
| Test a state for reachability.
|
bool | faudes::Te (const PushdownGenerator &pd, const Transition &trans, const std::vector< Idx > &pop, const std::vector< Idx > &push) |
| Test a transition for reachability.
|
bool | faudes::Ruls1 (Idx state, const PushdownGenerator &pd) |
PushdownGenerator | faudes::Ruls (const PushdownGenerator &pd) |
| Remove useless states of a pushdown generator.
|
void | faudes::PushdownAccessible (const PushdownGenerator &pd, PushdownGenerator &res) |
| Construct the accessible part of a pushdown generator.
|
PushdownGenerator | faudes::Ccs (const PushdownGenerator &contr, const System &plant) |
| Single execution of the loop to construct a minimal restrictive sound controller.
|
PushdownGenerator | faudes::Ccl (const PushdownGenerator &contr, const System &plant, Idx iteration=0) |
| Looped exectuion of to construct a minimal restrictive sound controller.
|
void | faudes::PushdownConstructController (const PushdownGenerator &spec, const System &plant, PushdownGenerator &res) |
| Construct a minimal restrictive sound controller.
|
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.