diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend index 001ff13f..0fed5c76 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend | |||
@@ -163,35 +163,35 @@ class PatternGenerator { | |||
163 | ////////// | 163 | ////////// |
164 | // 0. Util | 164 | // 0. Util |
165 | ////////// | 165 | ////////// |
166 | private pattern interpretation(problem:LogicProblem, interpetation:PartialInterpretation) { | 166 | private pattern interpretation(problem:LogicProblem, interpretation:PartialInterpretation) { |
167 | PartialInterpretation.problem(interpetation,problem); | 167 | PartialInterpretation.problem(interpretation,problem); |
168 | } | 168 | } |
169 | 169 | ||
170 | ///////////////////////// | 170 | ///////////////////////// |
171 | // 0.1 Existence | 171 | // 0.1 Existence |
172 | ///////////////////////// | 172 | ///////////////////////// |
173 | private pattern mustExist(problem:LogicProblem, interpetation:PartialInterpretation, element:DefinedElement) { | 173 | private pattern mustExist(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) { |
174 | find interpretation(problem,interpetation); | 174 | find interpretation(problem,interpretation); |
175 | LogicProblem.elements(problem,element); | 175 | LogicProblem.elements(problem,element); |
176 | } or { | 176 | } or { |
177 | find interpretation(problem,interpetation); | 177 | find interpretation(problem,interpretation); |
178 | PartialInterpretation.newElements(interpetation,element); | 178 | PartialInterpretation.newElements(interpretation,element); |
179 | } | 179 | } |
180 | 180 | ||
181 | private pattern mayExist(problem:LogicProblem, interpetation:PartialInterpretation, element:DefinedElement) { | 181 | private pattern mayExist(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) { |
182 | find mustExist(problem,interpetation,element); | 182 | find mustExist(problem,interpretation,element); |
183 | } or { | 183 | } or { |
184 | find interpretation(problem,interpetation); | 184 | find interpretation(problem,interpretation); |
185 | neg find elementCloseWorld(interpetation); | 185 | neg find elementCloseWorld(element); |
186 | PartialInterpretation.openWorldElements(interpetation,element); | 186 | PartialInterpretation.openWorldElements(interpretation,element); |
187 | } | 187 | } |
188 | 188 | ||
189 | private pattern elementCloseWorld(element:DefinedElement) { | 189 | private pattern elementCloseWorld(element:DefinedElement) { |
190 | PartialInterpretation.newElements(i,element); | 190 | PartialInterpretation.newElements(i,element); |
191 | PartialInterpretation.maxNewElements(i,0); | 191 | PartialInterpretation.maxNewElements(i,0); |
192 | } or { | 192 | } or { |
193 | Scope.targetTypeInterpretation(scope,interpetation); | 193 | Scope.targetTypeInterpretation(scope,interpretation); |
194 | PartialTypeInterpratation.elements(interpetation,element); | 194 | PartialTypeInterpratation.elements(interpretation,element); |
195 | Scope.maxNewElements(scope,0); | 195 | Scope.maxNewElements(scope,0); |
196 | } | 196 | } |
197 | 197 | ||