diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/PartialInterpretationInitialiser.xtend')
1 files changed, 2 insertions, 2 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/PartialInterpretationInitialiser.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/PartialInterpretationInitialiser.xtend index 20ff58f2..92db5c18 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/PartialInterpretationInitialiser.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/PartialInterpretationInitialiser.xtend | |||
@@ -52,7 +52,7 @@ import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* | |||
52 | PartialIntegerInterpretation integerInterpretation | 52 | PartialIntegerInterpretation integerInterpretation |
53 | Map<Integer,IntegerElement> integerMap | 53 | Map<Integer,IntegerElement> integerMap |
54 | PartialRealInterpretation realInterpretation | 54 | PartialRealInterpretation realInterpretation |
55 | Map<BigDecimal,RealElement> realMap | 55 | Map<Double,RealElement> realMap |
56 | PartialStringInterpretation stringInterpretation | 56 | PartialStringInterpretation stringInterpretation |
57 | Map<String,StringElement> stringMap | 57 | Map<String,StringElement> stringMap |
58 | } | 58 | } |
@@ -146,7 +146,7 @@ class PartialInterpretationInitialiser { | |||
146 | return integerInterpretation | 146 | return integerInterpretation |
147 | } | 147 | } |
148 | 148 | ||
149 | def protected initReals(PartialInterpretation partialInterpretation, SortedSet<BigDecimal> knownReals, int minNewReals, int maxNewReals) { | 149 | def protected initReals(PartialInterpretation partialInterpretation, SortedSet<Double> knownReals, int minNewReals, int maxNewReals) { |
150 | val realInterpretation = createPartialRealInterpretation | 150 | val realInterpretation = createPartialRealInterpretation |
151 | partialInterpretation.partialtypeinterpratation += realInterpretation | 151 | partialInterpretation.partialtypeinterpratation += realInterpretation |
152 | 152 | ||