From 57e614aabedc176ba9965d0ca5e6daa23c5f4758 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Fri, 1 Feb 2019 16:03:30 -0500
Subject: Fix FAM Test. Begin Grammar Fix.

---
 .../vampireLanguage/VampireLanguageFactory.java    | 45 ++++++++++++++++++++++
 1 file changed, 45 insertions(+)

(limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java')

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java
index 3896cc7f..a89885ee 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java
@@ -59,6 +59,42 @@ public interface VampireLanguageFactory extends EFactory
    */
   VLSComment createVLSComment();
 
+  /**
+   * Returns a new object of class '<em>VLS Confirmations</em>'.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @return a new object of class '<em>VLS Confirmations</em>'.
+   * @generated
+   */
+  VLSConfirmations createVLSConfirmations();
+
+  /**
+   * Returns a new object of class '<em>VLS Satisfiable</em>'.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @return a new object of class '<em>VLS Satisfiable</em>'.
+   * @generated
+   */
+  VLSSatisfiable createVLSSatisfiable();
+
+  /**
+   * Returns a new object of class '<em>VLS Trying</em>'.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @return a new object of class '<em>VLS Trying</em>'.
+   * @generated
+   */
+  VLSTrying createVLSTrying();
+
+  /**
+   * Returns a new object of class '<em>VLS Finite Model</em>'.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @return a new object of class '<em>VLS Finite Model</em>'.
+   * @generated
+   */
+  VLSFiniteModel createVLSFiniteModel();
+
   /**
    * Returns a new object of class '<em>VLS Fof Formula</em>'.
    * <!-- begin-user-doc -->
@@ -68,6 +104,15 @@ public interface VampireLanguageFactory extends EFactory
    */
   VLSFofFormula createVLSFofFormula();
 
+  /**
+   * Returns a new object of class '<em>VLS Tff Formula</em>'.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @return a new object of class '<em>VLS Tff Formula</em>'.
+   * @generated
+   */
+  VLSTffFormula createVLSTffFormula();
+
   /**
    * Returns a new object of class '<em>VLS Annotation</em>'.
    * <!-- begin-user-doc -->
-- 
cgit v1.2.3-70-g09d2