From be2fd000db012b3738211ebee8db36001235c918 Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Thu, 14 Jan 2021 13:11:21 -0500 Subject: complete change of real representation BigDecimal->Double --- .../inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend index fa97cbef..c8ff0b28 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend @@ -481,9 +481,9 @@ class LogicProblemBuilder{ def Pow(TermDescription left, TermDescription right) {createPow => [leftOperand = left.toTerm rightOperand = right.toTerm]} def asTerm(boolean value) { createBoolLiteral => [x|x.value = value] } def asTerm(int value) { createIntLiteral => [x|x.value = value] } - def asTerm(double value) { BigDecimal.valueOf(value).asTerm } - def asTerm(float value) { BigDecimal.valueOf(value).asTerm } - def asTerm(BigDecimal value) { createRealLiteral => [x|x.value = value] } + def asTerm(double value) { createRealLiteral => [x|x.value = value] } + def asTerm(float value) { createRealLiteral => [x|x.value = value] } +// def asTerm(BigDecimal value) { createRealLiteral => [x|x.value = value] } def asTerm(String value) { createStringLiteral => [x|x.value = value]} def InstanceOf(TermDescription term, TypeDescriptor type) { createInstanceOf => [ -- cgit v1.2.3-54-g00ecf