3
public class UPPAALCombiOptions extends EngineSupportOptions {
5
public UPPAALCombiOptions() {
7
"UPPAAL: Optimized Broadcast Reduction",//name of engine
8
false,// support fastest trace
9
true,// support deadlock with net degree 2 and (EF or AG)
10
false,// support deadlock with EG or AF
11
false,// support deadlock with inhibitor arcs
12
true, //support weights
13
true, //support inhibitor arcs
14
true,// support urgent transitions
15
true,// support EG or AF
16
true,// support strict nets
17
true,// support timed nets/time intervals
18
false,// support deadlock with net degree > 2
19
false, //support games
20
true, //support EG or AF with net degree > 2);
21
false //support for nested quantification