From 2a42d51a552efce39ead852d3b76a58f4f9a5914 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sun, 15 Jul 2018 20:30:51 +0200 Subject: Support for building float, double and BigDecimal literals --- .../mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (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/LogicProblemBuilder.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend index 6fa1fcfd..b3b7da5a 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 @@ -478,7 +478,9 @@ public class LogicProblemBuilder{ def public asTerm(boolean value) { createBoolLiteral => [x|x.value = value] } def public asTerm(int value) { createIntLiteral => [x|x.value = value] } - def public asTerm(double value) { createRealLiteral => [x|x.value = BigDecimal.valueOf(value)] } + def public asTerm(double value) { BigDecimal.valueOf(value).asTerm } + def public asTerm(float value) { BigDecimal.valueOf(value).asTerm } + def public asTerm(BigDecimal value) { createRealLiteral => [x|x.value = value] } def public asTerm(String value) { createStringLiteral => [x|x.value = value]} def public InstanceOf(TermDescription term, TypeDescriptor type) { createInstanceOf => [ -- cgit v1.2.3-54-g00ecf