Detailed DescriptionThe pushdown plug-in 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)). The algorithm has been developed by Schneider and Schmuck; see the user-reference for literature. LicenseThis plug-in is distributed with libFAUDES and under the terms of the LGPL. ContentsTypedef Documentation
Transition attribute with pop and push. Definition at line 167 of file pd_attributes.h. libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen |