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>
361 MergeTransition(Idx x1, Idx ev, Idx x2, const std::vector<Idx>& pop, const std::vector<Idx>& push);
373 MergeTransition(const Transition trans, const std::vector<Idx>& pop, const std::vector<Idx>& push);
libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen |