diff options
| author |  OszkarSemerath <oszka@152.66.252.189> | 2017-09-27 22:45:52 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@152.66.252.189> | 2017-09-27 22:45:52 +0200 |
| commit | 6a930a85b6525498e66e43b5e69a27e1c8d87718 (patch) | |
| tree | 7163e2fcaa68c2ecb05876a32aac1ea493eef694 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java | |
| parent | PS with outgoing references to excluded objects are supported now (diff) | |
| download | VIATRA-Generator-6a930a85b6525498e66e43b5e69a27e1c8d87718.tar.gz VIATRA-Generator-6a930a85b6525498e66e43b5e69a27e1c8d87718.tar.zst VIATRA-Generator-6a930a85b6525498e66e43b5e69a27e1c8d87718.zip | |
Set thread stop signal to volatile
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, 1 insertions, 1 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 346ed886..f7a840f0 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 | |||
| @@ -74,7 +74,7 @@ public class BestFirstStrategyForModelGeneration implements IStrategy { | |||
| 74 | private SolutionStore solutionStore; | 74 | private SolutionStore solutionStore; |
| 75 | private SolutionStoreWithCopy solutionStoreWithCopy; | 75 | private SolutionStoreWithCopy solutionStoreWithCopy; |
| 76 | private SolutionStoreWithDiversityDescriptor solutionStoreWithDiversityDescriptor; | 76 | private SolutionStoreWithDiversityDescriptor solutionStoreWithDiversityDescriptor; |
| 77 | private boolean isInterrupted = false; | 77 | private volatile boolean isInterrupted = false; |
| 78 | private ModelResult modelResultByInternalSolver = null; | 78 | private ModelResult modelResultByInternalSolver = null; |
| 79 | private Random random = new Random(); | 79 | private Random random = new Random(); |
| 80 | 80 | ||