Fix for symmetric activation codes on symmetric models

1 files changed, 10 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 65a8207e..b6d2043d 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
@@ -128,14 +128,23 @@ class NeighbourhoodBasedPartialInterpretationStateCoder implements IStateCoder{
         val size = match.specification.parameters.size
         val res = new ArrayList(size)
         var int index = 0
+        var int equivalenceHash = 0
+        val prime = 31
+                
         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
+                }
         }
+        
         statecoderRuntime += (System.nanoTime - startTime)
-        return match.specification.fullyQualifiedName->res.hashCode
+        return match.specification.fullyQualifiedName->(res->equivalenceHash).hashCode
     }
     
+    
     def private getCode(Object o) {
         if(o instanceof DefinedElement) {
                 this.nodeRepresentations.get(o)