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 @@
+package hu.bme.mit.inf.dslreasoner.run.script
+
+import java.util.List
+import org.eclipse.xtend.lib.annotations.Accessors
+
+@Accessors
+class MeasurementScript {
+        String inputPath
+        String outputPath
+        int timeout
+        boolean saveModels
+        boolean saveTemporaryFiles
+        int warmupIterations
+        int iterations
+        Domain domain
+        Scope scope
+        List<Integer> sizes
+        Solver solver
+        ScopePropagator scopePropagator
+        ScopeConstraints propagatedConstraints
+        PolyhedronSolver polyhedronSolver
+        ScopeHeuristic scopeHeuristic
+
+        def toCsvHeader() {
+                '''«domain»,«scope»,«solver»,«scopePropagator ?: "NULL"»,«propagatedConstraints ?: "NULL"»,«polyhedronSolver ?: "NULL"»,«scopeHeuristic ?: "NULL"»'''
+        }
+}
+
+enum Domain {
+        fs,
+        ecore,
+        ecoreUnsat,
+        Yakindu,
+        YakinduUnsat,
+        FAM,
+        satellite,
+        satelliteUnsat
+}
+
+enum Scope {
+        none,
+        quantiles,
+        upperOnly,
+        unsat,
+        exactly
+}
+
+enum Solver {
+        ViatraSolver,
+        AlloySolver,
+        AlloyMiniSat
+}
+
+enum ScopePropagator {
+        none,
+        basic,
+        polyhedral
+}
+
+enum ScopeConstraints {
+        none,
+        typeHierarchy,
+        relations,
+        hints
+}
+
+enum PolyhedronSolver {
+        Z3Integer,
+        Z3Real,
+        Cbc,
+        Clp
+}
+
+enum ScopeHeuristic {
+        basic,
+        polyhedral
+}