Home
last modified time | relevance | path

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

/dports/lang/maude/maude-2.7.1/src/MSCP10/
H A Dscp_memory.cc69 addrtermn = 0; in ScpParser()
115 delete [] addrtermn; in ~ScpParser()
H A Dscp_compiler.cc345 addrtermn = new int[maxtermn+maxnontm]; in compileDerivationTables()
346 addrnontm = addrtermn+maxtermn; in compileDerivationTables()
348 addrtermn[tm] = addrbase; in compileDerivationTables()
641 addrbaset = addrtermn[tm]; in compileCoverageTables()
765 addrbase = addrtermn[rhsN1]; in compileAdjacencyTables()
801 if (!adjtb[addrtermn[last-1]+adj]) in insertAdjNT()
802 insertAdjTM(addrtermn[last-1],adj); in insertAdjNT()
803 last = memcov[ldertmtb[addrtermn[last-1]+base]].ldernext; in insertAdjNT()
961 int tmaddrbase = addrtermn[tm]; in printGrammar()
1037 if (adjtb[addrtermn[tm]+nt]) { in printGrammar()
[all …]
H A Dscp_parser.cc197 event->addrnextsymbol = addrtermn[event->nextsymbol]; in tryEvent()
241 (ldertmtb[addrtermn[inputterm[pos]]-memrhs[rhs]]))) { in tryEvent()
327 (!ldertmtb[addrtermn[inputterm[pos]]-memrhs[rhs]])) { in tryEvent()
421 int addrtoken = addrtermn[inputterm[token]]; in runToken()
473 addrtoken = addrtermn[inputterm[token]]; in runTokenBubble()
565 } else if (adjtb[addrtermn[nextterm]-lhs]) { in tryNode()
956 if (adjtb[addrtermn[inputterm[xlpos]]-bubblenext]) in runBubble()
958 else if (adjtb[addrtermn[inputterm[xlpos]]-bubble->abslnt]) in runBubble()
966 else if (covtmtb[addrtermn[inputterm[xlpos]]-bubblenext]) in runBubble()
1119 if (covtmtb[addrtermn[tm]-memdetect[i]]) in errorRecovery()
[all …]
H A Dscp_parser.hh72 int* addrtermn; member in ScpParser