diff options
Diffstat (limited to 'Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/script/MeasurementScript.xtend')
-rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/script/MeasurementScript.xtend | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/script/MeasurementScript.xtend b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/script/MeasurementScript.xtend index 56a65091..f842afb5 100644 --- a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/script/MeasurementScript.xtend +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/script/MeasurementScript.xtend | |||
@@ -29,19 +29,26 @@ class MeasurementScript { | |||
29 | enum Domain { | 29 | enum Domain { |
30 | fs, | 30 | fs, |
31 | ecore, | 31 | ecore, |
32 | ecoreUnsat, | ||
32 | Yakindu, | 33 | Yakindu, |
34 | YakinduUnsat, | ||
33 | FAM, | 35 | FAM, |
34 | satellite | 36 | satellite, |
37 | satelliteUnsat | ||
35 | } | 38 | } |
36 | 39 | ||
37 | enum Scope { | 40 | enum Scope { |
38 | none, | 41 | none, |
39 | quantiles | 42 | quantiles, |
43 | upperOnly, | ||
44 | unsat, | ||
45 | exactly | ||
40 | } | 46 | } |
41 | 47 | ||
42 | enum Solver { | 48 | enum Solver { |
43 | ViatraSolver, | 49 | ViatraSolver, |
44 | AlloySolver | 50 | AlloySolver, |
51 | AlloyMiniSat | ||
45 | } | 52 | } |
46 | 53 | ||
47 | enum ScopePropagator { | 54 | enum ScopePropagator { |