aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java
diff options
context:
space:
mode:
authorLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-22 06:17:04 +0100
committerLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-22 06:17:04 +0100
commit75adda0234c582bb178a31cde758064e1d3ac72d (patch)
treea7333ed414a86d775db665655a81bba7dc65b179 /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java
parentIssue where blocker is not between source and target (diff)
downloadVIATRA-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/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java4
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