diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder')
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/NeighbourhoodBasedStateCoderFactory.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/NeighbourhoodBasedStateCoderFactory.xtend index a86bcd1f..19c70574 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/NeighbourhoodBasedStateCoderFactory.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/NeighbourhoodBasedStateCoderFactory.xtend | |||
@@ -133,11 +133,11 @@ class NeighbourhoodBasedPartialInterpretationStateCoder implements IStateCoder{ | |||
133 | 133 | ||
134 | while(index < size) { | 134 | while(index < size) { |
135 | res.add(getCode(match.get(index))) | 135 | res.add(getCode(match.get(index))) |
136 | index++ | ||
137 | for(var i = 0; i<index; i++) { | 136 | for(var i = 0; i<index; i++) { |
138 | val number = if(match.get(index) === match.get(i)){1}else{0} | 137 | val number = if(match.get(index) === match.get(i)){1}else{0} |
139 | equivalenceHash = prime * equivalenceHash + number | 138 | equivalenceHash = prime * equivalenceHash + number |
140 | } | 139 | } |
140 | index++ | ||
141 | } | 141 | } |
142 | 142 | ||
143 | statecoderRuntime += (System.nanoTime - startTime) | 143 | statecoderRuntime += (System.nanoTime - startTime) |