pd_merge.h
Go to the documentation of this file.
20 /*template <class GlobalAttr, class StateAttr, class EventAttr, class TransAttr> class TpdGenerator;
24 typedef TpdGenerator<AttributePushdownGlobal, AttributePushdownState, AttributeCFlags,AttributePushdownTransition>
359 MergeTransition(Idx x1, Idx ev, Idx x2, const std::vector<Idx>& pop, const std::vector<Idx>& push);
371 MergeTransition(const Transition trans, const std::vector<Idx>& pop, const std::vector<Idx>& push);
libFAUDES 2.26g --- 2015.08.17 --- c++ api documentaion by doxygen |