pd_alg_main.cpp File Reference

Top-Level functions. More...

#include "pd_alg_main.h"

Go to the source code of this file.

Namespaces

namespace  faudes
 libFAUDES resides within the namespace faudes.

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 &reg, 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.

Detailed Description

Top-Level functions.

Definition in file pd_alg_main.cpp.

libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen