Home
last modified time | relevance | path

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

/dports/lang/maude/maude-2.7.1/src/FreeTheory/
H A DfreeSymbol.hh32 #define DISC_NET discriminationNet
95 FreeNet discriminationNet; member in FreeSymbol
101 return discriminationNet; in getNet()
H A DfreeSymbol.cc132 n.semiCompile(discriminationNet); in compileEquations()
482 if (!(discriminationNet.fastHandling())) in generateFinalInstruction()
510 if (!(discriminationNet.fastHandling())) in generateInstruction()
611 discriminationNet.dump(s, indentLevel); in dump()
H A DChangeLog2088 discriminationNet.compileEquations()
4028 discriminationNet.applyReplace() can now compute a top sort if we