aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/IntervalAggregationMode.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/IntervalAggregationMode.java')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/IntervalAggregationMode.java9
1 files changed, 9 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/IntervalAggregationMode.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/IntervalAggregationMode.java
index f5bd2efc..66dcb00f 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/IntervalAggregationMode.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/IntervalAggregationMode.java
@@ -21,6 +21,11 @@ public enum IntervalAggregationMode implements BinaryOperator<Interval> {
21 } 21 }
22 }; 22 };
23 } 23 }
24
25 @Override
26 public Interval getNeutral() {
27 return Interval.ZERO;
28 }
24 }, 29 },
25 30
26 JOIN("intervalJoin", "Calculate the smallest interval containing all the intervals in a set") { 31 JOIN("intervalJoin", "Calculate the smallest interval containing all the intervals in a set") {
@@ -63,4 +68,8 @@ public enum IntervalAggregationMode implements BinaryOperator<Interval> {
63 } 68 }
64 69
65 public abstract IntervalRedBlackNode createNode(Interval interval); 70 public abstract IntervalRedBlackNode createNode(Interval interval);
71
72 public Interval getNeutral() {
73 return Interval.EMPTY;
74 }
66} 75}