Searched defs:newDag (Results 1 – 8 of 8) sorted by relevance
| /dports/lang/maude/maude-2.7.1/src/Higher/ |
| H A D | positionState.cc | 131 DagNode* newDag = replacement; in rebuildDag() local
161 DagNode* newDag = replacement; in rebuildAndInstantiateDag() local
|
| H A D | narrowingSequenceSearch.cc | 81 …DagNode* newDag = initial->root()->instantiate(s); // not safe if we haven't determined ground te… in NarrowingSequenceSearch() local
|
| H A D | variantSearch.cc | 127 …DagNode* newDag = context->root()->instantiate(s); // not safe if we haven't determined ground te… in VariantSearch() local
|
| /dports/lang/maude/maude-2.7.1/src/S_Theory/ |
| H A D | S_DagNode.cc | 326 …tion& /* substitution */, const Vector<DagNode*>& /* eagerCopies */, int argIndex, DagNode* newDag) in instantiateWithReplacement() argument
|
| /dports/lang/maude/maude-2.7.1/src/Interface/ |
| H A D | dagNode.hh | 155 …nst Substitution& substitution, const Vector<DagNode*>& eagerCopies, int argIndex, DagNode* newDag) in instantiateWithReplacement()
|
| /dports/lang/maude/maude-2.7.1/src/AU_Theory/ |
| H A D | AU_DagNode.cc | 455 …nst Substitution& substitution, const Vector<DagNode*>& eagerCopies, int argIndex, DagNode* newDag) in instantiateWithReplacement()
|
| /dports/lang/maude/maude-2.7.1/src/ACU_Theory/ |
| H A D | ACU_DagNode.cc | 625 …nst Substitution& substitution, const Vector<DagNode*>& eagerCopies, int argIndex, DagNode* newDag) in instantiateWithReplacement()
|
| /dports/lang/maude/maude-2.7.1/src/FreeTheory/ |
| H A D | freeDagNode.cc | 583 …nst Substitution& substitution, const Vector<DagNode*>& eagerCopies, int argIndex, DagNode* newDag) in instantiateWithReplacement()
|