Home
last modified time | relevance | path

Searched refs:IRREDUCIBLE_BY_VARIANT_EQUATIONS (Results 1 – 2 of 2) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Interface/
H A DdagNode.hh224 IRREDUCIBLE_BY_VARIANT_EQUATIONS = 4 enumerator
484 getMemoryCell()->setFlag(IRREDUCIBLE_BY_VARIANT_EQUATIONS); in setIrreducibleByVariantEquations()
490 return getMemoryCell()->getFlag(IRREDUCIBLE_BY_VARIANT_EQUATIONS); in isIrreducibleByVariantEquations()
H A DChangeLog246 * dagNode.hh (D): added IRREDUCIBLE_BY_VARIANT_EQUATIONS