blob: 2489c751377d887cdf24ab90c6931dc98cbaae9e (
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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.dse
import java.util.Comparator
import java.util.List
import org.eclipse.viatra.dse.base.ThreadContext
import org.eclipse.viatra.dse.objectives.Comparators
import org.eclipse.viatra.dse.objectives.IObjective
import org.eclipse.viatra.dse.objectives.impl.BaseObjective
//class ViatraReasonerNumbers {
// public static val scopePriority = 2
// public static val unfinishedMultiplicityPriority = 2
// public static val unifinshedWFPriority = 2
// //public static val complexityPriority = 4
//
// public static val scopeWeigth = 1.0
// public static val unfinishedMultiplicityWeigth = 1.5
// public static val unfinishedWFWeigth = 1.5
// //public static val complexityWeigth = 0.1
//
// public static val useCompositeObjective = true
// public static val compositePriority = 2
//}
class ModelGenerationCompositeObjective implements IObjective{
val ScopeObjective scopeObjective
val List<UnfinishedMultiplicityObjective> unfinishedMultiplicityObjectives
val UnfinishedWFObjective unfinishedWFObjective
public new(
ScopeObjective scopeObjective,
List<UnfinishedMultiplicityObjective> unfinishedMultiplicityObjectives,
UnfinishedWFObjective unfinishedWFObjective)
{
this.scopeObjective = scopeObjective
this.unfinishedMultiplicityObjectives = unfinishedMultiplicityObjectives
this.unfinishedWFObjective = unfinishedWFObjective
}
override init(ThreadContext context) {
this.scopeObjective.init(context)
this.unfinishedMultiplicityObjectives.forEach[it.init(context)]
this.unfinishedWFObjective.init(context)
}
override createNew() {
return new ModelGenerationCompositeObjective(
this.scopeObjective, this.unfinishedMultiplicityObjectives, this.unfinishedWFObjective)
}
override getComparator() { Comparators.LOWER_IS_BETTER }
override getFitness(ThreadContext context) {
var sum = 0.0
val scopeFitnes = scopeObjective.getFitness(context)
//val unfinishedMultiplicitiesFitneses = unfinishedMultiplicityObjectives.map[x|x.getFitness(context)]
val unfinishedWFsFitness = unfinishedWFObjective.getFitness(context)
sum+=scopeFitnes
var multiplicity = 0.0
for(multiplicityObjective : unfinishedMultiplicityObjectives) {
multiplicity+=multiplicityObjective.getFitness(context)//*0.5
}
sum+=multiplicity
sum += unfinishedWFsFitness//*0.5
//println('''Sum=«sum»|Scope=«scopeFitnes»|Multiplicity=«multiplicity»|WFs=«unfinishedWFsFitness»''')
return sum
}
override getLevel() { 2 }
override getName() { "CompositeUnfinishednessObjective"}
override isHardObjective() { true }
override satisifiesHardObjective(Double fitness) { fitness <= 0.001 }
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")
}
}
|
