From 27187323b760bd7bba5e16cc75fadb041888e2c8 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 20 Jun 2018 14:42:23 +0200 Subject: Fixing multiple "true" and "false" objects --- .../reasoner/dse/BestFirstStrategyForModelGeneration.java | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java') 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 { this.solutionStore = context.getGlobalContext().getSolutionStore(); ViatraQueryEngine engine = context.getQueryEngine(); +// // TODO: visualisation +// matchers = new LinkedList>(); +// for(IQuerySpecification> p : this.method.getAllPatterns()) { +// System.out.println(p.getSimpleName()); +// ViatraQueryMatcher matcher = p.getMatcher(engine); +// matchers.add(matcher); +// } this.solutionStoreWithCopy = new SolutionStoreWithCopy(); this.solutionStoreWithDiversityDescriptor = new SolutionStoreWithDiversityDescriptor(configuration.diversityRequirement); @@ -181,6 +188,9 @@ public class BestFirstStrategyForModelGeneration implements IStrategy { context.executeAcitvationId(nextActivation); visualiseCurrentState(); +// for(ViatraQueryMatcher matcher : matchers) { +// System.out.println(matcher.getPatternName() + " - " + matcher.getAllValues("element")); +// } boolean consistencyCheckResult = checkConsistency(currentTrajectoryWithFittness); if(consistencyCheckResult == true) { continue mainLoop; } -- cgit v1.2.3-54-g00ecf