Home
last modified time | relevance | path

Searched defs:partialReplace (Results 1 – 5 of 5) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/ACU_Theory/
H A DACU_TreeDagNode.cc159 ACU_TreeDagNode::partialReplace(DagNode* replacement, ExtensionInfo* extensionInfo) in partialReplace() function in ACU_TreeDagNode
H A DACU_DagNode.cc365 ACU_DagNode::partialReplace(DagNode* replacement, ExtensionInfo* extensionInfo) in partialReplace() function in ACU_DagNode
/dports/lang/maude/maude-2.7.1/src/Interface/
H A DdagNode.cc158 DagNode::partialReplace(DagNode* /* replacement */, ExtensionInfo* /* extensionInfo */) in partialReplace() function in DagNode
/dports/lang/maude/maude-2.7.1/src/S_Theory/
H A DS_DagNode.cc164 S_DagNode::partialReplace(DagNode* replacement, ExtensionInfo* extensionInfo) in partialReplace() function in S_DagNode
/dports/lang/maude/maude-2.7.1/src/AU_Theory/
H A DAU_DagNode.cc226 AU_DagNode::partialReplace(DagNode* replacement, ExtensionInfo* extensionInfo) in partialReplace() function in AU_DagNode