1 files changed, 4 insertions, 2 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/FurtherNodeDescriptorWithEquivalenceCounter.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/FurtherNodeDescriptorWithEquivalenceCounter.xtend
index 22e890a2..28b936df 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/FurtherNodeDescriptorWithEquivalenceCounter.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/FurtherNodeDescriptorWithEquivalenceCounter.xtend
@@ -2,15 +2,17 @@ package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.ne
 

 import java.util.Map

 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement

+import java.util.Set

 

 class FurtherNodeDescriptorWithEquivalenceCounter extends FurtherNodeDescriptor<AbstractNodeDescriptor> {

         

         new(AbstractNodeDescriptor previousRepresentation,

                 Map<IncomingRelation<AbstractNodeDescriptor>, Integer> incomingEdges,

                 Map<OutgoingRelation<AbstractNodeDescriptor>, Integer> outgoingEdges,

-                Map<DefinedElement, FurtherNodeDescriptor<AbstractNodeDescriptor>> node2Representation)

+                Map<DefinedElement, FurtherNodeDescriptor<AbstractNodeDescriptor>> node2Representation,

+                Set<PatternRelation<AbstractNodeDescriptor>> patterns)

         {

-                super(previousRepresentation, incomingEdges, outgoingEdges)

+                super(previousRepresentation, incomingEdges, outgoingEdges, patterns)

         }

 

 }
\ No newline at end of file