Home
last modified time | relevance | path

Searched refs:instantiateWithCopies (Results 1 – 8 of 8) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Interface/
H A DdagNode.hh141 …DagNode* instantiateWithCopies(const Substitution& substitution, const Vector<DagNode*>& eagerCopi…
246 dagNode->instantiateWithCopies(substitution, eagerCopies) : \
635 DagNode::instantiateWithCopies(const Substitution& substitution, const Vector<DagNode*>& eagerCopie… in instantiateWithCopies() function in DagNode
H A DChangeLog254 * dagNode.hh (D): added declarations for instantiateWithCopies(),
257 (instantiateWithCopies): added
/dports/lang/maude/maude-2.7.1/src/CUI_Theory/
H A DCUI_DagNode.cc562 n->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithReplacement()
578 a0->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithCopies2()
589 a1->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithCopies2()
H A DChangeLog72 instantiateWithCopies() on eager positions
/dports/lang/maude/maude-2.7.1/src/FreeTheory/
H A DfreeDagNode.cc600 n->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithReplacement()
622 a->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithCopies2()
657 a->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithCopies2()
/dports/lang/maude/maude-2.7.1/src/S_Theory/
H A DS_DagNode.cc337 arg->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithCopies2()
/dports/lang/maude/maude-2.7.1/src/AU_Theory/
H A DAU_DagNode.cc487 a->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithCopies2()
/dports/lang/maude/maude-2.7.1/src/ACU_Theory/
H A DACU_DagNode.cc667 a->instantiateWithCopies(substitution, eagerCopies) : in instantiateWithCopies2()