Home
last modified time | relevance | path

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

/dports/lang/maude/maude-2.7.1/src/Meta/
H A DmetaVariant.cc163 MetaLevelOpSymbol::metaVariantUnify2(FreeDagNode* subject, RewritingContext& context, bool disjoint) in metaVariantUnify2() function in MetaLevelOpSymbol
263 return metaVariantUnify2(subject, context, false); in metaVariantUnify()
272 return metaVariantUnify2(subject, context, true); in metaVariantDisjointUnify()
H A DmetaLevelOpSymbol.hh111 bool metaVariantUnify2(FreeDagNode* subject, RewritingContext& context, bool disjoint);
H A DChangeLog36 (metaVariantUnify2): don't rely on default value for last argument
45 * metaVariant.cc (metaVariantUnify2): pass incomplete flag to
72 (metaVariantUnify2): use getLastReturnedUnifier()
87 * metaVariant.cc (metaVariantUnify2, metaGetVariant2): use
142 * metaVariant.cc (metaVariantUnify2): check solutionNr >= 0
285 * metaVariant.cc (metaGetVariant, metaVariantUnify2): added
288 (metaVariantUnify2): removed commented out code
299 * metaVariant.cc (metaVariantUnify2): use upUnificationTriple(),
313 metaVariantUnify2()
315 * metaVariant.cc (metaVariantUnify2): added