diff options
| author |  Aren Babikian <aren.babikian@mail.mcgill.ca> | 2020-12-13 21:11:34 -0500 |
|---|---|---|
| committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-06 00:02:48 +0100 |
| commit | a22bd211a42eebed6ee5ddf67e1836aad2bad0e3 (patch) | |
| tree | c50953ee0d66ec87ae287de65015d37f081ae2ee /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend | |
| parent | prep for refactoring Numeric Probelm Solvers (diff) | |
| download | VIATRA-Generator-a22bd211a42eebed6ee5ddf67e1836aad2bad0e3.tar.gz VIATRA-Generator-a22bd211a42eebed6ee5ddf67e1836aad2bad0e3.tar.zst VIATRA-Generator-a22bd211a42eebed6ee5ddf67e1836aad2bad0e3.zip | |
add numericProblemSolver supertype
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 00cf7e59..b9942a17 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 NumericZ3ProblemSolver _numericSolver = null //new NumericProblemSolver | 17 | var NumericProblemSolver _numericSolver = null //new NumericProblemSolver |
| 18 | def getNumericSolver() { | 18 | def getNumericSolver() { |
| 19 | if(_numericSolver === null) { | 19 | if(_numericSolver === null) { |
| 20 | _numericSolver = new NumericZ3ProblemSolver | 20 | _numericSolver = (new NumericTranslator).selectProblemSolver |
| 21 | } | 21 | } |
| 22 | return _numericSolver | 22 | return _numericSolver |
| 23 | } | 23 | } |