From ca1e53f0ca5e8d61699ce7c34494cb85c2b04ee8 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Sun, 13 Dec 2020 20:37:05 -0500
Subject: prep for refactoring Numeric Probelm Solvers

---
 .../hu/bme/mit/inf/dslreasoner/viatra2logic/NumericTranslator.xtend   | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericTranslator.xtend b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericTranslator.xtend
index 21fbe589..873dbed3 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericTranslator.xtend
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericTranslator.xtend
@@ -52,7 +52,7 @@ class NumericTranslator {
 	
 	def selectProblemSolver() {
 //		return new NumericProblemSolver
-		return new DrealProblemSolver
+		return new NumericDrealProblemSolver
 	}
 	
 	def delegateIsSatisfiable(Map<PConstraint, Iterable<Object[]>> matches) {
@@ -71,7 +71,7 @@ class NumericTranslator {
 		return solution
 	}
 	
-	private def updateTimes(DrealProblemSolver s) {
+	private def updateTimes(NumericDrealProblemSolver s) {
 		this.formingProblemTime += s.getEndformingProblem
 		this.solvingProblemTime += s.getEndSolvingProblem
 		this.formingSolutionTime += s.getEndFormingSolution
-- 
cgit v1.2.3-70-g09d2