| /dports/lang/maude/maude-2.7.1/src/AU_Theory/ |
| H A D | AU_DequeDagNode.cc | 119 AU_DequeDagNode::copyEagerUptoReduced2() in copyEagerUptoReduced2() function in AU_DequeDagNode
121 return dequeToArgVec(this)->copyEagerUptoReduced2(); in copyEagerUptoReduced2()
|
| H A D | AU_DequeDagNode.hh | 76 DagNode* copyEagerUptoReduced2();
|
| H A D | AU_DagNode.hh | 101 DagNode* copyEagerUptoReduced2();
|
| H A D | ChangeLog.A_Theory | 24 * A_DagNode.cc (copyEagerUptoReduced2): use getPermuteStrategy();
243 * A_DagNode.hh (class A_DagNode): copyEagerUptoReduced2() and
297 * A_DagNode.cc (copyEagerUptoReduced2): adapted from old
|
| H A D | AU_DagNode.cc | 130 AU_DagNode::copyEagerUptoReduced2() in copyEagerUptoReduced2() function in AU_DagNode
|
| H A D | ChangeLog | 424 * AU_DagNode.cc (copyEagerUptoReduced2): remove unneeded cast
589 (copyEagerUptoReduced2): use STL copy()
742 * AU_DagNode.cc (copyEagerUptoReduced2): use safeCast()
|
| /dports/lang/maude/maude-2.7.1/src/NA_Theory/ |
| H A D | NA_DagNode.cc | 57 NA_DagNode::copyEagerUptoReduced2() in copyEagerUptoReduced2() function in NA_DagNode
|
| H A D | NA_DagNode.hh | 54 DagNode* copyEagerUptoReduced2();
|
| /dports/lang/maude/maude-2.7.1/src/ACU_Theory/ |
| H A D | ACU_TreeDagNode.cc | 188 ACU_TreeDagNode::copyEagerUptoReduced2() in copyEagerUptoReduced2() function in ACU_TreeDagNode
192 treeToArgVec(this)->copyEagerUptoReduced2() : in copyEagerUptoReduced2()
|
| H A D | ACU_TreeDagNode.hh | 84 DagNode* copyEagerUptoReduced2();
|
| H A D | ACU_DagNode.hh | 105 DagNode* copyEagerUptoReduced2();
|
| H A D | ACU_DagNode.cc | 172 ACU_DagNode::copyEagerUptoReduced2() in copyEagerUptoReduced2() function in ACU_DagNode
|
| /dports/lang/maude/maude-2.7.1/src/Variable/ |
| H A D | variableDagNode.hh | 77 DagNode* copyEagerUptoReduced2();
|
| H A D | variableDagNode.cc | 74 VariableDagNode::copyEagerUptoReduced2() in copyEagerUptoReduced2() function in VariableDagNode
|
| H A D | ChangeLog | 293 (copyEagerUptoReduced2): pass index to VariableDagNode()
513 (copyEagerUptoReduced2): copy id()
800 copyEagerUptoReduced2() and clearCopyPointers2() made private
|
| /dports/lang/maude/maude-2.7.1/src/CUI_Theory/ |
| H A D | CUI_DagNode.hh | 75 DagNode* copyEagerUptoReduced2();
|
| H A D | CUI_DagNode.cc | 96 CUI_DagNode::copyEagerUptoReduced2() in copyEagerUptoReduced2() function in CUI_DagNode
|
| H A D | ChangeLog | 869 * CUI_DagNode.cc (copyEagerUptoReduced2): rewritten to deal with
894 * CUI_DagNode.cc (copyEagerUptoReduced2): use getPermuteStrategy();
|
| /dports/lang/maude/maude-2.7.1/src/S_Theory/ |
| H A D | S_DagNode.hh | 89 DagNode* copyEagerUptoReduced2();
|
| H A D | S_DagNode.cc | 96 S_DagNode::copyEagerUptoReduced2() in copyEagerUptoReduced2() function in S_DagNode
|
| H A D | ChangeLog | 746 (copyEagerUptoReduced2): added
|
| /dports/lang/maude/maude-2.7.1/src/Interface/ |
| H A D | dagNode.hh | 207 virtual DagNode* copyEagerUptoReduced2() = 0;
595 copyPointer = copyEagerUptoReduced2(); // this destroys our top symbol in copyEagerUptoReduced()
|
| H A D | ChangeLog | 669 rather than before calling copyEagerUptoReduced2(); this fixes a
670 subtle but nasty bug where copyEagerUptoReduced2() does an in
2903 clearCopyPointers(), copyEagerUptoReduced2(), clearCopyPointers2()
3019 copyEagerUptoReduced2() and clearCopyPointers2() added
|
| /dports/lang/maude/maude-2.7.1/src/FreeTheory/ |
| H A D | freeDagNode.hh | 102 DagNode* copyEagerUptoReduced2();
|
| H A D | freeDagNode.cc | 155 FreeDagNode::copyEagerUptoReduced2() in copyEagerUptoReduced2() function in FreeDagNode
|