From 57e614aabedc176ba9965d0ca5e6daa23c5f4758 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Fri, 1 Feb 2019 16:03:30 -0500 Subject: Fix FAM Test. Begin Grammar Fix. --- .../vampireLanguage/VampireLanguagePackage.java | 453 +++++++++++++++++++-- 1 file changed, 422 insertions(+), 31 deletions(-) (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java') diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java index f1519839..a9334a48 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java @@ -85,6 +85,15 @@ public interface VampireLanguagePackage extends EPackage */ int VAMPIRE_MODEL__COMMENTS = 1; + /** + * The feature id for the 'Confirmations' containment reference list. + * + * + * @generated + * @ordered + */ + int VAMPIRE_MODEL__CONFIRMATIONS = 2; + /** * The feature id for the 'Formulas' containment reference list. * @@ -92,7 +101,16 @@ public interface VampireLanguagePackage extends EPackage * @generated * @ordered */ - int VAMPIRE_MODEL__FORMULAS = 2; + int VAMPIRE_MODEL__FORMULAS = 3; + + /** + * The feature id for the 'Tfformulas' containment reference list. + * + * + * @generated + * @ordered + */ + int VAMPIRE_MODEL__TFFORMULAS = 4; /** * The number of structural features of the 'Vampire Model' class. @@ -101,7 +119,7 @@ public interface VampireLanguagePackage extends EPackage * @generated * @ordered */ - int VAMPIRE_MODEL_FEATURE_COUNT = 3; + int VAMPIRE_MODEL_FEATURE_COUNT = 5; /** * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIncludeImpl VLS Include}' class. @@ -196,6 +214,91 @@ public interface VampireLanguagePackage extends EPackage */ int VLS_COMMENT_FEATURE_COUNT = 1; + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSConfirmationsImpl VLS Confirmations}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSConfirmationsImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSConfirmations() + * @generated + */ + int VLS_CONFIRMATIONS = 4; + + /** + * The number of structural features of the 'VLS Confirmations' class. + * + * + * @generated + * @ordered + */ + int VLS_CONFIRMATIONS_FEATURE_COUNT = 0; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSSatisfiableImpl VLS Satisfiable}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSSatisfiableImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSSatisfiable() + * @generated + */ + int VLS_SATISFIABLE = 5; + + /** + * The number of structural features of the 'VLS Satisfiable' class. + * + * + * @generated + * @ordered + */ + int VLS_SATISFIABLE_FEATURE_COUNT = VLS_CONFIRMATIONS_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl VLS Trying}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrying() + * @generated + */ + int VLS_TRYING = 6; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int VLS_TRYING__NAME = 0; + + /** + * The number of structural features of the 'VLS Trying' class. + * + * + * @generated + * @ordered + */ + int VLS_TRYING_FEATURE_COUNT = 1; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFiniteModelImpl VLS Finite Model}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFiniteModelImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFiniteModel() + * @generated + */ + int VLS_FINITE_MODEL = 7; + + /** + * The number of structural features of the 'VLS Finite Model' class. + * + * + * @generated + * @ordered + */ + int VLS_FINITE_MODEL_FEATURE_COUNT = 0; + /** * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl VLS Fof Formula}' class. * @@ -204,7 +307,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFofFormula() * @generated */ - int VLS_FOF_FORMULA = 4; + int VLS_FOF_FORMULA = 8; /** * The feature id for the 'Name' attribute. @@ -251,6 +354,61 @@ public interface VampireLanguagePackage extends EPackage */ int VLS_FOF_FORMULA_FEATURE_COUNT = 4; + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl VLS Tff Formula}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTffFormula() + * @generated + */ + int VLS_TFF_FORMULA = 9; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int VLS_TFF_FORMULA__NAME = 0; + + /** + * The feature id for the 'Fof Role' attribute. + * + * + * @generated + * @ordered + */ + int VLS_TFF_FORMULA__FOF_ROLE = 1; + + /** + * The feature id for the 'Fof Formula' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_TFF_FORMULA__FOF_FORMULA = 2; + + /** + * The feature id for the 'Annotations' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_TFF_FORMULA__ANNOTATIONS = 3; + + /** + * The number of structural features of the 'VLS Tff Formula' class. + * + * + * @generated + * @ordered + */ + int VLS_TFF_FORMULA_FEATURE_COUNT = 4; + /** * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAnnotationImpl VLS Annotation}' class. * @@ -259,7 +417,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnnotation() * @generated */ - int VLS_ANNOTATION = 5; + int VLS_ANNOTATION = 10; /** * The feature id for the 'Name' attribute. @@ -305,7 +463,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTerm() * @generated */ - int VLS_TERM = 6; + int VLS_TERM = 11; /** * The number of structural features of the 'VLS Term' class. @@ -324,7 +482,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariable() * @generated */ - int VLS_VARIABLE = 7; + int VLS_VARIABLE = 12; /** * The feature id for the 'Name' attribute. @@ -352,7 +510,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunctionFof() * @generated */ - int VLS_FUNCTION_FOF = 8; + int VLS_FUNCTION_FOF = 13; /** * The feature id for the 'Functor' attribute. @@ -389,7 +547,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDefinedTerm() * @generated */ - int VLS_DEFINED_TERM = 9; + int VLS_DEFINED_TERM = 14; /** * The feature id for the 'Value' attribute. @@ -417,7 +575,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquivalent() * @generated */ - int VLS_EQUIVALENT = 10; + int VLS_EQUIVALENT = 15; /** * The feature id for the 'Left' containment reference. @@ -454,7 +612,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSImplies() * @generated */ - int VLS_IMPLIES = 11; + int VLS_IMPLIES = 16; /** * The feature id for the 'Left' containment reference. @@ -491,7 +649,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRevImplies() * @generated */ - int VLS_REV_IMPLIES = 12; + int VLS_REV_IMPLIES = 17; /** * The feature id for the 'Left' containment reference. @@ -528,7 +686,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSXnor() * @generated */ - int VLS_XNOR = 13; + int VLS_XNOR = 18; /** * The feature id for the 'Left' containment reference. @@ -565,7 +723,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNor() * @generated */ - int VLS_NOR = 14; + int VLS_NOR = 19; /** * The feature id for the 'Left' containment reference. @@ -602,7 +760,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNand() * @generated */ - int VLS_NAND = 15; + int VLS_NAND = 20; /** * The feature id for the 'Left' containment reference. @@ -639,7 +797,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnd() * @generated */ - int VLS_AND = 16; + int VLS_AND = 21; /** * The feature id for the 'Left' containment reference. @@ -676,7 +834,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSOr() * @generated */ - int VLS_OR = 17; + int VLS_OR = 22; /** * The feature id for the 'Left' containment reference. @@ -713,7 +871,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUniversalQuantifier() * @generated */ - int VLS_UNIVERSAL_QUANTIFIER = 18; + int VLS_UNIVERSAL_QUANTIFIER = 23; /** * The feature id for the 'Variables' containment reference list. @@ -750,7 +908,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSExistentialQuantifier() * @generated */ - int VLS_EXISTENTIAL_QUANTIFIER = 19; + int VLS_EXISTENTIAL_QUANTIFIER = 24; /** * The feature id for the 'Variables' containment reference list. @@ -787,7 +945,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUnaryNegation() * @generated */ - int VLS_UNARY_NEGATION = 20; + int VLS_UNARY_NEGATION = 25; /** * The feature id for the 'Operand' containment reference. @@ -815,7 +973,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInequality() * @generated */ - int VLS_INEQUALITY = 21; + int VLS_INEQUALITY = 26; /** * The feature id for the 'Left' containment reference. @@ -852,7 +1010,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquality() * @generated */ - int VLS_EQUALITY = 22; + int VLS_EQUALITY = 27; /** * The feature id for the 'Left' containment reference. @@ -889,7 +1047,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAssignment() * @generated */ - int VLS_ASSIGNMENT = 23; + int VLS_ASSIGNMENT = 28; /** * The feature id for the 'Left' containment reference. @@ -926,7 +1084,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSConstant() * @generated */ - int VLS_CONSTANT = 24; + int VLS_CONSTANT = 29; /** * The feature id for the 'Name' attribute. @@ -954,7 +1112,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrue() * @generated */ - int VLS_TRUE = 25; + int VLS_TRUE = 30; /** * The number of structural features of the 'VLS True' class. @@ -973,7 +1131,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFalse() * @generated */ - int VLS_FALSE = 26; + int VLS_FALSE = 31; /** * The number of structural features of the 'VLS False' class. @@ -992,7 +1150,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunction() * @generated */ - int VLS_FUNCTION = 27; + int VLS_FUNCTION = 32; /** * The feature id for the 'Constant' attribute. @@ -1029,7 +1187,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSLess() * @generated */ - int VLS_LESS = 28; + int VLS_LESS = 33; /** * The feature id for the 'Name' attribute. @@ -1066,7 +1224,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInt() * @generated */ - int VLS_INT = 29; + int VLS_INT = 34; /** * The feature id for the 'Value' attribute. @@ -1094,7 +1252,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSReal() * @generated */ - int VLS_REAL = 30; + int VLS_REAL = 35; /** * The feature id for the 'Value' attribute. @@ -1122,7 +1280,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRational() * @generated */ - int VLS_RATIONAL = 31; + int VLS_RATIONAL = 36; /** * The feature id for the 'Value' attribute. @@ -1150,7 +1308,7 @@ public interface VampireLanguagePackage extends EPackage * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDoubleQuote() * @generated */ - int VLS_DOUBLE_QUOTE = 32; + int VLS_DOUBLE_QUOTE = 37; /** * The feature id for the 'Value' attribute. @@ -1203,6 +1361,17 @@ public interface VampireLanguagePackage extends EPackage */ EReference getVampireModel_Comments(); + /** + * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getConfirmations Confirmations}'. + * + * + * @return the meta object for the containment reference list 'Confirmations'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getConfirmations() + * @see #getVampireModel() + * @generated + */ + EReference getVampireModel_Confirmations(); + /** * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getFormulas Formulas}'. * @@ -1214,6 +1383,17 @@ public interface VampireLanguagePackage extends EPackage */ EReference getVampireModel_Formulas(); + /** + * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getTfformulas Tfformulas}'. + * + * + * @return the meta object for the containment reference list 'Tfformulas'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getTfformulas() + * @see #getVampireModel() + * @generated + */ + EReference getVampireModel_Tfformulas(); + /** * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude VLS Include}'. * @@ -1288,6 +1468,57 @@ public interface VampireLanguagePackage extends EPackage */ EAttribute getVLSComment_Comment(); + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations VLS Confirmations}'. + * + * + * @return the meta object for class 'VLS Confirmations'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations + * @generated + */ + EClass getVLSConfirmations(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable VLS Satisfiable}'. + * + * + * @return the meta object for class 'VLS Satisfiable'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable + * @generated + */ + EClass getVLSSatisfiable(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying VLS Trying}'. + * + * + * @return the meta object for class 'VLS Trying'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying + * @generated + */ + EClass getVLSTrying(); + + /** + * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying#getName() + * @see #getVLSTrying() + * @generated + */ + EAttribute getVLSTrying_Name(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel VLS Finite Model}'. + * + * + * @return the meta object for class 'VLS Finite Model'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel + * @generated + */ + EClass getVLSFiniteModel(); + /** * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula VLS Fof Formula}'. * @@ -1342,6 +1573,60 @@ public interface VampireLanguagePackage extends EPackage */ EReference getVLSFofFormula_Annotations(); + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula VLS Tff Formula}'. + * + * + * @return the meta object for class 'VLS Tff Formula'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula + * @generated + */ + EClass getVLSTffFormula(); + + /** + * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getName() + * @see #getVLSTffFormula() + * @generated + */ + EAttribute getVLSTffFormula_Name(); + + /** + * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofRole Fof Role}'. + * + * + * @return the meta object for the attribute 'Fof Role'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofRole() + * @see #getVLSTffFormula() + * @generated + */ + EAttribute getVLSTffFormula_FofRole(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofFormula Fof Formula}'. + * + * + * @return the meta object for the containment reference 'Fof Formula'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofFormula() + * @see #getVLSTffFormula() + * @generated + */ + EReference getVLSTffFormula_FofFormula(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getAnnotations Annotations}'. + * + * + * @return the meta object for the containment reference 'Annotations'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getAnnotations() + * @see #getVLSTffFormula() + * @generated + */ + EReference getVLSTffFormula_Annotations(); + /** * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation VLS Annotation}'. * @@ -2100,6 +2385,14 @@ public interface VampireLanguagePackage extends EPackage */ EReference VAMPIRE_MODEL__COMMENTS = eINSTANCE.getVampireModel_Comments(); + /** + * The meta object literal for the 'Confirmations' containment reference list feature. + * + * + * @generated + */ + EReference VAMPIRE_MODEL__CONFIRMATIONS = eINSTANCE.getVampireModel_Confirmations(); + /** * The meta object literal for the 'Formulas' containment reference list feature. * @@ -2108,6 +2401,14 @@ public interface VampireLanguagePackage extends EPackage */ EReference VAMPIRE_MODEL__FORMULAS = eINSTANCE.getVampireModel_Formulas(); + /** + * The meta object literal for the 'Tfformulas' containment reference list feature. + * + * + * @generated + */ + EReference VAMPIRE_MODEL__TFFORMULAS = eINSTANCE.getVampireModel_Tfformulas(); + /** * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIncludeImpl VLS Include}' class. * @@ -2170,6 +2471,54 @@ public interface VampireLanguagePackage extends EPackage */ EAttribute VLS_COMMENT__COMMENT = eINSTANCE.getVLSComment_Comment(); + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSConfirmationsImpl VLS Confirmations}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSConfirmationsImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSConfirmations() + * @generated + */ + EClass VLS_CONFIRMATIONS = eINSTANCE.getVLSConfirmations(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSSatisfiableImpl VLS Satisfiable}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSSatisfiableImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSSatisfiable() + * @generated + */ + EClass VLS_SATISFIABLE = eINSTANCE.getVLSSatisfiable(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl VLS Trying}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrying() + * @generated + */ + EClass VLS_TRYING = eINSTANCE.getVLSTrying(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute VLS_TRYING__NAME = eINSTANCE.getVLSTrying_Name(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFiniteModelImpl VLS Finite Model}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFiniteModelImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFiniteModel() + * @generated + */ + EClass VLS_FINITE_MODEL = eINSTANCE.getVLSFiniteModel(); + /** * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl VLS Fof Formula}' class. * @@ -2212,6 +2561,48 @@ public interface VampireLanguagePackage extends EPackage */ EReference VLS_FOF_FORMULA__ANNOTATIONS = eINSTANCE.getVLSFofFormula_Annotations(); + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl VLS Tff Formula}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTffFormula() + * @generated + */ + EClass VLS_TFF_FORMULA = eINSTANCE.getVLSTffFormula(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute VLS_TFF_FORMULA__NAME = eINSTANCE.getVLSTffFormula_Name(); + + /** + * The meta object literal for the 'Fof Role' attribute feature. + * + * + * @generated + */ + EAttribute VLS_TFF_FORMULA__FOF_ROLE = eINSTANCE.getVLSTffFormula_FofRole(); + + /** + * The meta object literal for the 'Fof Formula' containment reference feature. + * + * + * @generated + */ + EReference VLS_TFF_FORMULA__FOF_FORMULA = eINSTANCE.getVLSTffFormula_FofFormula(); + + /** + * The meta object literal for the 'Annotations' containment reference feature. + * + * + * @generated + */ + EReference VLS_TFF_FORMULA__ANNOTATIONS = eINSTANCE.getVLSTffFormula_Annotations(); + /** * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAnnotationImpl VLS Annotation}' class. * -- cgit v1.2.3-70-g09d2