From 20f131a3f09edf8e1455f20b4f486629147e7eff Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Tue, 15 Jan 2019 12:44:33 -0500 Subject: Initial workspace setup --- .../vampireLanguage/VampireLanguagePackage.java | 2809 ++++++++++++++++++++ 1 file changed, 2809 insertions(+) create mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java (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 new file mode 100644 index 00000000..f1519839 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java @@ -0,0 +1,2809 @@ +/** + * generated by Xtext 2.12.0 + */ +package ca.mcgill.ecse.dslreasoner.vampireLanguage; + +import org.eclipse.emf.ecore.EAttribute; +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.EPackage; +import org.eclipse.emf.ecore.EReference; + +/** + * + * The Package for the model. + * It contains accessors for the meta objects to represent + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory + * @model kind="package" + * @generated + */ +public interface VampireLanguagePackage extends EPackage +{ + /** + * The package name. + * + * + * @generated + */ + String eNAME = "vampireLanguage"; + + /** + * The package namespace URI. + * + * + * @generated + */ + String eNS_URI = "http://www.mcgill.ca/ecse/dslreasoner/VampireLanguage"; + + /** + * The package namespace name. + * + * + * @generated + */ + String eNS_PREFIX = "vampireLanguage"; + + /** + * The singleton instance of the package. + * + * + * @generated + */ + VampireLanguagePackage eINSTANCE = ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl.init(); + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl Vampire Model}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVampireModel() + * @generated + */ + int VAMPIRE_MODEL = 0; + + /** + * The feature id for the 'Includes' containment reference list. + * + * + * @generated + * @ordered + */ + int VAMPIRE_MODEL__INCLUDES = 0; + + /** + * The feature id for the 'Comments' containment reference list. + * + * + * @generated + * @ordered + */ + int VAMPIRE_MODEL__COMMENTS = 1; + + /** + * The feature id for the 'Formulas' containment reference list. + * + * + * @generated + * @ordered + */ + int VAMPIRE_MODEL__FORMULAS = 2; + + /** + * The number of structural features of the 'Vampire Model' class. + * + * + * @generated + * @ordered + */ + int VAMPIRE_MODEL_FEATURE_COUNT = 3; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIncludeImpl VLS Include}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIncludeImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInclude() + * @generated + */ + int VLS_INCLUDE = 1; + + /** + * The feature id for the 'File Name' attribute. + * + * + * @generated + * @ordered + */ + int VLS_INCLUDE__FILE_NAME = 0; + + /** + * The feature id for the 'Names' containment reference list. + * + * + * @generated + * @ordered + */ + int VLS_INCLUDE__NAMES = 1; + + /** + * The number of structural features of the 'VLS Include' class. + * + * + * @generated + * @ordered + */ + int VLS_INCLUDE_FEATURE_COUNT = 2; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNameImpl VLS Name}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNameImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSName() + * @generated + */ + int VLS_NAME = 2; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int VLS_NAME__NAME = 0; + + /** + * The number of structural features of the 'VLS Name' class. + * + * + * @generated + * @ordered + */ + int VLS_NAME_FEATURE_COUNT = 1; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSCommentImpl VLS Comment}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSCommentImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSComment() + * @generated + */ + int VLS_COMMENT = 3; + + /** + * The feature id for the 'Comment' attribute. + * + * + * @generated + * @ordered + */ + int VLS_COMMENT__COMMENT = 0; + + /** + * The number of structural features of the 'VLS Comment' class. + * + * + * @generated + * @ordered + */ + int VLS_COMMENT_FEATURE_COUNT = 1; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl VLS Fof Formula}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFofFormula() + * @generated + */ + int VLS_FOF_FORMULA = 4; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int VLS_FOF_FORMULA__NAME = 0; + + /** + * The feature id for the 'Fof Role' attribute. + * + * + * @generated + * @ordered + */ + int VLS_FOF_FORMULA__FOF_ROLE = 1; + + /** + * The feature id for the 'Fof Formula' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_FOF_FORMULA__FOF_FORMULA = 2; + + /** + * The feature id for the 'Annotations' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_FOF_FORMULA__ANNOTATIONS = 3; + + /** + * The number of structural features of the 'VLS Fof Formula' class. + * + * + * @generated + * @ordered + */ + int VLS_FOF_FORMULA_FEATURE_COUNT = 4; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAnnotationImpl VLS Annotation}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAnnotationImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnnotation() + * @generated + */ + int VLS_ANNOTATION = 5; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int VLS_ANNOTATION__NAME = 0; + + /** + * The feature id for the 'Followup' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_ANNOTATION__FOLLOWUP = 1; + + /** + * The feature id for the 'Terms' containment reference list. + * + * + * @generated + * @ordered + */ + int VLS_ANNOTATION__TERMS = 2; + + /** + * The number of structural features of the 'VLS Annotation' class. + * + * + * @generated + * @ordered + */ + int VLS_ANNOTATION_FEATURE_COUNT = 3; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl VLS Term}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTerm() + * @generated + */ + int VLS_TERM = 6; + + /** + * The number of structural features of the 'VLS Term' class. + * + * + * @generated + * @ordered + */ + int VLS_TERM_FEATURE_COUNT = 0; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl VLS Variable}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariable() + * @generated + */ + int VLS_VARIABLE = 7; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int VLS_VARIABLE__NAME = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'VLS Variable' class. + * + * + * @generated + * @ordered + */ + int VLS_VARIABLE_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionFofImpl VLS Function Fof}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionFofImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunctionFof() + * @generated + */ + int VLS_FUNCTION_FOF = 8; + + /** + * The feature id for the 'Functor' attribute. + * + * + * @generated + * @ordered + */ + int VLS_FUNCTION_FOF__FUNCTOR = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Terms' containment reference list. + * + * + * @generated + * @ordered + */ + int VLS_FUNCTION_FOF__TERMS = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'VLS Function Fof' class. + * + * + * @generated + * @ordered + */ + int VLS_FUNCTION_FOF_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDefinedTermImpl VLS Defined Term}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDefinedTermImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDefinedTerm() + * @generated + */ + int VLS_DEFINED_TERM = 9; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int VLS_DEFINED_TERM__VALUE = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'VLS Defined Term' class. + * + * + * @generated + * @ordered + */ + int VLS_DEFINED_TERM_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEquivalentImpl VLS Equivalent}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEquivalentImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquivalent() + * @generated + */ + int VLS_EQUIVALENT = 10; + + /** + * The feature id for the 'Left' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_EQUIVALENT__LEFT = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_EQUIVALENT__RIGHT = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'VLS Equivalent' class. + * + * + * @generated + * @ordered + */ + int VLS_EQUIVALENT_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSImpliesImpl VLS Implies}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSImpliesImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSImplies() + * @generated + */ + int VLS_IMPLIES = 11; + + /** + * The feature id for the 'Left' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_IMPLIES__LEFT = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_IMPLIES__RIGHT = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'VLS Implies' class. + * + * + * @generated + * @ordered + */ + int VLS_IMPLIES_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRevImpliesImpl VLS Rev Implies}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRevImpliesImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRevImplies() + * @generated + */ + int VLS_REV_IMPLIES = 12; + + /** + * The feature id for the 'Left' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_REV_IMPLIES__LEFT = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_REV_IMPLIES__RIGHT = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'VLS Rev Implies' class. + * + * + * @generated + * @ordered + */ + int VLS_REV_IMPLIES_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSXnorImpl VLS Xnor}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSXnorImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSXnor() + * @generated + */ + int VLS_XNOR = 13; + + /** + * The feature id for the 'Left' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_XNOR__LEFT = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_XNOR__RIGHT = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'VLS Xnor' class. + * + * + * @generated + * @ordered + */ + int VLS_XNOR_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNorImpl VLS Nor}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNorImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNor() + * @generated + */ + int VLS_NOR = 14; + + /** + * The feature id for the 'Left' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_NOR__LEFT = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_NOR__RIGHT = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'VLS Nor' class. + * + * + * @generated + * @ordered + */ + int VLS_NOR_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNandImpl VLS Nand}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNandImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNand() + * @generated + */ + int VLS_NAND = 15; + + /** + * The feature id for the 'Left' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_NAND__LEFT = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_NAND__RIGHT = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'VLS Nand' class. + * + * + * @generated + * @ordered + */ + int VLS_NAND_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAndImpl VLS And}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAndImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnd() + * @generated + */ + int VLS_AND = 16; + + /** + * The feature id for the 'Left' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_AND__LEFT = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_AND__RIGHT = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'VLS And' class. + * + * + * @generated + * @ordered + */ + int VLS_AND_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOrImpl VLS Or}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOrImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSOr() + * @generated + */ + int VLS_OR = 17; + + /** + * The feature id for the 'Left' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_OR__LEFT = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_OR__RIGHT = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'VLS Or' class. + * + * + * @generated + * @ordered + */ + int VLS_OR_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUniversalQuantifierImpl VLS Universal Quantifier}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUniversalQuantifierImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUniversalQuantifier() + * @generated + */ + int VLS_UNIVERSAL_QUANTIFIER = 18; + + /** + * The feature id for the 'Variables' containment reference list. + * + * + * @generated + * @ordered + */ + int VLS_UNIVERSAL_QUANTIFIER__VARIABLES = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Operand' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_UNIVERSAL_QUANTIFIER__OPERAND = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'VLS Universal Quantifier' class. + * + * + * @generated + * @ordered + */ + int VLS_UNIVERSAL_QUANTIFIER_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSExistentialQuantifierImpl VLS Existential Quantifier}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSExistentialQuantifierImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSExistentialQuantifier() + * @generated + */ + int VLS_EXISTENTIAL_QUANTIFIER = 19; + + /** + * The feature id for the 'Variables' containment reference list. + * + * + * @generated + * @ordered + */ + int VLS_EXISTENTIAL_QUANTIFIER__VARIABLES = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Operand' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_EXISTENTIAL_QUANTIFIER__OPERAND = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'VLS Existential Quantifier' class. + * + * + * @generated + * @ordered + */ + int VLS_EXISTENTIAL_QUANTIFIER_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUnaryNegationImpl VLS Unary Negation}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUnaryNegationImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUnaryNegation() + * @generated + */ + int VLS_UNARY_NEGATION = 20; + + /** + * The feature id for the 'Operand' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_UNARY_NEGATION__OPERAND = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'VLS Unary Negation' class. + * + * + * @generated + * @ordered + */ + int VLS_UNARY_NEGATION_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSInequalityImpl VLS Inequality}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSInequalityImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInequality() + * @generated + */ + int VLS_INEQUALITY = 21; + + /** + * The feature id for the 'Left' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_INEQUALITY__LEFT = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_INEQUALITY__RIGHT = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'VLS Inequality' class. + * + * + * @generated + * @ordered + */ + int VLS_INEQUALITY_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEqualityImpl VLS Equality}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEqualityImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquality() + * @generated + */ + int VLS_EQUALITY = 22; + + /** + * The feature id for the 'Left' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_EQUALITY__LEFT = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_EQUALITY__RIGHT = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'VLS Equality' class. + * + * + * @generated + * @ordered + */ + int VLS_EQUALITY_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAssignmentImpl VLS Assignment}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAssignmentImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAssignment() + * @generated + */ + int VLS_ASSIGNMENT = 23; + + /** + * The feature id for the 'Left' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_ASSIGNMENT__LEFT = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right' containment reference. + * + * + * @generated + * @ordered + */ + int VLS_ASSIGNMENT__RIGHT = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'VLS Assignment' class. + * + * + * @generated + * @ordered + */ + int VLS_ASSIGNMENT_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSConstantImpl VLS Constant}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSConstantImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSConstant() + * @generated + */ + int VLS_CONSTANT = 24; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int VLS_CONSTANT__NAME = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'VLS Constant' class. + * + * + * @generated + * @ordered + */ + int VLS_CONSTANT_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTrueImpl VLS True}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTrueImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrue() + * @generated + */ + int VLS_TRUE = 25; + + /** + * The number of structural features of the 'VLS True' class. + * + * + * @generated + * @ordered + */ + int VLS_TRUE_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFalseImpl VLS False}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFalseImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFalse() + * @generated + */ + int VLS_FALSE = 26; + + /** + * The number of structural features of the 'VLS False' class. + * + * + * @generated + * @ordered + */ + int VLS_FALSE_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionImpl VLS Function}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunction() + * @generated + */ + int VLS_FUNCTION = 27; + + /** + * The feature id for the 'Constant' attribute. + * + * + * @generated + * @ordered + */ + int VLS_FUNCTION__CONSTANT = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Terms' containment reference list. + * + * + * @generated + * @ordered + */ + int VLS_FUNCTION__TERMS = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'VLS Function' class. + * + * + * @generated + * @ordered + */ + int VLS_FUNCTION_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSLessImpl VLS Less}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSLessImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSLess() + * @generated + */ + int VLS_LESS = 28; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int VLS_LESS__NAME = VLS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Terms' containment reference list. + * + * + * @generated + * @ordered + */ + int VLS_LESS__TERMS = VLS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'VLS Less' class. + * + * + * @generated + * @ordered + */ + int VLS_LESS_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIntImpl VLS Int}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIntImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInt() + * @generated + */ + int VLS_INT = 29; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int VLS_INT__VALUE = VLS_DEFINED_TERM__VALUE; + + /** + * The number of structural features of the 'VLS Int' class. + * + * + * @generated + * @ordered + */ + int VLS_INT_FEATURE_COUNT = VLS_DEFINED_TERM_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRealImpl VLS Real}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRealImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSReal() + * @generated + */ + int VLS_REAL = 30; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int VLS_REAL__VALUE = VLS_DEFINED_TERM__VALUE; + + /** + * The number of structural features of the 'VLS Real' class. + * + * + * @generated + * @ordered + */ + int VLS_REAL_FEATURE_COUNT = VLS_DEFINED_TERM_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRationalImpl VLS Rational}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRationalImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRational() + * @generated + */ + int VLS_RATIONAL = 31; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int VLS_RATIONAL__VALUE = VLS_DEFINED_TERM__VALUE; + + /** + * The number of structural features of the 'VLS Rational' class. + * + * + * @generated + * @ordered + */ + int VLS_RATIONAL_FEATURE_COUNT = VLS_DEFINED_TERM_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDoubleQuoteImpl VLS Double Quote}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDoubleQuoteImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDoubleQuote() + * @generated + */ + int VLS_DOUBLE_QUOTE = 32; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int VLS_DOUBLE_QUOTE__VALUE = VLS_DEFINED_TERM__VALUE; + + /** + * The number of structural features of the 'VLS Double Quote' class. + * + * + * @generated + * @ordered + */ + int VLS_DOUBLE_QUOTE_FEATURE_COUNT = VLS_DEFINED_TERM_FEATURE_COUNT + 0; + + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel Vampire Model}'. + * + * + * @return the meta object for class 'Vampire Model'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel + * @generated + */ + EClass getVampireModel(); + + /** + * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getIncludes Includes}'. + * + * + * @return the meta object for the containment reference list 'Includes'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getIncludes() + * @see #getVampireModel() + * @generated + */ + EReference getVampireModel_Includes(); + + /** + * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getComments Comments}'. + * + * + * @return the meta object for the containment reference list 'Comments'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getComments() + * @see #getVampireModel() + * @generated + */ + EReference getVampireModel_Comments(); + + /** + * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getFormulas Formulas}'. + * + * + * @return the meta object for the containment reference list 'Formulas'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getFormulas() + * @see #getVampireModel() + * @generated + */ + EReference getVampireModel_Formulas(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude VLS Include}'. + * + * + * @return the meta object for class 'VLS Include'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude + * @generated + */ + EClass getVLSInclude(); + + /** + * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude#getFileName File Name}'. + * + * + * @return the meta object for the attribute 'File Name'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude#getFileName() + * @see #getVLSInclude() + * @generated + */ + EAttribute getVLSInclude_FileName(); + + /** + * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude#getNames Names}'. + * + * + * @return the meta object for the containment reference list 'Names'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude#getNames() + * @see #getVLSInclude() + * @generated + */ + EReference getVLSInclude_Names(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName VLS Name}'. + * + * + * @return the meta object for class 'VLS Name'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName + * @generated + */ + EClass getVLSName(); + + /** + * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName#getName() + * @see #getVLSName() + * @generated + */ + EAttribute getVLSName_Name(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment VLS Comment}'. + * + * + * @return the meta object for class 'VLS Comment'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment + * @generated + */ + EClass getVLSComment(); + + /** + * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment#getComment Comment}'. + * + * + * @return the meta object for the attribute 'Comment'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment#getComment() + * @see #getVLSComment() + * @generated + */ + EAttribute getVLSComment_Comment(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula VLS Fof Formula}'. + * + * + * @return the meta object for class 'VLS Fof Formula'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula + * @generated + */ + EClass getVLSFofFormula(); + + /** + * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula#getName() + * @see #getVLSFofFormula() + * @generated + */ + EAttribute getVLSFofFormula_Name(); + + /** + * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula#getFofRole Fof Role}'. + * + * + * @return the meta object for the attribute 'Fof Role'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula#getFofRole() + * @see #getVLSFofFormula() + * @generated + */ + EAttribute getVLSFofFormula_FofRole(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula#getFofFormula Fof Formula}'. + * + * + * @return the meta object for the containment reference 'Fof Formula'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula#getFofFormula() + * @see #getVLSFofFormula() + * @generated + */ + EReference getVLSFofFormula_FofFormula(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula#getAnnotations Annotations}'. + * + * + * @return the meta object for the containment reference 'Annotations'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula#getAnnotations() + * @see #getVLSFofFormula() + * @generated + */ + EReference getVLSFofFormula_Annotations(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation VLS Annotation}'. + * + * + * @return the meta object for class 'VLS Annotation'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation + * @generated + */ + EClass getVLSAnnotation(); + + /** + * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation#getName() + * @see #getVLSAnnotation() + * @generated + */ + EAttribute getVLSAnnotation_Name(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation#getFollowup Followup}'. + * + * + * @return the meta object for the containment reference 'Followup'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation#getFollowup() + * @see #getVLSAnnotation() + * @generated + */ + EReference getVLSAnnotation_Followup(); + + /** + * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation#getTerms Terms}'. + * + * + * @return the meta object for the containment reference list 'Terms'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation#getTerms() + * @see #getVLSAnnotation() + * @generated + */ + EReference getVLSAnnotation_Terms(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm VLS Term}'. + * + * + * @return the meta object for class 'VLS Term'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm + * @generated + */ + EClass getVLSTerm(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable VLS Variable}'. + * + * + * @return the meta object for class 'VLS Variable'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable + * @generated + */ + EClass getVLSVariable(); + + /** + * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable#getName() + * @see #getVLSVariable() + * @generated + */ + EAttribute getVLSVariable_Name(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof VLS Function Fof}'. + * + * + * @return the meta object for class 'VLS Function Fof'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof + * @generated + */ + EClass getVLSFunctionFof(); + + /** + * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof#getFunctor Functor}'. + * + * + * @return the meta object for the attribute 'Functor'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof#getFunctor() + * @see #getVLSFunctionFof() + * @generated + */ + EAttribute getVLSFunctionFof_Functor(); + + /** + * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof#getTerms Terms}'. + * + * + * @return the meta object for the containment reference list 'Terms'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof#getTerms() + * @see #getVLSFunctionFof() + * @generated + */ + EReference getVLSFunctionFof_Terms(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm VLS Defined Term}'. + * + * + * @return the meta object for class 'VLS Defined Term'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm + * @generated + */ + EClass getVLSDefinedTerm(); + + /** + * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm#getValue Value}'. + * + * + * @return the meta object for the attribute 'Value'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm#getValue() + * @see #getVLSDefinedTerm() + * @generated + */ + EAttribute getVLSDefinedTerm_Value(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent VLS Equivalent}'. + * + * + * @return the meta object for class 'VLS Equivalent'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent + * @generated + */ + EClass getVLSEquivalent(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent#getLeft Left}'. + * + * + * @return the meta object for the containment reference 'Left'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent#getLeft() + * @see #getVLSEquivalent() + * @generated + */ + EReference getVLSEquivalent_Left(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent#getRight Right}'. + * + * + * @return the meta object for the containment reference 'Right'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent#getRight() + * @see #getVLSEquivalent() + * @generated + */ + EReference getVLSEquivalent_Right(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies VLS Implies}'. + * + * + * @return the meta object for class 'VLS Implies'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies + * @generated + */ + EClass getVLSImplies(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies#getLeft Left}'. + * + * + * @return the meta object for the containment reference 'Left'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies#getLeft() + * @see #getVLSImplies() + * @generated + */ + EReference getVLSImplies_Left(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies#getRight Right}'. + * + * + * @return the meta object for the containment reference 'Right'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies#getRight() + * @see #getVLSImplies() + * @generated + */ + EReference getVLSImplies_Right(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies VLS Rev Implies}'. + * + * + * @return the meta object for class 'VLS Rev Implies'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies + * @generated + */ + EClass getVLSRevImplies(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies#getLeft Left}'. + * + * + * @return the meta object for the containment reference 'Left'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies#getLeft() + * @see #getVLSRevImplies() + * @generated + */ + EReference getVLSRevImplies_Left(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies#getRight Right}'. + * + * + * @return the meta object for the containment reference 'Right'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies#getRight() + * @see #getVLSRevImplies() + * @generated + */ + EReference getVLSRevImplies_Right(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor VLS Xnor}'. + * + * + * @return the meta object for class 'VLS Xnor'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor + * @generated + */ + EClass getVLSXnor(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor#getLeft Left}'. + * + * + * @return the meta object for the containment reference 'Left'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor#getLeft() + * @see #getVLSXnor() + * @generated + */ + EReference getVLSXnor_Left(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor#getRight Right}'. + * + * + * @return the meta object for the containment reference 'Right'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor#getRight() + * @see #getVLSXnor() + * @generated + */ + EReference getVLSXnor_Right(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor VLS Nor}'. + * + * + * @return the meta object for class 'VLS Nor'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor + * @generated + */ + EClass getVLSNor(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor#getLeft Left}'. + * + * + * @return the meta object for the containment reference 'Left'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor#getLeft() + * @see #getVLSNor() + * @generated + */ + EReference getVLSNor_Left(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor#getRight Right}'. + * + * + * @return the meta object for the containment reference 'Right'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor#getRight() + * @see #getVLSNor() + * @generated + */ + EReference getVLSNor_Right(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand VLS Nand}'. + * + * + * @return the meta object for class 'VLS Nand'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand + * @generated + */ + EClass getVLSNand(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand#getLeft Left}'. + * + * + * @return the meta object for the containment reference 'Left'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand#getLeft() + * @see #getVLSNand() + * @generated + */ + EReference getVLSNand_Left(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand#getRight Right}'. + * + * + * @return the meta object for the containment reference 'Right'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand#getRight() + * @see #getVLSNand() + * @generated + */ + EReference getVLSNand_Right(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd VLS And}'. + * + * + * @return the meta object for class 'VLS And'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd + * @generated + */ + EClass getVLSAnd(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd#getLeft Left}'. + * + * + * @return the meta object for the containment reference 'Left'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd#getLeft() + * @see #getVLSAnd() + * @generated + */ + EReference getVLSAnd_Left(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd#getRight Right}'. + * + * + * @return the meta object for the containment reference 'Right'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd#getRight() + * @see #getVLSAnd() + * @generated + */ + EReference getVLSAnd_Right(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr VLS Or}'. + * + * + * @return the meta object for class 'VLS Or'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr + * @generated + */ + EClass getVLSOr(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr#getLeft Left}'. + * + * + * @return the meta object for the containment reference 'Left'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr#getLeft() + * @see #getVLSOr() + * @generated + */ + EReference getVLSOr_Left(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr#getRight Right}'. + * + * + * @return the meta object for the containment reference 'Right'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr#getRight() + * @see #getVLSOr() + * @generated + */ + EReference getVLSOr_Right(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier VLS Universal Quantifier}'. + * + * + * @return the meta object for class 'VLS Universal Quantifier'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier + * @generated + */ + EClass getVLSUniversalQuantifier(); + + /** + * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier#getVariables Variables}'. + * + * + * @return the meta object for the containment reference list 'Variables'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier#getVariables() + * @see #getVLSUniversalQuantifier() + * @generated + */ + EReference getVLSUniversalQuantifier_Variables(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier#getOperand Operand}'. + * + * + * @return the meta object for the containment reference 'Operand'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier#getOperand() + * @see #getVLSUniversalQuantifier() + * @generated + */ + EReference getVLSUniversalQuantifier_Operand(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier VLS Existential Quantifier}'. + * + * + * @return the meta object for class 'VLS Existential Quantifier'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier + * @generated + */ + EClass getVLSExistentialQuantifier(); + + /** + * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier#getVariables Variables}'. + * + * + * @return the meta object for the containment reference list 'Variables'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier#getVariables() + * @see #getVLSExistentialQuantifier() + * @generated + */ + EReference getVLSExistentialQuantifier_Variables(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier#getOperand Operand}'. + * + * + * @return the meta object for the containment reference 'Operand'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier#getOperand() + * @see #getVLSExistentialQuantifier() + * @generated + */ + EReference getVLSExistentialQuantifier_Operand(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation VLS Unary Negation}'. + * + * + * @return the meta object for class 'VLS Unary Negation'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation + * @generated + */ + EClass getVLSUnaryNegation(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation#getOperand Operand}'. + * + * + * @return the meta object for the containment reference 'Operand'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation#getOperand() + * @see #getVLSUnaryNegation() + * @generated + */ + EReference getVLSUnaryNegation_Operand(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality VLS Inequality}'. + * + * + * @return the meta object for class 'VLS Inequality'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality + * @generated + */ + EClass getVLSInequality(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality#getLeft Left}'. + * + * + * @return the meta object for the containment reference 'Left'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality#getLeft() + * @see #getVLSInequality() + * @generated + */ + EReference getVLSInequality_Left(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality#getRight Right}'. + * + * + * @return the meta object for the containment reference 'Right'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality#getRight() + * @see #getVLSInequality() + * @generated + */ + EReference getVLSInequality_Right(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality VLS Equality}'. + * + * + * @return the meta object for class 'VLS Equality'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality + * @generated + */ + EClass getVLSEquality(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality#getLeft Left}'. + * + * + * @return the meta object for the containment reference 'Left'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality#getLeft() + * @see #getVLSEquality() + * @generated + */ + EReference getVLSEquality_Left(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality#getRight Right}'. + * + * + * @return the meta object for the containment reference 'Right'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality#getRight() + * @see #getVLSEquality() + * @generated + */ + EReference getVLSEquality_Right(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment VLS Assignment}'. + * + * + * @return the meta object for class 'VLS Assignment'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment + * @generated + */ + EClass getVLSAssignment(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment#getLeft Left}'. + * + * + * @return the meta object for the containment reference 'Left'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment#getLeft() + * @see #getVLSAssignment() + * @generated + */ + EReference getVLSAssignment_Left(); + + /** + * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment#getRight Right}'. + * + * + * @return the meta object for the containment reference 'Right'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment#getRight() + * @see #getVLSAssignment() + * @generated + */ + EReference getVLSAssignment_Right(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant VLS Constant}'. + * + * + * @return the meta object for class 'VLS Constant'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant + * @generated + */ + EClass getVLSConstant(); + + /** + * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant#getName() + * @see #getVLSConstant() + * @generated + */ + EAttribute getVLSConstant_Name(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue VLS True}'. + * + * + * @return the meta object for class 'VLS True'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue + * @generated + */ + EClass getVLSTrue(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse VLS False}'. + * + * + * @return the meta object for class 'VLS False'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse + * @generated + */ + EClass getVLSFalse(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction VLS Function}'. + * + * + * @return the meta object for class 'VLS Function'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction + * @generated + */ + EClass getVLSFunction(); + + /** + * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction#getConstant Constant}'. + * + * + * @return the meta object for the attribute 'Constant'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction#getConstant() + * @see #getVLSFunction() + * @generated + */ + EAttribute getVLSFunction_Constant(); + + /** + * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction#getTerms Terms}'. + * + * + * @return the meta object for the containment reference list 'Terms'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction#getTerms() + * @see #getVLSFunction() + * @generated + */ + EReference getVLSFunction_Terms(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess VLS Less}'. + * + * + * @return the meta object for class 'VLS Less'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess + * @generated + */ + EClass getVLSLess(); + + /** + * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess#getName() + * @see #getVLSLess() + * @generated + */ + EAttribute getVLSLess_Name(); + + /** + * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess#getTerms Terms}'. + * + * + * @return the meta object for the containment reference list 'Terms'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess#getTerms() + * @see #getVLSLess() + * @generated + */ + EReference getVLSLess_Terms(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt VLS Int}'. + * + * + * @return the meta object for class 'VLS Int'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt + * @generated + */ + EClass getVLSInt(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal VLS Real}'. + * + * + * @return the meta object for class 'VLS Real'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal + * @generated + */ + EClass getVLSReal(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational VLS Rational}'. + * + * + * @return the meta object for class 'VLS Rational'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational + * @generated + */ + EClass getVLSRational(); + + /** + * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote VLS Double Quote}'. + * + * + * @return the meta object for class 'VLS Double Quote'. + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote + * @generated + */ + EClass getVLSDoubleQuote(); + + /** + * Returns the factory that creates the instances of the model. + * + * + * @return the factory that creates the instances of the model. + * @generated + */ + VampireLanguageFactory getVampireLanguageFactory(); + + /** + * + * Defines literals for the meta objects that represent + * + * + * @generated + */ + interface Literals + { + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl Vampire Model}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVampireModel() + * @generated + */ + EClass VAMPIRE_MODEL = eINSTANCE.getVampireModel(); + + /** + * The meta object literal for the 'Includes' containment reference list feature. + * + * + * @generated + */ + EReference VAMPIRE_MODEL__INCLUDES = eINSTANCE.getVampireModel_Includes(); + + /** + * The meta object literal for the 'Comments' containment reference list feature. + * + * + * @generated + */ + EReference VAMPIRE_MODEL__COMMENTS = eINSTANCE.getVampireModel_Comments(); + + /** + * The meta object literal for the 'Formulas' containment reference list feature. + * + * + * @generated + */ + EReference VAMPIRE_MODEL__FORMULAS = eINSTANCE.getVampireModel_Formulas(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIncludeImpl VLS Include}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIncludeImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInclude() + * @generated + */ + EClass VLS_INCLUDE = eINSTANCE.getVLSInclude(); + + /** + * The meta object literal for the 'File Name' attribute feature. + * + * + * @generated + */ + EAttribute VLS_INCLUDE__FILE_NAME = eINSTANCE.getVLSInclude_FileName(); + + /** + * The meta object literal for the 'Names' containment reference list feature. + * + * + * @generated + */ + EReference VLS_INCLUDE__NAMES = eINSTANCE.getVLSInclude_Names(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNameImpl VLS Name}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNameImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSName() + * @generated + */ + EClass VLS_NAME = eINSTANCE.getVLSName(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute VLS_NAME__NAME = eINSTANCE.getVLSName_Name(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSCommentImpl VLS Comment}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSCommentImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSComment() + * @generated + */ + EClass VLS_COMMENT = eINSTANCE.getVLSComment(); + + /** + * The meta object literal for the 'Comment' attribute feature. + * + * + * @generated + */ + EAttribute VLS_COMMENT__COMMENT = eINSTANCE.getVLSComment_Comment(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl VLS Fof Formula}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFofFormula() + * @generated + */ + EClass VLS_FOF_FORMULA = eINSTANCE.getVLSFofFormula(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute VLS_FOF_FORMULA__NAME = eINSTANCE.getVLSFofFormula_Name(); + + /** + * The meta object literal for the 'Fof Role' attribute feature. + * + * + * @generated + */ + EAttribute VLS_FOF_FORMULA__FOF_ROLE = eINSTANCE.getVLSFofFormula_FofRole(); + + /** + * The meta object literal for the 'Fof Formula' containment reference feature. + * + * + * @generated + */ + EReference VLS_FOF_FORMULA__FOF_FORMULA = eINSTANCE.getVLSFofFormula_FofFormula(); + + /** + * The meta object literal for the 'Annotations' containment reference feature. + * + * + * @generated + */ + EReference VLS_FOF_FORMULA__ANNOTATIONS = eINSTANCE.getVLSFofFormula_Annotations(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAnnotationImpl VLS Annotation}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAnnotationImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnnotation() + * @generated + */ + EClass VLS_ANNOTATION = eINSTANCE.getVLSAnnotation(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute VLS_ANNOTATION__NAME = eINSTANCE.getVLSAnnotation_Name(); + + /** + * The meta object literal for the 'Followup' containment reference feature. + * + * + * @generated + */ + EReference VLS_ANNOTATION__FOLLOWUP = eINSTANCE.getVLSAnnotation_Followup(); + + /** + * The meta object literal for the 'Terms' containment reference list feature. + * + * + * @generated + */ + EReference VLS_ANNOTATION__TERMS = eINSTANCE.getVLSAnnotation_Terms(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl VLS Term}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTerm() + * @generated + */ + EClass VLS_TERM = eINSTANCE.getVLSTerm(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl VLS Variable}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariable() + * @generated + */ + EClass VLS_VARIABLE = eINSTANCE.getVLSVariable(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute VLS_VARIABLE__NAME = eINSTANCE.getVLSVariable_Name(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionFofImpl VLS Function Fof}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionFofImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunctionFof() + * @generated + */ + EClass VLS_FUNCTION_FOF = eINSTANCE.getVLSFunctionFof(); + + /** + * The meta object literal for the 'Functor' attribute feature. + * + * + * @generated + */ + EAttribute VLS_FUNCTION_FOF__FUNCTOR = eINSTANCE.getVLSFunctionFof_Functor(); + + /** + * The meta object literal for the 'Terms' containment reference list feature. + * + * + * @generated + */ + EReference VLS_FUNCTION_FOF__TERMS = eINSTANCE.getVLSFunctionFof_Terms(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDefinedTermImpl VLS Defined Term}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDefinedTermImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDefinedTerm() + * @generated + */ + EClass VLS_DEFINED_TERM = eINSTANCE.getVLSDefinedTerm(); + + /** + * The meta object literal for the 'Value' attribute feature. + * + * + * @generated + */ + EAttribute VLS_DEFINED_TERM__VALUE = eINSTANCE.getVLSDefinedTerm_Value(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEquivalentImpl VLS Equivalent}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEquivalentImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquivalent() + * @generated + */ + EClass VLS_EQUIVALENT = eINSTANCE.getVLSEquivalent(); + + /** + * The meta object literal for the 'Left' containment reference feature. + * + * + * @generated + */ + EReference VLS_EQUIVALENT__LEFT = eINSTANCE.getVLSEquivalent_Left(); + + /** + * The meta object literal for the 'Right' containment reference feature. + * + * + * @generated + */ + EReference VLS_EQUIVALENT__RIGHT = eINSTANCE.getVLSEquivalent_Right(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSImpliesImpl VLS Implies}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSImpliesImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSImplies() + * @generated + */ + EClass VLS_IMPLIES = eINSTANCE.getVLSImplies(); + + /** + * The meta object literal for the 'Left' containment reference feature. + * + * + * @generated + */ + EReference VLS_IMPLIES__LEFT = eINSTANCE.getVLSImplies_Left(); + + /** + * The meta object literal for the 'Right' containment reference feature. + * + * + * @generated + */ + EReference VLS_IMPLIES__RIGHT = eINSTANCE.getVLSImplies_Right(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRevImpliesImpl VLS Rev Implies}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRevImpliesImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRevImplies() + * @generated + */ + EClass VLS_REV_IMPLIES = eINSTANCE.getVLSRevImplies(); + + /** + * The meta object literal for the 'Left' containment reference feature. + * + * + * @generated + */ + EReference VLS_REV_IMPLIES__LEFT = eINSTANCE.getVLSRevImplies_Left(); + + /** + * The meta object literal for the 'Right' containment reference feature. + * + * + * @generated + */ + EReference VLS_REV_IMPLIES__RIGHT = eINSTANCE.getVLSRevImplies_Right(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSXnorImpl VLS Xnor}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSXnorImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSXnor() + * @generated + */ + EClass VLS_XNOR = eINSTANCE.getVLSXnor(); + + /** + * The meta object literal for the 'Left' containment reference feature. + * + * + * @generated + */ + EReference VLS_XNOR__LEFT = eINSTANCE.getVLSXnor_Left(); + + /** + * The meta object literal for the 'Right' containment reference feature. + * + * + * @generated + */ + EReference VLS_XNOR__RIGHT = eINSTANCE.getVLSXnor_Right(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNorImpl VLS Nor}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNorImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNor() + * @generated + */ + EClass VLS_NOR = eINSTANCE.getVLSNor(); + + /** + * The meta object literal for the 'Left' containment reference feature. + * + * + * @generated + */ + EReference VLS_NOR__LEFT = eINSTANCE.getVLSNor_Left(); + + /** + * The meta object literal for the 'Right' containment reference feature. + * + * + * @generated + */ + EReference VLS_NOR__RIGHT = eINSTANCE.getVLSNor_Right(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNandImpl VLS Nand}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNandImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNand() + * @generated + */ + EClass VLS_NAND = eINSTANCE.getVLSNand(); + + /** + * The meta object literal for the 'Left' containment reference feature. + * + * + * @generated + */ + EReference VLS_NAND__LEFT = eINSTANCE.getVLSNand_Left(); + + /** + * The meta object literal for the 'Right' containment reference feature. + * + * + * @generated + */ + EReference VLS_NAND__RIGHT = eINSTANCE.getVLSNand_Right(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAndImpl VLS And}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAndImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnd() + * @generated + */ + EClass VLS_AND = eINSTANCE.getVLSAnd(); + + /** + * The meta object literal for the 'Left' containment reference feature. + * + * + * @generated + */ + EReference VLS_AND__LEFT = eINSTANCE.getVLSAnd_Left(); + + /** + * The meta object literal for the 'Right' containment reference feature. + * + * + * @generated + */ + EReference VLS_AND__RIGHT = eINSTANCE.getVLSAnd_Right(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOrImpl VLS Or}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOrImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSOr() + * @generated + */ + EClass VLS_OR = eINSTANCE.getVLSOr(); + + /** + * The meta object literal for the 'Left' containment reference feature. + * + * + * @generated + */ + EReference VLS_OR__LEFT = eINSTANCE.getVLSOr_Left(); + + /** + * The meta object literal for the 'Right' containment reference feature. + * + * + * @generated + */ + EReference VLS_OR__RIGHT = eINSTANCE.getVLSOr_Right(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUniversalQuantifierImpl VLS Universal Quantifier}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUniversalQuantifierImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUniversalQuantifier() + * @generated + */ + EClass VLS_UNIVERSAL_QUANTIFIER = eINSTANCE.getVLSUniversalQuantifier(); + + /** + * The meta object literal for the 'Variables' containment reference list feature. + * + * + * @generated + */ + EReference VLS_UNIVERSAL_QUANTIFIER__VARIABLES = eINSTANCE.getVLSUniversalQuantifier_Variables(); + + /** + * The meta object literal for the 'Operand' containment reference feature. + * + * + * @generated + */ + EReference VLS_UNIVERSAL_QUANTIFIER__OPERAND = eINSTANCE.getVLSUniversalQuantifier_Operand(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSExistentialQuantifierImpl VLS Existential Quantifier}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSExistentialQuantifierImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSExistentialQuantifier() + * @generated + */ + EClass VLS_EXISTENTIAL_QUANTIFIER = eINSTANCE.getVLSExistentialQuantifier(); + + /** + * The meta object literal for the 'Variables' containment reference list feature. + * + * + * @generated + */ + EReference VLS_EXISTENTIAL_QUANTIFIER__VARIABLES = eINSTANCE.getVLSExistentialQuantifier_Variables(); + + /** + * The meta object literal for the 'Operand' containment reference feature. + * + * + * @generated + */ + EReference VLS_EXISTENTIAL_QUANTIFIER__OPERAND = eINSTANCE.getVLSExistentialQuantifier_Operand(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUnaryNegationImpl VLS Unary Negation}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUnaryNegationImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUnaryNegation() + * @generated + */ + EClass VLS_UNARY_NEGATION = eINSTANCE.getVLSUnaryNegation(); + + /** + * The meta object literal for the 'Operand' containment reference feature. + * + * + * @generated + */ + EReference VLS_UNARY_NEGATION__OPERAND = eINSTANCE.getVLSUnaryNegation_Operand(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSInequalityImpl VLS Inequality}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSInequalityImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInequality() + * @generated + */ + EClass VLS_INEQUALITY = eINSTANCE.getVLSInequality(); + + /** + * The meta object literal for the 'Left' containment reference feature. + * + * + * @generated + */ + EReference VLS_INEQUALITY__LEFT = eINSTANCE.getVLSInequality_Left(); + + /** + * The meta object literal for the 'Right' containment reference feature. + * + * + * @generated + */ + EReference VLS_INEQUALITY__RIGHT = eINSTANCE.getVLSInequality_Right(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEqualityImpl VLS Equality}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEqualityImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquality() + * @generated + */ + EClass VLS_EQUALITY = eINSTANCE.getVLSEquality(); + + /** + * The meta object literal for the 'Left' containment reference feature. + * + * + * @generated + */ + EReference VLS_EQUALITY__LEFT = eINSTANCE.getVLSEquality_Left(); + + /** + * The meta object literal for the 'Right' containment reference feature. + * + * + * @generated + */ + EReference VLS_EQUALITY__RIGHT = eINSTANCE.getVLSEquality_Right(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAssignmentImpl VLS Assignment}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAssignmentImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAssignment() + * @generated + */ + EClass VLS_ASSIGNMENT = eINSTANCE.getVLSAssignment(); + + /** + * The meta object literal for the 'Left' containment reference feature. + * + * + * @generated + */ + EReference VLS_ASSIGNMENT__LEFT = eINSTANCE.getVLSAssignment_Left(); + + /** + * The meta object literal for the 'Right' containment reference feature. + * + * + * @generated + */ + EReference VLS_ASSIGNMENT__RIGHT = eINSTANCE.getVLSAssignment_Right(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSConstantImpl VLS Constant}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSConstantImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSConstant() + * @generated + */ + EClass VLS_CONSTANT = eINSTANCE.getVLSConstant(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute VLS_CONSTANT__NAME = eINSTANCE.getVLSConstant_Name(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTrueImpl VLS True}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTrueImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrue() + * @generated + */ + EClass VLS_TRUE = eINSTANCE.getVLSTrue(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFalseImpl VLS False}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFalseImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFalse() + * @generated + */ + EClass VLS_FALSE = eINSTANCE.getVLSFalse(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionImpl VLS Function}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunction() + * @generated + */ + EClass VLS_FUNCTION = eINSTANCE.getVLSFunction(); + + /** + * The meta object literal for the 'Constant' attribute feature. + * + * + * @generated + */ + EAttribute VLS_FUNCTION__CONSTANT = eINSTANCE.getVLSFunction_Constant(); + + /** + * The meta object literal for the 'Terms' containment reference list feature. + * + * + * @generated + */ + EReference VLS_FUNCTION__TERMS = eINSTANCE.getVLSFunction_Terms(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSLessImpl VLS Less}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSLessImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSLess() + * @generated + */ + EClass VLS_LESS = eINSTANCE.getVLSLess(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute VLS_LESS__NAME = eINSTANCE.getVLSLess_Name(); + + /** + * The meta object literal for the 'Terms' containment reference list feature. + * + * + * @generated + */ + EReference VLS_LESS__TERMS = eINSTANCE.getVLSLess_Terms(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIntImpl VLS Int}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIntImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInt() + * @generated + */ + EClass VLS_INT = eINSTANCE.getVLSInt(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRealImpl VLS Real}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRealImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSReal() + * @generated + */ + EClass VLS_REAL = eINSTANCE.getVLSReal(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRationalImpl VLS Rational}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRationalImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRational() + * @generated + */ + EClass VLS_RATIONAL = eINSTANCE.getVLSRational(); + + /** + * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDoubleQuoteImpl VLS Double Quote}' class. + * + * + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDoubleQuoteImpl + * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDoubleQuote() + * @generated + */ + EClass VLS_DOUBLE_QUOTE = eINSTANCE.getVLSDoubleQuote(); + + } + +} //VampireLanguagePackage -- cgit v1.2.3-54-g00ecf