diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicModelInterpretation.xtend')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicModelInterpretation.xtend | 4 |
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 { | |||
85 | /** | 85 | /** |
86 | * Returns all real numbers relevant to the logic structure. Not all integer is necessarily used. | 86 | * Returns all real numbers relevant to the logic structure. Not all integer is necessarily used. |
87 | */ | 87 | */ |
88 | def SortedSet<BigDecimal> getAllRealsInStructure() | 88 | def SortedSet<Double> getAllRealsInStructure() |
89 | 89 | ||
90 | def Map<TermDescription, BigDecimal> getAllRealsWithInterpretation() { | 90 | def Map<TermDescription, Double> getAllRealsWithInterpretation() { |
91 | allRealsInStructure.toMap [ real | | 91 | allRealsInStructure.toMap [ real | |
92 | (LogiclanguageFactory.eINSTANCE.createRealLiteral => [value = real]) as TermDescription | 92 | (LogiclanguageFactory.eINSTANCE.createRealLiteral => [value = real]) as TermDescription |
93 | ] | 93 | ] |