diff options
| author |  anqili426 <mollisterkl@outlook.com> | 2020-04-22 13:14:23 -0400 |
|---|---|---|
| committer | anqili426 <mollisterkl@outlook.com> | 2020-04-22 13:14:23 -0400 |
| commit | 2cf27da1e2d10d358f7438e702e075ef1360fcbe (patch) | |
| tree | 290cecd3d178581b0e7e0153b918d7398312f1c2 /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend | |
| parent | Added measurements (diff) | |
| download | VIATRA-Generator-2cf27da1e2d10d358f7438e702e075ef1360fcbe.tar.gz VIATRA-Generator-2cf27da1e2d10d358f7438e702e075ef1360fcbe.tar.zst VIATRA-Generator-2cf27da1e2d10d358f7438e702e075ef1360fcbe.zip | |
Added new test
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 | 3 |
1 files changed, 2 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 569414f0..a27e8904 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 | |||
| @@ -25,7 +25,8 @@ class ExpressionEvaluation2Logic { | |||
| 25 | def Term transformEval(PVariable target, XExpression expression, Map<PVariable, Variable> variable2Variable) { | 25 | def Term transformEval(PVariable target, XExpression expression, Map<PVariable, Variable> variable2Variable) { |
| 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.testIsSat(expression, expression.transform(variable2Variable)); | 30 | // numericSolver.testIsSat(expression, expression.transform(variable2Variable)); |
| 30 | 31 | ||
| 31 | return expression.transform(variable2Variable) | 32 | return expression.transform(variable2Variable) |