blob: e1582d3b53cd8c25bd41f2bcda91a7028e2c32e4 (
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
|
package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.dse
import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality.MultiplicityGoalConstraintCalculator
import java.util.Comparator
import org.eclipse.viatra.dse.base.ThreadContext
import org.eclipse.viatra.dse.objectives.Comparators
import org.eclipse.viatra.dse.objectives.IObjective
class UnfinishedMultiplicityObjective implements IObjective {
val MultiplicityGoalConstraintCalculator unfinishedMultiplicity
new(MultiplicityGoalConstraintCalculator unfinishedMultiplicity) {
this.unfinishedMultiplicity = unfinishedMultiplicity
}
override getName() '''unfinishedMultiplicity «unfinishedMultiplicity.name»'''
override createNew() {
return new UnfinishedMultiplicityObjective(new MultiplicityGoalConstraintCalculator(this.unfinishedMultiplicity))
}
override getComparator() { Comparators.LOWER_IS_BETTER }
override getFitness(ThreadContext context) {
val unfinishedMultiplicity = unfinishedMultiplicity.calculateValue
return unfinishedMultiplicity.doubleValue
}
override getLevel() { 2 }
override init(ThreadContext context) { unfinishedMultiplicity.init(context.model) }
override isHardObjective() { true }
override satisifiesHardObjective(Double fitness) { return fitness <=0.01 }
override setComparator(Comparator<Double> comparator) {
throw new UnsupportedOperationException
}
override setLevel(int level) {
throw new UnsupportedOperationException
}
def isContainment() {
return this.unfinishedMultiplicity.containment
}
}
|
