pd_alg_main.h
Go to the documentation of this file.
40 extern FAUDES_API void PushdownConstructController(const PushdownGenerator& rSpec,const System& rPlant, PushdownGenerator& rRes, bool debug = false);
58 extern FAUDES_API void ConstructControllerPreCombine(const PushdownGenerator& rSpec, const System& rPlant, PushdownGenerator& rRes, bool debug = false);
78 extern FAUDES_API int ConstructControllerLoop(const PushdownGenerator& rContr, const System& rPlant, PushdownGenerator& rRes, int loopcounter = 0, bool debug = false);
87 * This will remodel the pushdown generator and may replace states and stack symbols with new ones.
100 extern FAUDES_API void PushdownBlockfree(const PushdownGenerator& rPd, PushdownGenerator& rResPd, bool debug = false);
108 * removes unreachable productions. From the reduced CFG accessible states and transitions can be identified.
110 * By creating only reducible productions (see Sp2Lr() ) the function will also remove not coaccessible states.
124 extern FAUDES_API void PushdownAccessible(const PushdownGenerator& pd, PushdownGenerator& resPd, bool coacc = true, bool debug = false);
175 extern FAUDES_API void IntersectEvents(const System& s, const PushdownGenerator& pd, PushdownGenerator& rPd);
204 extern FAUDES_API void CorrectEvents(const PushdownGenerator& correctPd, PushdownGenerator& pd);
libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen |