diff options
| author |  Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-24 03:20:04 +0100 |
|---|---|---|
| committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-24 03:20:04 +0100 |
| commit | afa54bfd0d14cdcc53abe95aef27fe96a447d770 (patch) | |
| tree | 1ed37a9d7dd224182181fb36bfa96ad10ef605a7 /Framework | |
| parent | Fix bug for ignored-attributes + better logic problem creation (diff) | |
| download | VIATRA-Generator-afa54bfd0d14cdcc53abe95aef27fe96a447d770.tar.gz VIATRA-Generator-afa54bfd0d14cdcc53abe95aef27fe96a447d770.tar.zst VIATRA-Generator-afa54bfd0d14cdcc53abe95aef27fe96a447d770.zip | |
Simple working version. Still diversity issue
Diffstat (limited to 'Framework')
| -rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java | 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/NumericDrealProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java index e3bb2cbe..0105d985 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java | |||
| @@ -377,7 +377,7 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{ | |||
| 377 | //DEBUG - Print things | 377 | //DEBUG - Print things |
| 378 | if (outputProcess == null) { | 378 | if (outputProcess == null) { |
| 379 | System.err.println("TIMEOUT"); | 379 | System.err.println("TIMEOUT"); |
| 380 | printOutput(numProbContent); | 380 | // printOutput(numProbContent); |
| 381 | } | 381 | } |
| 382 | 382 | ||
| 383 | // printOutput(numProbContent); | 383 | // printOutput(numProbContent); |