diff options
author | 2021-01-22 06:17:04 +0100 | |
---|---|---|
committer | 2021-01-22 06:17:04 +0100 | |
commit | 75adda0234c582bb178a31cde758064e1d3ac72d (patch) | |
tree | a7333ed414a86d775db665655a81bba7dc65b179 /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit | |
parent | Issue where blocker is not between source and target (diff) | |
download | VIATRA-Generator-75adda0234c582bb178a31cde758064e1d3ac72d.tar.gz VIATRA-Generator-75adda0234c582bb178a31cde758064e1d3ac72d.tar.zst VIATRA-Generator-75adda0234c582bb178a31cde758064e1d3ac72d.zip |
Almost done implementing collision correctly
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java | 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/NumericDrealProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java index b8ab8e95..e3bb2cbe 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 | |||
@@ -437,8 +437,8 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{ | |||
437 | 437 | ||
438 | //DEBUG - Print things | 438 | //DEBUG - Print things |
439 | System.out.println("Getting Solution!"); | 439 | System.out.println("Getting Solution!"); |
440 | printOutput(numProbContent); | 440 | // printOutput(numProbContent); |
441 | printOutput(outputs.get(0)); | 441 | // printOutput(outputs.get(0)); |
442 | // System.out.println(result); | 442 | // System.out.println(result); |
443 | //END DEBUG | 443 | //END DEBUG |
444 | 444 | ||