VAMPIRE: adapt grammar to Vampire solution + get model from text

1 files changed, 5 insertions, 5 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java
index 696a4889..b9bfbe07 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java
@@ -5,7 +5,7 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
 

 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm;

 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier;

-import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable;

+import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration;

 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;

 

 import java.util.Collection;

@@ -47,7 +47,7 @@ public class VLSUniversalQuantifierImpl extends VLSTermImpl implements VLSUniver
    * @generated

    * @ordered

    */

-  protected EList<VLSVariable> variables;

+  protected EList<VLSVariableDeclaration> variables;

 

   /**

    * The cached value of the '{@link #getOperand() <em>Operand</em>}' containment reference.

@@ -85,11 +85,11 @@ public class VLSUniversalQuantifierImpl extends VLSTermImpl implements VLSUniver
    * <!-- end-user-doc -->

    * @generated

    */

-  public EList<VLSVariable> getVariables()

+  public EList<VLSVariableDeclaration> getVariables()

   {

     if (variables == null)

     {

-      variables = new EObjectContainmentEList<VLSVariable>(VLSVariable.class, this, VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES);

+      variables = new EObjectContainmentEList<VLSVariableDeclaration>(VLSVariableDeclaration.class, this, VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES);

     }

     return variables;

   }

@@ -191,7 +191,7 @@ public class VLSUniversalQuantifierImpl extends VLSTermImpl implements VLSUniver
     {

       case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES:

         getVariables().clear();

-        getVariables().addAll((Collection<? extends VLSVariable>)newValue);

+        getVariables().addAll((Collection<? extends VLSVariableDeclaration>)newValue);

         return;

       case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__OPERAND:

         setOperand((VLSTerm)newValue);