From a22bd211a42eebed6ee5ddf67e1836aad2bad0e3 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Sun, 13 Dec 2020 21:11:34 -0500
Subject: add numericProblemSolver supertype

---
 .../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 873dbed3..d63604b0 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
@@ -50,7 +50,7 @@ class NumericTranslator {
 		return res
 	}
 	
-	def selectProblemSolver() {
+	def NumericProblemSolver selectProblemSolver() {
 //		return new NumericProblemSolver
 		return new NumericDrealProblemSolver
 	}
@@ -71,7 +71,7 @@ class NumericTranslator {
 		return solution
 	}
 	
-	private def updateTimes(NumericDrealProblemSolver s) {
+	private def updateTimes(NumericProblemSolver s) {
 		this.formingProblemTime += s.getEndformingProblem
 		this.solvingProblemTime += s.getEndSolvingProblem
 		this.formingSolutionTime += s.getEndFormingSolution
-- 
cgit v1.2.3-54-g00ecf