pd_alg_cc.h
Go to the documentation of this file.
141 bool Te(const PushdownGenerator& pd, const Transition& trans, const std::vector<Idx>& pop, const std::vector<Idx>& push);
208 void PushdownConstructController(const PushdownGenerator& spec, const System& plant, PushdownGenerator& res);
libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen |