Home
last modified time | relevance | path

Searched refs:copyReducible (Results 1 – 13 of 13) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Interface/
H A DdagNode.hh79 DagNode* copyReducible();
613 DagNode::copyReducible() in copyReducible() function in DagNode
623 DagNode* d = copyReducible(); in copyAndReduce()
H A DChangeLog2905 (copyReducible): added; this will be used in preference to
/dports/lang/maude/maude-2.7.1/src/CUI_Theory/
H A DCUI_Symbol.cc173 args[a] = args[a]->copyReducible(); in eqRewrite()
233 args[a] = args[a]->copyReducible(); in memoStrategy()
H A DCUI_DagNode.cc190 argArray[argNr] : argArray[argNr]->copyReducible(); in collapseTo()
/dports/lang/maude/maude-2.7.1/src/ACU_Theory/
H A DACU_DagOperations.cc180 argArray[0].dagNode : argArray[0].dagNode->copyReducible(); in eliminateArgument()
H A DACU_Normalize.cc71 arg : arg->copyReducible(); in collapse()
H A DChangeLog4498 * ACU_DagNode.cc (eliminateArgument): use copyReducible()
4501 (copyWithReplacement): use copyReducible()
4504 (partialReplace): use copyReducible()
4507 (partialConstruct): use copyReducible()
4511 * ACU_Symbol.cc (copyAndReduceSubterms): use copyReducible()
/dports/lang/maude/maude-2.7.1/src/S_Theory/
H A DS_Symbol.cc192 s->arg->copyReducible(); in eqRewrite()
243 s->arg->copyReducible(); in memoStrategy()
/dports/lang/maude/maude-2.7.1/src/AU_Theory/
H A DAU_Normalize.cc155 argArray[0] : argArray[0]->copyReducible(); in normalizeAtTop()
H A DChangeLog.A_Theory247 clearCopyPointers() replaced by copyReducible()
/dports/lang/maude/maude-2.7.1/src/FreeTheory/
H A DfreeSymbol.cc205 args[a] = args[a]->copyReducible(); in complexStrategy()
257 args[a] = args[a]->copyReducible(); in memoStrategy()
H A DChangeLog3995 clearCopyPointers() replaced by copyReducible() (twice)
/dports/lang/maude/maude-2.7.1/src/Core/
H A DChangeLog5612 * rewritingContext.hh (copyProblemBindings): use copyReducible