/**
* generated by Xtext 2.14.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
*
* - each class,
* - each feature of each class,
* - each enum,
* - and each data type
*
*
* @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.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 = 6;
/**
* 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 = 7;
/**
* 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 = 8;
/**
* 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 = 9;
/**
* 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 = 10;
/**
* 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.VLSFunctionAsTermImpl VLS Function As Term}' class.
*
*
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionAsTermImpl
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunctionAsTerm()
* @generated
*/
int VLS_FUNCTION_AS_TERM = 11;
/**
* The feature id for the 'Functor' attribute.
*
*
* @generated
* @ordered
*/
int VLS_FUNCTION_AS_TERM__FUNCTOR = VLS_TERM_FEATURE_COUNT + 0;
/**
* The feature id for the 'Terms' containment reference list.
*
*
* @generated
* @ordered
*/
int VLS_FUNCTION_AS_TERM__TERMS = VLS_TERM_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'VLS Function As Term' class.
*
*
* @generated
* @ordered
*/
int VLS_FUNCTION_AS_TERM_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 = 12;
/**
* 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 = 13;
/**
* 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 = 14;
/**
* 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 = 15;
/**
* 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 = 16;
/**
* 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 = 17;
/**
* 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 = 18;
/**
* 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 = 19;
/**
* 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 = 20;
/**
* 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 = 21;
/**
* 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 = 22;
/**
* 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 = 23;
/**
* 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 = 24;
/**
* 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 = 25;
/**
* 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 = 26;
/**
* 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 = 27;
/**
* 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 = 28;
/**
* 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 = 29;
/**
* 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 = 30;
/**
* 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 = 31;
/**
* 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 = 32;
/**
* 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 = 33;
/**
* 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 = 34;
/**
* 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 = 35;
/**
* 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.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.VLSFunctionAsTerm VLS Function As Term}'.
*
*
* @return the meta object for class 'VLS Function As Term'.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm
* @generated
*/
EClass getVLSFunctionAsTerm();
/**
* Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm#getFunctor Functor}'.
*
*
* @return the meta object for the attribute 'Functor'.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm#getFunctor()
* @see #getVLSFunctionAsTerm()
* @generated
*/
EAttribute getVLSFunctionAsTerm_Functor();
/**
* Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm#getTerms Terms}'.
*
*
* @return the meta object for the containment reference list 'Terms'.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm#getTerms()
* @see #getVLSFunctionAsTerm()
* @generated
*/
EReference getVLSFunctionAsTerm_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
*
* - each class,
* - each feature of each class,
* - each enum,
* - and each data type
*
*
* @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.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.VLSFunctionAsTermImpl VLS Function As Term}' class.
*
*
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionAsTermImpl
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunctionAsTerm()
* @generated
*/
EClass VLS_FUNCTION_AS_TERM = eINSTANCE.getVLSFunctionAsTerm();
/**
* The meta object literal for the 'Functor' attribute feature.
*
*
* @generated
*/
EAttribute VLS_FUNCTION_AS_TERM__FUNCTOR = eINSTANCE.getVLSFunctionAsTerm_Functor();
/**
* The meta object literal for the 'Terms' containment reference list feature.
*
*
* @generated
*/
EReference VLS_FUNCTION_AS_TERM__TERMS = eINSTANCE.getVLSFunctionAsTerm_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