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.

---
 .../impl/VampireLanguageFactoryImpl.java           | 60 ++++++++++++++++++++++
 1 file changed, 60 insertions(+)

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

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java
index 630fa8ce..cd4a7a01 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java
@@ -69,7 +69,12 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
       case VampireLanguagePackage.VLS_INCLUDE: return createVLSInclude();
       case VampireLanguagePackage.VLS_NAME: return createVLSName();
       case VampireLanguagePackage.VLS_COMMENT: return createVLSComment();
+      case VampireLanguagePackage.VLS_CONFIRMATIONS: return createVLSConfirmations();
+      case VampireLanguagePackage.VLS_SATISFIABLE: return createVLSSatisfiable();
+      case VampireLanguagePackage.VLS_TRYING: return createVLSTrying();
+      case VampireLanguagePackage.VLS_FINITE_MODEL: return createVLSFiniteModel();
       case VampireLanguagePackage.VLS_FOF_FORMULA: return createVLSFofFormula();
+      case VampireLanguagePackage.VLS_TFF_FORMULA: return createVLSTffFormula();
       case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation();
       case VampireLanguagePackage.VLS_TERM: return createVLSTerm();
       case VampireLanguagePackage.VLS_VARIABLE: return createVLSVariable();
@@ -147,6 +152,50 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
     return vlsComment;
   }
 
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public VLSConfirmations createVLSConfirmations()
+  {
+    VLSConfirmationsImpl vlsConfirmations = new VLSConfirmationsImpl();
+    return vlsConfirmations;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public VLSSatisfiable createVLSSatisfiable()
+  {
+    VLSSatisfiableImpl vlsSatisfiable = new VLSSatisfiableImpl();
+    return vlsSatisfiable;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public VLSTrying createVLSTrying()
+  {
+    VLSTryingImpl vlsTrying = new VLSTryingImpl();
+    return vlsTrying;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public VLSFiniteModel createVLSFiniteModel()
+  {
+    VLSFiniteModelImpl vlsFiniteModel = new VLSFiniteModelImpl();
+    return vlsFiniteModel;
+  }
+
   /**
    * <!-- begin-user-doc -->
    * <!-- end-user-doc -->
@@ -158,6 +207,17 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
     return vlsFofFormula;
   }
 
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public VLSTffFormula createVLSTffFormula()
+  {
+    VLSTffFormulaImpl vlsTffFormula = new VLSTffFormulaImpl();
+    return vlsTffFormula;
+  }
+
   /**
    * <!-- begin-user-doc -->
    * <!-- end-user-doc -->
-- 
cgit v1.2.3-70-g09d2