From 0ebddc8dd265cd5b1b439e3c06f1de1047641559 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 16 Feb 2021 03:06:22 +0100
Subject: add dreal-timeout flag

---
 .../inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java    | 7 ++++---
 .../inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java  | 4 ++--
 2 files changed, 6 insertions(+), 5 deletions(-)

(limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner')

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 f098d575..eb63d96a 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
@@ -43,13 +43,14 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{
 	private Map<String, String> curVar2Decl;
 	
 	private final int TIMEOUT_DOCKER = 5000;
-	private final int TIMEOUT_LOCAL = -1;
-	private final int DEBUG_PRINT = 3;
+	private int TIMEOUT_LOCAL = -1;
+	private final int DEBUG_PRINT = 2;
 
-	public NumericDrealProblemSolver(boolean useDocker, String drealLocalPath) throws IOException, InterruptedException {
+	public NumericDrealProblemSolver(boolean useDocker, String drealLocalPath, int drealTimeout) throws IOException, InterruptedException {
 		this.useDocker = useDocker;
 		this.varMap = new HashMap<Object, String>();
 		this.drealLocalPath = drealLocalPath;
+		this.TIMEOUT_LOCAL = drealTimeout;
 		
 		if (useDocker) setupDocker();
 	}
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java
index bd4a10ff..1e5c1f29 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java
@@ -14,9 +14,9 @@ public class NumericDynamicProblemSolver extends NumericProblemSolver{
 //	private NumericZ3ProblemSolver z3Solver;
 	private NumericDrealProblemSolver drealSolver;
 	
-	public NumericDynamicProblemSolver(String drealLocalPath) throws IOException, InterruptedException {
+	public NumericDynamicProblemSolver(String drealLocalPath, int drealTimeout) throws IOException, InterruptedException {
 //		this.z3Solver = new NumericZ3ProblemSolver();
-		this.drealSolver = new NumericDrealProblemSolver(false, drealLocalPath);
+		this.drealSolver = new NumericDrealProblemSolver(false, drealLocalPath, drealTimeout);
 	}
 	
 	public NumericProblemSolver selectSolver(String selection) {
-- 
cgit v1.2.3-70-g09d2