/** * 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 'Confirmations' containment reference list. * * * @generated * @ordered */ int VAMPIRE_MODEL__CONFIRMATIONS = 2; /** * The feature id for the 'Formulas' containment reference list. * * * @generated * @ordered */ 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. * * * @generated * @ordered */ int VAMPIRE_MODEL_FEATURE_COUNT = 5; /** * 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.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. * * * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFofFormula() * @generated */ int VLS_FOF_FORMULA = 8; /** * 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.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. * * * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAnnotationImpl * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnnotation() * @generated */ int VLS_ANNOTATION = 10; /** * 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 = 11; /** * 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 = 12; /** * 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 = 13; /** * 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 = 14; /** * 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 = 15; /** * 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 = 16; /** * 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 = 17; /** * 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 = 18; /** * 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 = 19; /** * 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 = 20; /** * 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 = 21; /** * 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 = 22; /** * 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 = 23; /** * 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 = 24; /** * 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 = 25; /** * 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 = 26; /** * 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 = 27; /** * 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 = 28; /** * 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 = 29; /** * 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 = 30; /** * 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 = 31; /** * 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 = 32; /** * 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 = 33; /** * 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 = 34; /** * 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 = 35; /** * 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 = 36; /** * 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 = 37; /** * 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#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}'. * * * @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 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}'. * * * @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.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}'. * * * @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.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}'. * * * @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 'Confirmations' containment reference list feature. * * * @generated */ EReference VAMPIRE_MODEL__CONFIRMATIONS = eINSTANCE.getVampireModel_Confirmations(); /** * 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 '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. * * * @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.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. * * * @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.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. * * * @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