1 files changed, 16 insertions, 0 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
new file mode 100644
index 00000000..22e890a2
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/FurtherNodeDescriptorWithEquivalenceCounter.xtend
@@ -0,0 +1,16 @@
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.neighbourhood

+

+import java.util.Map

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

+

+class FurtherNodeDescriptorWithEquivalenceCounter extends FurtherNodeDescriptor<AbstractNodeDescriptor> {

+        

+        new(AbstractNodeDescriptor previousRepresentation,

+                Map<IncomingRelation<AbstractNodeDescriptor>, Integer> incomingEdges,

+                Map<OutgoingRelation<AbstractNodeDescriptor>, Integer> outgoingEdges,

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

+        {

+                super(previousRepresentation, incomingEdges, outgoingEdges)

+        }

+

+}
\ No newline at end of file