diff options
| author |  Rebus Farkas <rebus.detenyleg@gmail.com> | 2018-08-28 10:55:39 +0200 |
|---|---|---|
| committer | Rebus Farkas <rebus.detenyleg@gmail.com> | 2018-08-28 10:55:39 +0200 |
| commit | 227e72e3d7453e9b76b8dda842fdcd878d3d240f (patch) | |
| tree | b639ac042de986efd6ab2ff01c75791cdbe27c6a /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner | |
| parent | Add pattern descriptors (diff) | |
| download | VIATRA-Generator-227e72e3d7453e9b76b8dda842fdcd878d3d240f.tar.gz VIATRA-Generator-227e72e3d7453e9b76b8dda842fdcd878d3d240f.tar.zst VIATRA-Generator-227e72e3d7453e9b76b8dda842fdcd878d3d240f.zip | |
Fix SolutionStoreWithDiversityDescriptor
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 | 4 |
1 files changed, 2 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 bcdc8423..b57f7484 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 | |||
| @@ -40,7 +40,7 @@ class SolutionStoreWithDiversityDescriptor { | |||
| 40 | descriptor.parallels, | 40 | descriptor.parallels, |
| 41 | descriptor.maxNumber, | 41 | descriptor.maxNumber, |
| 42 | descriptor.relevantTypes, | 42 | descriptor.relevantTypes, |
| 43 | descriptor.relevantRelations).modelRepresentation.hashCode | 43 | descriptor.relevantRelations,null).modelRepresentation.hashCode |
| 44 | val isDifferent = solutionCodeList.forall[previous | ! code.equals(previous)] | 44 | val isDifferent = solutionCodeList.forall[previous | ! code.equals(previous)] |
| 45 | runtime += System.nanoTime - start | 45 | runtime += System.nanoTime - start |
| 46 | allCheck++ | 46 | allCheck++ |
| @@ -66,7 +66,7 @@ class SolutionStoreWithDiversityDescriptor { | |||
| 66 | descriptor.parallels, | 66 | descriptor.parallels, |
| 67 | descriptor.maxNumber, | 67 | descriptor.maxNumber, |
| 68 | descriptor.relevantTypes, | 68 | descriptor.relevantTypes, |
| 69 | descriptor.relevantRelations).modelRepresentation.hashCode | 69 | descriptor.relevantRelations,null).modelRepresentation.hashCode |
| 70 | solutionCodeList += code | 70 | solutionCodeList += code |
| 71 | runtime += System.nanoTime - start | 71 | runtime += System.nanoTime - start |
| 72 | } | 72 | } |