diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2019-02-17 19:31:50 +0100 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2019-02-17 19:31:50 +0100 |
commit | eed3b8f6050a1dacf5555a2eefaf641c526f0fae (patch) | |
tree | 06bd7fc31e78787dfcb3abc636acec33a287bf16 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner | |
parent | Removed unnecessary logging (diff) | |
download | VIATRA-Generator-eed3b8f6050a1dacf5555a2eefaf641c526f0fae.tar.gz VIATRA-Generator-eed3b8f6050a1dacf5555a2eefaf641c526f0fae.tar.zst VIATRA-Generator-eed3b8f6050a1dacf5555a2eefaf641c526f0fae.zip |
Solution store diversity requirement set to 1 as default
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithDiversityDescriptor.xtend | 3 |
1 files changed, 1 insertions, 2 deletions
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 { | |||
68 | val differentCodes = codes.filter[!solutionCodeList.contains(it)] | 68 | val differentCodes = codes.filter[!solutionCodeList.contains(it)] |
69 | //println(differentCodes.size) | 69 | //println(differentCodes.size) |
70 | 70 | ||
71 | isDifferent = differentCodes.size>=3 | 71 | isDifferent = differentCodes.size>=1 |
72 | if(isDifferent)println(differentCodes.size) | ||
73 | } else { | 72 | } else { |
74 | throw new UnsupportedOperationException('''Unsupported diversity type: «this.granularity»''') | 73 | throw new UnsupportedOperationException('''Unsupported diversity type: «this.granularity»''') |
75 | } | 74 | } |