blob: c6e03f7525596d6667e8481d9fcd115dfdd3925f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.neighbourhood
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration
import java.util.Set
import org.eclipse.xtend.lib.annotations.Data
@Data
class NeighbourhoodOptions {
public static val FixPointRange = -1
public static val GraphWidthRange = -2
public static val FullParallels = Integer.MAX_VALUE
public static val MaxNumbers = Integer.MAX_VALUE
public static val DEFAULT = new NeighbourhoodOptions(FixPointRange, FullParallels, MaxNumbers, null, null)
val int range
val int parallels
val int maxNumber
val Set<TypeDeclaration> relevantTypes
val Set<RelationDeclaration> relevantRelations
}
|