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/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner | |
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/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner')
-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); |