diff options
author | 2018-08-28 10:55:39 +0200 | |
---|---|---|
committer | 2018-08-28 10:55:39 +0200 | |
commit | 227e72e3d7453e9b76b8dda842fdcd878d3d240f (patch) | |
tree | b639ac042de986efd6ab2ff01c75791cdbe27c6a /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithDiversityDescriptor.xtend | |
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/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithDiversityDescriptor.xtend')
-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 | } |