From bdae1b59c53cd1743b8b2ad2cd1d3c3a51327e8b Mon Sep 17 00:00:00 2001
From: Oszkar Semerath <semerath@mit.bme.hu>
Date: Sat, 19 Oct 2019 22:17:48 +0200
Subject: fixing index out ot bound exceptions for state coders

---
 .../statecoder/NeighbourhoodBasedStateCoderFactory.xtend                | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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{
 	   	
         while(index < size) {
         	res.add(getCode(match.get(index)))
-        	index++
         	for(var i = 0; i<index; i++) {
         		val number = if(match.get(index) === match.get(i)){1}else{0}
         		equivalenceHash = prime * equivalenceHash + number
         	}
+        	index++
         }
         
         statecoderRuntime += (System.nanoTime - startTime)
-- 
cgit v1.2.3-54-g00ecf