diff options
| author |  Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-14 13:11:21 -0500 |
|---|---|---|
| committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-14 13:11:21 -0500 |
| commit | be2fd000db012b3738211ebee8db36001235c918 (patch) | |
| tree | b642948cc40fa1576bbf4eeedcd00bf086e0e8b8 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend | |
| parent | forgot to commit some changes to Application (diff) | |
| download | VIATRA-Generator-be2fd000db012b3738211ebee8db36001235c918.tar.gz VIATRA-Generator-be2fd000db012b3738211ebee8db36001235c918.tar.zst VIATRA-Generator-be2fd000db012b3738211ebee8db36001235c918.zip | |
complete change of real representation BigDecimal->Double
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend')
| -rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend | 2 |
1 files changed, 1 insertions, 1 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 e62a3cb7..51d315b4 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 | |||
| @@ -96,7 +96,7 @@ public class TypeScopes { | |||
| 96 | public var minNewIntegers = 0 | 96 | public var minNewIntegers = 0 |
| 97 | public var maxNewIntegers = Unlimited | 97 | public var maxNewIntegers = Unlimited |
| 98 | 98 | ||
| 99 | public var SortedSet<BigDecimal> knownReals = new TreeSet | 99 | public var SortedSet<Double> knownReals = new TreeSet |
| 100 | /** | 100 | /** |
| 101 | * Sets the number of Reals that has to be used to solve the problem. | 101 | * Sets the number of Reals that has to be used to solve the problem. |
| 102 | */ | 102 | */ |