From 6bd475a3eced9d9a912f76e24f91d2ad8da13d54 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Mon, 25 Jun 2018 00:16:48 +0200 Subject: Fixing multiple true/false + bug preventing generation without PS --- .../logic2viatra/patterns/PatternGenerator.xtend | 26 +++++++++++----------- 1 file changed, 13 insertions(+), 13 deletions(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend') 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 { ////////// // 0. Util ////////// - private pattern interpretation(problem:LogicProblem, interpetation:PartialInterpretation) { - PartialInterpretation.problem(interpetation,problem); + private pattern interpretation(problem:LogicProblem, interpretation:PartialInterpretation) { + PartialInterpretation.problem(interpretation,problem); } ///////////////////////// // 0.1 Existence ///////////////////////// - private pattern mustExist(problem:LogicProblem, interpetation:PartialInterpretation, element:DefinedElement) { - find interpretation(problem,interpetation); + private pattern mustExist(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) { + find interpretation(problem,interpretation); LogicProblem.elements(problem,element); } or { - find interpretation(problem,interpetation); - PartialInterpretation.newElements(interpetation,element); + find interpretation(problem,interpretation); + PartialInterpretation.newElements(interpretation,element); } - private pattern mayExist(problem:LogicProblem, interpetation:PartialInterpretation, element:DefinedElement) { - find mustExist(problem,interpetation,element); + private pattern mayExist(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) { + find mustExist(problem,interpretation,element); } or { - find interpretation(problem,interpetation); - neg find elementCloseWorld(interpetation); - PartialInterpretation.openWorldElements(interpetation,element); + find interpretation(problem,interpretation); + neg find elementCloseWorld(element); + PartialInterpretation.openWorldElements(interpretation,element); } private pattern elementCloseWorld(element:DefinedElement) { PartialInterpretation.newElements(i,element); PartialInterpretation.maxNewElements(i,0); } or { - Scope.targetTypeInterpretation(scope,interpetation); - PartialTypeInterpratation.elements(interpetation,element); + Scope.targetTypeInterpretation(scope,interpretation); + PartialTypeInterpratation.elements(interpretation,element); Scope.maxNewElements(scope,0); } -- cgit v1.2.3-54-g00ecf