1 files changed, 2 insertions, 2 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicModelInterpretation.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicModelInterpretation.xtend
index cdcbb48a..b49eb6aa 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicModelInterpretation.xtend
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicModelInterpretation.xtend
@@ -85,9 +85,9 @@ interface LogicModelInterpretation {
         /**

          * Returns all real numbers relevant to the logic structure. Not all integer is necessarily used.

          */

-        def SortedSet<BigDecimal> getAllRealsInStructure()

+        def SortedSet<Double> getAllRealsInStructure()

 

-        def Map<TermDescription, BigDecimal> getAllRealsWithInterpretation() {

+        def Map<TermDescription, Double> getAllRealsWithInterpretation() {

                 allRealsInStructure.toMap [ real |

                         (LogiclanguageFactory.eINSTANCE.createRealLiteral => [value = real]) as TermDescription

                 ]