diff options
author | anqili426 <mollisterkl@outlook.com> | 2020-05-10 22:57:22 -0400 |
---|---|---|
committer | anqili426 <mollisterkl@outlook.com> | 2020-05-10 22:57:44 -0400 |
commit | b77b0fe5e2da1f240360fb12a287400b85ed8511 (patch) | |
tree | d95110efbf81d013a0615a468356f328a4f742b3 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver | |
parent | Added support for real numbers (diff) | |
download | VIATRA-Generator-b77b0fe5e2da1f240360fb12a287400b85ed8511.tar.gz VIATRA-Generator-b77b0fe5e2da1f240360fb12a287400b85ed8511.tar.zst VIATRA-Generator-b77b0fe5e2da1f240360fb12a287400b85ed8511.zip |
Allow real numbers to be in the solution
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/NumericSolver.xtend | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/NumericSolver.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/NumericSolver.xtend index fe378bd3..9da97d30 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/NumericSolver.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/NumericSolver.xtend | |||
@@ -154,7 +154,7 @@ class NumericSolver { | |||
154 | def protected dispatch getDefaultValue(RealElement e) {0.0} | 154 | def protected dispatch getDefaultValue(RealElement e) {0.0} |
155 | def protected dispatch getDefaultValue(StringElement e) {""} | 155 | def protected dispatch getDefaultValue(StringElement e) {""} |
156 | 156 | ||
157 | def protected fillWithSolutions(List<PrimitiveElement> elements, Map<PrimitiveElement, Integer> solution, Map<EObject, EObject> trace) { | 157 | def protected fillWithSolutions(List<PrimitiveElement> elements, Map<PrimitiveElement, Number> solution, Map<EObject, EObject> trace) { |
158 | for(element : elements) { | 158 | for(element : elements) { |
159 | if(element.valueSet==false) { | 159 | if(element.valueSet==false) { |
160 | if(solution.containsKey(element)) { | 160 | if(solution.containsKey(element)) { |