Home
last modified time | relevance | path

Searched refs:membubble (Results 1 – 4 of 4) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/MSCP10/
H A Dscp_memory.cc60 membubble = new ScpBubble[lenbubble]; in ScpParser()
113 delete [] membubble; in ~ScpParser()
H A Dscp_compiler.cc240 memcpy(xmembubble,membubble,lenbubble*sizeof(ScpBubble)); in insertProd()
242 delete [] membubble; in insertProd()
243 membubble = xmembubble; in insertProd()
245 ScpBubble* bubble = &membubble[curbubble]; in insertProd()
606 ltcov += ldernttb[-membubble[bub].abslnt]; in compileCoverageTables()
670 int abslnt = -membubble[bub].abslnt; in compileCoverageTables()
675 memcov[ltcov].prodtn = membubble[bub].prodtn; in compileCoverageTables()
680 membubble[bub].addrbubexcept = xbubexcept; in compileCoverageTables()
681 int lexcept = membubble[bub].lexcept; in compileCoverageTables()
682 int except = membubble[bub].except; in compileCoverageTables()
[all …]
H A Dscp_parser.hh65 class ScpBubble* membubble; member in ScpParser
H A Dscp_parser.cc545 cout << " symbol:" << printSymbol(membubble[memprodtn[prod].bubble].abslnt); in tryNode()
559 lhs = membubble[memprodtn[prod].bubble].abslnt; in tryNode()
785 ScpBubble* bubble = &membubble[memprodtn[bprod].bubble]; in runBubble()
1360 return memabslnt[-membubble[memprodtn[prod+1].bubble].abslnt].baseNT; in getLHSProduction()