Home
last modified time | relevance | path

Searched refs:upResultPair (Results 1 – 6 of 6) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Meta/
H A DdescentFunctions.cc368 d = metaLevel->upResultPair(objectContext->root(), m); in metaReduce()
386 DagNode* d = metaLevel->upResultPair(t, m); in metaNormalize()
417 d = metaLevel->upResultPair(objectContext->root(), m); in metaRewrite()
470 d = metaLevel->upResultPair(objectContext->root(), m); in metaFrewrite()
509 DagNode* d = metaLevel->upResultPair(parse1, m); in metaParse()
H A DmetaNarrow.cc205 result = metaLevel->upResultPair(state->getStateDag(), m); in metaNarrow2()
H A DmetaLevel.hh56 DagNode* upResultPair(DagNode* dagNode, MixfixModule* m);
57 DagNode* upResultPair(Term* term, MixfixModule* m);
H A DmetaUp.cc343 MetaLevel::upResultPair(DagNode* dagNode, MixfixModule* m) in upResultPair() function in MetaLevel
355 MetaLevel::upResultPair(Term* term, MixfixModule* m) in upResultPair() function in MetaLevel
H A DChangeLog1885 (upResultPair): updated Assert() (both versions)
/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A DChangeLog10517 upResultPair()
10520 upResultPair()
10522 * metaUp.cc (upResultPair): added Term* version
10687 * metaUp.cc (upResultPair): added