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 | 77 |
1 files changed, 77 insertions, 0 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 new file mode 100644 index 00000000..f842afb5 --- /dev/null +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/script/MeasurementScript.xtend | |||
@@ -0,0 +1,77 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.run.script | ||
2 | |||
3 | import java.util.List | ||
4 | import org.eclipse.xtend.lib.annotations.Accessors | ||
5 | |||
6 | @Accessors | ||
7 | class MeasurementScript { | ||
8 | String inputPath | ||
9 | String outputPath | ||
10 | int timeout | ||
11 | boolean saveModels | ||
12 | boolean saveTemporaryFiles | ||
13 | int warmupIterations | ||
14 | int iterations | ||
15 | Domain domain | ||
16 | Scope scope | ||
17 | List<Integer> sizes | ||
18 | Solver solver | ||
19 | ScopePropagator scopePropagator | ||
20 | ScopeConstraints propagatedConstraints | ||
21 | PolyhedronSolver polyhedronSolver | ||
22 | ScopeHeuristic scopeHeuristic | ||
23 | |||
24 | def toCsvHeader() { | ||
25 | '''«domain»,«scope»,«solver»,«scopePropagator ?: "NULL"»,«propagatedConstraints ?: "NULL"»,«polyhedronSolver ?: "NULL"»,«scopeHeuristic ?: "NULL"»''' | ||
26 | } | ||
27 | } | ||
28 | |||
29 | enum Domain { | ||
30 | fs, | ||
31 | ecore, | ||
32 | ecoreUnsat, | ||
33 | Yakindu, | ||
34 | YakinduUnsat, | ||
35 | FAM, | ||
36 | satellite, | ||
37 | satelliteUnsat | ||
38 | } | ||
39 | |||
40 | enum Scope { | ||
41 | none, | ||
42 | quantiles, | ||
43 | upperOnly, | ||
44 | unsat, | ||
45 | exactly | ||
46 | } | ||
47 | |||
48 | enum Solver { | ||
49 | ViatraSolver, | ||
50 | AlloySolver, | ||
51 | AlloyMiniSat | ||
52 | } | ||
53 | |||
54 | enum ScopePropagator { | ||
55 | none, | ||
56 | basic, | ||
57 | polyhedral | ||
58 | } | ||
59 | |||
60 | enum ScopeConstraints { | ||
61 | none, | ||
62 | typeHierarchy, | ||
63 | relations, | ||
64 | hints | ||
65 | } | ||
66 | |||
67 | enum PolyhedronSolver { | ||
68 | Z3Integer, | ||
69 | Z3Real, | ||
70 | Cbc, | ||
71 | Clp | ||
72 | } | ||
73 | |||
74 | enum ScopeHeuristic { | ||
75 | basic, | ||
76 | polyhedral | ||
77 | } | ||