/**
* 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 'Comments' containment reference list.
*
*
* @generated
* @ordered
*/
int VAMPIRE_MODEL__COMMENTS = 0;
/**
* The feature id for the 'Confirmations' containment reference list.
*
*
* @generated
* @ordered
*/
int VAMPIRE_MODEL__CONFIRMATIONS = 1;
/**
* The feature id for the 'Formulas' containment reference list.
*
*
* @generated
* @ordered
*/
int VAMPIRE_MODEL__FORMULAS = 2;
/**
* The feature id for the 'Tfformulas' containment reference list.
*
*
* @generated
* @ordered
*/
int VAMPIRE_MODEL__TFFORMULAS = 3;
/**
* The number of structural features of the 'Vampire Model' class.
*
*
* @generated
* @ordered
*/
int VAMPIRE_MODEL_FEATURE_COUNT = 4;
/**
* 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 = 1;
/**
* 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 = 2;
/**
* 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.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 = 3;
/**
* 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 = 4;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int VLS_TFF_FORMULA__NAME = 0;
/**
* The feature id for the 'Tff Role' attribute.
*
*
* @generated
* @ordered
*/
int VLS_TFF_FORMULA__TFF_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 = 5;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int VLS_ANNOTATION__NAME = 0;
/**
* The feature id for the 'Followup' containment reference.
*
*
* @generated
* @ordered
*/
int VLS_ANNOTATION__FOLLOWUP = 1;
/**
* The feature id for the 'Terms' containment reference list.
*
*
* @generated
* @ordered
*/
int VLS_ANNOTATION__TERMS = 2;
/**
* The number of structural features of the 'VLS Annotation' class.
*
*
* @generated
* @ordered
*/
int VLS_ANNOTATION_FEATURE_COUNT = 3;
/**
* The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffTermImpl VLS Tff Term}' class.
*
*
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffTermImpl
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTffTerm()
* @generated
*/
int VLS_TFF_TERM = 6;
/**
* The number of structural features of the 'VLS Tff Term' class.
*
*
* @generated
* @ordered
*/
int VLS_TFF_TERM_FEATURE_COUNT = 0;
/**
* The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDeclarationImpl VLS Declaration}' class.
*
*
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDeclarationImpl
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDeclaration()
* @generated
*/
int VLS_DECLARATION = 7;
/**
* The feature id for the 'Type' containment reference.
*
*
* @generated
* @ordered
*/
int VLS_DECLARATION__TYPE = VLS_TFF_TERM_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'VLS Declaration' class.
*
*
* @generated
* @ordered
*/
int VLS_DECLARATION_FEATURE_COUNT = VLS_TFF_TERM_FEATURE_COUNT + 1;
/**
* The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOtherDeclarationImpl VLS Other Declaration}' class.
*
*
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOtherDeclarationImpl
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSOtherDeclaration()
* @generated
*/
int VLS_OTHER_DECLARATION = 8;
/**
* The feature id for the 'Type' containment reference.
*
*
* @generated
* @ordered
*/
int VLS_OTHER_DECLARATION__TYPE = VLS_DECLARATION__TYPE;
/**
* The feature id for the 'Name' containment reference.
*
*
* @generated
* @ordered
*/
int VLS_OTHER_DECLARATION__NAME = VLS_DECLARATION_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'VLS Other Declaration' class.
*
*
* @generated
* @ordered
*/
int VLS_OTHER_DECLARATION_FEATURE_COUNT = VLS_DECLARATION_FEATURE_COUNT + 1;
/**
* The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableDeclarationImpl VLS Variable Declaration}' class.
*
*
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableDeclarationImpl
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariableDeclaration()
* @generated
*/
int VLS_VARIABLE_DECLARATION = 9;
/**
* The feature id for the 'Type' containment reference.
*
*
* @generated
* @ordered
*/
int VLS_VARIABLE_DECLARATION__TYPE = VLS_DECLARATION__TYPE;
/**
* The feature id for the 'Name' containment reference.
*
*
* @generated
* @ordered
*/
int VLS_VARIABLE_DECLARATION__NAME = VLS_DECLARATION_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'VLS Variable Declaration' class.
*
*
* @generated
* @ordered
*/
int VLS_VARIABLE_DECLARATION_FEATURE_COUNT = VLS_DECLARATION_FEATURE_COUNT + 1;
/**
* The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl VLS Type Def}' class.
*
*
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTypeDef()
* @generated
*/
int VLS_TYPE_DEF = 10;
/**
* The feature id for the 'Type Sig' containment reference.
*
*
* @generated
* @ordered
*/
int VLS_TYPE_DEF__TYPE_SIG = 0;
/**
* The feature id for the 'Maps To' containment reference.
*
*
* @generated
* @ordered
*/
int VLS_TYPE_DEF__MAPS_TO = 1;
/**
* The feature id for the 'Init Type' containment reference.
*
*
* @generated
* @ordered
*/
int VLS_TYPE_DEF__INIT_TYPE = 2;
/**
* The feature id for the 'Next Type' containment reference.
*
*
* @generated
* @ordered
*/
int VLS_TYPE_DEF__NEXT_TYPE = 3;
/**
* The number of structural features of the 'VLS Type Def' class.
*
*
* @generated
* @ordered
*/
int VLS_TYPE_DEF_FEATURE_COUNT = 4;
/**
* 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 = VLS_TFF_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.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 = 13;
/**
* 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 = 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.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 = 15;
/**
* 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.VLSWarningImpl VLS Warning}' class.
*
*
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSWarningImpl
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSWarning()
* @generated
*/
int VLS_WARNING = 16;
/**
* The number of structural features of the 'VLS Warning' class.
*
*
* @generated
* @ordered
*/
int VLS_WARNING_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 = 17;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int VLS_TRYING__NAME = VLS_CONFIRMATIONS_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'VLS Trying' class.
*
*
* @generated
* @ordered
*/
int VLS_TRYING_FEATURE_COUNT = VLS_CONFIRMATIONS_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 = 18;
/**
* The number of structural features of the 'VLS Finite Model' class.
*
*
* @generated
* @ordered
*/
int VLS_FINITE_MODEL_FEATURE_COUNT = VLS_CONFIRMATIONS_FEATURE_COUNT + 0;
/**
* 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 = 19;
/**
* 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 = 20;
/**
* 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 = 21;
/**
* 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 = 22;
/**
* 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 = 23;
/**
* 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 = 24;
/**
* 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 = 25;
/**
* 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 = 26;
/**
* 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 = 27;
/**
* 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 = 28;
/**
* 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 = 29;
/**
* 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 = 30;
/**
* 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 = 31;
/**
* 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 = 32;
/**
* 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 = 33;
/**
* 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 = 34;
/**
* 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 = 35;
/**
* 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 = 36;
/**
* 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 = 37;
/**
* 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 = 38;
/**
* 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.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 = 39;
/**
* 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#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.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.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#getTffRole Tff Role}'.
*
*
* @return the meta object for the attribute 'Tff Role'.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getTffRole()
* @see #getVLSTffFormula()
* @generated
*/
EAttribute getVLSTffFormula_TffRole();
/**
* 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.VLSTffTerm VLS Tff Term}'.
*
*
* @return the meta object for class 'VLS Tff Term'.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffTerm
* @generated
*/
EClass getVLSTffTerm();
/**
* Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration VLS Declaration}'.
*
*
* @return the meta object for class 'VLS Declaration'.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration
* @generated
*/
EClass getVLSDeclaration();
/**
* Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration#getType Type}'.
*
*
* @return the meta object for the containment reference 'Type'.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration#getType()
* @see #getVLSDeclaration()
* @generated
*/
EReference getVLSDeclaration_Type();
/**
* Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration VLS Other Declaration}'.
*
*
* @return the meta object for class 'VLS Other Declaration'.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration
* @generated
*/
EClass getVLSOtherDeclaration();
/**
* Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration#getName Name}'.
*
*
* @return the meta object for the containment reference 'Name'.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration#getName()
* @see #getVLSOtherDeclaration()
* @generated
*/
EReference getVLSOtherDeclaration_Name();
/**
* Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration VLS Variable Declaration}'.
*
*
* @return the meta object for class 'VLS Variable Declaration'.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration
* @generated
*/
EClass getVLSVariableDeclaration();
/**
* Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration#getName Name}'.
*
*
* @return the meta object for the containment reference 'Name'.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration#getName()
* @see #getVLSVariableDeclaration()
* @generated
*/
EReference getVLSVariableDeclaration_Name();
/**
* Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef VLS Type Def}'.
*
*
* @return the meta object for class 'VLS Type Def'.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef
* @generated
*/
EClass getVLSTypeDef();
/**
* Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getTypeSig Type Sig}'.
*
*
* @return the meta object for the containment reference 'Type Sig'.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getTypeSig()
* @see #getVLSTypeDef()
* @generated
*/
EReference getVLSTypeDef_TypeSig();
/**
* Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getMapsTo Maps To}'.
*
*
* @return the meta object for the containment reference 'Maps To'.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getMapsTo()
* @see #getVLSTypeDef()
* @generated
*/
EReference getVLSTypeDef_MapsTo();
/**
* Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getInitType Init Type}'.
*
*
* @return the meta object for the containment reference 'Init Type'.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getInitType()
* @see #getVLSTypeDef()
* @generated
*/
EReference getVLSTypeDef_InitType();
/**
* Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getNextType Next Type}'.
*
*
* @return the meta object for the containment reference 'Next Type'.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getNextType()
* @see #getVLSTypeDef()
* @generated
*/
EReference getVLSTypeDef_NextType();
/**
* 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.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.VLSWarning VLS Warning}'.
*
*
* @return the meta object for class 'VLS Warning'.
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSWarning
* @generated
*/
EClass getVLSWarning();
/**
* 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.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.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 '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.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.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 'Tff Role' attribute feature.
*
*
* @generated
*/
EAttribute VLS_TFF_FORMULA__TFF_ROLE = eINSTANCE.getVLSTffFormula_TffRole();
/**
* 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.VLSTffTermImpl VLS Tff Term}' class.
*
*
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffTermImpl
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTffTerm()
* @generated
*/
EClass VLS_TFF_TERM = eINSTANCE.getVLSTffTerm();
/**
* The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDeclarationImpl VLS Declaration}' class.
*
*
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDeclarationImpl
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDeclaration()
* @generated
*/
EClass VLS_DECLARATION = eINSTANCE.getVLSDeclaration();
/**
* The meta object literal for the 'Type' containment reference feature.
*
*
* @generated
*/
EReference VLS_DECLARATION__TYPE = eINSTANCE.getVLSDeclaration_Type();
/**
* The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOtherDeclarationImpl VLS Other Declaration}' class.
*
*
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOtherDeclarationImpl
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSOtherDeclaration()
* @generated
*/
EClass VLS_OTHER_DECLARATION = eINSTANCE.getVLSOtherDeclaration();
/**
* The meta object literal for the 'Name' containment reference feature.
*
*
* @generated
*/
EReference VLS_OTHER_DECLARATION__NAME = eINSTANCE.getVLSOtherDeclaration_Name();
/**
* The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableDeclarationImpl VLS Variable Declaration}' class.
*
*
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableDeclarationImpl
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariableDeclaration()
* @generated
*/
EClass VLS_VARIABLE_DECLARATION = eINSTANCE.getVLSVariableDeclaration();
/**
* The meta object literal for the 'Name' containment reference feature.
*
*
* @generated
*/
EReference VLS_VARIABLE_DECLARATION__NAME = eINSTANCE.getVLSVariableDeclaration_Name();
/**
* The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl VLS Type Def}' class.
*
*
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTypeDef()
* @generated
*/
EClass VLS_TYPE_DEF = eINSTANCE.getVLSTypeDef();
/**
* The meta object literal for the 'Type Sig' containment reference feature.
*
*
* @generated
*/
EReference VLS_TYPE_DEF__TYPE_SIG = eINSTANCE.getVLSTypeDef_TypeSig();
/**
* The meta object literal for the 'Maps To' containment reference feature.
*
*
* @generated
*/
EReference VLS_TYPE_DEF__MAPS_TO = eINSTANCE.getVLSTypeDef_MapsTo();
/**
* The meta object literal for the 'Init Type' containment reference feature.
*
*
* @generated
*/
EReference VLS_TYPE_DEF__INIT_TYPE = eINSTANCE.getVLSTypeDef_InitType();
/**
* The meta object literal for the 'Next Type' containment reference feature.
*
*
* @generated
*/
EReference VLS_TYPE_DEF__NEXT_TYPE = eINSTANCE.getVLSTypeDef_NextType();
/**
* 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.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.VLSWarningImpl VLS Warning}' class.
*
*
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSWarningImpl
* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSWarning()
* @generated
*/
EClass VLS_WARNING = eINSTANCE.getVLSWarning();
/**
* 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.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.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