diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-05-06 18:42:22 -0400 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-06 18:42:22 -0400 |
| commit | 09b1255f11ee17828da706f682e33f50316887fe (patch) | |
| tree | f3783961c521b73201a9d079be78feb26e8a285c /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java | |
| parent | Merge remote-tracking branch 'origin/master' into kris (diff) | |
| download | VIATRA-Generator-09b1255f11ee17828da706f682e33f50316887fe.tar.gz VIATRA-Generator-09b1255f11ee17828da706f682e33f50316887fe.tar.zst VIATRA-Generator-09b1255f11ee17828da706f682e33f50316887fe.zip | |
Trying to implement spacecraft case study
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 | 2 |
1 files changed, 2 insertions, 0 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 6ff867d7..077fea21 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 | |||
| @@ -20,6 +20,7 @@ import java.util.List; | |||
| 20 | import java.util.PriorityQueue; | 20 | import java.util.PriorityQueue; |
| 21 | import java.util.Random; | 21 | import java.util.Random; |
| 22 | 22 | ||
| 23 | import org.apache.log4j.Level; | ||
| 23 | import org.apache.log4j.Logger; | 24 | import org.apache.log4j.Logger; |
| 24 | import org.eclipse.emf.ecore.util.EcoreUtil; | 25 | import org.eclipse.emf.ecore.util.EcoreUtil; |
| 25 | import org.eclipse.viatra.dse.api.strategy.interfaces.IStrategy; | 26 | import org.eclipse.viatra.dse.api.strategy.interfaces.IStrategy; |
| @@ -93,6 +94,7 @@ public class BestFirstStrategyForModelGeneration implements IStrategy { | |||
| 93 | this.workspace = workspace; | 94 | this.workspace = workspace; |
| 94 | this.configuration = configuration; | 95 | this.configuration = configuration; |
| 95 | this.method = method; | 96 | this.method = method; |
| 97 | //logger.setLevel(Level.DEBUG); | ||
| 96 | } | 98 | } |
| 97 | 99 | ||
| 98 | public int getNumberOfStatecoderFail() { | 100 | public int getNumberOfStatecoderFail() { |