1 files changed, 10 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolverConfiguration.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolverConfiguration.java
new file mode 100644
index 00000000..d392016e
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolverConfiguration.java
@@ -0,0 +1,10 @@
+package ca.mcgill.ecse.dslreasoner.vampire.reasoner;

+

+import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration;

+

+@SuppressWarnings("all")

+public class VampireSolverConfiguration extends LogicSolverConfiguration {

+  public int symmetry = 0;

+  

+  public boolean writeToFile = false;

+}