Home
last modified time | relevance | path

Searched refs:covnttb (Results 1 – 3 of 3) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/MSCP10/
H A Dscp_compiler.cc315 covnttb = covtbl; in compileParser()
316 ldertmtb = covtmtb = covnttb + (maxnontm*maxnontm); in compileParser()
628 memcov[ltcov].next = covnttb[addrbaset+last]; in compileCoverageTables()
629 covnttb[addrbaset+last] = ltcov; in compileCoverageTables()
982 if (covnttb[ntaddrbase+nt]) { in printGrammar()
985 int cov = covnttb[ntaddrbase+nt]; in printGrammar()
H A Dscp_parser.hh75 int* covnttb; member in ScpParser
H A Dscp_parser.cc720 int cov = covnttb[addrlhs-memevent[event].nextsymbol]; in tryNode()