From aaa67b0ef8840d97b062a4f1383bf93410984af3 Mon Sep 17 00:00:00 2001
From: OszkarSemerath <semerath@mit.bme.hu>
Date: Fri, 30 Jul 2021 10:04:27 +0200
Subject: Numeric solver dreal hardcoding -> config

---
 .../viatra2logic/NumericDynamicProblemSolver.java  | 43 ----------------------
 1 file changed, 43 deletions(-)
 delete mode 100644 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java

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

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
deleted file mode 100644
index e8c20138..00000000
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java
+++ /dev/null
@@ -1,43 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.viatra2logic;
-
-import java.io.IOException;
-import java.util.List;
-import java.util.Map;
-
-import org.eclipse.xtext.common.types.JvmIdentifiableElement;
-import org.eclipse.xtext.xbase.XExpression;
-
-import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement;
-
-public class NumericDynamicProblemSolver extends NumericProblemSolver{
-	
-//	private NumericZ3ProblemSolver z3Solver;
-	private NumericDrealProblemSolver drealSolver;
-	private int timeout;
-	
-	public NumericDynamicProblemSolver(String drealLocalPath, int drealTimeout) throws IOException, InterruptedException {
-//		this.z3Solver = new NumericZ3ProblemSolver();
-		this.drealSolver = new NumericDrealProblemSolver(false, drealLocalPath, drealTimeout);
-		this.timeout = drealTimeout;
-	}
-	
-	public NumericProblemSolver selectSolver(String selection) {
-		switch (selection) {
-		case "z3":
-			return new NumericZ3ProblemSolver(timeout);
-		case "dreal":
-			return this.drealSolver;
-		default:
-		throw new IllegalArgumentException("Unknown numeric solver selection: " + selection);
-		}
-	}
-
-	public boolean isSatisfiable(Map<XExpression, Iterable<Map<JvmIdentifiableElement, PrimitiveElement>>> matches)
-			throws Exception {
-		throw new Exception("Should not reach here - isSatisfiable");
-	}
-
-	public Map<PrimitiveElement, Number> getOneSolution(List<PrimitiveElement> objs,
-			Map<XExpression, Iterable<Map<JvmIdentifiableElement, PrimitiveElement>>> matches) throws Exception {
-		throw new Exception("Should not reach here - getOneSolution");
-	}}
-- 
cgit v1.2.3-54-g00ecf