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