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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
|
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
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation
import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasonerConfiguration
//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
var PartialInterpretation model=null;
val boolean punishSize
val int scopeWeight
val int conaintmentWeight
val int nonContainmentWeight
val int unfinishedWFWeight
new(
ScopeObjective scopeObjective,
List<UnfinishedMultiplicityObjective> unfinishedMultiplicityObjectives,
UnfinishedWFObjective unfinishedWFObjective,
ViatraReasonerConfiguration configuration)
{
this.scopeObjective = scopeObjective
this.unfinishedMultiplicityObjectives = unfinishedMultiplicityObjectives
this.unfinishedWFObjective = unfinishedWFObjective
this.punishSize = configuration.punishSize
this.scopeWeight = configuration.scopeWeight
this.conaintmentWeight = configuration.conaintmentWeight
this.nonContainmentWeight = configuration.nonContainmentWeight
this.unfinishedWFWeight = configuration.unfinishedWFWeight
}
new(
ScopeObjective scopeObjective,
List<UnfinishedMultiplicityObjective> unfinishedMultiplicityObjectives,
UnfinishedWFObjective unfinishedWFObjective,
boolean punishSize, int scopeWeight, int conaintmentWeight, int nonContainmentWeight, int unfinishedWFWeight)
{
this.scopeObjective = scopeObjective
this.unfinishedMultiplicityObjectives = unfinishedMultiplicityObjectives
this.unfinishedWFObjective = unfinishedWFObjective
this.punishSize = punishSize
this.scopeWeight = scopeWeight
this.conaintmentWeight = conaintmentWeight
this.nonContainmentWeight = nonContainmentWeight
this.unfinishedWFWeight = unfinishedWFWeight
}
override init(ThreadContext context) {
model = context.model as PartialInterpretation
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,
this.punishSize, this.scopeWeight, this.conaintmentWeight, this.nonContainmentWeight, this.unfinishedWFWeight)
}
override getComparator() { Comparators.LOWER_IS_BETTER }
override getFitness(ThreadContext context) {
val scopeFitnes = scopeObjective.getFitness(context)
//val unfinishedMultiplicitiesFitneses = unfinishedMultiplicityObjectives.map[x|x.getFitness(context)]
val unfinishedWFsFitness = unfinishedWFObjective.getFitness(context)
var containmentMultiplicity = 0.0
var nonContainmentMultiplicity = 0.0
for(multiplicityObjective : unfinishedMultiplicityObjectives) {
if(multiplicityObjective.containment) {
containmentMultiplicity+=multiplicityObjective.getFitness(context)
} else {
nonContainmentMultiplicity+=multiplicityObjective.getFitness(context)
}
}
val size = if(punishSize) {
0.9/model.newElements.size
} else {
0
}
var sum = 0.0
sum += scopeFitnes*scopeWeight
sum += containmentMultiplicity*conaintmentWeight
sum += nonContainmentMultiplicity*nonContainmentWeight
sum += unfinishedWFsFitness*unfinishedWFWeight
sum+=size
//println('''Sum=«sum»|Scope=«scopeFitnes»|ContainmentMultiplicity=«containmentMultiplicity»|NonContainmentMultiplicity=«nonContainmentMultiplicity»|WFs=«unfinishedWFsFitness»''')
return sum
}
override getLevel() { 2 }
override getName() { "CompositeUnfinishednessObjective"}
override isHardObjective() { true }
override satisifiesHardObjective(Double fitness) { fitness < 0.95 }
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")
}
}
|
