diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-06-20 14:41:21 +0200 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-06-20 14:41:21 +0200 |
commit | fd9a364969db1e89726adec4f9a99a0c0a84b965 (patch) | |
tree | a449e9daa38eadf6c899724f0d76d3d8c5ffb1d5 /Solvers | |
parent | Visualisation example using matches during generation (diff) | |
download | VIATRA-Generator-fd9a364969db1e89726adec4f9a99a0c0a84b965.tar.gz VIATRA-Generator-fd9a364969db1e89726adec4f9a99a0c0a84b965.tar.zst VIATRA-Generator-fd9a364969db1e89726adec4f9a99a0c0a84b965.zip |
Visualisation stub removed
Diffstat (limited to 'Solvers')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java | 10 |
1 files changed, 0 insertions, 10 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 12533535..e73d97b3 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 | |||
@@ -112,13 +112,6 @@ public class BestFirstStrategyForModelGeneration implements IStrategy { | |||
112 | this.solutionStore = context.getGlobalContext().getSolutionStore(); | 112 | this.solutionStore = context.getGlobalContext().getSolutionStore(); |
113 | 113 | ||
114 | ViatraQueryEngine engine = context.getQueryEngine(); | 114 | ViatraQueryEngine engine = context.getQueryEngine(); |
115 | // TODO: visualisation | ||
116 | matchers = new LinkedList<ViatraQueryMatcher<? extends IPatternMatch>>(); | ||
117 | for(IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>> p : this.method.getAllPatterns()) { | ||
118 | System.out.println(p.getSimpleName()); | ||
119 | ViatraQueryMatcher<? extends IPatternMatch> matcher = p.getMatcher(engine); | ||
120 | matchers.add(matcher); | ||
121 | } | ||
122 | 115 | ||
123 | this.solutionStoreWithCopy = new SolutionStoreWithCopy(); | 116 | this.solutionStoreWithCopy = new SolutionStoreWithCopy(); |
124 | this.solutionStoreWithDiversityDescriptor = new SolutionStoreWithDiversityDescriptor(configuration.diversityRequirement); | 117 | this.solutionStoreWithDiversityDescriptor = new SolutionStoreWithDiversityDescriptor(configuration.diversityRequirement); |
@@ -188,9 +181,6 @@ public class BestFirstStrategyForModelGeneration implements IStrategy { | |||
188 | context.executeAcitvationId(nextActivation); | 181 | context.executeAcitvationId(nextActivation); |
189 | 182 | ||
190 | visualiseCurrentState(); | 183 | visualiseCurrentState(); |
191 | for(ViatraQueryMatcher<? extends IPatternMatch> matcher : matchers) { | ||
192 | System.out.println(matcher.getPatternName() + " - " + matcher.countMatches()); | ||
193 | } | ||
194 | 184 | ||
195 | boolean consistencyCheckResult = checkConsistency(currentTrajectoryWithFittness); | 185 | boolean consistencyCheckResult = checkConsistency(currentTrajectoryWithFittness); |
196 | if(consistencyCheckResult == true) { continue mainLoop; } | 186 | if(consistencyCheckResult == true) { continue mainLoop; } |