From 4e87ad2219cd888d94e5d2d85804d29cae3a79d8 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Tue, 15 Aug 2017 19:49:03 +0200 Subject: Added known primitives to the scope --- .../dslreasoner/logic/model/builder/LogicSolver.xtend | 19 ++++++++++++++----- 1 file changed, 14 insertions(+), 5 deletions(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend index 22bbb2e2..aaf14ebb 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend @@ -5,6 +5,9 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace import java.util.List +import java.util.TreeSet +import java.util.SortedSet +import java.math.BigDecimal abstract class LogicReasoner { def abstract LogicResult solve(LogicProblem problem, LogicSolverConfiguration configuration, @@ -47,19 +50,25 @@ abstract class LogicSolverConfiguration { */ public class TypeScopes { public static val Unlimited = -1; - public var boolean ignoreIdDuringGeneration = true + + public var SortedSet knownIntegers = new TreeSet /** * Sets the number of Integers that has to be used to solve the problem. */ - public var numberOfUseableIntegers = Unlimited + public var maxNewIntegers = Unlimited + + public var SortedSet knownReals = new TreeSet /** - * Sets the number of Integers that has to be used to solve the problem. + * Sets the number of Reals that has to be used to solve the problem. */ - public var numberOfUseableReals = Unlimited + public var maxNewReals = Unlimited + + public var SortedSet knownStrings = new TreeSet /** * Sets the number of Strings that has to be used to solve the problem. */ - public var numberOfUseableStrings = Unlimited + public var maxNewStrings = Unlimited + /** * Defines the minimal number of newly added elements. Default value is 0. */ -- cgit v1.2.3-54-g00ecf