Numeric solver dreal hardcoding -> configV4transformation

1 files changed, 2 insertions, 2 deletions

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;