Home
last modified time | relevance | path

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

/dports/lang/maude/maude-2.7.1/src/Core/
H A DsortTable.hh104 bool partiallySubsumes(int subsumer, int victim, int argNr);
H A DsortTable.cc210 SortTable::partiallySubsumes(int subsumer, int victim, int argNr) in partiallySubsumes() function in SortTable
243 if (j != i && alive.contains(j) && partiallySubsumes(i, j, argNr)) in minimize()
H A DChangeLog2572 (partiallySubsumes): use new opDeclarations
4121 partiallySubsumes() and minimize()
4123 * sortTable.cc (partiallySubsumes): added