This libFAUDES plugin synthesizes a minimally restrictive supervisor for a regular plant language (provided by a deterministic finite automaton (DFA)) and a context free specification language (provided by a deterministic pushdown automaton (DPDA)).
To run a tutoral provided in ./tutorial (e.g. pd_example.cpp), run "make tutorial" and start the generated executeable by ./tutorial/pd_example. To run the tutorial and both save the output to a file and display it in the terminal, use 
"./pd_example ls -l 2>&1 | tee pd_example.txt".


Contents

doc/                   local doxygen outputs

Makefile.plugin        plugin to extend main makefile
Makefile.tutorial      plugin to extend the tutorial targets of main makefile

src/pd_*.cpp          c++ sources 
src/pd_*.h            c++ headers
src/pd_include.h      convenience header to include all other headers

tutorial/pd_*.cpp     tutorial c++ sources, compile to executable
tutorial/data/*       input data for tutorials

