| /dports/lang/maude/maude-2.7.1/src/Interface/ |
| H A D | term.hh | 110 virtual int compareArguments(const Term* other) const = 0;
111 virtual int compareArguments(const DagNode* other) const = 0;
342 return (topSymbol == s) ? compareArguments(other) : topSymbol->compare(s); in compare()
349 return (topSymbol == s) ? compareArguments(other) : topSymbol->compare(s); in compare()
367 return topSymbol == other->topSymbol && compareArguments(other) == 0; in equal()
373 return topSymbol == other->symbol() && compareArguments(other) == 0; in equal()
|
| /dports/lang/maude/maude-2.7.1/src/Mixfix/ |
| H A D | quotedIdentifierTerm.hh | 37 int compareArguments(const Term* other) const;
38 int compareArguments(const DagNode* other) const;
|
| H A D | quotedIdentifierTerm.cc | 82 QuotedIdentifierTerm::compareArguments(const Term* other) const in compareArguments() function in QuotedIdentifierTerm
91 QuotedIdentifierTerm::compareArguments(const DagNode* other) const in compareArguments() function in QuotedIdentifierTerm
|
| H A D | quotedIdentifierDagNode.hh | 37 int compareArguments(const DagNode* other) const;
|
| H A D | quotedIdentifierDagNode.cc | 60 QuotedIdentifierDagNode::compareArguments(const DagNode* other) const in compareArguments() function in QuotedIdentifierDagNode
|
| /dports/lang/maude/maude-2.7.1/src/BuiltIn/ |
| H A D | floatTerm.hh | 37 int compareArguments(const Term* other) const;
38 int compareArguments(const DagNode* other) const;
|
| H A D | stringTerm.hh | 38 int compareArguments(const Term* other) const;
39 int compareArguments(const DagNode* other) const;
|
| H A D | stringTerm.cc | 81 StringTerm::compareArguments(const Term* other) const in compareArguments() function in StringTerm
87 StringTerm::compareArguments(const DagNode* other) const in compareArguments() function in StringTerm
|
| H A D | floatTerm.cc | 78 FloatTerm::compareArguments(const Term* other) const in compareArguments() function in FloatTerm
88 FloatTerm::compareArguments(const DagNode* other) const in compareArguments() function in FloatTerm
|
| H A D | floatDagNode.hh | 36 int compareArguments(const DagNode* other) const;
|
| H A D | stringDagNode.hh | 37 int compareArguments(const DagNode* other) const;
|
| H A D | floatDagNode.cc | 57 FloatDagNode::compareArguments(const DagNode* other) const in compareArguments() function in FloatDagNode
|
| /dports/lang/maude/maude-2.7.1/src/SMT/ |
| H A D | SMT_NumberTerm.hh | 38 int compareArguments(const Term* other) const;
39 int compareArguments(const DagNode* other) const;
|
| H A D | SMT_NumberTerm.cc | 81 SMT_NumberTerm::compareArguments(const Term* other) const in compareArguments() function in SMT_NumberTerm
88 SMT_NumberTerm::compareArguments(const DagNode* other) const in compareArguments() function in SMT_NumberTerm
|
| H A D | SMT_NumberDagNode.hh | 38 int compareArguments(const DagNode* other) const;
|
| /dports/lang/maude/maude-2.7.1/src/CUI_Theory/ |
| H A D | CUI_Term.hh | 43 int compareArguments(const Term* other) const;
44 int compareArguments(const DagNode* other) const;
|
| /dports/lang/maude/maude-2.7.1/src/Variable/ |
| H A D | variableTerm.hh | 43 int compareArguments(const Term* other) const;
44 int compareArguments(const DagNode* other) const;
|
| H A D | variableTerm.cc | 96 VariableTerm::compareArguments(const Term* other) const in compareArguments() function in VariableTerm
102 VariableTerm::compareArguments(const DagNode* other) const in compareArguments() function in VariableTerm
|
| /dports/lang/maude/maude-2.7.1/src/S_Theory/ |
| H A D | S_Term.hh | 44 int compareArguments(const Term* other) const;
45 int compareArguments(const DagNode* other) const;
|
| H A D | S_Term.cc | 158 S_Term::compareArguments(const Term* other) const in compareArguments() function in S_Term
166 S_Term::compareArguments(const DagNode* other) const in compareArguments() function in S_Term
|
| /dports/lang/maude/maude-2.7.1/src/AU_Theory/ |
| H A D | AU_Term.hh | 45 int compareArguments(const Term* other) const;
46 int compareArguments(const DagNode* other) const;
|
| /dports/lang/maude/maude-2.7.1/src/FreeTheory/ |
| H A D | freeTerm.hh | 44 int compareArguments(const Term* other) const;
45 int compareArguments(const DagNode* other) const;
|
| /dports/lang/maude/maude-2.7.1/src/ACU_Theory/ |
| H A D | ACU_Term.hh | 45 int compareArguments(const Term* other) const;
46 int compareArguments(const DagNode* other) const;
|
| H A D | ACU_TreeDagNode.cc | 67 ACU_TreeDagNode::compareArguments(const DagNode* other) const in compareArguments() function in ACU_TreeDagNode
92 return - other->compareArguments(this); in compareArguments()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui.tests.refactoring/test cases/org/eclipse/jdt/ui/tests/refactoring/ |
| H A D | TestCopyParticipantShared.java | 105 compareArguments(expected, actual); in testArguments()
109 public static void compareArguments(CopyArguments expected, CopyArguments actual) { in compareArguments() method in TestCopyParticipantShared
|