From 32a4f3392a7d0c44439c0c9b960ef1cfb5e3cc2f Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Fri, 25 Oct 2019 04:15:39 -0400 Subject: VAMPIRE: post-submission push --- .../alloyLanguage/AlloyLanguagePackage.java | 4834 ++++++++++++++++++++ 1 file changed, 4834 insertions(+) create mode 100644 Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguagePackage.java (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguagePackage.java') diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguagePackage.java b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguagePackage.java new file mode 100644 index 00000000..46bfcc21 --- /dev/null +++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguagePackage.java @@ -0,0 +1,4834 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.alloyLanguage; + +import org.eclipse.emf.ecore.EAttribute; +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.EEnum; +import org.eclipse.emf.ecore.EPackage; +import org.eclipse.emf.ecore.EReference; + +/** + * + * The Package for the model. + * It contains accessors for the meta objects to represent + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguageFactory + * @model kind="package" + * @generated + */ +public interface AlloyLanguagePackage extends EPackage +{ + /** + * The package name. + * + * + * @generated + */ + String eNAME = "alloyLanguage"; + + /** + * The package namespace URI. + * + * + * @generated + */ + String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/AlloyLanguage"; + + /** + * The package namespace name. + * + * + * @generated + */ + String eNS_PREFIX = "alloyLanguage"; + + /** + * The singleton instance of the package. + * + * + * @generated + */ + AlloyLanguagePackage eINSTANCE = hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl.init(); + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSDocumentImpl ALS Document}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSDocumentImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSDocument() + * @generated + */ + int ALS_DOCUMENT = 0; + + /** + * The feature id for the 'Enum Declarations' containment reference list. + * + * + * @generated + * @ordered + */ + int ALS_DOCUMENT__ENUM_DECLARATIONS = 0; + + /** + * The feature id for the 'Signature Bodies' containment reference list. + * + * + * @generated + * @ordered + */ + int ALS_DOCUMENT__SIGNATURE_BODIES = 1; + + /** + * The feature id for the 'Function Definitions' containment reference list. + * + * + * @generated + * @ordered + */ + int ALS_DOCUMENT__FUNCTION_DEFINITIONS = 2; + + /** + * The feature id for the 'Relation Definitions' containment reference list. + * + * + * @generated + * @ordered + */ + int ALS_DOCUMENT__RELATION_DEFINITIONS = 3; + + /** + * The feature id for the 'Fact Declarations' containment reference list. + * + * + * @generated + * @ordered + */ + int ALS_DOCUMENT__FACT_DECLARATIONS = 4; + + /** + * The feature id for the 'Run Command' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_DOCUMENT__RUN_COMMAND = 5; + + /** + * The number of structural features of the 'ALS Document' class. + * + * + * @generated + * @ordered + */ + int ALS_DOCUMENT_FEATURE_COUNT = 6; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRelationDeclarationImpl ALS Relation Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRelationDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSRelationDeclaration() + * @generated + */ + int ALS_RELATION_DECLARATION = 1; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int ALS_RELATION_DECLARATION__NAME = 0; + + /** + * The number of structural features of the 'ALS Relation Declaration' class. + * + * + * @generated + * @ordered + */ + int ALS_RELATION_DECLARATION_FEATURE_COUNT = 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSTypeDeclarationImpl ALS Type Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSTypeDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSTypeDeclaration() + * @generated + */ + int ALS_TYPE_DECLARATION = 2; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int ALS_TYPE_DECLARATION__NAME = ALS_RELATION_DECLARATION__NAME; + + /** + * The number of structural features of the 'ALS Type Declaration' class. + * + * + * @generated + * @ordered + */ + int ALS_TYPE_DECLARATION_FEATURE_COUNT = ALS_RELATION_DECLARATION_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSEnumDeclarationImpl ALS Enum Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSEnumDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSEnumDeclaration() + * @generated + */ + int ALS_ENUM_DECLARATION = 3; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int ALS_ENUM_DECLARATION__NAME = ALS_TYPE_DECLARATION__NAME; + + /** + * The feature id for the 'Literal' containment reference list. + * + * + * @generated + * @ordered + */ + int ALS_ENUM_DECLARATION__LITERAL = ALS_TYPE_DECLARATION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'ALS Enum Declaration' class. + * + * + * @generated + * @ordered + */ + int ALS_ENUM_DECLARATION_FEATURE_COUNT = ALS_TYPE_DECLARATION_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSEnumLiteralImpl ALS Enum Literal}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSEnumLiteralImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSEnumLiteral() + * @generated + */ + int ALS_ENUM_LITERAL = 4; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int ALS_ENUM_LITERAL__NAME = ALS_RELATION_DECLARATION__NAME; + + /** + * The number of structural features of the 'ALS Enum Literal' class. + * + * + * @generated + * @ordered + */ + int ALS_ENUM_LITERAL_FEATURE_COUNT = ALS_RELATION_DECLARATION_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSignatureDeclarationImpl ALS Signature Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSignatureDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSSignatureDeclaration() + * @generated + */ + int ALS_SIGNATURE_DECLARATION = 5; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int ALS_SIGNATURE_DECLARATION__NAME = ALS_TYPE_DECLARATION__NAME; + + /** + * The number of structural features of the 'ALS Signature Declaration' class. + * + * + * @generated + * @ordered + */ + int ALS_SIGNATURE_DECLARATION_FEATURE_COUNT = ALS_TYPE_DECLARATION_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSignatureBodyImpl ALS Signature Body}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSignatureBodyImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSSignatureBody() + * @generated + */ + int ALS_SIGNATURE_BODY = 6; + + /** + * The feature id for the 'Multiplicity' attribute. + * + * + * @generated + * @ordered + */ + int ALS_SIGNATURE_BODY__MULTIPLICITY = 0; + + /** + * The feature id for the 'Abstract' attribute. + * + * + * @generated + * @ordered + */ + int ALS_SIGNATURE_BODY__ABSTRACT = 1; + + /** + * The feature id for the 'Declarations' containment reference list. + * + * + * @generated + * @ordered + */ + int ALS_SIGNATURE_BODY__DECLARATIONS = 2; + + /** + * The feature id for the 'Supertype' reference. + * + * + * @generated + * @ordered + */ + int ALS_SIGNATURE_BODY__SUPERTYPE = 3; + + /** + * The feature id for the 'Superset' reference list. + * + * + * @generated + * @ordered + */ + int ALS_SIGNATURE_BODY__SUPERSET = 4; + + /** + * The feature id for the 'Fields' containment reference list. + * + * + * @generated + * @ordered + */ + int ALS_SIGNATURE_BODY__FIELDS = 5; + + /** + * The number of structural features of the 'ALS Signature Body' class. + * + * + * @generated + * @ordered + */ + int ALS_SIGNATURE_BODY_FEATURE_COUNT = 6; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSFieldDeclarationImpl ALS Field Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSFieldDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSFieldDeclaration() + * @generated + */ + int ALS_FIELD_DECLARATION = 7; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int ALS_FIELD_DECLARATION__NAME = ALS_RELATION_DECLARATION__NAME; + + /** + * The feature id for the 'Multiplicity' attribute. + * + * + * @generated + * @ordered + */ + int ALS_FIELD_DECLARATION__MULTIPLICITY = ALS_RELATION_DECLARATION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Type' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_FIELD_DECLARATION__TYPE = ALS_RELATION_DECLARATION_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Field Declaration' class. + * + * + * @generated + * @ordered + */ + int ALS_FIELD_DECLARATION_FEATURE_COUNT = ALS_RELATION_DECLARATION_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSDefinitionImpl ALS Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSDefinition() + * @generated + */ + int ALS_DEFINITION = 8; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int ALS_DEFINITION__NAME = 0; + + /** + * The feature id for the 'Variables' containment reference list. + * + * + * @generated + * @ordered + */ + int ALS_DEFINITION__VARIABLES = 1; + + /** + * The feature id for the 'Value' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_DEFINITION__VALUE = 2; + + /** + * The number of structural features of the 'ALS Definition' class. + * + * + * @generated + * @ordered + */ + int ALS_DEFINITION_FEATURE_COUNT = 3; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSFunctionDefinitionImpl ALS Function Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSFunctionDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSFunctionDefinition() + * @generated + */ + int ALS_FUNCTION_DEFINITION = 9; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int ALS_FUNCTION_DEFINITION__NAME = ALS_DEFINITION__NAME; + + /** + * The feature id for the 'Variables' containment reference list. + * + * + * @generated + * @ordered + */ + int ALS_FUNCTION_DEFINITION__VARIABLES = ALS_DEFINITION__VARIABLES; + + /** + * The feature id for the 'Value' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_FUNCTION_DEFINITION__VALUE = ALS_DEFINITION__VALUE; + + /** + * The feature id for the 'Type' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_FUNCTION_DEFINITION__TYPE = ALS_DEFINITION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'ALS Function Definition' class. + * + * + * @generated + * @ordered + */ + int ALS_FUNCTION_DEFINITION_FEATURE_COUNT = ALS_DEFINITION_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRelationDefinitionImpl ALS Relation Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRelationDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSRelationDefinition() + * @generated + */ + int ALS_RELATION_DEFINITION = 10; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int ALS_RELATION_DEFINITION__NAME = ALS_DEFINITION__NAME; + + /** + * The feature id for the 'Variables' containment reference list. + * + * + * @generated + * @ordered + */ + int ALS_RELATION_DEFINITION__VARIABLES = ALS_DEFINITION__VARIABLES; + + /** + * The feature id for the 'Value' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_RELATION_DEFINITION__VALUE = ALS_DEFINITION__VALUE; + + /** + * The number of structural features of the 'ALS Relation Definition' class. + * + * + * @generated + * @ordered + */ + int ALS_RELATION_DEFINITION_FEATURE_COUNT = ALS_DEFINITION_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSFactDeclarationImpl ALS Fact Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSFactDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSFactDeclaration() + * @generated + */ + int ALS_FACT_DECLARATION = 11; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int ALS_FACT_DECLARATION__NAME = 0; + + /** + * The feature id for the 'Term' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_FACT_DECLARATION__TERM = 1; + + /** + * The number of structural features of the 'ALS Fact Declaration' class. + * + * + * @generated + * @ordered + */ + int ALS_FACT_DECLARATION_FEATURE_COUNT = 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSTermImpl ALS Term}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSTermImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSTerm() + * @generated + */ + int ALS_TERM = 12; + + /** + * The number of structural features of the 'ALS Term' class. + * + * + * @generated + * @ordered + */ + int ALS_TERM_FEATURE_COUNT = 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSVariableDeclarationImpl ALS Variable Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSVariableDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSVariableDeclaration() + * @generated + */ + int ALS_VARIABLE_DECLARATION = 13; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int ALS_VARIABLE_DECLARATION__NAME = ALS_RELATION_DECLARATION__NAME; + + /** + * The feature id for the 'Range' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_VARIABLE_DECLARATION__RANGE = ALS_RELATION_DECLARATION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'ALS Variable Declaration' class. + * + * + * @generated + * @ordered + */ + int ALS_VARIABLE_DECLARATION_FEATURE_COUNT = ALS_RELATION_DECLARATION_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRunCommandImpl ALS Run Command}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRunCommandImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSRunCommand() + * @generated + */ + int ALS_RUN_COMMAND = 14; + + /** + * The feature id for the 'Type Scopes' containment reference list. + * + * + * @generated + * @ordered + */ + int ALS_RUN_COMMAND__TYPE_SCOPES = 0; + + /** + * The number of structural features of the 'ALS Run Command' class. + * + * + * @generated + * @ordered + */ + int ALS_RUN_COMMAND_FEATURE_COUNT = 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSTypeScopeImpl ALS Type Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSTypeScopeImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSTypeScope() + * @generated + */ + int ALS_TYPE_SCOPE = 15; + + /** + * The feature id for the 'Number' attribute. + * + * + * @generated + * @ordered + */ + int ALS_TYPE_SCOPE__NUMBER = 0; + + /** + * The number of structural features of the 'ALS Type Scope' class. + * + * + * @generated + * @ordered + */ + int ALS_TYPE_SCOPE_FEATURE_COUNT = 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSigScopeImpl ALS Sig Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSigScopeImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSSigScope() + * @generated + */ + int ALS_SIG_SCOPE = 16; + + /** + * The feature id for the 'Number' attribute. + * + * + * @generated + * @ordered + */ + int ALS_SIG_SCOPE__NUMBER = ALS_TYPE_SCOPE__NUMBER; + + /** + * The feature id for the 'Exactly' attribute. + * + * + * @generated + * @ordered + */ + int ALS_SIG_SCOPE__EXACTLY = ALS_TYPE_SCOPE_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Type' reference. + * + * + * @generated + * @ordered + */ + int ALS_SIG_SCOPE__TYPE = ALS_TYPE_SCOPE_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Sig Scope' class. + * + * + * @generated + * @ordered + */ + int ALS_SIG_SCOPE_FEATURE_COUNT = ALS_TYPE_SCOPE_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIntScopeImpl ALS Int Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIntScopeImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSIntScope() + * @generated + */ + int ALS_INT_SCOPE = 17; + + /** + * The feature id for the 'Number' attribute. + * + * + * @generated + * @ordered + */ + int ALS_INT_SCOPE__NUMBER = ALS_TYPE_SCOPE__NUMBER; + + /** + * The number of structural features of the 'ALS Int Scope' class. + * + * + * @generated + * @ordered + */ + int ALS_INT_SCOPE_FEATURE_COUNT = ALS_TYPE_SCOPE_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringScopeImpl ALS String Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringScopeImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSStringScope() + * @generated + */ + int ALS_STRING_SCOPE = 18; + + /** + * The feature id for the 'Number' attribute. + * + * + * @generated + * @ordered + */ + int ALS_STRING_SCOPE__NUMBER = ALS_TYPE_SCOPE__NUMBER; + + /** + * The number of structural features of the 'ALS String Scope' class. + * + * + * @generated + * @ordered + */ + int ALS_STRING_SCOPE_FEATURE_COUNT = ALS_TYPE_SCOPE_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSQuantifiedExImpl ALS Quantified Ex}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSQuantifiedExImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSQuantifiedEx() + * @generated + */ + int ALS_QUANTIFIED_EX = 19; + + /** + * The feature id for the 'Type' attribute. + * + * + * @generated + * @ordered + */ + int ALS_QUANTIFIED_EX__TYPE = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Disj' attribute. + * + * + * @generated + * @ordered + */ + int ALS_QUANTIFIED_EX__DISJ = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The feature id for the 'Variables' containment reference list. + * + * + * @generated + * @ordered + */ + int ALS_QUANTIFIED_EX__VARIABLES = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The feature id for the 'Expression' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_QUANTIFIED_EX__EXPRESSION = ALS_TERM_FEATURE_COUNT + 3; + + /** + * The number of structural features of the 'ALS Quantified Ex' class. + * + * + * @generated + * @ordered + */ + int ALS_QUANTIFIED_EX_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 4; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSOrImpl ALS Or}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSOrImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSOr() + * @generated + */ + int ALS_OR = 20; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_OR__LEFT_OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_OR__RIGHT_OPERAND = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Or' class. + * + * + * @generated + * @ordered + */ + int ALS_OR_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIffImpl ALS Iff}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIffImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSIff() + * @generated + */ + int ALS_IFF = 21; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_IFF__LEFT_OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_IFF__RIGHT_OPERAND = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Iff' class. + * + * + * @generated + * @ordered + */ + int ALS_IFF_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSImplImpl ALS Impl}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSImplImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSImpl() + * @generated + */ + int ALS_IMPL = 22; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_IMPL__LEFT_OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_IMPL__RIGHT_OPERAND = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The feature id for the 'Else Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_IMPL__ELSE_OPERAND = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The number of structural features of the 'ALS Impl' class. + * + * + * @generated + * @ordered + */ + int ALS_IMPL_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 3; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSAndImpl ALS And}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSAndImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSAnd() + * @generated + */ + int ALS_AND = 23; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_AND__LEFT_OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_AND__RIGHT_OPERAND = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS And' class. + * + * + * @generated + * @ordered + */ + int ALS_AND_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSEqualsImpl ALS Equals}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSEqualsImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSEquals() + * @generated + */ + int ALS_EQUALS = 24; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_EQUALS__LEFT_OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_EQUALS__RIGHT_OPERAND = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Equals' class. + * + * + * @generated + * @ordered + */ + int ALS_EQUALS_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSNotEqualsImpl ALS Not Equals}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSNotEqualsImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNotEquals() + * @generated + */ + int ALS_NOT_EQUALS = 25; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_NOT_EQUALS__LEFT_OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_NOT_EQUALS__RIGHT_OPERAND = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Not Equals' class. + * + * + * @generated + * @ordered + */ + int ALS_NOT_EQUALS_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSubsetImpl ALS Subset}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSubsetImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSSubset() + * @generated + */ + int ALS_SUBSET = 26; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_SUBSET__LEFT_OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_SUBSET__RIGHT_OPERAND = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Subset' class. + * + * + * @generated + * @ordered + */ + int ALS_SUBSET_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSLessImpl ALS Less}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSLessImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSLess() + * @generated + */ + int ALS_LESS = 27; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_LESS__LEFT_OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_LESS__RIGHT_OPERAND = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Less' class. + * + * + * @generated + * @ordered + */ + int ALS_LESS_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSLeqImpl ALS Leq}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSLeqImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSLeq() + * @generated + */ + int ALS_LEQ = 28; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_LEQ__LEFT_OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_LEQ__RIGHT_OPERAND = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Leq' class. + * + * + * @generated + * @ordered + */ + int ALS_LEQ_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSMoreImpl ALS More}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSMoreImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMore() + * @generated + */ + int ALS_MORE = 29; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_MORE__LEFT_OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_MORE__RIGHT_OPERAND = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS More' class. + * + * + * @generated + * @ordered + */ + int ALS_MORE_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSMeqImpl ALS Meq}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSMeqImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMeq() + * @generated + */ + int ALS_MEQ = 30; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_MEQ__LEFT_OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_MEQ__RIGHT_OPERAND = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Meq' class. + * + * + * @generated + * @ordered + */ + int ALS_MEQ_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSOverrideImpl ALS Override}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSOverrideImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSOverride() + * @generated + */ + int ALS_OVERRIDE = 31; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_OVERRIDE__LEFT_OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_OVERRIDE__RIGHT_OPERAND = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Override' class. + * + * + * @generated + * @ordered + */ + int ALS_OVERRIDE_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRangeRestrictionRightImpl ALS Range Restriction Right}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRangeRestrictionRightImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSRangeRestrictionRight() + * @generated + */ + int ALS_RANGE_RESTRICTION_RIGHT = 32; + + /** + * The feature id for the 'Relation' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_RANGE_RESTRICTION_RIGHT__RELATION = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Filter' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_RANGE_RESTRICTION_RIGHT__FILTER = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Range Restriction Right' class. + * + * + * @generated + * @ordered + */ + int ALS_RANGE_RESTRICTION_RIGHT_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRangeRestrictionLeftImpl ALS Range Restriction Left}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRangeRestrictionLeftImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSRangeRestrictionLeft() + * @generated + */ + int ALS_RANGE_RESTRICTION_LEFT = 33; + + /** + * The feature id for the 'Filter' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_RANGE_RESTRICTION_LEFT__FILTER = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Relation' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_RANGE_RESTRICTION_LEFT__RELATION = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Range Restriction Left' class. + * + * + * @generated + * @ordered + */ + int ALS_RANGE_RESTRICTION_LEFT_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSJoinImpl ALS Join}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSJoinImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSJoin() + * @generated + */ + int ALS_JOIN = 34; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_JOIN__LEFT_OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_JOIN__RIGHT_OPERAND = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Join' class. + * + * + * @generated + * @ordered + */ + int ALS_JOIN_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSMinusImpl ALS Minus}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSMinusImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMinus() + * @generated + */ + int ALS_MINUS = 35; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_MINUS__LEFT_OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_MINUS__RIGHT_OPERAND = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Minus' class. + * + * + * @generated + * @ordered + */ + int ALS_MINUS_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSPlusImpl ALS Plus}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSPlusImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSPlus() + * @generated + */ + int ALS_PLUS = 36; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_PLUS__LEFT_OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_PLUS__RIGHT_OPERAND = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Plus' class. + * + * + * @generated + * @ordered + */ + int ALS_PLUS_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIntersectionImpl ALS Intersection}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIntersectionImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSIntersection() + * @generated + */ + int ALS_INTERSECTION = 37; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_INTERSECTION__LEFT_OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_INTERSECTION__RIGHT_OPERAND = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Intersection' class. + * + * + * @generated + * @ordered + */ + int ALS_INTERSECTION_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSDirectProductImpl ALS Direct Product}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSDirectProductImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSDirectProduct() + * @generated + */ + int ALS_DIRECT_PRODUCT = 38; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_DIRECT_PRODUCT__LEFT_OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Left Multiplicit' attribute. + * + * + * @generated + * @ordered + */ + int ALS_DIRECT_PRODUCT__LEFT_MULTIPLICIT = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The feature id for the 'Right Multiplicit' attribute. + * + * + * @generated + * @ordered + */ + int ALS_DIRECT_PRODUCT__RIGHT_MULTIPLICIT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_DIRECT_PRODUCT__RIGHT_OPERAND = ALS_TERM_FEATURE_COUNT + 3; + + /** + * The number of structural features of the 'ALS Direct Product' class. + * + * + * @generated + * @ordered + */ + int ALS_DIRECT_PRODUCT_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 4; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSNotImpl ALS Not}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSNotImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNot() + * @generated + */ + int ALS_NOT = 39; + + /** + * The feature id for the 'Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_NOT__OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'ALS Not' class. + * + * + * @generated + * @ordered + */ + int ALS_NOT_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSInverseRelationImpl ALS Inverse Relation}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSInverseRelationImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSInverseRelation() + * @generated + */ + int ALS_INVERSE_RELATION = 40; + + /** + * The feature id for the 'Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_INVERSE_RELATION__OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'ALS Inverse Relation' class. + * + * + * @generated + * @ordered + */ + int ALS_INVERSE_RELATION_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlSTransitiveClosureImpl Al STransitive Closure}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlSTransitiveClosureImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getAlSTransitiveClosure() + * @generated + */ + int AL_STRANSITIVE_CLOSURE = 41; + + /** + * The feature id for the 'Operand' containment reference. + * + * + * @generated + * @ordered + */ + int AL_STRANSITIVE_CLOSURE__OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Al STransitive Closure' class. + * + * + * @generated + * @ordered + */ + int AL_STRANSITIVE_CLOSURE_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSReflectiveTransitiveClosureImpl ALS Reflective Transitive Closure}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSReflectiveTransitiveClosureImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSReflectiveTransitiveClosure() + * @generated + */ + int ALS_REFLECTIVE_TRANSITIVE_CLOSURE = 42; + + /** + * The feature id for the 'Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_REFLECTIVE_TRANSITIVE_CLOSURE__OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'ALS Reflective Transitive Closure' class. + * + * + * @generated + * @ordered + */ + int ALS_REFLECTIVE_TRANSITIVE_CLOSURE_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSCardinalityImpl ALS Cardinality}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSCardinalityImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSCardinality() + * @generated + */ + int ALS_CARDINALITY = 43; + + /** + * The feature id for the 'Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_CARDINALITY__OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'ALS Cardinality' class. + * + * + * @generated + * @ordered + */ + int ALS_CARDINALITY_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSUnaryMinusImpl ALS Unary Minus}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSUnaryMinusImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSUnaryMinus() + * @generated + */ + int ALS_UNARY_MINUS = 44; + + /** + * The feature id for the 'Operand' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_UNARY_MINUS__OPERAND = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'ALS Unary Minus' class. + * + * + * @generated + * @ordered + */ + int ALS_UNARY_MINUS_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSumImpl ALS Sum}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSumImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSSum() + * @generated + */ + int ALS_SUM = 45; + + /** + * The feature id for the 'Variables' containment reference list. + * + * + * @generated + * @ordered + */ + int ALS_SUM__VARIABLES = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Expression' containment reference. + * + * + * @generated + * @ordered + */ + int ALS_SUM__EXPRESSION = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'ALS Sum' class. + * + * + * @generated + * @ordered + */ + int ALS_SUM_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSFunctionCallImpl ALS Function Call}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSFunctionCallImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSFunctionCall() + * @generated + */ + int ALS_FUNCTION_CALL = 46; + + /** + * The feature id for the 'Referred Definition' reference. + * + * + * @generated + * @ordered + */ + int ALS_FUNCTION_CALL__REFERRED_DEFINITION = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Referred Numeric Operator' attribute. + * + * + * @generated + * @ordered + */ + int ALS_FUNCTION_CALL__REFERRED_NUMERIC_OPERATOR = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The feature id for the 'Params' containment reference list. + * + * + * @generated + * @ordered + */ + int ALS_FUNCTION_CALL__PARAMS = ALS_TERM_FEATURE_COUNT + 2; + + /** + * The number of structural features of the 'ALS Function Call' class. + * + * + * @generated + * @ordered + */ + int ALS_FUNCTION_CALL_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 3; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSNoneImpl ALS None}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSNoneImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNone() + * @generated + */ + int ALS_NONE = 47; + + /** + * The number of structural features of the 'ALS None' class. + * + * + * @generated + * @ordered + */ + int ALS_NONE_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIdenImpl ALS Iden}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIdenImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSIden() + * @generated + */ + int ALS_IDEN = 48; + + /** + * The number of structural features of the 'ALS Iden' class. + * + * + * @generated + * @ordered + */ + int ALS_IDEN_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSUnivImpl ALS Univ}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSUnivImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSUniv() + * @generated + */ + int ALS_UNIV = 49; + + /** + * The number of structural features of the 'ALS Univ' class. + * + * + * @generated + * @ordered + */ + int ALS_UNIV_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIntImpl ALS Int}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIntImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSInt() + * @generated + */ + int ALS_INT = 50; + + /** + * The number of structural features of the 'ALS Int' class. + * + * + * @generated + * @ordered + */ + int ALS_INT_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringImpl ALS String}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSString() + * @generated + */ + int ALS_STRING = 51; + + /** + * The number of structural features of the 'ALS String' class. + * + * + * @generated + * @ordered + */ + int ALS_STRING_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSReferenceImpl ALS Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSReference() + * @generated + */ + int ALS_REFERENCE = 52; + + /** + * The feature id for the 'Referred' reference. + * + * + * @generated + * @ordered + */ + int ALS_REFERENCE__REFERRED = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'ALS Reference' class. + * + * + * @generated + * @ordered + */ + int ALS_REFERENCE_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSNumberLiteralImpl ALS Number Literal}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSNumberLiteralImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNumberLiteral() + * @generated + */ + int ALS_NUMBER_LITERAL = 53; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int ALS_NUMBER_LITERAL__VALUE = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'ALS Number Literal' class. + * + * + * @generated + * @ordered + */ + int ALS_NUMBER_LITERAL_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringLiteralImpl ALS String Literal}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringLiteralImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSStringLiteral() + * @generated + */ + int ALS_STRING_LITERAL = 54; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int ALS_STRING_LITERAL__VALUE = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'ALS String Literal' class. + * + * + * @generated + * @ordered + */ + int ALS_STRING_LITERAL_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity ALS Multiplicity}' enum. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMultiplicity() + * @generated + */ + int ALS_MULTIPLICITY = 55; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNumericOperator ALS Numeric Operator}' enum. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNumericOperator + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNumericOperator() + * @generated + */ + int ALS_NUMERIC_OPERATOR = 56; + + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument ALS Document}'. + * + * + * @return the meta object for class 'ALS Document'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument + * @generated + */ + EClass getALSDocument(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument#getEnumDeclarations Enum Declarations}'. + * + * + * @return the meta object for the containment reference list 'Enum Declarations'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument#getEnumDeclarations() + * @see #getALSDocument() + * @generated + */ + EReference getALSDocument_EnumDeclarations(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument#getSignatureBodies Signature Bodies}'. + * + * + * @return the meta object for the containment reference list 'Signature Bodies'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument#getSignatureBodies() + * @see #getALSDocument() + * @generated + */ + EReference getALSDocument_SignatureBodies(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument#getFunctionDefinitions Function Definitions}'. + * + * + * @return the meta object for the containment reference list 'Function Definitions'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument#getFunctionDefinitions() + * @see #getALSDocument() + * @generated + */ + EReference getALSDocument_FunctionDefinitions(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument#getRelationDefinitions Relation Definitions}'. + * + * + * @return the meta object for the containment reference list 'Relation Definitions'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument#getRelationDefinitions() + * @see #getALSDocument() + * @generated + */ + EReference getALSDocument_RelationDefinitions(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument#getFactDeclarations Fact Declarations}'. + * + * + * @return the meta object for the containment reference list 'Fact Declarations'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument#getFactDeclarations() + * @see #getALSDocument() + * @generated + */ + EReference getALSDocument_FactDeclarations(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument#getRunCommand Run Command}'. + * + * + * @return the meta object for the containment reference 'Run Command'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument#getRunCommand() + * @see #getALSDocument() + * @generated + */ + EReference getALSDocument_RunCommand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRelationDeclaration ALS Relation Declaration}'. + * + * + * @return the meta object for class 'ALS Relation Declaration'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRelationDeclaration + * @generated + */ + EClass getALSRelationDeclaration(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRelationDeclaration#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRelationDeclaration#getName() + * @see #getALSRelationDeclaration() + * @generated + */ + EAttribute getALSRelationDeclaration_Name(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTypeDeclaration ALS Type Declaration}'. + * + * + * @return the meta object for class 'ALS Type Declaration'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTypeDeclaration + * @generated + */ + EClass getALSTypeDeclaration(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEnumDeclaration ALS Enum Declaration}'. + * + * + * @return the meta object for class 'ALS Enum Declaration'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEnumDeclaration + * @generated + */ + EClass getALSEnumDeclaration(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEnumDeclaration#getLiteral Literal}'. + * + * + * @return the meta object for the containment reference list 'Literal'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEnumDeclaration#getLiteral() + * @see #getALSEnumDeclaration() + * @generated + */ + EReference getALSEnumDeclaration_Literal(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEnumLiteral ALS Enum Literal}'. + * + * + * @return the meta object for class 'ALS Enum Literal'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEnumLiteral + * @generated + */ + EClass getALSEnumLiteral(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration ALS Signature Declaration}'. + * + * + * @return the meta object for class 'ALS Signature Declaration'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration + * @generated + */ + EClass getALSSignatureDeclaration(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody ALS Signature Body}'. + * + * + * @return the meta object for class 'ALS Signature Body'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody + * @generated + */ + EClass getALSSignatureBody(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody#getMultiplicity Multiplicity}'. + * + * + * @return the meta object for the attribute 'Multiplicity'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody#getMultiplicity() + * @see #getALSSignatureBody() + * @generated + */ + EAttribute getALSSignatureBody_Multiplicity(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody#isAbstract Abstract}'. + * + * + * @return the meta object for the attribute 'Abstract'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody#isAbstract() + * @see #getALSSignatureBody() + * @generated + */ + EAttribute getALSSignatureBody_Abstract(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody#getDeclarations Declarations}'. + * + * + * @return the meta object for the containment reference list 'Declarations'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody#getDeclarations() + * @see #getALSSignatureBody() + * @generated + */ + EReference getALSSignatureBody_Declarations(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody#getSupertype Supertype}'. + * + * + * @return the meta object for the reference 'Supertype'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody#getSupertype() + * @see #getALSSignatureBody() + * @generated + */ + EReference getALSSignatureBody_Supertype(); + + /** + * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody#getSuperset Superset}'. + * + * + * @return the meta object for the reference list 'Superset'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody#getSuperset() + * @see #getALSSignatureBody() + * @generated + */ + EReference getALSSignatureBody_Superset(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody#getFields Fields}'. + * + * + * @return the meta object for the containment reference list 'Fields'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody#getFields() + * @see #getALSSignatureBody() + * @generated + */ + EReference getALSSignatureBody_Fields(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFieldDeclaration ALS Field Declaration}'. + * + * + * @return the meta object for class 'ALS Field Declaration'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFieldDeclaration + * @generated + */ + EClass getALSFieldDeclaration(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFieldDeclaration#getMultiplicity Multiplicity}'. + * + * + * @return the meta object for the attribute 'Multiplicity'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFieldDeclaration#getMultiplicity() + * @see #getALSFieldDeclaration() + * @generated + */ + EAttribute getALSFieldDeclaration_Multiplicity(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFieldDeclaration#getType Type}'. + * + * + * @return the meta object for the containment reference 'Type'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFieldDeclaration#getType() + * @see #getALSFieldDeclaration() + * @generated + */ + EReference getALSFieldDeclaration_Type(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDefinition ALS Definition}'. + * + * + * @return the meta object for class 'ALS Definition'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDefinition + * @generated + */ + EClass getALSDefinition(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDefinition#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDefinition#getName() + * @see #getALSDefinition() + * @generated + */ + EAttribute getALSDefinition_Name(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDefinition#getVariables Variables}'. + * + * + * @return the meta object for the containment reference list 'Variables'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDefinition#getVariables() + * @see #getALSDefinition() + * @generated + */ + EReference getALSDefinition_Variables(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDefinition#getValue Value}'. + * + * + * @return the meta object for the containment reference 'Value'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDefinition#getValue() + * @see #getALSDefinition() + * @generated + */ + EReference getALSDefinition_Value(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionDefinition ALS Function Definition}'. + * + * + * @return the meta object for class 'ALS Function Definition'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionDefinition + * @generated + */ + EClass getALSFunctionDefinition(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionDefinition#getType Type}'. + * + * + * @return the meta object for the containment reference 'Type'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionDefinition#getType() + * @see #getALSFunctionDefinition() + * @generated + */ + EReference getALSFunctionDefinition_Type(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRelationDefinition ALS Relation Definition}'. + * + * + * @return the meta object for class 'ALS Relation Definition'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRelationDefinition + * @generated + */ + EClass getALSRelationDefinition(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFactDeclaration ALS Fact Declaration}'. + * + * + * @return the meta object for class 'ALS Fact Declaration'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFactDeclaration + * @generated + */ + EClass getALSFactDeclaration(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFactDeclaration#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFactDeclaration#getName() + * @see #getALSFactDeclaration() + * @generated + */ + EAttribute getALSFactDeclaration_Name(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFactDeclaration#getTerm Term}'. + * + * + * @return the meta object for the containment reference 'Term'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFactDeclaration#getTerm() + * @see #getALSFactDeclaration() + * @generated + */ + EReference getALSFactDeclaration_Term(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTerm ALS Term}'. + * + * + * @return the meta object for class 'ALS Term'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTerm + * @generated + */ + EClass getALSTerm(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSVariableDeclaration ALS Variable Declaration}'. + * + * + * @return the meta object for class 'ALS Variable Declaration'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSVariableDeclaration + * @generated + */ + EClass getALSVariableDeclaration(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSVariableDeclaration#getRange Range}'. + * + * + * @return the meta object for the containment reference 'Range'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSVariableDeclaration#getRange() + * @see #getALSVariableDeclaration() + * @generated + */ + EReference getALSVariableDeclaration_Range(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRunCommand ALS Run Command}'. + * + * + * @return the meta object for class 'ALS Run Command'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRunCommand + * @generated + */ + EClass getALSRunCommand(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRunCommand#getTypeScopes Type Scopes}'. + * + * + * @return the meta object for the containment reference list 'Type Scopes'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRunCommand#getTypeScopes() + * @see #getALSRunCommand() + * @generated + */ + EReference getALSRunCommand_TypeScopes(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTypeScope ALS Type Scope}'. + * + * + * @return the meta object for class 'ALS Type Scope'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTypeScope + * @generated + */ + EClass getALSTypeScope(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTypeScope#getNumber Number}'. + * + * + * @return the meta object for the attribute 'Number'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTypeScope#getNumber() + * @see #getALSTypeScope() + * @generated + */ + EAttribute getALSTypeScope_Number(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope ALS Sig Scope}'. + * + * + * @return the meta object for class 'ALS Sig Scope'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope + * @generated + */ + EClass getALSSigScope(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope#isExactly Exactly}'. + * + * + * @return the meta object for the attribute 'Exactly'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope#isExactly() + * @see #getALSSigScope() + * @generated + */ + EAttribute getALSSigScope_Exactly(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope#getType Type}'. + * + * + * @return the meta object for the reference 'Type'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope#getType() + * @see #getALSSigScope() + * @generated + */ + EReference getALSSigScope_Type(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIntScope ALS Int Scope}'. + * + * + * @return the meta object for class 'ALS Int Scope'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIntScope + * @generated + */ + EClass getALSIntScope(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope ALS String Scope}'. + * + * + * @return the meta object for class 'ALS String Scope'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope + * @generated + */ + EClass getALSStringScope(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx ALS Quantified Ex}'. + * + * + * @return the meta object for class 'ALS Quantified Ex'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx + * @generated + */ + EClass getALSQuantifiedEx(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#getType Type}'. + * + * + * @return the meta object for the attribute 'Type'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#getType() + * @see #getALSQuantifiedEx() + * @generated + */ + EAttribute getALSQuantifiedEx_Type(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#isDisj Disj}'. + * + * + * @return the meta object for the attribute 'Disj'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#isDisj() + * @see #getALSQuantifiedEx() + * @generated + */ + EAttribute getALSQuantifiedEx_Disj(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#getVariables Variables}'. + * + * + * @return the meta object for the containment reference list 'Variables'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#getVariables() + * @see #getALSQuantifiedEx() + * @generated + */ + EReference getALSQuantifiedEx_Variables(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#getExpression Expression}'. + * + * + * @return the meta object for the containment reference 'Expression'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#getExpression() + * @see #getALSQuantifiedEx() + * @generated + */ + EReference getALSQuantifiedEx_Expression(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSOr ALS Or}'. + * + * + * @return the meta object for class 'ALS Or'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSOr + * @generated + */ + EClass getALSOr(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSOr#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSOr#getLeftOperand() + * @see #getALSOr() + * @generated + */ + EReference getALSOr_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSOr#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSOr#getRightOperand() + * @see #getALSOr() + * @generated + */ + EReference getALSOr_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIff ALS Iff}'. + * + * + * @return the meta object for class 'ALS Iff'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIff + * @generated + */ + EClass getALSIff(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIff#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIff#getLeftOperand() + * @see #getALSIff() + * @generated + */ + EReference getALSIff_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIff#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIff#getRightOperand() + * @see #getALSIff() + * @generated + */ + EReference getALSIff_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSImpl ALS Impl}'. + * + * + * @return the meta object for class 'ALS Impl'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSImpl + * @generated + */ + EClass getALSImpl(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSImpl#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSImpl#getLeftOperand() + * @see #getALSImpl() + * @generated + */ + EReference getALSImpl_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSImpl#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSImpl#getRightOperand() + * @see #getALSImpl() + * @generated + */ + EReference getALSImpl_RightOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSImpl#getElseOperand Else Operand}'. + * + * + * @return the meta object for the containment reference 'Else Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSImpl#getElseOperand() + * @see #getALSImpl() + * @generated + */ + EReference getALSImpl_ElseOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSAnd ALS And}'. + * + * + * @return the meta object for class 'ALS And'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSAnd + * @generated + */ + EClass getALSAnd(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSAnd#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSAnd#getLeftOperand() + * @see #getALSAnd() + * @generated + */ + EReference getALSAnd_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSAnd#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSAnd#getRightOperand() + * @see #getALSAnd() + * @generated + */ + EReference getALSAnd_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEquals ALS Equals}'. + * + * + * @return the meta object for class 'ALS Equals'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEquals + * @generated + */ + EClass getALSEquals(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEquals#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEquals#getLeftOperand() + * @see #getALSEquals() + * @generated + */ + EReference getALSEquals_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEquals#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEquals#getRightOperand() + * @see #getALSEquals() + * @generated + */ + EReference getALSEquals_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNotEquals ALS Not Equals}'. + * + * + * @return the meta object for class 'ALS Not Equals'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNotEquals + * @generated + */ + EClass getALSNotEquals(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNotEquals#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNotEquals#getLeftOperand() + * @see #getALSNotEquals() + * @generated + */ + EReference getALSNotEquals_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNotEquals#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNotEquals#getRightOperand() + * @see #getALSNotEquals() + * @generated + */ + EReference getALSNotEquals_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset ALS Subset}'. + * + * + * @return the meta object for class 'ALS Subset'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset + * @generated + */ + EClass getALSSubset(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset#getLeftOperand() + * @see #getALSSubset() + * @generated + */ + EReference getALSSubset_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset#getRightOperand() + * @see #getALSSubset() + * @generated + */ + EReference getALSSubset_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSLess ALS Less}'. + * + * + * @return the meta object for class 'ALS Less'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSLess + * @generated + */ + EClass getALSLess(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSLess#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSLess#getLeftOperand() + * @see #getALSLess() + * @generated + */ + EReference getALSLess_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSLess#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSLess#getRightOperand() + * @see #getALSLess() + * @generated + */ + EReference getALSLess_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSLeq ALS Leq}'. + * + * + * @return the meta object for class 'ALS Leq'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSLeq + * @generated + */ + EClass getALSLeq(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSLeq#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSLeq#getLeftOperand() + * @see #getALSLeq() + * @generated + */ + EReference getALSLeq_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSLeq#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSLeq#getRightOperand() + * @see #getALSLeq() + * @generated + */ + EReference getALSLeq_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMore ALS More}'. + * + * + * @return the meta object for class 'ALS More'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMore + * @generated + */ + EClass getALSMore(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMore#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMore#getLeftOperand() + * @see #getALSMore() + * @generated + */ + EReference getALSMore_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMore#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMore#getRightOperand() + * @see #getALSMore() + * @generated + */ + EReference getALSMore_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMeq ALS Meq}'. + * + * + * @return the meta object for class 'ALS Meq'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMeq + * @generated + */ + EClass getALSMeq(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMeq#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMeq#getLeftOperand() + * @see #getALSMeq() + * @generated + */ + EReference getALSMeq_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMeq#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMeq#getRightOperand() + * @see #getALSMeq() + * @generated + */ + EReference getALSMeq_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSOverride ALS Override}'. + * + * + * @return the meta object for class 'ALS Override'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSOverride + * @generated + */ + EClass getALSOverride(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSOverride#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSOverride#getLeftOperand() + * @see #getALSOverride() + * @generated + */ + EReference getALSOverride_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSOverride#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSOverride#getRightOperand() + * @see #getALSOverride() + * @generated + */ + EReference getALSOverride_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRangeRestrictionRight ALS Range Restriction Right}'. + * + * + * @return the meta object for class 'ALS Range Restriction Right'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRangeRestrictionRight + * @generated + */ + EClass getALSRangeRestrictionRight(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRangeRestrictionRight#getRelation Relation}'. + * + * + * @return the meta object for the containment reference 'Relation'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRangeRestrictionRight#getRelation() + * @see #getALSRangeRestrictionRight() + * @generated + */ + EReference getALSRangeRestrictionRight_Relation(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRangeRestrictionRight#getFilter Filter}'. + * + * + * @return the meta object for the containment reference 'Filter'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRangeRestrictionRight#getFilter() + * @see #getALSRangeRestrictionRight() + * @generated + */ + EReference getALSRangeRestrictionRight_Filter(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRangeRestrictionLeft ALS Range Restriction Left}'. + * + * + * @return the meta object for class 'ALS Range Restriction Left'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRangeRestrictionLeft + * @generated + */ + EClass getALSRangeRestrictionLeft(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRangeRestrictionLeft#getFilter Filter}'. + * + * + * @return the meta object for the containment reference 'Filter'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRangeRestrictionLeft#getFilter() + * @see #getALSRangeRestrictionLeft() + * @generated + */ + EReference getALSRangeRestrictionLeft_Filter(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRangeRestrictionLeft#getRelation Relation}'. + * + * + * @return the meta object for the containment reference 'Relation'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRangeRestrictionLeft#getRelation() + * @see #getALSRangeRestrictionLeft() + * @generated + */ + EReference getALSRangeRestrictionLeft_Relation(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSJoin ALS Join}'. + * + * + * @return the meta object for class 'ALS Join'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSJoin + * @generated + */ + EClass getALSJoin(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSJoin#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSJoin#getLeftOperand() + * @see #getALSJoin() + * @generated + */ + EReference getALSJoin_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSJoin#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSJoin#getRightOperand() + * @see #getALSJoin() + * @generated + */ + EReference getALSJoin_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMinus ALS Minus}'. + * + * + * @return the meta object for class 'ALS Minus'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMinus + * @generated + */ + EClass getALSMinus(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMinus#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMinus#getLeftOperand() + * @see #getALSMinus() + * @generated + */ + EReference getALSMinus_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMinus#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMinus#getRightOperand() + * @see #getALSMinus() + * @generated + */ + EReference getALSMinus_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSPlus ALS Plus}'. + * + * + * @return the meta object for class 'ALS Plus'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSPlus + * @generated + */ + EClass getALSPlus(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSPlus#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSPlus#getLeftOperand() + * @see #getALSPlus() + * @generated + */ + EReference getALSPlus_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSPlus#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSPlus#getRightOperand() + * @see #getALSPlus() + * @generated + */ + EReference getALSPlus_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIntersection ALS Intersection}'. + * + * + * @return the meta object for class 'ALS Intersection'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIntersection + * @generated + */ + EClass getALSIntersection(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIntersection#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIntersection#getLeftOperand() + * @see #getALSIntersection() + * @generated + */ + EReference getALSIntersection_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIntersection#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIntersection#getRightOperand() + * @see #getALSIntersection() + * @generated + */ + EReference getALSIntersection_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct ALS Direct Product}'. + * + * + * @return the meta object for class 'ALS Direct Product'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct + * @generated + */ + EClass getALSDirectProduct(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct#getLeftOperand() + * @see #getALSDirectProduct() + * @generated + */ + EReference getALSDirectProduct_LeftOperand(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct#getLeftMultiplicit Left Multiplicit}'. + * + * + * @return the meta object for the attribute 'Left Multiplicit'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct#getLeftMultiplicit() + * @see #getALSDirectProduct() + * @generated + */ + EAttribute getALSDirectProduct_LeftMultiplicit(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct#getRightMultiplicit Right Multiplicit}'. + * + * + * @return the meta object for the attribute 'Right Multiplicit'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct#getRightMultiplicit() + * @see #getALSDirectProduct() + * @generated + */ + EAttribute getALSDirectProduct_RightMultiplicit(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct#getRightOperand() + * @see #getALSDirectProduct() + * @generated + */ + EReference getALSDirectProduct_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNot ALS Not}'. + * + * + * @return the meta object for class 'ALS Not'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNot + * @generated + */ + EClass getALSNot(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNot#getOperand Operand}'. + * + * + * @return the meta object for the containment reference 'Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNot#getOperand() + * @see #getALSNot() + * @generated + */ + EReference getALSNot_Operand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSInverseRelation ALS Inverse Relation}'. + * + * + * @return the meta object for class 'ALS Inverse Relation'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSInverseRelation + * @generated + */ + EClass getALSInverseRelation(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSInverseRelation#getOperand Operand}'. + * + * + * @return the meta object for the containment reference 'Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSInverseRelation#getOperand() + * @see #getALSInverseRelation() + * @generated + */ + EReference getALSInverseRelation_Operand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.AlSTransitiveClosure Al STransitive Closure}'. + * + * + * @return the meta object for class 'Al STransitive Closure'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlSTransitiveClosure + * @generated + */ + EClass getAlSTransitiveClosure(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.AlSTransitiveClosure#getOperand Operand}'. + * + * + * @return the meta object for the containment reference 'Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlSTransitiveClosure#getOperand() + * @see #getAlSTransitiveClosure() + * @generated + */ + EReference getAlSTransitiveClosure_Operand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReflectiveTransitiveClosure ALS Reflective Transitive Closure}'. + * + * + * @return the meta object for class 'ALS Reflective Transitive Closure'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReflectiveTransitiveClosure + * @generated + */ + EClass getALSReflectiveTransitiveClosure(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReflectiveTransitiveClosure#getOperand Operand}'. + * + * + * @return the meta object for the containment reference 'Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReflectiveTransitiveClosure#getOperand() + * @see #getALSReflectiveTransitiveClosure() + * @generated + */ + EReference getALSReflectiveTransitiveClosure_Operand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSCardinality ALS Cardinality}'. + * + * + * @return the meta object for class 'ALS Cardinality'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSCardinality + * @generated + */ + EClass getALSCardinality(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSCardinality#getOperand Operand}'. + * + * + * @return the meta object for the containment reference 'Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSCardinality#getOperand() + * @see #getALSCardinality() + * @generated + */ + EReference getALSCardinality_Operand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSUnaryMinus ALS Unary Minus}'. + * + * + * @return the meta object for class 'ALS Unary Minus'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSUnaryMinus + * @generated + */ + EClass getALSUnaryMinus(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSUnaryMinus#getOperand Operand}'. + * + * + * @return the meta object for the containment reference 'Operand'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSUnaryMinus#getOperand() + * @see #getALSUnaryMinus() + * @generated + */ + EReference getALSUnaryMinus_Operand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum ALS Sum}'. + * + * + * @return the meta object for class 'ALS Sum'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum + * @generated + */ + EClass getALSSum(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum#getVariables Variables}'. + * + * + * @return the meta object for the containment reference list 'Variables'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum#getVariables() + * @see #getALSSum() + * @generated + */ + EReference getALSSum_Variables(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum#getExpression Expression}'. + * + * + * @return the meta object for the containment reference 'Expression'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum#getExpression() + * @see #getALSSum() + * @generated + */ + EReference getALSSum_Expression(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionCall ALS Function Call}'. + * + * + * @return the meta object for class 'ALS Function Call'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionCall + * @generated + */ + EClass getALSFunctionCall(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionCall#getReferredDefinition Referred Definition}'. + * + * + * @return the meta object for the reference 'Referred Definition'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionCall#getReferredDefinition() + * @see #getALSFunctionCall() + * @generated + */ + EReference getALSFunctionCall_ReferredDefinition(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionCall#getReferredNumericOperator Referred Numeric Operator}'. + * + * + * @return the meta object for the attribute 'Referred Numeric Operator'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionCall#getReferredNumericOperator() + * @see #getALSFunctionCall() + * @generated + */ + EAttribute getALSFunctionCall_ReferredNumericOperator(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionCall#getParams Params}'. + * + * + * @return the meta object for the containment reference list 'Params'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionCall#getParams() + * @see #getALSFunctionCall() + * @generated + */ + EReference getALSFunctionCall_Params(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNone ALS None}'. + * + * + * @return the meta object for class 'ALS None'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNone + * @generated + */ + EClass getALSNone(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIden ALS Iden}'. + * + * + * @return the meta object for class 'ALS Iden'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIden + * @generated + */ + EClass getALSIden(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSUniv ALS Univ}'. + * + * + * @return the meta object for class 'ALS Univ'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSUniv + * @generated + */ + EClass getALSUniv(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSInt ALS Int}'. + * + * + * @return the meta object for class 'ALS Int'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSInt + * @generated + */ + EClass getALSInt(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString ALS String}'. + * + * + * @return the meta object for class 'ALS String'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString + * @generated + */ + EClass getALSString(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReference ALS Reference}'. + * + * + * @return the meta object for class 'ALS Reference'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReference + * @generated + */ + EClass getALSReference(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReference#getReferred Referred}'. + * + * + * @return the meta object for the reference 'Referred'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReference#getReferred() + * @see #getALSReference() + * @generated + */ + EReference getALSReference_Referred(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNumberLiteral ALS Number Literal}'. + * + * + * @return the meta object for class 'ALS Number Literal'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNumberLiteral + * @generated + */ + EClass getALSNumberLiteral(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNumberLiteral#getValue Value}'. + * + * + * @return the meta object for the attribute 'Value'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNumberLiteral#getValue() + * @see #getALSNumberLiteral() + * @generated + */ + EAttribute getALSNumberLiteral_Value(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral ALS String Literal}'. + * + * + * @return the meta object for class 'ALS String Literal'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral + * @generated + */ + EClass getALSStringLiteral(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral#getValue Value}'. + * + * + * @return the meta object for the attribute 'Value'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral#getValue() + * @see #getALSStringLiteral() + * @generated + */ + EAttribute getALSStringLiteral_Value(); + + /** + * Returns the meta object for enum '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity ALS Multiplicity}'. + * + * + * @return the meta object for enum 'ALS Multiplicity'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity + * @generated + */ + EEnum getALSMultiplicity(); + + /** + * Returns the meta object for enum '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNumericOperator ALS Numeric Operator}'. + * + * + * @return the meta object for enum 'ALS Numeric Operator'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNumericOperator + * @generated + */ + EEnum getALSNumericOperator(); + + /** + * Returns the factory that creates the instances of the model. + * + * + * @return the factory that creates the instances of the model. + * @generated + */ + AlloyLanguageFactory getAlloyLanguageFactory(); + + /** + * + * Defines literals for the meta objects that represent + * + * + * @generated + */ + interface Literals + { + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSDocumentImpl ALS Document}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSDocumentImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSDocument() + * @generated + */ + EClass ALS_DOCUMENT = eINSTANCE.getALSDocument(); + + /** + * The meta object literal for the 'Enum Declarations' containment reference list feature. + * + * + * @generated + */ + EReference ALS_DOCUMENT__ENUM_DECLARATIONS = eINSTANCE.getALSDocument_EnumDeclarations(); + + /** + * The meta object literal for the 'Signature Bodies' containment reference list feature. + * + * + * @generated + */ + EReference ALS_DOCUMENT__SIGNATURE_BODIES = eINSTANCE.getALSDocument_SignatureBodies(); + + /** + * The meta object literal for the 'Function Definitions' containment reference list feature. + * + * + * @generated + */ + EReference ALS_DOCUMENT__FUNCTION_DEFINITIONS = eINSTANCE.getALSDocument_FunctionDefinitions(); + + /** + * The meta object literal for the 'Relation Definitions' containment reference list feature. + * + * + * @generated + */ + EReference ALS_DOCUMENT__RELATION_DEFINITIONS = eINSTANCE.getALSDocument_RelationDefinitions(); + + /** + * The meta object literal for the 'Fact Declarations' containment reference list feature. + * + * + * @generated + */ + EReference ALS_DOCUMENT__FACT_DECLARATIONS = eINSTANCE.getALSDocument_FactDeclarations(); + + /** + * The meta object literal for the 'Run Command' containment reference feature. + * + * + * @generated + */ + EReference ALS_DOCUMENT__RUN_COMMAND = eINSTANCE.getALSDocument_RunCommand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRelationDeclarationImpl ALS Relation Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRelationDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSRelationDeclaration() + * @generated + */ + EClass ALS_RELATION_DECLARATION = eINSTANCE.getALSRelationDeclaration(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute ALS_RELATION_DECLARATION__NAME = eINSTANCE.getALSRelationDeclaration_Name(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSTypeDeclarationImpl ALS Type Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSTypeDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSTypeDeclaration() + * @generated + */ + EClass ALS_TYPE_DECLARATION = eINSTANCE.getALSTypeDeclaration(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSEnumDeclarationImpl ALS Enum Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSEnumDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSEnumDeclaration() + * @generated + */ + EClass ALS_ENUM_DECLARATION = eINSTANCE.getALSEnumDeclaration(); + + /** + * The meta object literal for the 'Literal' containment reference list feature. + * + * + * @generated + */ + EReference ALS_ENUM_DECLARATION__LITERAL = eINSTANCE.getALSEnumDeclaration_Literal(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSEnumLiteralImpl ALS Enum Literal}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSEnumLiteralImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSEnumLiteral() + * @generated + */ + EClass ALS_ENUM_LITERAL = eINSTANCE.getALSEnumLiteral(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSignatureDeclarationImpl ALS Signature Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSignatureDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSSignatureDeclaration() + * @generated + */ + EClass ALS_SIGNATURE_DECLARATION = eINSTANCE.getALSSignatureDeclaration(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSignatureBodyImpl ALS Signature Body}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSignatureBodyImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSSignatureBody() + * @generated + */ + EClass ALS_SIGNATURE_BODY = eINSTANCE.getALSSignatureBody(); + + /** + * The meta object literal for the 'Multiplicity' attribute feature. + * + * + * @generated + */ + EAttribute ALS_SIGNATURE_BODY__MULTIPLICITY = eINSTANCE.getALSSignatureBody_Multiplicity(); + + /** + * The meta object literal for the 'Abstract' attribute feature. + * + * + * @generated + */ + EAttribute ALS_SIGNATURE_BODY__ABSTRACT = eINSTANCE.getALSSignatureBody_Abstract(); + + /** + * The meta object literal for the 'Declarations' containment reference list feature. + * + * + * @generated + */ + EReference ALS_SIGNATURE_BODY__DECLARATIONS = eINSTANCE.getALSSignatureBody_Declarations(); + + /** + * The meta object literal for the 'Supertype' reference feature. + * + * + * @generated + */ + EReference ALS_SIGNATURE_BODY__SUPERTYPE = eINSTANCE.getALSSignatureBody_Supertype(); + + /** + * The meta object literal for the 'Superset' reference list feature. + * + * + * @generated + */ + EReference ALS_SIGNATURE_BODY__SUPERSET = eINSTANCE.getALSSignatureBody_Superset(); + + /** + * The meta object literal for the 'Fields' containment reference list feature. + * + * + * @generated + */ + EReference ALS_SIGNATURE_BODY__FIELDS = eINSTANCE.getALSSignatureBody_Fields(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSFieldDeclarationImpl ALS Field Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSFieldDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSFieldDeclaration() + * @generated + */ + EClass ALS_FIELD_DECLARATION = eINSTANCE.getALSFieldDeclaration(); + + /** + * The meta object literal for the 'Multiplicity' attribute feature. + * + * + * @generated + */ + EAttribute ALS_FIELD_DECLARATION__MULTIPLICITY = eINSTANCE.getALSFieldDeclaration_Multiplicity(); + + /** + * The meta object literal for the 'Type' containment reference feature. + * + * + * @generated + */ + EReference ALS_FIELD_DECLARATION__TYPE = eINSTANCE.getALSFieldDeclaration_Type(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSDefinitionImpl ALS Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSDefinition() + * @generated + */ + EClass ALS_DEFINITION = eINSTANCE.getALSDefinition(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute ALS_DEFINITION__NAME = eINSTANCE.getALSDefinition_Name(); + + /** + * The meta object literal for the 'Variables' containment reference list feature. + * + * + * @generated + */ + EReference ALS_DEFINITION__VARIABLES = eINSTANCE.getALSDefinition_Variables(); + + /** + * The meta object literal for the 'Value' containment reference feature. + * + * + * @generated + */ + EReference ALS_DEFINITION__VALUE = eINSTANCE.getALSDefinition_Value(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSFunctionDefinitionImpl ALS Function Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSFunctionDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSFunctionDefinition() + * @generated + */ + EClass ALS_FUNCTION_DEFINITION = eINSTANCE.getALSFunctionDefinition(); + + /** + * The meta object literal for the 'Type' containment reference feature. + * + * + * @generated + */ + EReference ALS_FUNCTION_DEFINITION__TYPE = eINSTANCE.getALSFunctionDefinition_Type(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRelationDefinitionImpl ALS Relation Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRelationDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSRelationDefinition() + * @generated + */ + EClass ALS_RELATION_DEFINITION = eINSTANCE.getALSRelationDefinition(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSFactDeclarationImpl ALS Fact Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSFactDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSFactDeclaration() + * @generated + */ + EClass ALS_FACT_DECLARATION = eINSTANCE.getALSFactDeclaration(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute ALS_FACT_DECLARATION__NAME = eINSTANCE.getALSFactDeclaration_Name(); + + /** + * The meta object literal for the 'Term' containment reference feature. + * + * + * @generated + */ + EReference ALS_FACT_DECLARATION__TERM = eINSTANCE.getALSFactDeclaration_Term(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSTermImpl ALS Term}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSTermImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSTerm() + * @generated + */ + EClass ALS_TERM = eINSTANCE.getALSTerm(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSVariableDeclarationImpl ALS Variable Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSVariableDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSVariableDeclaration() + * @generated + */ + EClass ALS_VARIABLE_DECLARATION = eINSTANCE.getALSVariableDeclaration(); + + /** + * The meta object literal for the 'Range' containment reference feature. + * + * + * @generated + */ + EReference ALS_VARIABLE_DECLARATION__RANGE = eINSTANCE.getALSVariableDeclaration_Range(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRunCommandImpl ALS Run Command}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRunCommandImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSRunCommand() + * @generated + */ + EClass ALS_RUN_COMMAND = eINSTANCE.getALSRunCommand(); + + /** + * The meta object literal for the 'Type Scopes' containment reference list feature. + * + * + * @generated + */ + EReference ALS_RUN_COMMAND__TYPE_SCOPES = eINSTANCE.getALSRunCommand_TypeScopes(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSTypeScopeImpl ALS Type Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSTypeScopeImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSTypeScope() + * @generated + */ + EClass ALS_TYPE_SCOPE = eINSTANCE.getALSTypeScope(); + + /** + * The meta object literal for the 'Number' attribute feature. + * + * + * @generated + */ + EAttribute ALS_TYPE_SCOPE__NUMBER = eINSTANCE.getALSTypeScope_Number(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSigScopeImpl ALS Sig Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSigScopeImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSSigScope() + * @generated + */ + EClass ALS_SIG_SCOPE = eINSTANCE.getALSSigScope(); + + /** + * The meta object literal for the 'Exactly' attribute feature. + * + * + * @generated + */ + EAttribute ALS_SIG_SCOPE__EXACTLY = eINSTANCE.getALSSigScope_Exactly(); + + /** + * The meta object literal for the 'Type' reference feature. + * + * + * @generated + */ + EReference ALS_SIG_SCOPE__TYPE = eINSTANCE.getALSSigScope_Type(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIntScopeImpl ALS Int Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIntScopeImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSIntScope() + * @generated + */ + EClass ALS_INT_SCOPE = eINSTANCE.getALSIntScope(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringScopeImpl ALS String Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringScopeImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSStringScope() + * @generated + */ + EClass ALS_STRING_SCOPE = eINSTANCE.getALSStringScope(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSQuantifiedExImpl ALS Quantified Ex}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSQuantifiedExImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSQuantifiedEx() + * @generated + */ + EClass ALS_QUANTIFIED_EX = eINSTANCE.getALSQuantifiedEx(); + + /** + * The meta object literal for the 'Type' attribute feature. + * + * + * @generated + */ + EAttribute ALS_QUANTIFIED_EX__TYPE = eINSTANCE.getALSQuantifiedEx_Type(); + + /** + * The meta object literal for the 'Disj' attribute feature. + * + * + * @generated + */ + EAttribute ALS_QUANTIFIED_EX__DISJ = eINSTANCE.getALSQuantifiedEx_Disj(); + + /** + * The meta object literal for the 'Variables' containment reference list feature. + * + * + * @generated + */ + EReference ALS_QUANTIFIED_EX__VARIABLES = eINSTANCE.getALSQuantifiedEx_Variables(); + + /** + * The meta object literal for the 'Expression' containment reference feature. + * + * + * @generated + */ + EReference ALS_QUANTIFIED_EX__EXPRESSION = eINSTANCE.getALSQuantifiedEx_Expression(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSOrImpl ALS Or}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSOrImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSOr() + * @generated + */ + EClass ALS_OR = eINSTANCE.getALSOr(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_OR__LEFT_OPERAND = eINSTANCE.getALSOr_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_OR__RIGHT_OPERAND = eINSTANCE.getALSOr_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIffImpl ALS Iff}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIffImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSIff() + * @generated + */ + EClass ALS_IFF = eINSTANCE.getALSIff(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_IFF__LEFT_OPERAND = eINSTANCE.getALSIff_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_IFF__RIGHT_OPERAND = eINSTANCE.getALSIff_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSImplImpl ALS Impl}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSImplImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSImpl() + * @generated + */ + EClass ALS_IMPL = eINSTANCE.getALSImpl(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_IMPL__LEFT_OPERAND = eINSTANCE.getALSImpl_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_IMPL__RIGHT_OPERAND = eINSTANCE.getALSImpl_RightOperand(); + + /** + * The meta object literal for the 'Else Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_IMPL__ELSE_OPERAND = eINSTANCE.getALSImpl_ElseOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSAndImpl ALS And}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSAndImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSAnd() + * @generated + */ + EClass ALS_AND = eINSTANCE.getALSAnd(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_AND__LEFT_OPERAND = eINSTANCE.getALSAnd_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_AND__RIGHT_OPERAND = eINSTANCE.getALSAnd_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSEqualsImpl ALS Equals}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSEqualsImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSEquals() + * @generated + */ + EClass ALS_EQUALS = eINSTANCE.getALSEquals(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_EQUALS__LEFT_OPERAND = eINSTANCE.getALSEquals_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_EQUALS__RIGHT_OPERAND = eINSTANCE.getALSEquals_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSNotEqualsImpl ALS Not Equals}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSNotEqualsImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNotEquals() + * @generated + */ + EClass ALS_NOT_EQUALS = eINSTANCE.getALSNotEquals(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_NOT_EQUALS__LEFT_OPERAND = eINSTANCE.getALSNotEquals_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_NOT_EQUALS__RIGHT_OPERAND = eINSTANCE.getALSNotEquals_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSubsetImpl ALS Subset}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSubsetImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSSubset() + * @generated + */ + EClass ALS_SUBSET = eINSTANCE.getALSSubset(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_SUBSET__LEFT_OPERAND = eINSTANCE.getALSSubset_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_SUBSET__RIGHT_OPERAND = eINSTANCE.getALSSubset_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSLessImpl ALS Less}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSLessImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSLess() + * @generated + */ + EClass ALS_LESS = eINSTANCE.getALSLess(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_LESS__LEFT_OPERAND = eINSTANCE.getALSLess_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_LESS__RIGHT_OPERAND = eINSTANCE.getALSLess_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSLeqImpl ALS Leq}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSLeqImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSLeq() + * @generated + */ + EClass ALS_LEQ = eINSTANCE.getALSLeq(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_LEQ__LEFT_OPERAND = eINSTANCE.getALSLeq_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_LEQ__RIGHT_OPERAND = eINSTANCE.getALSLeq_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSMoreImpl ALS More}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSMoreImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMore() + * @generated + */ + EClass ALS_MORE = eINSTANCE.getALSMore(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_MORE__LEFT_OPERAND = eINSTANCE.getALSMore_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_MORE__RIGHT_OPERAND = eINSTANCE.getALSMore_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSMeqImpl ALS Meq}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSMeqImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMeq() + * @generated + */ + EClass ALS_MEQ = eINSTANCE.getALSMeq(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_MEQ__LEFT_OPERAND = eINSTANCE.getALSMeq_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_MEQ__RIGHT_OPERAND = eINSTANCE.getALSMeq_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSOverrideImpl ALS Override}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSOverrideImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSOverride() + * @generated + */ + EClass ALS_OVERRIDE = eINSTANCE.getALSOverride(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_OVERRIDE__LEFT_OPERAND = eINSTANCE.getALSOverride_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_OVERRIDE__RIGHT_OPERAND = eINSTANCE.getALSOverride_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRangeRestrictionRightImpl ALS Range Restriction Right}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRangeRestrictionRightImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSRangeRestrictionRight() + * @generated + */ + EClass ALS_RANGE_RESTRICTION_RIGHT = eINSTANCE.getALSRangeRestrictionRight(); + + /** + * The meta object literal for the 'Relation' containment reference feature. + * + * + * @generated + */ + EReference ALS_RANGE_RESTRICTION_RIGHT__RELATION = eINSTANCE.getALSRangeRestrictionRight_Relation(); + + /** + * The meta object literal for the 'Filter' containment reference feature. + * + * + * @generated + */ + EReference ALS_RANGE_RESTRICTION_RIGHT__FILTER = eINSTANCE.getALSRangeRestrictionRight_Filter(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRangeRestrictionLeftImpl ALS Range Restriction Left}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSRangeRestrictionLeftImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSRangeRestrictionLeft() + * @generated + */ + EClass ALS_RANGE_RESTRICTION_LEFT = eINSTANCE.getALSRangeRestrictionLeft(); + + /** + * The meta object literal for the 'Filter' containment reference feature. + * + * + * @generated + */ + EReference ALS_RANGE_RESTRICTION_LEFT__FILTER = eINSTANCE.getALSRangeRestrictionLeft_Filter(); + + /** + * The meta object literal for the 'Relation' containment reference feature. + * + * + * @generated + */ + EReference ALS_RANGE_RESTRICTION_LEFT__RELATION = eINSTANCE.getALSRangeRestrictionLeft_Relation(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSJoinImpl ALS Join}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSJoinImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSJoin() + * @generated + */ + EClass ALS_JOIN = eINSTANCE.getALSJoin(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_JOIN__LEFT_OPERAND = eINSTANCE.getALSJoin_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_JOIN__RIGHT_OPERAND = eINSTANCE.getALSJoin_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSMinusImpl ALS Minus}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSMinusImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMinus() + * @generated + */ + EClass ALS_MINUS = eINSTANCE.getALSMinus(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_MINUS__LEFT_OPERAND = eINSTANCE.getALSMinus_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_MINUS__RIGHT_OPERAND = eINSTANCE.getALSMinus_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSPlusImpl ALS Plus}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSPlusImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSPlus() + * @generated + */ + EClass ALS_PLUS = eINSTANCE.getALSPlus(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_PLUS__LEFT_OPERAND = eINSTANCE.getALSPlus_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_PLUS__RIGHT_OPERAND = eINSTANCE.getALSPlus_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIntersectionImpl ALS Intersection}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIntersectionImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSIntersection() + * @generated + */ + EClass ALS_INTERSECTION = eINSTANCE.getALSIntersection(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_INTERSECTION__LEFT_OPERAND = eINSTANCE.getALSIntersection_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_INTERSECTION__RIGHT_OPERAND = eINSTANCE.getALSIntersection_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSDirectProductImpl ALS Direct Product}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSDirectProductImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSDirectProduct() + * @generated + */ + EClass ALS_DIRECT_PRODUCT = eINSTANCE.getALSDirectProduct(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_DIRECT_PRODUCT__LEFT_OPERAND = eINSTANCE.getALSDirectProduct_LeftOperand(); + + /** + * The meta object literal for the 'Left Multiplicit' attribute feature. + * + * + * @generated + */ + EAttribute ALS_DIRECT_PRODUCT__LEFT_MULTIPLICIT = eINSTANCE.getALSDirectProduct_LeftMultiplicit(); + + /** + * The meta object literal for the 'Right Multiplicit' attribute feature. + * + * + * @generated + */ + EAttribute ALS_DIRECT_PRODUCT__RIGHT_MULTIPLICIT = eINSTANCE.getALSDirectProduct_RightMultiplicit(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_DIRECT_PRODUCT__RIGHT_OPERAND = eINSTANCE.getALSDirectProduct_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSNotImpl ALS Not}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSNotImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNot() + * @generated + */ + EClass ALS_NOT = eINSTANCE.getALSNot(); + + /** + * The meta object literal for the 'Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_NOT__OPERAND = eINSTANCE.getALSNot_Operand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSInverseRelationImpl ALS Inverse Relation}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSInverseRelationImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSInverseRelation() + * @generated + */ + EClass ALS_INVERSE_RELATION = eINSTANCE.getALSInverseRelation(); + + /** + * The meta object literal for the 'Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_INVERSE_RELATION__OPERAND = eINSTANCE.getALSInverseRelation_Operand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlSTransitiveClosureImpl Al STransitive Closure}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlSTransitiveClosureImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getAlSTransitiveClosure() + * @generated + */ + EClass AL_STRANSITIVE_CLOSURE = eINSTANCE.getAlSTransitiveClosure(); + + /** + * The meta object literal for the 'Operand' containment reference feature. + * + * + * @generated + */ + EReference AL_STRANSITIVE_CLOSURE__OPERAND = eINSTANCE.getAlSTransitiveClosure_Operand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSReflectiveTransitiveClosureImpl ALS Reflective Transitive Closure}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSReflectiveTransitiveClosureImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSReflectiveTransitiveClosure() + * @generated + */ + EClass ALS_REFLECTIVE_TRANSITIVE_CLOSURE = eINSTANCE.getALSReflectiveTransitiveClosure(); + + /** + * The meta object literal for the 'Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_REFLECTIVE_TRANSITIVE_CLOSURE__OPERAND = eINSTANCE.getALSReflectiveTransitiveClosure_Operand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSCardinalityImpl ALS Cardinality}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSCardinalityImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSCardinality() + * @generated + */ + EClass ALS_CARDINALITY = eINSTANCE.getALSCardinality(); + + /** + * The meta object literal for the 'Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_CARDINALITY__OPERAND = eINSTANCE.getALSCardinality_Operand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSUnaryMinusImpl ALS Unary Minus}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSUnaryMinusImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSUnaryMinus() + * @generated + */ + EClass ALS_UNARY_MINUS = eINSTANCE.getALSUnaryMinus(); + + /** + * The meta object literal for the 'Operand' containment reference feature. + * + * + * @generated + */ + EReference ALS_UNARY_MINUS__OPERAND = eINSTANCE.getALSUnaryMinus_Operand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSumImpl ALS Sum}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSSumImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSSum() + * @generated + */ + EClass ALS_SUM = eINSTANCE.getALSSum(); + + /** + * The meta object literal for the 'Variables' containment reference list feature. + * + * + * @generated + */ + EReference ALS_SUM__VARIABLES = eINSTANCE.getALSSum_Variables(); + + /** + * The meta object literal for the 'Expression' containment reference feature. + * + * + * @generated + */ + EReference ALS_SUM__EXPRESSION = eINSTANCE.getALSSum_Expression(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSFunctionCallImpl ALS Function Call}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSFunctionCallImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSFunctionCall() + * @generated + */ + EClass ALS_FUNCTION_CALL = eINSTANCE.getALSFunctionCall(); + + /** + * The meta object literal for the 'Referred Definition' reference feature. + * + * + * @generated + */ + EReference ALS_FUNCTION_CALL__REFERRED_DEFINITION = eINSTANCE.getALSFunctionCall_ReferredDefinition(); + + /** + * The meta object literal for the 'Referred Numeric Operator' attribute feature. + * + * + * @generated + */ + EAttribute ALS_FUNCTION_CALL__REFERRED_NUMERIC_OPERATOR = eINSTANCE.getALSFunctionCall_ReferredNumericOperator(); + + /** + * The meta object literal for the 'Params' containment reference list feature. + * + * + * @generated + */ + EReference ALS_FUNCTION_CALL__PARAMS = eINSTANCE.getALSFunctionCall_Params(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSNoneImpl ALS None}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSNoneImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNone() + * @generated + */ + EClass ALS_NONE = eINSTANCE.getALSNone(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIdenImpl ALS Iden}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIdenImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSIden() + * @generated + */ + EClass ALS_IDEN = eINSTANCE.getALSIden(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSUnivImpl ALS Univ}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSUnivImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSUniv() + * @generated + */ + EClass ALS_UNIV = eINSTANCE.getALSUniv(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIntImpl ALS Int}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSIntImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSInt() + * @generated + */ + EClass ALS_INT = eINSTANCE.getALSInt(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringImpl ALS String}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSString() + * @generated + */ + EClass ALS_STRING = eINSTANCE.getALSString(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSReferenceImpl ALS Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSReference() + * @generated + */ + EClass ALS_REFERENCE = eINSTANCE.getALSReference(); + + /** + * The meta object literal for the 'Referred' reference feature. + * + * + * @generated + */ + EReference ALS_REFERENCE__REFERRED = eINSTANCE.getALSReference_Referred(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSNumberLiteralImpl ALS Number Literal}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSNumberLiteralImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNumberLiteral() + * @generated + */ + EClass ALS_NUMBER_LITERAL = eINSTANCE.getALSNumberLiteral(); + + /** + * The meta object literal for the 'Value' attribute feature. + * + * + * @generated + */ + EAttribute ALS_NUMBER_LITERAL__VALUE = eINSTANCE.getALSNumberLiteral_Value(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringLiteralImpl ALS String Literal}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringLiteralImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSStringLiteral() + * @generated + */ + EClass ALS_STRING_LITERAL = eINSTANCE.getALSStringLiteral(); + + /** + * The meta object literal for the 'Value' attribute feature. + * + * + * @generated + */ + EAttribute ALS_STRING_LITERAL__VALUE = eINSTANCE.getALSStringLiteral_Value(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity ALS Multiplicity}' enum. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMultiplicity() + * @generated + */ + EEnum ALS_MULTIPLICITY = eINSTANCE.getALSMultiplicity(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNumericOperator ALS Numeric Operator}' enum. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNumericOperator + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNumericOperator() + * @generated + */ + EEnum ALS_NUMERIC_OPERATOR = eINSTANCE.getALSNumericOperator(); + + } + +} //AlloyLanguagePackage -- cgit v1.2.3-70-g09d2