aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic
diff options
context:
space:
mode:
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend2
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/LogicProblemBuilder.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend
index ac9781e3..652db34c 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,7 @@ public class LogicProblemBuilder{
478 def public asTerm(boolean value) { createBoolLiteral => [x|x.value = value] } 478 def public asTerm(boolean value) { createBoolLiteral => [x|x.value = value] }
479 def public asTerm(int value) { createIntLiteral => [x|x.value = value] } 479 def public asTerm(int value) { createIntLiteral => [x|x.value = value] }
480 def public asTerm(double value) { createRealLiteral => [x|x.value = BigDecimal.valueOf(value)] } 480 def public asTerm(double value) { createRealLiteral => [x|x.value = BigDecimal.valueOf(value)] }
481 481 def public asTerm(String value) { createStringLiteral => [x|x.value = value]}
482 def public InstanceOf(TermDescription term, TypeDescriptor type) { 482 def public InstanceOf(TermDescription term, TypeDescriptor type) {
483 createInstanceOf => [ 483 createInstanceOf => [
484 it.value = term.toTerm 484 it.value = term.toTerm