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

---
 .../reasoner/dse/BestFirstStrategyForModelGeneration.java             | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java
index c62d124a..1ac12914 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java
@@ -79,7 +79,7 @@ public class BestFirstStrategyForModelGeneration implements IStrategy {
 //	private Collection<ViatraQueryMatcher<? extends IPatternMatch>> matchers;
 	public ActivationSelector activationSelector = new EvenActivationSelector(random);
 	public ViatraReasonerSolutionSaver solutionSaver;
-	public NumericSolver numericSolver;
+	public NumericRefinementUnit numericSolver;
 	// Statistics
 	private int numberOfStatecoderFail = 0;
 	private int numberOfPrintedModel = 0;
@@ -94,7 +94,7 @@ public class BestFirstStrategyForModelGeneration implements IStrategy {
 			ViatraReasonerConfiguration configuration,
 			ModelGenerationMethod method,
 			ViatraReasonerSolutionSaver solutionSaver,
-			NumericSolver numericSolver) {
+			NumericRefinementUnit numericSolver) {
 		this.workspace = workspace;
 		this.configuration = configuration;
 		this.method = method;
-- 
cgit v1.2.3-70-g09d2