diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend index 1e7b3c4c..0a21d99e 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend | |||
@@ -5,13 +5,12 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguageFactory | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation | 5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation |
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration | 6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration |
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type | 7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type |
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem | ||
9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.ModelGenerationStatistics | 8 | import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.ModelGenerationStatistics |
10 | import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.GeneratedPatterns | 9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.GeneratedPatterns |
11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.ObjectCreationPrecondition | 10 | import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.ObjectCreationPrecondition |
11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation | ||
12 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation | 12 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation |
13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation | 13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation |
14 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation | ||
15 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationFactory | 14 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationFactory |
16 | import java.util.LinkedHashMap | 15 | import java.util.LinkedHashMap |
17 | import org.eclipse.viatra.query.runtime.api.GenericPatternMatch | 16 | import org.eclipse.viatra.query.runtime.api.GenericPatternMatch |
@@ -71,7 +70,7 @@ class RefinementRuleProvider { | |||
71 | val interpretation = match.get(1) as PartialInterpretation | 70 | val interpretation = match.get(1) as PartialInterpretation |
72 | val relationInterpretation = match.get(2) as PartialRelationInterpretation | 71 | val relationInterpretation = match.get(2) as PartialRelationInterpretation |
73 | val inverseRelationInterpretation = match.get(3) as PartialRelationInterpretation | 72 | val inverseRelationInterpretation = match.get(3) as PartialRelationInterpretation |
74 | val typeInterpretation = match.get(4) as PartialTypeInterpratation | 73 | val typeInterpretation = match.get(4) as PartialComplexTypeInterpretation |
75 | val container = match.get(5) as DefinedElement | 74 | val container = match.get(5) as DefinedElement |
76 | 75 | ||
77 | val newElement = createDefinedElement | 76 | val newElement = createDefinedElement |
@@ -104,7 +103,7 @@ class RefinementRuleProvider { | |||
104 | //val problem = match.get(0) as LogicProblem | 103 | //val problem = match.get(0) as LogicProblem |
105 | val interpretation = match.get(1) as PartialInterpretation | 104 | val interpretation = match.get(1) as PartialInterpretation |
106 | val relationInterpretation = match.get(2) as PartialRelationInterpretation | 105 | val relationInterpretation = match.get(2) as PartialRelationInterpretation |
107 | val typeInterpretation = match.get(3) as PartialTypeInterpratation | 106 | val typeInterpretation = match.get(3) as PartialComplexTypeInterpretation |
108 | val container = match.get(4) as DefinedElement | 107 | val container = match.get(4) as DefinedElement |
109 | 108 | ||
110 | val newElement = createDefinedElement | 109 | val newElement = createDefinedElement |
@@ -133,7 +132,7 @@ class RefinementRuleProvider { | |||
133 | val startTime = System.nanoTime | 132 | val startTime = System.nanoTime |
134 | //val problem = match.get(0) as LogicProblem | 133 | //val problem = match.get(0) as LogicProblem |
135 | val interpretation = match.get(1) as PartialInterpretation | 134 | val interpretation = match.get(1) as PartialInterpretation |
136 | val typeInterpretation = match.get(2) as PartialTypeInterpratation | 135 | val typeInterpretation = match.get(2) as PartialComplexTypeInterpretation |
137 | 136 | ||
138 | val newElement = createDefinedElement | 137 | val newElement = createDefinedElement |
139 | if(nameNewElement) { | 138 | if(nameNewElement) { |