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/src/hu | |
| 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/src/hu')
| -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 | } |