diff options
author | 2021-07-30 10:04:27 +0200 | |
---|---|---|
committer | 2021-07-30 10:04:27 +0200 | |
commit | aaa67b0ef8840d97b062a4f1383bf93410984af3 (patch) | |
tree | 2c07208bb6b5ab27b47bd477dfbcc6e77b50d623 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java | |
parent | Config updated and createSharedVersionedMapStores service (diff) | |
download | VIATRA-Generator-aaa67b0ef8840d97b062a4f1383bf93410984af3.tar.gz VIATRA-Generator-aaa67b0ef8840d97b062a4f1383bf93410984af3.tar.zst VIATRA-Generator-aaa67b0ef8840d97b062a4f1383bf93410984af3.zip |
Numeric solver dreal hardcoding -> configV4transformation
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java | 4 |
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 { | |||
79 | // private Collection<ViatraQueryMatcher<? extends IPatternMatch>> matchers; | 79 | // private Collection<ViatraQueryMatcher<? extends IPatternMatch>> matchers; |
80 | public ActivationSelector activationSelector = new EvenActivationSelector(random); | 80 | public ActivationSelector activationSelector = new EvenActivationSelector(random); |
81 | public ViatraReasonerSolutionSaver solutionSaver; | 81 | public ViatraReasonerSolutionSaver solutionSaver; |
82 | public NumericSolver numericSolver; | 82 | public NumericRefinementUnit numericSolver; |
83 | // Statistics | 83 | // Statistics |
84 | private int numberOfStatecoderFail = 0; | 84 | private int numberOfStatecoderFail = 0; |
85 | private int numberOfPrintedModel = 0; | 85 | private int numberOfPrintedModel = 0; |
@@ -94,7 +94,7 @@ public class BestFirstStrategyForModelGeneration implements IStrategy { | |||
94 | ViatraReasonerConfiguration configuration, | 94 | ViatraReasonerConfiguration configuration, |
95 | ModelGenerationMethod method, | 95 | ModelGenerationMethod method, |
96 | ViatraReasonerSolutionSaver solutionSaver, | 96 | ViatraReasonerSolutionSaver solutionSaver, |
97 | NumericSolver numericSolver) { | 97 | NumericRefinementUnit numericSolver) { |
98 | this.workspace = workspace; | 98 | this.workspace = workspace; |
99 | this.configuration = configuration; | 99 | this.configuration = configuration; |
100 | this.method = method; | 100 | this.method = method; |