/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/
../
Interval.xtend
IntervalAggregationMode.java
IntervalAggregationOperator.xtend
IntervalRedBlackNode.xtend
RedBlackNode.java
Reference.java
aggregators