aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/aggregators/IntervalAggregatorFactory.xtend
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-05-18 14:25:00 -0400
committerLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-05-18 14:25:00 -0400
commit1f60bda44172f1dedaf30785c88163ba6c36a0b9 (patch)
treec76b0529f2ec3a8fec66677dd9d9d86ab222d754 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/aggregators/IntervalAggregatorFactory.xtend
parentModel generator for CPS case study (diff)
downloadVIATRA-Generator-1f60bda44172f1dedaf30785c88163ba6c36a0b9.tar.gz
VIATRA-Generator-1f60bda44172f1dedaf30785c88163ba6c36a0b9.tar.zst
VIATRA-Generator-1f60bda44172f1dedaf30785c88163ba6c36a0b9.zip
Interval hull aggregation operator
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/aggregators/IntervalAggregatorFactory.xtend')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/aggregators/IntervalAggregatorFactory.xtend6
1 files changed, 3 insertions, 3 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/aggregators/IntervalAggregatorFactory.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/aggregators/IntervalAggregatorFactory.xtend
index 2b6059da..dee31f67 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/aggregators/IntervalAggregatorFactory.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/aggregators/IntervalAggregatorFactory.xtend
@@ -8,14 +8,14 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.aggregations.BoundAggre
8import org.eclipse.viatra.query.runtime.matchers.psystem.aggregations.IAggregatorFactory 8import org.eclipse.viatra.query.runtime.matchers.psystem.aggregations.IAggregatorFactory
9import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor 9import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor
10 10
11@AggregatorType(parameterTypes = #[Interval], returnTypes = #[Interval]) 11@AggregatorType(parameterTypes=#[Interval], returnTypes=#[Interval])
12abstract class IntervalAggregatorFactory implements IAggregatorFactory { 12abstract class IntervalAggregatorFactory implements IAggregatorFactory {
13 val IntervalAggregationMode mode 13 val IntervalAggregationMode mode
14 14
15 @FinalFieldsConstructor 15 @FinalFieldsConstructor
16 protected new() { 16 protected new() {
17 } 17 }
18 18
19 override getAggregatorLogic(Class<?> domainClass) { 19 override getAggregatorLogic(Class<?> domainClass) {
20 if (domainClass == Interval) { 20 if (domainClass == Interval) {
21 new BoundAggregator(new IntervalAggregationOperator(mode), Interval, Interval) 21 new BoundAggregator(new IntervalAggregationOperator(mode), Interval, Interval)