Changeset 807 for trunk/quest-core-tasktrees/src/main/java/de/ugoe/cs/quest/tasktrees/nodeequality/NodeEquality.java
- Timestamp:
- 09/11/12 16:45:51 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/quest-core-tasktrees/src/main/java/de/ugoe/cs/quest/tasktrees/nodeequality/NodeEquality.java
r655 r807 90 90 } 91 91 } 92 93 /** 94 * <p> 95 * returns the common denominator of this node equality and the provided one. I.e. if one 96 * equality is e.g. syntactical and the other one only semantical, then semantical is returned. 97 * </p> 98 * 99 * @param equality the equality, to compare this with 100 * @return 101 */ 102 public NodeEquality getCommonDenominator(NodeEquality otherEquality) { 103 if (this.isAtLeast(otherEquality)) { 104 return otherEquality; 105 } 106 else if (otherEquality.isAtLeast(this)) { 107 return this; 108 } 109 else { 110 return NodeEquality.UNEQUAL; 111 } 112 } 92 113 }
Note: See TracChangeset
for help on using the changeset viewer.