diff options
author | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2017-08-15 19:49:03 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2017-08-15 19:49:03 +0200 |
commit | 4e87ad2219cd888d94e5d2d85804d29cae3a79d8 (patch) | |
tree | dcfe039f8dcf6a24ca676fb132bef48c2e9a8cf3 /Framework | |
parent | Viatra Solver result support for primitive types (diff) | |
download | VIATRA-Generator-4e87ad2219cd888d94e5d2d85804d29cae3a79d8.tar.gz VIATRA-Generator-4e87ad2219cd888d94e5d2d85804d29cae3a79d8.tar.zst VIATRA-Generator-4e87ad2219cd888d94e5d2d85804d29cae3a79d8.zip |
Added known primitives to the scope
Diffstat (limited to 'Framework')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend | 19 |
1 files changed, 14 insertions, 5 deletions
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 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult | 5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult |
6 | import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace | 6 | import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace |
7 | import java.util.List | 7 | import java.util.List |
8 | import java.util.TreeSet | ||
9 | import java.util.SortedSet | ||
10 | import java.math.BigDecimal | ||
8 | 11 | ||
9 | abstract class LogicReasoner { | 12 | abstract class LogicReasoner { |
10 | def abstract LogicResult solve(LogicProblem problem, LogicSolverConfiguration configuration, | 13 | def abstract LogicResult solve(LogicProblem problem, LogicSolverConfiguration configuration, |
@@ -47,19 +50,25 @@ abstract class LogicSolverConfiguration { | |||
47 | */ | 50 | */ |
48 | public class TypeScopes { | 51 | public class TypeScopes { |
49 | public static val Unlimited = -1; | 52 | public static val Unlimited = -1; |
50 | public var boolean ignoreIdDuringGeneration = true | 53 | |
54 | public var SortedSet<Integer> knownIntegers = new TreeSet | ||
51 | /** | 55 | /** |
52 | * Sets the number of Integers that has to be used to solve the problem. | 56 | * Sets the number of Integers that has to be used to solve the problem. |
53 | */ | 57 | */ |
54 | public var numberOfUseableIntegers = Unlimited | 58 | public var maxNewIntegers = Unlimited |
59 | |||
60 | public var SortedSet<BigDecimal> knownReals = new TreeSet | ||
55 | /** | 61 | /** |
56 | * Sets the number of Integers that has to be used to solve the problem. | 62 | * Sets the number of Reals that has to be used to solve the problem. |
57 | */ | 63 | */ |
58 | public var numberOfUseableReals = Unlimited | 64 | public var maxNewReals = Unlimited |
65 | |||
66 | public var SortedSet<String> knownStrings = new TreeSet | ||
59 | /** | 67 | /** |
60 | * Sets the number of Strings that has to be used to solve the problem. | 68 | * Sets the number of Strings that has to be used to solve the problem. |
61 | */ | 69 | */ |
62 | public var numberOfUseableStrings = Unlimited | 70 | public var maxNewStrings = Unlimited |
71 | |||
63 | /** | 72 | /** |
64 | * Defines the minimal number of newly added elements. Default value is 0. | 73 | * Defines the minimal number of newly added elements. Default value is 0. |
65 | */ | 74 | */ |