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.