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.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericZ3ProblemSolver.java | |
| 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.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericZ3ProblemSolver.java')
| -rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericZ3ProblemSolver.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericZ3ProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericZ3ProblemSolver.java index ab7f6ddc..db33804e 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericZ3ProblemSolver.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericZ3ProblemSolver.java | |||
| @@ -174,7 +174,7 @@ public class NumericZ3ProblemSolver extends NumericProblemSolver{ | |||
| 174 | int value = ((IntegerElement) matchedObj).getValue(); | 174 | int value = ((IntegerElement) matchedObj).getValue(); |
| 175 | expr = (ArithExpr) ctx.mkInt(value); | 175 | expr = (ArithExpr) ctx.mkInt(value); |
| 176 | } else { | 176 | } else { |
| 177 | double value = ((RealElement) matchedObj).getValue().doubleValue(); | 177 | double value = ((RealElement) matchedObj).getValue(); |
| 178 | expr = (ArithExpr) ctx.mkReal(String.valueOf(value)); | 178 | expr = (ArithExpr) ctx.mkReal(String.valueOf(value)); |
| 179 | } | 179 | } |
| 180 | varMap.put(matchedObj, expr); | 180 | varMap.put(matchedObj, expr); |