| /dports/lang/maude/maude-2.7.1/src/Interface/ |
| H A D | dagNode.hh | 141 …Node* instantiateWithCopies(const Substitution& substitution, const Vector<DagNode*>& eagerCopies);
142 …Node* instantiateWithCopies2(const Substitution& substitution, const Vector<DagNode*>& eagerCopies) in instantiateWithCopies2() argument
155 …hReplacement(const Substitution& substitution, const Vector<DagNode*>& eagerCopies, int argIndex, … in instantiateWithReplacement() argument
244 #define SAFE_INSTANTIATE(dagNode, eagerFlag, substitution, eagerCopies) \ argument
246 dagNode->instantiateWithCopies(substitution, eagerCopies) : \
635 …gNode::instantiateWithCopies(const Substitution& substitution, const Vector<DagNode*>& eagerCopies) in instantiateWithCopies() argument
637 return isGround() ? 0 : instantiateWithCopies2(substitution, eagerCopies); in instantiateWithCopies()
|
| /dports/lang/maude/maude-2.7.1/src/Higher/ |
| H A D | positionState.cc | 172 Vector<DagNode*> eagerCopies(lastVariable + 1); in rebuildAndInstantiateDag() local
174 eagerCopies[j] = substitution.value(j)->copyEagerUptoReduced(); in rebuildAndInstantiateDag()
181 newDag = rp.node()->instantiateWithReplacement(substitution, eagerCopies, argIndex, newDag); in rebuildAndInstantiateDag()
|
| /dports/lang/maude/maude-2.7.1/src/CUI_Theory/ |
| H A D | CUI_DagNode.hh | 60 …hReplacement(const Substitution& substitution, const Vector<DagNode*>& eagerCopies, int argIndex, …
61 …ode* instantiateWithCopies2(const Substitution& substitution, const Vector<DagNode*>& eagerCopies);
|
| H A D | CUI_DagNode.cc | 554 …hReplacement(const Substitution& substitution, const Vector<DagNode*>& eagerCopies, int argIndex, … in instantiateWithReplacement() argument
562 n->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithReplacement()
572 …Node::instantiateWithCopies2(const Substitution& substitution, const Vector<DagNode*>& eagerCopies) in instantiateWithCopies2() argument
578 a0->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithCopies2()
589 a1->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithCopies2()
|
| /dports/lang/maude/maude-2.7.1/src/S_Theory/ |
| H A D | S_DagNode.hh | 75 …hReplacement(const Substitution& substitution, const Vector<DagNode*>& eagerCopies, int argIndex, …
76 …ode* instantiateWithCopies2(const Substitution& substitution, const Vector<DagNode*>& eagerCopies);
|
| H A D | S_DagNode.cc | 333 …Node::instantiateWithCopies2(const Substitution& substitution, const Vector<DagNode*>& eagerCopies) in instantiateWithCopies2() argument
337 arg->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithCopies2()
|
| /dports/lang/maude/maude-2.7.1/src/AU_Theory/ |
| H A D | AU_DagNode.cc | 455 …hReplacement(const Substitution& substitution, const Vector<DagNode*>& eagerCopies, int argIndex, … in instantiateWithReplacement() argument
469 SAFE_INSTANTIATE(d, eager, substitution, eagerCopies); in instantiateWithReplacement()
477 …Node::instantiateWithCopies2(const Substitution& substitution, const Vector<DagNode*>& eagerCopies) in instantiateWithCopies2() argument
487 a->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithCopies2()
519 SAFE_INSTANTIATE(a, eager, substitution, eagerCopies); in instantiateWithCopies2()
|
| H A D | AU_DagNode.hh | 82 …hReplacement(const Substitution& substitution, const Vector<DagNode*>& eagerCopies, int argIndex, …
83 …ode* instantiateWithCopies2(const Substitution& substitution, const Vector<DagNode*>& eagerCopies);
|
| /dports/lang/maude/maude-2.7.1/src/FreeTheory/ |
| H A D | freeDagNode.cc | 583 …hReplacement(const Substitution& substitution, const Vector<DagNode*>& eagerCopies, int argIndex, … in instantiateWithReplacement() argument
600 n->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithReplacement()
611 …Node::instantiateWithCopies2(const Substitution& substitution, const Vector<DagNode*>& eagerCopies) in instantiateWithCopies2() argument
622 a->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithCopies2()
657 a->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithCopies2()
|
| H A D | freeDagNode.hh | 73 …hReplacement(const Substitution& substitution, const Vector<DagNode*>& eagerCopies, int argIndex, …
74 …ode* instantiateWithCopies2(const Substitution& substitution, const Vector<DagNode*>& eagerCopies);
|
| /dports/lang/maude/maude-2.7.1/src/Variable/ |
| H A D | variableDagNode.cc | 271 …instantiateWithCopies2(const Substitution& /* substitution */, const Vector<DagNode*>& eagerCopies) in instantiateWithCopies2() argument
276 return eagerCopies[index]; in instantiateWithCopies2()
|
| H A D | variableDagNode.hh | 68 …ode* instantiateWithCopies2(const Substitution& substitution, const Vector<DagNode*>& eagerCopies);
|
| /dports/lang/maude/maude-2.7.1/src/ACU_Theory/ |
| H A D | ACU_DagNode.cc | 625 …hReplacement(const Substitution& substitution, const Vector<DagNode*>& eagerCopies, int argIndex, … in instantiateWithReplacement() argument
644 SAFE_INSTANTIATE(d, eager, substitution, eagerCopies); in instantiateWithReplacement()
658 …Node::instantiateWithCopies2(const Substitution& substitution, const Vector<DagNode*>& eagerCopies) in instantiateWithCopies2() argument
667 a->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithCopies2()
699 SAFE_INSTANTIATE(a, eager, substitution, eagerCopies); in instantiateWithCopies2()
|
| H A D | ACU_DagNode.hh | 78 …hReplacement(const Substitution& substitution, const Vector<DagNode*>& eagerCopies, int argIndex, …
79 …ode* instantiateWithCopies2(const Substitution& substitution, const Vector<DagNode*>& eagerCopies);
|