pd_alg_cc.h File Reference

Top-Level functions. More...

#include "corefaudes.h"
#include "pd_pdgenerator.h"
#include "pd_alg_lrm.h"
#include "pd_alg_lrp.h"
#include "pd_alg_nb_sub_a.h"
#include "pd_alg_nb_sub_b.h"
#include "pd_lang_k.h"
#include <sys/time.h>

Go to the source code of this file.

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 &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::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.

Detailed Description

Top-Level functions.

Definition in file pd_alg_cc.h.

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen