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> | 2020-12-13 20:37:05 -0500 |
| commit | 7c76382d36946d7d5cb1a05693c03107bd71e5f8 (patch) | |
| tree | c5a51669c8232cfa369eb6a08b51a420c955214c /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-7c76382d36946d7d5cb1a05693c03107bd71e5f8.tar.gz VIATRA-Generator-7c76382d36946d7d5cb1a05693c03107bd71e5f8.tar.zst VIATRA-Generator-7c76382d36946d7d5cb1a05693c03107bd71e5f8.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 | } |