Home
last modified time | relevance | path

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

/dports/lang/maude/maude-2.7.1/src/MSCP10/
H A Dscp_kernel.hh86 int addrbubexcept; member in ScpBubble
H A Dscp_compiler.cc680 membubble[bub].addrbubexcept = xbubexcept; in compileCoverageTables()
884 if (bubexcept[bubble->addrbubexcept + tm]) in printGrammar()
H A Dscp_parser.cc805 (bubexcept[bubble->addrbubexcept + inputterm[lpos]])) { in runBubble()
980 (bubexcept[bubble->addrbubexcept + inputterm[lpos]])) { in runBubble()