From eed3b8f6050a1dacf5555a2eefaf641c526f0fae Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sun, 17 Feb 2019 19:31:50 +0100 Subject: Solution store diversity requirement set to 1 as default --- .../reasoner/dse/SolutionStoreWithDiversityDescriptor.xtend | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithDiversityDescriptor.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithDiversityDescriptor.xtend index a6e49d53..1e7f18a8 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithDiversityDescriptor.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithDiversityDescriptor.xtend @@ -68,8 +68,7 @@ class SolutionStoreWithDiversityDescriptor { val differentCodes = codes.filter[!solutionCodeList.contains(it)] //println(differentCodes.size) - isDifferent = differentCodes.size>=3 - if(isDifferent)println(differentCodes.size) + isDifferent = differentCodes.size>=1 } else { throw new UnsupportedOperationException('''Unsupported diversity type: «this.granularity»''') } -- cgit v1.2.3-54-g00ecf