blob: 22e890a27b5cd426a24c251e622687a8572b7af5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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)
}
}
|