1 files changed, 0 insertions, 38 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java
index d763a193..890341db 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java
@@ -14,7 +14,6 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality;
 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent;

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

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

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

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

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

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

@@ -33,7 +32,6 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies;
 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable;

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

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

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

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

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

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

@@ -103,9 +101,6 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic
                         case VampireLanguagePackage.VLS_FALSE:

                                 sequence_VLSAtomicConstant(context, (VLSFalse) semanticObject); 

                                 return; 

-                        case VampireLanguagePackage.VLS_FINITE_MODEL:

-                                sequence_VLSFiniteModel(context, (VLSFiniteModel) semanticObject); 

-                                return; 

                         case VampireLanguagePackage.VLS_FOF_FORMULA:

                                 sequence_VLSFofFormula(context, (VLSFofFormula) semanticObject); 

                                 return; 

@@ -160,9 +155,6 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic
                         case VampireLanguagePackage.VLS_TRUE:

                                 sequence_VLSAtomicConstant(context, (VLSTrue) semanticObject); 

                                 return; 

-                        case VampireLanguagePackage.VLS_TRYING:

-                                sequence_VLSTrying(context, (VLSTrying) semanticObject); 

-                                return; 

                         case VampireLanguagePackage.VLS_UNARY_NEGATION:

                                 sequence_VLSUnaryNegation(context, (VLSUnaryNegation) semanticObject); 

                                 return; 

@@ -782,18 +774,6 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic
         

         /**

          * Contexts:

-         *     VLSFiniteModel returns VLSFiniteModel

-         *

-         * Constraint:

-         *     {VLSFiniteModel}

-         */

-        protected void sequence_VLSFiniteModel(ISerializationContext context, VLSFiniteModel semanticObject) {

-                genericSequencer.createSequence(context, semanticObject);

-        }

-        

-        

-        /**

-         * Contexts:

          *     VLSFofFormula returns VLSFofFormula

          *

          * Constraint:

@@ -868,24 +848,6 @@ public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemantic
         

         /**

          * Contexts:

-         *     VLSTrying returns VLSTrying

-         *

-         * Constraint:

-         *     name=LITERAL

-         */

-        protected void sequence_VLSTrying(ISerializationContext context, VLSTrying semanticObject) {

-                if (errorAcceptor != null) {

-                        if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_TRYING__NAME) == ValueTransient.YES)

-                                errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_TRYING__NAME));

-                }

-                SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);

-                feeder.accept(grammarAccess.getVLSTryingAccess().getNameLITERALTerminalRuleCall_2_0(), semanticObject.getName());

-                feeder.finish();

-        }

-        

-        

-        /**

-         * Contexts:

          *     VLSTerm returns VLSAssignment

          *     VLSBinary returns VLSAssignment

          *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSAssignment