pd_alg_main.h
Go to the documentation of this file.
40 void PushdownConstructController(const PushdownGenerator& rSpec,const System& rPlant, PushdownGenerator& rRes, bool debug = false);
58 void ConstructControllerPreCombine(const PushdownGenerator& rSpec, const System& rPlant, PushdownGenerator& rRes, bool debug = false);
78 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 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 void PushdownAccessible(const PushdownGenerator& pd, PushdownGenerator& resPd, bool coacc = true, bool debug = false);
libFAUDES 2.26g --- 2015.08.17 --- c++ api documentaion by doxygen |