diff options
| author |  Aren Babikian <aren.babikian@mail.mcgill.ca> | 2020-12-13 20:37:05 -0500 |
|---|---|---|
| committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-06 00:02:48 +0100 |
| commit | ca1e53f0ca5e8d61699ce7c34494cb85c2b04ee8 (patch) | |
| tree | 8a4614b464faf151409bbce112a9de9c1f734f62 /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend | |
| parent | implement setup for dreal calls (diff) | |
| download | VIATRA-Generator-ca1e53f0ca5e8d61699ce7c34494cb85c2b04ee8.tar.gz VIATRA-Generator-ca1e53f0ca5e8d61699ce7c34494cb85c2b04ee8.tar.zst VIATRA-Generator-ca1e53f0ca5e8d61699ce7c34494cb85c2b04ee8.zip | |
prep for refactoring Numeric Probelm Solvers
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 | 4 |
1 files changed, 2 insertions, 2 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 6393121b..00cf7e59 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 | |||
| @@ -14,10 +14,10 @@ import org.eclipse.xtext.xbase.XUnaryOperation | |||
| 14 | 14 | ||
| 15 | class ExpressionEvaluation2Logic { | 15 | class ExpressionEvaluation2Logic { |
| 16 | val extension LogicProblemBuilder builder = new LogicProblemBuilder | 16 | val extension LogicProblemBuilder builder = new LogicProblemBuilder |
| 17 | var NumericProblemSolver _numericSolver = null //new NumericProblemSolver | 17 | var NumericZ3ProblemSolver _numericSolver = null //new NumericProblemSolver |
| 18 | def getNumericSolver() { | 18 | def getNumericSolver() { |
| 19 | if(_numericSolver === null) { | 19 | if(_numericSolver === null) { |
| 20 | _numericSolver = new NumericProblemSolver | 20 | _numericSolver = new NumericZ3ProblemSolver |
| 21 | } | 21 | } |
| 22 | return _numericSolver | 22 | return _numericSolver |
| 23 | } | 23 | } |