From 96aaf81612d6c8176149c77817101b239fc52d62 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Tue, 15 Aug 2017 03:32:05 +0200 Subject: Viatra Solver result support for primitive types --- .../viatrasolver/logic2viatra/patterns/PatternGenerator.xtend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu') 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 05cda966..2986e344 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 @@ -161,7 +161,7 @@ class PatternGenerator { } or { find interpretation(problem,interpetation); neg find closeWorld(interpetation); - PartialInterpretation.openWorldElementPrototype(interpetation,element); + PartialInterpretation.openWorldElementPrototypes(interpetation,element); } private pattern closeWorld(interpetation:PartialInterpretation) { -- cgit v1.2.3-54-g00ecf