diff options
| author |  Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-09 20:33:19 +0200 |
|---|---|---|
| committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-09 20:33:19 +0200 |
| commit | 3776a7c6bc1d6fc3ebbdc9e8afb5ea99207798e0 (patch) | |
| tree | 204cbd6fd1e7f439bc44e6210e684dbed8917e54 /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend | |
| parent | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator (diff) | |
| download | VIATRA-Generator-3776a7c6bc1d6fc3ebbdc9e8afb5ea99207798e0.tar.gz VIATRA-Generator-3776a7c6bc1d6fc3ebbdc9e8afb5ea99207798e0.tar.zst VIATRA-Generator-3776a7c6bc1d6fc3ebbdc9e8afb5ea99207798e0.zip | |
Numeric Solver integration to exploration
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend')
| -rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend index a27e8904..b4303739 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend | |||
| @@ -26,7 +26,7 @@ class ExpressionEvaluation2Logic { | |||
| 26 | // numericSolver.testIsNotSat(expression, expression.transform(variable2Variable)); | 26 | // numericSolver.testIsNotSat(expression, expression.transform(variable2Variable)); |
| 27 | // numericSolver.testGetOneSol(expression, expression.transform(variable2Variable)); | 27 | // numericSolver.testGetOneSol(expression, expression.transform(variable2Variable)); |
| 28 | // numericSolver.testGetOneSol2(expression, expression.transform(variable2Variable)); | 28 | // numericSolver.testGetOneSol2(expression, expression.transform(variable2Variable)); |
| 29 | numericSolver.testGetOneSol3(expression, expression.transform(variable2Variable)); | 29 | // numericSolver.testGetOneSol3(expression, expression.transform(variable2Variable)); |
| 30 | // numericSolver.testIsSat(expression, expression.transform(variable2Variable)); | 30 | // numericSolver.testIsSat(expression, expression.transform(variable2Variable)); |
| 31 | 31 | ||
| 32 | return expression.transform(variable2Variable) | 32 | return expression.transform(variable2Variable) |