blob: 76cc4ae1de7b83b2b0eb9abf8b332d87d8803a42 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.neighbourhood
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement
import java.util.Map
import org.eclipse.xtend.lib.annotations.Data
@Data class NeighbourhoodWithTraces<ModelRep,NodeRep> {
ModelRep modelRepresentation
Map<DefinedElement,? extends NodeRep> nodeRepresentations
NeighbourhoodWithTraces<ModelRep,NodeRep> previousRepresentation
}
|