1 files changed, 22 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend
new file mode 100644
index 00000000..27e00ccf
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend
@@ -0,0 +1,22 @@
+package ca.mcgill.ecse.dslreasoner.vampire.reasoner
+
+import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration
+
+class VampireSolverConfiguration extends LogicSolverConfiguration {
+        
+        public var int symmetry = 0 // by default
+        //choose needed backend solver
+//      public var VampireBackendSolver solver = VampireBackendSolver.SAT4J
+        public var boolean writeToFile = false
+}
+
+
+enum VampireBackendSolver {
+        //add needed things
+}
+
+
+enum TypeMappingTechnique {
+        //default
+        FilteredTypes
+}
\ No newline at end of file