1 files changed, 35 insertions, 0 deletions

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

+

+import org.eclipse.xtend.lib.annotations.Data;

+import org.eclipse.xtext.xbase.lib.Pure;

+import org.eclipse.xtext.xbase.lib.util.ToStringBuilder;

+

+@Data

+@SuppressWarnings("all")

+public class VampireSolutionModel {

+  @Override

+  @Pure

+  public int hashCode() {

+    int result = 1;

+    return result;

+  }

+  

+  @Override

+  @Pure

+  public boolean equals(final Object obj) {

+    if (this == obj)

+      return true;

+    if (obj == null)

+      return false;

+    if (getClass() != obj.getClass())

+      return false;

+    return true;

+  }

+  

+  @Override

+  @Pure

+  public String toString() {

+    ToStringBuilder b = new ToStringBuilder(this);

+    return b.toString();

+  }

+}