diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend index b8c52af4..37fb81ae 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend | |||
@@ -1,5 +1,4 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.viatra2logic | 1 | package hu.bme.mit.inf.dslreasoner.viatra2logic |
2 | |||
3 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic | 2 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic |
4 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace | 3 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace |
5 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder | 4 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder |
@@ -17,27 +16,27 @@ import org.eclipse.emf.ecore.EStructuralFeature | |||
17 | import org.eclipse.viatra.query.runtime.emf.types.EClassTransitiveInstancesKey | 16 | import org.eclipse.viatra.query.runtime.emf.types.EClassTransitiveInstancesKey |
18 | import org.eclipse.viatra.query.runtime.emf.types.EDataTypeInSlotsKey | 17 | import org.eclipse.viatra.query.runtime.emf.types.EDataTypeInSlotsKey |
19 | import org.eclipse.viatra.query.runtime.emf.types.EStructuralFeatureInstancesKey | 18 | import org.eclipse.viatra.query.runtime.emf.types.EStructuralFeatureInstancesKey |
19 | import org.eclipse.viatra.query.runtime.matchers.aggregators.DoubleSumOperator | ||
20 | import org.eclipse.viatra.query.runtime.matchers.aggregators.ExtremumOperator | ||
21 | import org.eclipse.viatra.query.runtime.matchers.aggregators.ExtremumOperator.Extreme | ||
22 | import org.eclipse.viatra.query.runtime.matchers.aggregators.IntegerSumOperator | ||
23 | import org.eclipse.viatra.query.runtime.matchers.aggregators.LongSumOperator | ||
20 | import org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint | 24 | import org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint |
21 | import org.eclipse.viatra.query.runtime.matchers.psystem.PVariable | 25 | import org.eclipse.viatra.query.runtime.matchers.psystem.PVariable |
26 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.AggregatorConstraint | ||
22 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Equality | 27 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Equality |
23 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter | 28 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter |
29 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExpressionEvaluation | ||
24 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Inequality | 30 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Inequality |
25 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.NegativePatternCall | 31 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.NegativePatternCall |
32 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.PatternMatchCounter | ||
33 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.TypeFilterConstraint | ||
26 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.BinaryTransitiveClosure | 34 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.BinaryTransitiveClosure |
27 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.ConstantValue | 35 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.ConstantValue |
28 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.PositivePatternCall | 36 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.PositivePatternCall |
29 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint | 37 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint |
30 | 38 | ||
31 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* | 39 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* |
32 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.TypeFilterConstraint | ||
33 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.AggregatorConstraint | ||
34 | import org.eclipse.viatra.query.runtime.matchers.aggregators.DoubleSumOperator | ||
35 | import org.eclipse.viatra.query.runtime.matchers.aggregators.IntegerSumOperator | ||
36 | import org.eclipse.viatra.query.runtime.matchers.aggregators.LongSumOperator | ||
37 | import org.eclipse.viatra.query.runtime.matchers.aggregators.ExtremumOperator | ||
38 | import org.eclipse.viatra.query.runtime.matchers.aggregators.ExtremumOperator.Extreme | ||
39 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.PatternMatchCounter | ||
40 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExpressionEvaluation | ||
41 | 40 | ||
42 | class Constraint2Logic { | 41 | class Constraint2Logic { |
43 | val extension LogicProblemBuilder builder = new LogicProblemBuilder | 42 | val extension LogicProblemBuilder builder = new LogicProblemBuilder |