pd_alg_opt.cpp
Go to the documentation of this file.
107 for(ppInit = tempPd.PopPushBegin(*transInit); ppInit != tempPd.PopPushEnd(*transInit); ppInit++){
127 for(ppOutit = tempPd.PopPushBegin(*transOutit); ppOutit != tempPd.PopPushEnd(*transOutit); ppOutit++){
136 rPd.SetTransition(transInit->X1, transOutit->Ev, transOutit->X2, ppOutit->first, ppOutit->second);
152 StackSymbolSet GetPossibleStackTops(const PushdownGenerator& pd, const StateSet& examinedStates, Idx q){
libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen |