From 0ca3b7409e1b98bb2ebeb65df9dbe316500302e9 Mon Sep 17 00:00:00 2001
From: Oszkar Semerath <semerath@mit.bme.hu>
Date: Tue, 12 May 2020 03:19:32 +0200
Subject: logging detailed measurement data for the numerical solver

---
 .../mit/inf/dslreasoner/viatrasolver/reasoner/dse/NumericSolver.xtend  | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse')

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/NumericSolver.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/NumericSolver.xtend
index 9da97d30..0fb5d702 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/NumericSolver.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/NumericSolver.xtend
@@ -56,6 +56,9 @@ class NumericSolver {
 	def getCachingTime(){cachingTime}
 	def getNumberOfSolverCalls(){numberOfSolverCalls}
 	def getNumberOfCachedSolverCalls(){numberOfCachedSolverCalls}
+	def getSolverFormingProblem(){this.t.formingProblemTime}
+	def getSolverSolvingProblem(){this.t.solvingProblemTime}
+	def getSolverSolution(){this.t.formingSolutionTime}
 	
 	def boolean maySatisfiable() {
 		isSatisfiable(this.constraint2MustUnitPropagationPrecondition)
-- 
cgit v1.2.3-70-g09d2