Home
last modified time | relevance | path

Searched refs:upSubstitution (Results 1 – 4 of 4) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Meta/
H A DmetaUp.cc377 args[2] = upSubstitution(substitution, variableInfo, m, qidMap, dagNodeMap); in upResultTriple()
394 args[2] = upSubstitution(substitution, variableInfo, m, qidMap, dagNodeMap); in upResult4Tuple()
408 args[0] = upSubstitution(substitution, variableInfo, m, qidMap, dagNodeMap); in upUnificationPair()
476 MetaLevel::upSubstitution(const Substitution& substitution, in upSubstitution() function in MetaLevel
643 args[0] = upSubstitution(substitution, variableInfo, m, qidMap, dagNodeMap); in upMatchPair()
820 MetaLevel::upSubstitution(const Vector<DagNode*>& substitution, in upSubstitution() function in MetaLevel
860 args[0] = upSubstitution(unifier, variableInfo, unifier.size(), m, qidMap, dagNodeMap); in upUnificationPair()
935 args[1] = upSubstitution(variant, variableInfo, nrVariables, m, qidMap, dagNodeMap); in upVariant()
H A DmetaMatch.cc126 result = metaLevel->upSubstitution(*substitution, in metaMatch()
H A DmetaLevel.hh112 DagNode* upSubstitution(const Substitution& substitution,
345 DagNode* upSubstitution(const Vector<DagNode*>& substitution,
H A DChangeLog304 * metaUp.cc (upSubstitution): added narrowing version
306 (upVariant): use upSubstitution()
900 upSubstitution()
901 (upSubstition): becomes upSubstitution()
903 * metaMatch.cc (metaMatch): upSubstition() -> upSubstitution()
906 upSubstitution()