/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/
../
AdditionTest.xtend
DivisionTest.xtend
MinAggregatorTest.xtend
MultiplicationTest.xtend
NegationTest.xtend
PowerTest.xtend
RelationTest.xtend
SubtractionTest.xtend
SumAggregatorTest.xtend