blob: 69efe0d727a9dda63e3b830bd6042022d9cc9a0f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.dse
import org.eclipse.viatra.dse.objectives.IObjective
import org.eclipse.viatra.dse.base.ThreadContext
import java.util.Comparator
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation
class ScopeObjective implements IObjective{
static val comparator = new Comparator<Double>() {
override compare(Double o1, Double o2) {
return o2.compareTo(o1)
}
}
//val static scopeLevel = 3
override createNew() { return new ScopeObjective }
override getName() { '''ScopeConstraint''' }
override init(ThreadContext context) { }
override getComparator() { comparator }
override getFitness(ThreadContext context) {
val interpretation = context.model as PartialInterpretation
var res = interpretation.minNewElements.doubleValue
for(scope : interpretation.scopes) {
res += scope.minNewElements*2
}
return res
}
override isHardObjective() { true }
override satisifiesHardObjective(Double fitness) { return fitness <=0.01 }
override setComparator(Comparator<Double> comparator) {
throw new UnsupportedOperationException("TODO: auto-generated method stub")
}
override setLevel(int level) {
throw new UnsupportedOperationException("TODO: auto-generated method stub")
}
override getLevel() { 2 }
}
|
