diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver')
-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, 10 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 e73d97b3..7862262b 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,6 +112,13 @@ 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 | // } | ||
115 | 122 | ||
116 | this.solutionStoreWithCopy = new SolutionStoreWithCopy(); | 123 | this.solutionStoreWithCopy = new SolutionStoreWithCopy(); |
117 | this.solutionStoreWithDiversityDescriptor = new SolutionStoreWithDiversityDescriptor(configuration.diversityRequirement); | 124 | this.solutionStoreWithDiversityDescriptor = new SolutionStoreWithDiversityDescriptor(configuration.diversityRequirement); |
@@ -181,6 +188,9 @@ public class BestFirstStrategyForModelGeneration implements IStrategy { | |||
181 | context.executeAcitvationId(nextActivation); | 188 | context.executeAcitvationId(nextActivation); |
182 | 189 | ||
183 | visualiseCurrentState(); | 190 | visualiseCurrentState(); |
191 | // for(ViatraQueryMatcher<? extends IPatternMatch> matcher : matchers) { | ||
192 | // System.out.println(matcher.getPatternName() + " - " + matcher.getAllValues("element")); | ||
193 | // } | ||
184 | 194 | ||
185 | boolean consistencyCheckResult = checkConsistency(currentTrajectoryWithFittness); | 195 | boolean consistencyCheckResult = checkConsistency(currentTrajectoryWithFittness); |
186 | if(consistencyCheckResult == true) { continue mainLoop; } | 196 | if(consistencyCheckResult == true) { continue mainLoop; } |