package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.neighbourhood

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,
		Set<PatternRelation<AbstractNodeDescriptor>> patterns)
	{
		super(previousRepresentation, incomingEdges, outgoingEdges, patterns)
	}

}