From 60f01f46ba232ed6416054f0a6115cb2a9b70b4e Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 10 Jun 2017 19:05:05 +0200 Subject: Migrating Additional projects --- .../model/logiclanguage/LogiclanguagePackage.java | 4830 ++++++++++++++++++++ 1 file changed, 4830 insertions(+) create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java new file mode 100644 index 00000000..6965428b --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java @@ -0,0 +1,4830 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage; + +import org.eclipse.emf.ecore.EAttribute; +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.EPackage; +import org.eclipse.emf.ecore.EReference; + +/** + * + * The Package for the model. + * It contains accessors for the meta objects to represent + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguageFactory + * @model kind="package" + * @generated + */ +public interface LogiclanguagePackage extends EPackage { + /** + * The package name. + * + * + * @generated + */ + String eNAME = "logiclanguage"; + + /** + * The package namespace URI. + * + * + * @generated + */ + String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language"; + + /** + * The package namespace name. + * + * + * @generated + */ + String eNS_PREFIX = "language"; + + /** + * The singleton instance of the package. + * + * + * @generated + */ + LogiclanguagePackage eINSTANCE = hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl.init(); + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor Type Descriptor}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTypeDescriptor() + * @generated + */ + int TYPE_DESCRIPTOR = 40; + + /** + * The number of structural features of the 'Type Descriptor' class. + * + * + * @generated + * @ordered + */ + int TYPE_DESCRIPTOR_FEATURE_COUNT = 0; + + /** + * The number of operations of the 'Type Descriptor' class. + * + * + * @generated + * @ordered + */ + int TYPE_DESCRIPTOR_OPERATION_COUNT = 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeImpl Type}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getType() + * @generated + */ + int TYPE = 0; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int TYPE__NAME = TYPE_DESCRIPTOR_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Subtypes' reference list. + * + * + * @generated + * @ordered + */ + int TYPE__SUBTYPES = TYPE_DESCRIPTOR_FEATURE_COUNT + 1; + + /** + * The feature id for the 'Supertypes' reference list. + * + * + * @generated + * @ordered + */ + int TYPE__SUPERTYPES = TYPE_DESCRIPTOR_FEATURE_COUNT + 2; + + /** + * The feature id for the 'Is Abstract' attribute. + * + * + * @generated + * @ordered + */ + int TYPE__IS_ABSTRACT = TYPE_DESCRIPTOR_FEATURE_COUNT + 3; + + /** + * The number of structural features of the 'Type' class. + * + * + * @generated + * @ordered + */ + int TYPE_FEATURE_COUNT = TYPE_DESCRIPTOR_FEATURE_COUNT + 4; + + /** + * The number of operations of the 'Type' class. + * + * + * @generated + * @ordered + */ + int TYPE_OPERATION_COUNT = TYPE_DESCRIPTOR_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription Term Description}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTermDescription() + * @generated + */ + int TERM_DESCRIPTION = 41; + + /** + * The number of structural features of the 'Term Description' class. + * + * + * @generated + * @ordered + */ + int TERM_DESCRIPTION_FEATURE_COUNT = 0; + + /** + * The number of operations of the 'Term Description' class. + * + * + * @generated + * @ordered + */ + int TERM_DESCRIPTION_OPERATION_COUNT = 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SymbolicDeclarationImpl Symbolic Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SymbolicDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getSymbolicDeclaration() + * @generated + */ + int SYMBOLIC_DECLARATION = 11; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int SYMBOLIC_DECLARATION__NAME = TERM_DESCRIPTION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Symbolic Declaration' class. + * + * + * @generated + * @ordered + */ + int SYMBOLIC_DECLARATION_FEATURE_COUNT = TERM_DESCRIPTION_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Symbolic Declaration' class. + * + * + * @generated + * @ordered + */ + int SYMBOLIC_DECLARATION_OPERATION_COUNT = TERM_DESCRIPTION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DefinedElementImpl Defined Element}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DefinedElementImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getDefinedElement() + * @generated + */ + int DEFINED_ELEMENT = 1; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int DEFINED_ELEMENT__NAME = SYMBOLIC_DECLARATION__NAME; + + /** + * The feature id for the 'Defined In Type' reference list. + * + * + * @generated + * @ordered + */ + int DEFINED_ELEMENT__DEFINED_IN_TYPE = SYMBOLIC_DECLARATION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Defined Element' class. + * + * + * @generated + * @ordered + */ + int DEFINED_ELEMENT_FEATURE_COUNT = SYMBOLIC_DECLARATION_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Defined Element' class. + * + * + * @generated + * @ordered + */ + int DEFINED_ELEMENT_OPERATION_COUNT = SYMBOLIC_DECLARATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeDefinitionImpl Type Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTypeDefinition() + * @generated + */ + int TYPE_DEFINITION = 2; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int TYPE_DEFINITION__NAME = TYPE__NAME; + + /** + * The feature id for the 'Subtypes' reference list. + * + * + * @generated + * @ordered + */ + int TYPE_DEFINITION__SUBTYPES = TYPE__SUBTYPES; + + /** + * The feature id for the 'Supertypes' reference list. + * + * + * @generated + * @ordered + */ + int TYPE_DEFINITION__SUPERTYPES = TYPE__SUPERTYPES; + + /** + * The feature id for the 'Is Abstract' attribute. + * + * + * @generated + * @ordered + */ + int TYPE_DEFINITION__IS_ABSTRACT = TYPE__IS_ABSTRACT; + + /** + * The feature id for the 'Elements' reference list. + * + * + * @generated + * @ordered + */ + int TYPE_DEFINITION__ELEMENTS = TYPE_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Defines' reference. + * + * + * @generated + * @ordered + */ + int TYPE_DEFINITION__DEFINES = TYPE_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Type Definition' class. + * + * + * @generated + * @ordered + */ + int TYPE_DEFINITION_FEATURE_COUNT = TYPE_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'Type Definition' class. + * + * + * @generated + * @ordered + */ + int TYPE_DEFINITION_OPERATION_COUNT = TYPE_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeReferenceImpl Type Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTypeReference() + * @generated + */ + int TYPE_REFERENCE = 3; + + /** + * The number of structural features of the 'Type Reference' class. + * + * + * @generated + * @ordered + */ + int TYPE_REFERENCE_FEATURE_COUNT = TYPE_DESCRIPTOR_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Type Reference' class. + * + * + * @generated + * @ordered + */ + int TYPE_REFERENCE_OPERATION_COUNT = TYPE_DESCRIPTOR_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ComplexTypeReferenceImpl Complex Type Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ComplexTypeReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getComplexTypeReference() + * @generated + */ + int COMPLEX_TYPE_REFERENCE = 4; + + /** + * The feature id for the 'Referred' reference. + * + * + * @generated + * @ordered + */ + int COMPLEX_TYPE_REFERENCE__REFERRED = TYPE_REFERENCE_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Complex Type Reference' class. + * + * + * @generated + * @ordered + */ + int COMPLEX_TYPE_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Complex Type Reference' class. + * + * + * @generated + * @ordered + */ + int COMPLEX_TYPE_REFERENCE_OPERATION_COUNT = TYPE_REFERENCE_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PrimitiveTypeReferenceImpl Primitive Type Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PrimitiveTypeReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getPrimitiveTypeReference() + * @generated + */ + int PRIMITIVE_TYPE_REFERENCE = 5; + + /** + * The number of structural features of the 'Primitive Type Reference' class. + * + * + * @generated + * @ordered + */ + int PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Primitive Type Reference' class. + * + * + * @generated + * @ordered + */ + int PRIMITIVE_TYPE_REFERENCE_OPERATION_COUNT = TYPE_REFERENCE_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntTypeReferenceImpl Int Type Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntTypeReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIntTypeReference() + * @generated + */ + int INT_TYPE_REFERENCE = 6; + + /** + * The number of structural features of the 'Int Type Reference' class. + * + * + * @generated + * @ordered + */ + int INT_TYPE_REFERENCE_FEATURE_COUNT = PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Int Type Reference' class. + * + * + * @generated + * @ordered + */ + int INT_TYPE_REFERENCE_OPERATION_COUNT = PRIMITIVE_TYPE_REFERENCE_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolTypeReferenceImpl Bool Type Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolTypeReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getBoolTypeReference() + * @generated + */ + int BOOL_TYPE_REFERENCE = 7; + + /** + * The number of structural features of the 'Bool Type Reference' class. + * + * + * @generated + * @ordered + */ + int BOOL_TYPE_REFERENCE_FEATURE_COUNT = PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Bool Type Reference' class. + * + * + * @generated + * @ordered + */ + int BOOL_TYPE_REFERENCE_OPERATION_COUNT = PRIMITIVE_TYPE_REFERENCE_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RealTypeReferenceImpl Real Type Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RealTypeReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRealTypeReference() + * @generated + */ + int REAL_TYPE_REFERENCE = 8; + + /** + * The number of structural features of the 'Real Type Reference' class. + * + * + * @generated + * @ordered + */ + int REAL_TYPE_REFERENCE_FEATURE_COUNT = PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Real Type Reference' class. + * + * + * @generated + * @ordered + */ + int REAL_TYPE_REFERENCE_OPERATION_COUNT = PRIMITIVE_TYPE_REFERENCE_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionImpl Function}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getFunction() + * @generated + */ + int FUNCTION = 9; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int FUNCTION__NAME = SYMBOLIC_DECLARATION__NAME; + + /** + * The feature id for the 'Range' containment reference. + * + * + * @generated + * @ordered + */ + int FUNCTION__RANGE = SYMBOLIC_DECLARATION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Parameters' containment reference list. + * + * + * @generated + * @ordered + */ + int FUNCTION__PARAMETERS = SYMBOLIC_DECLARATION_FEATURE_COUNT + 1; + + /** + * The feature id for the 'Annotations' reference list. + * + * + * @generated + * @ordered + */ + int FUNCTION__ANNOTATIONS = SYMBOLIC_DECLARATION_FEATURE_COUNT + 2; + + /** + * The number of structural features of the 'Function' class. + * + * + * @generated + * @ordered + */ + int FUNCTION_FEATURE_COUNT = SYMBOLIC_DECLARATION_FEATURE_COUNT + 3; + + /** + * The number of operations of the 'Function' class. + * + * + * @generated + * @ordered + */ + int FUNCTION_OPERATION_COUNT = SYMBOLIC_DECLARATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TermImpl Term}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TermImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTerm() + * @generated + */ + int TERM = 10; + + /** + * The number of structural features of the 'Term' class. + * + * + * @generated + * @ordered + */ + int TERM_FEATURE_COUNT = TERM_DESCRIPTION_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Term' class. + * + * + * @generated + * @ordered + */ + int TERM_OPERATION_COUNT = TERM_DESCRIPTION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SymbolicValueImpl Symbolic Value}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SymbolicValueImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getSymbolicValue() + * @generated + */ + int SYMBOLIC_VALUE = 12; + + /** + * The feature id for the 'Symbolic Reference' reference. + * + * + * @generated + * @ordered + */ + int SYMBOLIC_VALUE__SYMBOLIC_REFERENCE = TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Parameter Substitutions' containment reference list. + * + * + * @generated + * @ordered + */ + int SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS = TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Symbolic Value' class. + * + * + * @generated + * @ordered + */ + int SYMBOLIC_VALUE_FEATURE_COUNT = TERM_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'Symbolic Value' class. + * + * + * @generated + * @ordered + */ + int SYMBOLIC_VALUE_OPERATION_COUNT = TERM_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AtomicTermImpl Atomic Term}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AtomicTermImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getAtomicTerm() + * @generated + */ + int ATOMIC_TERM = 13; + + /** + * The number of structural features of the 'Atomic Term' class. + * + * + * @generated + * @ordered + */ + int ATOMIC_TERM_FEATURE_COUNT = TERM_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Atomic Term' class. + * + * + * @generated + * @ordered + */ + int ATOMIC_TERM_OPERATION_COUNT = TERM_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntLiteralImpl Int Literal}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntLiteralImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIntLiteral() + * @generated + */ + int INT_LITERAL = 14; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int INT_LITERAL__VALUE = ATOMIC_TERM_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Int Literal' class. + * + * + * @generated + * @ordered + */ + int INT_LITERAL_FEATURE_COUNT = ATOMIC_TERM_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Int Literal' class. + * + * + * @generated + * @ordered + */ + int INT_LITERAL_OPERATION_COUNT = ATOMIC_TERM_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolLiteralImpl Bool Literal}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolLiteralImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getBoolLiteral() + * @generated + */ + int BOOL_LITERAL = 15; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int BOOL_LITERAL__VALUE = ATOMIC_TERM_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Bool Literal' class. + * + * + * @generated + * @ordered + */ + int BOOL_LITERAL_FEATURE_COUNT = ATOMIC_TERM_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Bool Literal' class. + * + * + * @generated + * @ordered + */ + int BOOL_LITERAL_OPERATION_COUNT = ATOMIC_TERM_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RealLiteralImpl Real Literal}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RealLiteralImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRealLiteral() + * @generated + */ + int REAL_LITERAL = 16; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int REAL_LITERAL__VALUE = ATOMIC_TERM_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Real Literal' class. + * + * + * @generated + * @ordered + */ + int REAL_LITERAL_FEATURE_COUNT = ATOMIC_TERM_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Real Literal' class. + * + * + * @generated + * @ordered + */ + int REAL_LITERAL_OPERATION_COUNT = ATOMIC_TERM_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.VariableImpl Variable}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.VariableImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getVariable() + * @generated + */ + int VARIABLE = 17; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int VARIABLE__NAME = SYMBOLIC_DECLARATION__NAME; + + /** + * The feature id for the 'Range' containment reference. + * + * + * @generated + * @ordered + */ + int VARIABLE__RANGE = SYMBOLIC_DECLARATION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Variable' class. + * + * + * @generated + * @ordered + */ + int VARIABLE_FEATURE_COUNT = SYMBOLIC_DECLARATION_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Variable' class. + * + * + * @generated + * @ordered + */ + int VARIABLE_OPERATION_COUNT = SYMBOLIC_DECLARATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.QuantifiedExpressionImpl Quantified Expression}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.QuantifiedExpressionImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getQuantifiedExpression() + * @generated + */ + int QUANTIFIED_EXPRESSION = 18; + + /** + * The feature id for the 'Quantified Variables' containment reference list. + * + * + * @generated + * @ordered + */ + int QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES = TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Expression' containment reference. + * + * + * @generated + * @ordered + */ + int QUANTIFIED_EXPRESSION__EXPRESSION = TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Quantified Expression' class. + * + * + * @generated + * @ordered + */ + int QUANTIFIED_EXPRESSION_FEATURE_COUNT = TERM_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'Quantified Expression' class. + * + * + * @generated + * @ordered + */ + int QUANTIFIED_EXPRESSION_OPERATION_COUNT = TERM_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ExistsImpl Exists}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ExistsImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getExists() + * @generated + */ + int EXISTS = 19; + + /** + * The feature id for the 'Quantified Variables' containment reference list. + * + * + * @generated + * @ordered + */ + int EXISTS__QUANTIFIED_VARIABLES = QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES; + + /** + * The feature id for the 'Expression' containment reference. + * + * + * @generated + * @ordered + */ + int EXISTS__EXPRESSION = QUANTIFIED_EXPRESSION__EXPRESSION; + + /** + * The number of structural features of the 'Exists' class. + * + * + * @generated + * @ordered + */ + int EXISTS_FEATURE_COUNT = QUANTIFIED_EXPRESSION_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Exists' class. + * + * + * @generated + * @ordered + */ + int EXISTS_OPERATION_COUNT = QUANTIFIED_EXPRESSION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ForallImpl Forall}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ForallImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getForall() + * @generated + */ + int FORALL = 20; + + /** + * The feature id for the 'Quantified Variables' containment reference list. + * + * + * @generated + * @ordered + */ + int FORALL__QUANTIFIED_VARIABLES = QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES; + + /** + * The feature id for the 'Expression' containment reference. + * + * + * @generated + * @ordered + */ + int FORALL__EXPRESSION = QUANTIFIED_EXPRESSION__EXPRESSION; + + /** + * The number of structural features of the 'Forall' class. + * + * + * @generated + * @ordered + */ + int FORALL_FEATURE_COUNT = QUANTIFIED_EXPRESSION_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Forall' class. + * + * + * @generated + * @ordered + */ + int FORALL_OPERATION_COUNT = QUANTIFIED_EXPRESSION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolOperationImpl Bool Operation}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolOperationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getBoolOperation() + * @generated + */ + int BOOL_OPERATION = 21; + + /** + * The number of structural features of the 'Bool Operation' class. + * + * + * @generated + * @ordered + */ + int BOOL_OPERATION_FEATURE_COUNT = TERM_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Bool Operation' class. + * + * + * @generated + * @ordered + */ + int BOOL_OPERATION_OPERATION_COUNT = TERM_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AndImpl And}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AndImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getAnd() + * @generated + */ + int AND = 22; + + /** + * The feature id for the 'Operands' containment reference list. + * + * + * @generated + * @ordered + */ + int AND__OPERANDS = BOOL_OPERATION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'And' class. + * + * + * @generated + * @ordered + */ + int AND_FEATURE_COUNT = BOOL_OPERATION_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'And' class. + * + * + * @generated + * @ordered + */ + int AND_OPERATION_COUNT = BOOL_OPERATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.OrImpl Or}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.OrImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getOr() + * @generated + */ + int OR = 23; + + /** + * The feature id for the 'Operands' containment reference list. + * + * + * @generated + * @ordered + */ + int OR__OPERANDS = BOOL_OPERATION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Or' class. + * + * + * @generated + * @ordered + */ + int OR_FEATURE_COUNT = BOOL_OPERATION_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Or' class. + * + * + * @generated + * @ordered + */ + int OR_OPERATION_COUNT = BOOL_OPERATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ImplImpl Impl}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ImplImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getImpl() + * @generated + */ + int IMPL = 24; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int IMPL__LEFT_OPERAND = BOOL_OPERATION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int IMPL__RIGHT_OPERAND = BOOL_OPERATION_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Impl' class. + * + * + * @generated + * @ordered + */ + int IMPL_FEATURE_COUNT = BOOL_OPERATION_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'Impl' class. + * + * + * @generated + * @ordered + */ + int IMPL_OPERATION_COUNT = BOOL_OPERATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.NotImpl Not}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.NotImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getNot() + * @generated + */ + int NOT = 25; + + /** + * The feature id for the 'Operand' containment reference. + * + * + * @generated + * @ordered + */ + int NOT__OPERAND = BOOL_OPERATION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Not' class. + * + * + * @generated + * @ordered + */ + int NOT_FEATURE_COUNT = BOOL_OPERATION_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Not' class. + * + * + * @generated + * @ordered + */ + int NOT_OPERATION_COUNT = BOOL_OPERATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IffImpl Iff}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IffImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIff() + * @generated + */ + int IFF = 26; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int IFF__LEFT_OPERAND = BOOL_OPERATION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int IFF__RIGHT_OPERAND = BOOL_OPERATION_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Iff' class. + * + * + * @generated + * @ordered + */ + int IFF_FEATURE_COUNT = BOOL_OPERATION_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'Iff' class. + * + * + * @generated + * @ordered + */ + int IFF_OPERATION_COUNT = BOOL_OPERATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PrimitiveRelationImpl Primitive Relation}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PrimitiveRelationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getPrimitiveRelation() + * @generated + */ + int PRIMITIVE_RELATION = 27; + + /** + * The number of structural features of the 'Primitive Relation' class. + * + * + * @generated + * @ordered + */ + int PRIMITIVE_RELATION_FEATURE_COUNT = TERM_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Primitive Relation' class. + * + * + * @generated + * @ordered + */ + int PRIMITIVE_RELATION_OPERATION_COUNT = TERM_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.EqualsImpl Equals}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.EqualsImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getEquals() + * @generated + */ + int EQUALS = 28; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int EQUALS__LEFT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int EQUALS__RIGHT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Equals' class. + * + * + * @generated + * @ordered + */ + int EQUALS_FEATURE_COUNT = PRIMITIVE_RELATION_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'Equals' class. + * + * + * @generated + * @ordered + */ + int EQUALS_OPERATION_COUNT = PRIMITIVE_RELATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DistinctImpl Distinct}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DistinctImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getDistinct() + * @generated + */ + int DISTINCT = 29; + + /** + * The feature id for the 'Operands' containment reference list. + * + * + * @generated + * @ordered + */ + int DISTINCT__OPERANDS = PRIMITIVE_RELATION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Distinct' class. + * + * + * @generated + * @ordered + */ + int DISTINCT_FEATURE_COUNT = PRIMITIVE_RELATION_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Distinct' class. + * + * + * @generated + * @ordered + */ + int DISTINCT_OPERATION_COUNT = PRIMITIVE_RELATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LessThanImpl Less Than}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LessThanImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getLessThan() + * @generated + */ + int LESS_THAN = 30; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int LESS_THAN__LEFT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int LESS_THAN__RIGHT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Less Than' class. + * + * + * @generated + * @ordered + */ + int LESS_THAN_FEATURE_COUNT = PRIMITIVE_RELATION_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'Less Than' class. + * + * + * @generated + * @ordered + */ + int LESS_THAN_OPERATION_COUNT = PRIMITIVE_RELATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MoreThanImpl More Than}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MoreThanImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMoreThan() + * @generated + */ + int MORE_THAN = 31; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int MORE_THAN__LEFT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int MORE_THAN__RIGHT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'More Than' class. + * + * + * @generated + * @ordered + */ + int MORE_THAN_FEATURE_COUNT = PRIMITIVE_RELATION_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'More Than' class. + * + * + * @generated + * @ordered + */ + int MORE_THAN_OPERATION_COUNT = PRIMITIVE_RELATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LessOrEqualThanImpl Less Or Equal Than}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LessOrEqualThanImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getLessOrEqualThan() + * @generated + */ + int LESS_OR_EQUAL_THAN = 32; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int LESS_OR_EQUAL_THAN__LEFT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int LESS_OR_EQUAL_THAN__RIGHT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Less Or Equal Than' class. + * + * + * @generated + * @ordered + */ + int LESS_OR_EQUAL_THAN_FEATURE_COUNT = PRIMITIVE_RELATION_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'Less Or Equal Than' class. + * + * + * @generated + * @ordered + */ + int LESS_OR_EQUAL_THAN_OPERATION_COUNT = PRIMITIVE_RELATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MoreOrEqualThanImpl More Or Equal Than}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MoreOrEqualThanImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMoreOrEqualThan() + * @generated + */ + int MORE_OR_EQUAL_THAN = 33; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int MORE_OR_EQUAL_THAN__LEFT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int MORE_OR_EQUAL_THAN__RIGHT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'More Or Equal Than' class. + * + * + * @generated + * @ordered + */ + int MORE_OR_EQUAL_THAN_FEATURE_COUNT = PRIMITIVE_RELATION_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'More Or Equal Than' class. + * + * + * @generated + * @ordered + */ + int MORE_OR_EQUAL_THAN_OPERATION_COUNT = PRIMITIVE_RELATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntOperationImpl Int Operation}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntOperationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIntOperation() + * @generated + */ + int INT_OPERATION = 34; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int INT_OPERATION__LEFT_OPERAND = TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int INT_OPERATION__RIGHT_OPERAND = TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Int Operation' class. + * + * + * @generated + * @ordered + */ + int INT_OPERATION_FEATURE_COUNT = TERM_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'Int Operation' class. + * + * + * @generated + * @ordered + */ + int INT_OPERATION_OPERATION_COUNT = TERM_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PlusImpl Plus}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PlusImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getPlus() + * @generated + */ + int PLUS = 35; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int PLUS__LEFT_OPERAND = INT_OPERATION__LEFT_OPERAND; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int PLUS__RIGHT_OPERAND = INT_OPERATION__RIGHT_OPERAND; + + /** + * The number of structural features of the 'Plus' class. + * + * + * @generated + * @ordered + */ + int PLUS_FEATURE_COUNT = INT_OPERATION_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Plus' class. + * + * + * @generated + * @ordered + */ + int PLUS_OPERATION_COUNT = INT_OPERATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MinusImpl Minus}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MinusImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMinus() + * @generated + */ + int MINUS = 36; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int MINUS__LEFT_OPERAND = INT_OPERATION__LEFT_OPERAND; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int MINUS__RIGHT_OPERAND = INT_OPERATION__RIGHT_OPERAND; + + /** + * The number of structural features of the 'Minus' class. + * + * + * @generated + * @ordered + */ + int MINUS_FEATURE_COUNT = INT_OPERATION_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Minus' class. + * + * + * @generated + * @ordered + */ + int MINUS_OPERATION_COUNT = INT_OPERATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MultiplyImpl Multiply}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MultiplyImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMultiply() + * @generated + */ + int MULTIPLY = 37; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int MULTIPLY__LEFT_OPERAND = INT_OPERATION__LEFT_OPERAND; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int MULTIPLY__RIGHT_OPERAND = INT_OPERATION__RIGHT_OPERAND; + + /** + * The number of structural features of the 'Multiply' class. + * + * + * @generated + * @ordered + */ + int MULTIPLY_FEATURE_COUNT = INT_OPERATION_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Multiply' class. + * + * + * @generated + * @ordered + */ + int MULTIPLY_OPERATION_COUNT = INT_OPERATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DivisonImpl Divison}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DivisonImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getDivison() + * @generated + */ + int DIVISON = 38; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int DIVISON__LEFT_OPERAND = INT_OPERATION__LEFT_OPERAND; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int DIVISON__RIGHT_OPERAND = INT_OPERATION__RIGHT_OPERAND; + + /** + * The number of structural features of the 'Divison' class. + * + * + * @generated + * @ordered + */ + int DIVISON_FEATURE_COUNT = INT_OPERATION_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Divison' class. + * + * + * @generated + * @ordered + */ + int DIVISON_OPERATION_COUNT = INT_OPERATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ModImpl Mod}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ModImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMod() + * @generated + */ + int MOD = 39; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int MOD__LEFT_OPERAND = INT_OPERATION__LEFT_OPERAND; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int MOD__RIGHT_OPERAND = INT_OPERATION__RIGHT_OPERAND; + + /** + * The number of structural features of the 'Mod' class. + * + * + * @generated + * @ordered + */ + int MOD_FEATURE_COUNT = INT_OPERATION_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Mod' class. + * + * + * @generated + * @ordered + */ + int MOD_OPERATION_COUNT = INT_OPERATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AssertionImpl Assertion}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AssertionImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getAssertion() + * @generated + */ + int ASSERTION = 42; + + /** + * The feature id for the 'Value' containment reference. + * + * + * @generated + * @ordered + */ + int ASSERTION__VALUE = 0; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int ASSERTION__NAME = 1; + + /** + * The feature id for the 'Annotations' reference list. + * + * + * @generated + * @ordered + */ + int ASSERTION__ANNOTATIONS = 2; + + /** + * The number of structural features of the 'Assertion' class. + * + * + * @generated + * @ordered + */ + int ASSERTION_FEATURE_COUNT = 3; + + /** + * The number of operations of the 'Assertion' class. + * + * + * @generated + * @ordered + */ + int ASSERTION_OPERATION_COUNT = 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationImpl Relation}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRelation() + * @generated + */ + int RELATION = 43; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int RELATION__NAME = SYMBOLIC_DECLARATION__NAME; + + /** + * The feature id for the 'Parameters' containment reference list. + * + * + * @generated + * @ordered + */ + int RELATION__PARAMETERS = SYMBOLIC_DECLARATION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Annotations' reference list. + * + * + * @generated + * @ordered + */ + int RELATION__ANNOTATIONS = SYMBOLIC_DECLARATION_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Relation' class. + * + * + * @generated + * @ordered + */ + int RELATION_FEATURE_COUNT = SYMBOLIC_DECLARATION_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'Relation' class. + * + * + * @generated + * @ordered + */ + int RELATION_OPERATION_COUNT = SYMBOLIC_DECLARATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantImpl Constant}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getConstant() + * @generated + */ + int CONSTANT = 44; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int CONSTANT__NAME = SYMBOLIC_DECLARATION__NAME; + + /** + * The feature id for the 'Type' containment reference. + * + * + * @generated + * @ordered + */ + int CONSTANT__TYPE = SYMBOLIC_DECLARATION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Annotations' reference list. + * + * + * @generated + * @ordered + */ + int CONSTANT__ANNOTATIONS = SYMBOLIC_DECLARATION_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Constant' class. + * + * + * @generated + * @ordered + */ + int CONSTANT_FEATURE_COUNT = SYMBOLIC_DECLARATION_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'Constant' class. + * + * + * @generated + * @ordered + */ + int CONSTANT_OPERATION_COUNT = SYMBOLIC_DECLARATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantDefinitionImpl Constant Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getConstantDefinition() + * @generated + */ + int CONSTANT_DEFINITION = 45; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int CONSTANT_DEFINITION__NAME = CONSTANT__NAME; + + /** + * The feature id for the 'Type' containment reference. + * + * + * @generated + * @ordered + */ + int CONSTANT_DEFINITION__TYPE = CONSTANT__TYPE; + + /** + * The feature id for the 'Annotations' reference list. + * + * + * @generated + * @ordered + */ + int CONSTANT_DEFINITION__ANNOTATIONS = CONSTANT__ANNOTATIONS; + + /** + * The feature id for the 'Value' containment reference. + * + * + * @generated + * @ordered + */ + int CONSTANT_DEFINITION__VALUE = CONSTANT_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Defines' reference. + * + * + * @generated + * @ordered + */ + int CONSTANT_DEFINITION__DEFINES = CONSTANT_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Constant Definition' class. + * + * + * @generated + * @ordered + */ + int CONSTANT_DEFINITION_FEATURE_COUNT = CONSTANT_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'Constant Definition' class. + * + * + * @generated + * @ordered + */ + int CONSTANT_DEFINITION_OPERATION_COUNT = CONSTANT_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationDefinitionImpl Relation Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRelationDefinition() + * @generated + */ + int RELATION_DEFINITION = 46; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int RELATION_DEFINITION__NAME = RELATION__NAME; + + /** + * The feature id for the 'Parameters' containment reference list. + * + * + * @generated + * @ordered + */ + int RELATION_DEFINITION__PARAMETERS = RELATION__PARAMETERS; + + /** + * The feature id for the 'Annotations' reference list. + * + * + * @generated + * @ordered + */ + int RELATION_DEFINITION__ANNOTATIONS = RELATION__ANNOTATIONS; + + /** + * The feature id for the 'Variables' containment reference list. + * + * + * @generated + * @ordered + */ + int RELATION_DEFINITION__VARIABLES = RELATION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Value' containment reference. + * + * + * @generated + * @ordered + */ + int RELATION_DEFINITION__VALUE = RELATION_FEATURE_COUNT + 1; + + /** + * The feature id for the 'Defines' reference. + * + * + * @generated + * @ordered + */ + int RELATION_DEFINITION__DEFINES = RELATION_FEATURE_COUNT + 2; + + /** + * The number of structural features of the 'Relation Definition' class. + * + * + * @generated + * @ordered + */ + int RELATION_DEFINITION_FEATURE_COUNT = RELATION_FEATURE_COUNT + 3; + + /** + * The number of operations of the 'Relation Definition' class. + * + * + * @generated + * @ordered + */ + int RELATION_DEFINITION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionDefinitionImpl Function Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getFunctionDefinition() + * @generated + */ + int FUNCTION_DEFINITION = 47; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int FUNCTION_DEFINITION__NAME = FUNCTION__NAME; + + /** + * The feature id for the 'Range' containment reference. + * + * + * @generated + * @ordered + */ + int FUNCTION_DEFINITION__RANGE = FUNCTION__RANGE; + + /** + * The feature id for the 'Parameters' containment reference list. + * + * + * @generated + * @ordered + */ + int FUNCTION_DEFINITION__PARAMETERS = FUNCTION__PARAMETERS; + + /** + * The feature id for the 'Annotations' reference list. + * + * + * @generated + * @ordered + */ + int FUNCTION_DEFINITION__ANNOTATIONS = FUNCTION__ANNOTATIONS; + + /** + * The feature id for the 'Variable' containment reference list. + * + * + * @generated + * @ordered + */ + int FUNCTION_DEFINITION__VARIABLE = FUNCTION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Defines' reference. + * + * + * @generated + * @ordered + */ + int FUNCTION_DEFINITION__DEFINES = FUNCTION_FEATURE_COUNT + 1; + + /** + * The feature id for the 'Value' containment reference. + * + * + * @generated + * @ordered + */ + int FUNCTION_DEFINITION__VALUE = FUNCTION_FEATURE_COUNT + 2; + + /** + * The number of structural features of the 'Function Definition' class. + * + * + * @generated + * @ordered + */ + int FUNCTION_DEFINITION_FEATURE_COUNT = FUNCTION_FEATURE_COUNT + 3; + + /** + * The number of operations of the 'Function Definition' class. + * + * + * @generated + * @ordered + */ + int FUNCTION_DEFINITION_OPERATION_COUNT = FUNCTION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IfThenElseImpl If Then Else}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IfThenElseImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIfThenElse() + * @generated + */ + int IF_THEN_ELSE = 48; + + /** + * The feature id for the 'Condition' containment reference. + * + * + * @generated + * @ordered + */ + int IF_THEN_ELSE__CONDITION = TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'If True' containment reference. + * + * + * @generated + * @ordered + */ + int IF_THEN_ELSE__IF_TRUE = TERM_FEATURE_COUNT + 1; + + /** + * The feature id for the 'If False' containment reference. + * + * + * @generated + * @ordered + */ + int IF_THEN_ELSE__IF_FALSE = TERM_FEATURE_COUNT + 2; + + /** + * The number of structural features of the 'If Then Else' class. + * + * + * @generated + * @ordered + */ + int IF_THEN_ELSE_FEATURE_COUNT = TERM_FEATURE_COUNT + 3; + + /** + * The number of operations of the 'If Then Else' class. + * + * + * @generated + * @ordered + */ + int IF_THEN_ELSE_OPERATION_COUNT = TERM_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantDeclarationImpl Constant Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getConstantDeclaration() + * @generated + */ + int CONSTANT_DECLARATION = 49; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int CONSTANT_DECLARATION__NAME = CONSTANT__NAME; + + /** + * The feature id for the 'Type' containment reference. + * + * + * @generated + * @ordered + */ + int CONSTANT_DECLARATION__TYPE = CONSTANT__TYPE; + + /** + * The feature id for the 'Annotations' reference list. + * + * + * @generated + * @ordered + */ + int CONSTANT_DECLARATION__ANNOTATIONS = CONSTANT__ANNOTATIONS; + + /** + * The number of structural features of the 'Constant Declaration' class. + * + * + * @generated + * @ordered + */ + int CONSTANT_DECLARATION_FEATURE_COUNT = CONSTANT_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Constant Declaration' class. + * + * + * @generated + * @ordered + */ + int CONSTANT_DECLARATION_OPERATION_COUNT = CONSTANT_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationDeclarationImpl Relation Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRelationDeclaration() + * @generated + */ + int RELATION_DECLARATION = 50; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int RELATION_DECLARATION__NAME = RELATION__NAME; + + /** + * The feature id for the 'Parameters' containment reference list. + * + * + * @generated + * @ordered + */ + int RELATION_DECLARATION__PARAMETERS = RELATION__PARAMETERS; + + /** + * The feature id for the 'Annotations' reference list. + * + * + * @generated + * @ordered + */ + int RELATION_DECLARATION__ANNOTATIONS = RELATION__ANNOTATIONS; + + /** + * The number of structural features of the 'Relation Declaration' class. + * + * + * @generated + * @ordered + */ + int RELATION_DECLARATION_FEATURE_COUNT = RELATION_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Relation Declaration' class. + * + * + * @generated + * @ordered + */ + int RELATION_DECLARATION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionDeclarationImpl Function Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getFunctionDeclaration() + * @generated + */ + int FUNCTION_DECLARATION = 51; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int FUNCTION_DECLARATION__NAME = FUNCTION__NAME; + + /** + * The feature id for the 'Range' containment reference. + * + * + * @generated + * @ordered + */ + int FUNCTION_DECLARATION__RANGE = FUNCTION__RANGE; + + /** + * The feature id for the 'Parameters' containment reference list. + * + * + * @generated + * @ordered + */ + int FUNCTION_DECLARATION__PARAMETERS = FUNCTION__PARAMETERS; + + /** + * The feature id for the 'Annotations' reference list. + * + * + * @generated + * @ordered + */ + int FUNCTION_DECLARATION__ANNOTATIONS = FUNCTION__ANNOTATIONS; + + /** + * The number of structural features of the 'Function Declaration' class. + * + * + * @generated + * @ordered + */ + int FUNCTION_DECLARATION_FEATURE_COUNT = FUNCTION_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Function Declaration' class. + * + * + * @generated + * @ordered + */ + int FUNCTION_DECLARATION_OPERATION_COUNT = FUNCTION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeDeclarationImpl Type Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTypeDeclaration() + * @generated + */ + int TYPE_DECLARATION = 52; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int TYPE_DECLARATION__NAME = TYPE__NAME; + + /** + * The feature id for the 'Subtypes' reference list. + * + * + * @generated + * @ordered + */ + int TYPE_DECLARATION__SUBTYPES = TYPE__SUBTYPES; + + /** + * The feature id for the 'Supertypes' reference list. + * + * + * @generated + * @ordered + */ + int TYPE_DECLARATION__SUPERTYPES = TYPE__SUPERTYPES; + + /** + * The feature id for the 'Is Abstract' attribute. + * + * + * @generated + * @ordered + */ + int TYPE_DECLARATION__IS_ABSTRACT = TYPE__IS_ABSTRACT; + + /** + * The number of structural features of the 'Type Declaration' class. + * + * + * @generated + * @ordered + */ + int TYPE_DECLARATION_FEATURE_COUNT = TYPE_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Type Declaration' class. + * + * + * @generated + * @ordered + */ + int TYPE_DECLARATION_OPERATION_COUNT = TYPE_OPERATION_COUNT + 0; + + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.UnknownBecauseUninterpretedImpl Unknown Because Uninterpreted}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.UnknownBecauseUninterpretedImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getUnknownBecauseUninterpreted() + * @generated + */ + int UNKNOWN_BECAUSE_UNINTERPRETED = 53; + + /** + * The number of structural features of the 'Unknown Because Uninterpreted' class. + * + * + * @generated + * @ordered + */ + int UNKNOWN_BECAUSE_UNINTERPRETED_FEATURE_COUNT = TERM_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Unknown Because Uninterpreted' class. + * + * + * @generated + * @ordered + */ + int UNKNOWN_BECAUSE_UNINTERPRETED_OPERATION_COUNT = TERM_OPERATION_COUNT + 0; + + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.InstanceOfImpl Instance Of}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.InstanceOfImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getInstanceOf() + * @generated + */ + int INSTANCE_OF = 54; + + /** + * The feature id for the 'Value' containment reference. + * + * + * @generated + * @ordered + */ + int INSTANCE_OF__VALUE = TERM_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Range' containment reference. + * + * + * @generated + * @ordered + */ + int INSTANCE_OF__RANGE = TERM_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Instance Of' class. + * + * + * @generated + * @ordered + */ + int INSTANCE_OF_FEATURE_COUNT = TERM_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'Instance Of' class. + * + * + * @generated + * @ordered + */ + int INSTANCE_OF_OPERATION_COUNT = TERM_OPERATION_COUNT + 0; + + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type Type}'. + * + * + * @return the meta object for class 'Type'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type + * @generated + */ + EClass getType(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type#getName() + * @see #getType() + * @generated + */ + EAttribute getType_Name(); + + /** + * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type#getSubtypes Subtypes}'. + * + * + * @return the meta object for the reference list 'Subtypes'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type#getSubtypes() + * @see #getType() + * @generated + */ + EReference getType_Subtypes(); + + /** + * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type#getSupertypes Supertypes}'. + * + * + * @return the meta object for the reference list 'Supertypes'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type#getSupertypes() + * @see #getType() + * @generated + */ + EReference getType_Supertypes(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type#isIsAbstract Is Abstract}'. + * + * + * @return the meta object for the attribute 'Is Abstract'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type#isIsAbstract() + * @see #getType() + * @generated + */ + EAttribute getType_IsAbstract(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement Defined Element}'. + * + * + * @return the meta object for class 'Defined Element'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement + * @generated + */ + EClass getDefinedElement(); + + /** + * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement#getDefinedInType Defined In Type}'. + * + * + * @return the meta object for the reference list 'Defined In Type'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement#getDefinedInType() + * @see #getDefinedElement() + * @generated + */ + EReference getDefinedElement_DefinedInType(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition Type Definition}'. + * + * + * @return the meta object for class 'Type Definition'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition + * @generated + */ + EClass getTypeDefinition(); + + /** + * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition#getElements Elements}'. + * + * + * @return the meta object for the reference list 'Elements'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition#getElements() + * @see #getTypeDefinition() + * @generated + */ + EReference getTypeDefinition_Elements(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition#getDefines Defines}'. + * + * + * @return the meta object for the reference 'Defines'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition#getDefines() + * @see #getTypeDefinition() + * @generated + */ + EReference getTypeDefinition_Defines(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeReference Type Reference}'. + * + * + * @return the meta object for class 'Type Reference'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeReference + * @generated + */ + EClass getTypeReference(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference Complex Type Reference}'. + * + * + * @return the meta object for class 'Complex Type Reference'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference + * @generated + */ + EClass getComplexTypeReference(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference#getReferred Referred}'. + * + * + * @return the meta object for the reference 'Referred'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference#getReferred() + * @see #getComplexTypeReference() + * @generated + */ + EReference getComplexTypeReference_Referred(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveTypeReference Primitive Type Reference}'. + * + * + * @return the meta object for class 'Primitive Type Reference'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveTypeReference + * @generated + */ + EClass getPrimitiveTypeReference(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntTypeReference Int Type Reference}'. + * + * + * @return the meta object for class 'Int Type Reference'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntTypeReference + * @generated + */ + EClass getIntTypeReference(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolTypeReference Bool Type Reference}'. + * + * + * @return the meta object for class 'Bool Type Reference'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolTypeReference + * @generated + */ + EClass getBoolTypeReference(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealTypeReference Real Type Reference}'. + * + * + * @return the meta object for class 'Real Type Reference'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealTypeReference + * @generated + */ + EClass getRealTypeReference(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function Function}'. + * + * + * @return the meta object for class 'Function'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function + * @generated + */ + EClass getFunction(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function#getRange Range}'. + * + * + * @return the meta object for the containment reference 'Range'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function#getRange() + * @see #getFunction() + * @generated + */ + EReference getFunction_Range(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function#getParameters Parameters}'. + * + * + * @return the meta object for the containment reference list 'Parameters'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function#getParameters() + * @see #getFunction() + * @generated + */ + EReference getFunction_Parameters(); + + /** + * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function#getAnnotations Annotations}'. + * + * + * @return the meta object for the reference list 'Annotations'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function#getAnnotations() + * @see #getFunction() + * @generated + */ + EReference getFunction_Annotations(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term Term}'. + * + * + * @return the meta object for class 'Term'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term + * @generated + */ + EClass getTerm(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration Symbolic Declaration}'. + * + * + * @return the meta object for class 'Symbolic Declaration'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration + * @generated + */ + EClass getSymbolicDeclaration(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration#getName() + * @see #getSymbolicDeclaration() + * @generated + */ + EAttribute getSymbolicDeclaration_Name(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue Symbolic Value}'. + * + * + * @return the meta object for class 'Symbolic Value'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue + * @generated + */ + EClass getSymbolicValue(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue#getSymbolicReference Symbolic Reference}'. + * + * + * @return the meta object for the reference 'Symbolic Reference'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue#getSymbolicReference() + * @see #getSymbolicValue() + * @generated + */ + EReference getSymbolicValue_SymbolicReference(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue#getParameterSubstitutions Parameter Substitutions}'. + * + * + * @return the meta object for the containment reference list 'Parameter Substitutions'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue#getParameterSubstitutions() + * @see #getSymbolicValue() + * @generated + */ + EReference getSymbolicValue_ParameterSubstitutions(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AtomicTerm Atomic Term}'. + * + * + * @return the meta object for class 'Atomic Term'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AtomicTerm + * @generated + */ + EClass getAtomicTerm(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntLiteral Int Literal}'. + * + * + * @return the meta object for class 'Int Literal'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntLiteral + * @generated + */ + EClass getIntLiteral(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntLiteral#getValue Value}'. + * + * + * @return the meta object for the attribute 'Value'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntLiteral#getValue() + * @see #getIntLiteral() + * @generated + */ + EAttribute getIntLiteral_Value(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolLiteral Bool Literal}'. + * + * + * @return the meta object for class 'Bool Literal'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolLiteral + * @generated + */ + EClass getBoolLiteral(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolLiteral#isValue Value}'. + * + * + * @return the meta object for the attribute 'Value'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolLiteral#isValue() + * @see #getBoolLiteral() + * @generated + */ + EAttribute getBoolLiteral_Value(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealLiteral Real Literal}'. + * + * + * @return the meta object for class 'Real Literal'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealLiteral + * @generated + */ + EClass getRealLiteral(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealLiteral#getValue Value}'. + * + * + * @return the meta object for the attribute 'Value'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealLiteral#getValue() + * @see #getRealLiteral() + * @generated + */ + EAttribute getRealLiteral_Value(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable Variable}'. + * + * + * @return the meta object for class 'Variable'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable + * @generated + */ + EClass getVariable(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable#getRange Range}'. + * + * + * @return the meta object for the containment reference 'Range'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable#getRange() + * @see #getVariable() + * @generated + */ + EReference getVariable_Range(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.QuantifiedExpression Quantified Expression}'. + * + * + * @return the meta object for class 'Quantified Expression'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.QuantifiedExpression + * @generated + */ + EClass getQuantifiedExpression(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.QuantifiedExpression#getQuantifiedVariables Quantified Variables}'. + * + * + * @return the meta object for the containment reference list 'Quantified Variables'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.QuantifiedExpression#getQuantifiedVariables() + * @see #getQuantifiedExpression() + * @generated + */ + EReference getQuantifiedExpression_QuantifiedVariables(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.QuantifiedExpression#getExpression Expression}'. + * + * + * @return the meta object for the containment reference 'Expression'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.QuantifiedExpression#getExpression() + * @see #getQuantifiedExpression() + * @generated + */ + EReference getQuantifiedExpression_Expression(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Exists Exists}'. + * + * + * @return the meta object for class 'Exists'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Exists + * @generated + */ + EClass getExists(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Forall Forall}'. + * + * + * @return the meta object for class 'Forall'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Forall + * @generated + */ + EClass getForall(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolOperation Bool Operation}'. + * + * + * @return the meta object for class 'Bool Operation'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolOperation + * @generated + */ + EClass getBoolOperation(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.And And}'. + * + * + * @return the meta object for class 'And'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.And + * @generated + */ + EClass getAnd(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.And#getOperands Operands}'. + * + * + * @return the meta object for the containment reference list 'Operands'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.And#getOperands() + * @see #getAnd() + * @generated + */ + EReference getAnd_Operands(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Or Or}'. + * + * + * @return the meta object for class 'Or'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Or + * @generated + */ + EClass getOr(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Or#getOperands Operands}'. + * + * + * @return the meta object for the containment reference list 'Operands'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Or#getOperands() + * @see #getOr() + * @generated + */ + EReference getOr_Operands(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Impl Impl}'. + * + * + * @return the meta object for class 'Impl'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Impl + * @generated + */ + EClass getImpl(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Impl#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Impl#getLeftOperand() + * @see #getImpl() + * @generated + */ + EReference getImpl_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Impl#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Impl#getRightOperand() + * @see #getImpl() + * @generated + */ + EReference getImpl_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Not Not}'. + * + * + * @return the meta object for class 'Not'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Not + * @generated + */ + EClass getNot(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Not#getOperand Operand}'. + * + * + * @return the meta object for the containment reference 'Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Not#getOperand() + * @see #getNot() + * @generated + */ + EReference getNot_Operand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Iff Iff}'. + * + * + * @return the meta object for class 'Iff'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Iff + * @generated + */ + EClass getIff(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Iff#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Iff#getLeftOperand() + * @see #getIff() + * @generated + */ + EReference getIff_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Iff#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Iff#getRightOperand() + * @see #getIff() + * @generated + */ + EReference getIff_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveRelation Primitive Relation}'. + * + * + * @return the meta object for class 'Primitive Relation'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveRelation + * @generated + */ + EClass getPrimitiveRelation(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals Equals}'. + * + * + * @return the meta object for class 'Equals'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals + * @generated + */ + EClass getEquals(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals#getLeftOperand() + * @see #getEquals() + * @generated + */ + EReference getEquals_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals#getRightOperand() + * @see #getEquals() + * @generated + */ + EReference getEquals_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Distinct Distinct}'. + * + * + * @return the meta object for class 'Distinct'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Distinct + * @generated + */ + EClass getDistinct(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Distinct#getOperands Operands}'. + * + * + * @return the meta object for the containment reference list 'Operands'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Distinct#getOperands() + * @see #getDistinct() + * @generated + */ + EReference getDistinct_Operands(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessThan Less Than}'. + * + * + * @return the meta object for class 'Less Than'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessThan + * @generated + */ + EClass getLessThan(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessThan#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessThan#getLeftOperand() + * @see #getLessThan() + * @generated + */ + EReference getLessThan_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessThan#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessThan#getRightOperand() + * @see #getLessThan() + * @generated + */ + EReference getLessThan_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreThan More Than}'. + * + * + * @return the meta object for class 'More Than'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreThan + * @generated + */ + EClass getMoreThan(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreThan#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreThan#getLeftOperand() + * @see #getMoreThan() + * @generated + */ + EReference getMoreThan_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreThan#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreThan#getRightOperand() + * @see #getMoreThan() + * @generated + */ + EReference getMoreThan_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessOrEqualThan Less Or Equal Than}'. + * + * + * @return the meta object for class 'Less Or Equal Than'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessOrEqualThan + * @generated + */ + EClass getLessOrEqualThan(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessOrEqualThan#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessOrEqualThan#getLeftOperand() + * @see #getLessOrEqualThan() + * @generated + */ + EReference getLessOrEqualThan_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessOrEqualThan#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessOrEqualThan#getRightOperand() + * @see #getLessOrEqualThan() + * @generated + */ + EReference getLessOrEqualThan_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreOrEqualThan More Or Equal Than}'. + * + * + * @return the meta object for class 'More Or Equal Than'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreOrEqualThan + * @generated + */ + EClass getMoreOrEqualThan(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreOrEqualThan#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreOrEqualThan#getLeftOperand() + * @see #getMoreOrEqualThan() + * @generated + */ + EReference getMoreOrEqualThan_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreOrEqualThan#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreOrEqualThan#getRightOperand() + * @see #getMoreOrEqualThan() + * @generated + */ + EReference getMoreOrEqualThan_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntOperation Int Operation}'. + * + * + * @return the meta object for class 'Int Operation'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntOperation + * @generated + */ + EClass getIntOperation(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntOperation#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntOperation#getLeftOperand() + * @see #getIntOperation() + * @generated + */ + EReference getIntOperation_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntOperation#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntOperation#getRightOperand() + * @see #getIntOperation() + * @generated + */ + EReference getIntOperation_RightOperand(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Plus Plus}'. + * + * + * @return the meta object for class 'Plus'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Plus + * @generated + */ + EClass getPlus(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Minus Minus}'. + * + * + * @return the meta object for class 'Minus'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Minus + * @generated + */ + EClass getMinus(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Multiply Multiply}'. + * + * + * @return the meta object for class 'Multiply'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Multiply + * @generated + */ + EClass getMultiply(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Divison Divison}'. + * + * + * @return the meta object for class 'Divison'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Divison + * @generated + */ + EClass getDivison(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Mod Mod}'. + * + * + * @return the meta object for class 'Mod'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Mod + * @generated + */ + EClass getMod(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor Type Descriptor}'. + * + * + * @return the meta object for class 'Type Descriptor'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor + * @generated + */ + EClass getTypeDescriptor(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription Term Description}'. + * + * + * @return the meta object for class 'Term Description'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription + * @generated + */ + EClass getTermDescription(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion Assertion}'. + * + * + * @return the meta object for class 'Assertion'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion + * @generated + */ + EClass getAssertion(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion#getValue Value}'. + * + * + * @return the meta object for the containment reference 'Value'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion#getValue() + * @see #getAssertion() + * @generated + */ + EReference getAssertion_Value(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion#getName() + * @see #getAssertion() + * @generated + */ + EAttribute getAssertion_Name(); + + /** + * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion#getAnnotations Annotations}'. + * + * + * @return the meta object for the reference list 'Annotations'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion#getAnnotations() + * @see #getAssertion() + * @generated + */ + EReference getAssertion_Annotations(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation Relation}'. + * + * + * @return the meta object for class 'Relation'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation + * @generated + */ + EClass getRelation(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation#getParameters Parameters}'. + * + * + * @return the meta object for the containment reference list 'Parameters'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation#getParameters() + * @see #getRelation() + * @generated + */ + EReference getRelation_Parameters(); + + /** + * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation#getAnnotations Annotations}'. + * + * + * @return the meta object for the reference list 'Annotations'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation#getAnnotations() + * @see #getRelation() + * @generated + */ + EReference getRelation_Annotations(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant Constant}'. + * + * + * @return the meta object for class 'Constant'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant + * @generated + */ + EClass getConstant(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant#getType Type}'. + * + * + * @return the meta object for the containment reference 'Type'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant#getType() + * @see #getConstant() + * @generated + */ + EReference getConstant_Type(); + + /** + * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant#getAnnotations Annotations}'. + * + * + * @return the meta object for the reference list 'Annotations'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant#getAnnotations() + * @see #getConstant() + * @generated + */ + EReference getConstant_Annotations(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition Constant Definition}'. + * + * + * @return the meta object for class 'Constant Definition'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition + * @generated + */ + EClass getConstantDefinition(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition#getValue Value}'. + * + * + * @return the meta object for the containment reference 'Value'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition#getValue() + * @see #getConstantDefinition() + * @generated + */ + EReference getConstantDefinition_Value(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition#getDefines Defines}'. + * + * + * @return the meta object for the reference 'Defines'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition#getDefines() + * @see #getConstantDefinition() + * @generated + */ + EReference getConstantDefinition_Defines(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition Relation Definition}'. + * + * + * @return the meta object for class 'Relation Definition'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition + * @generated + */ + EClass getRelationDefinition(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition#getVariables Variables}'. + * + * + * @return the meta object for the containment reference list 'Variables'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition#getVariables() + * @see #getRelationDefinition() + * @generated + */ + EReference getRelationDefinition_Variables(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition#getValue Value}'. + * + * + * @return the meta object for the containment reference 'Value'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition#getValue() + * @see #getRelationDefinition() + * @generated + */ + EReference getRelationDefinition_Value(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition#getDefines Defines}'. + * + * + * @return the meta object for the reference 'Defines'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition#getDefines() + * @see #getRelationDefinition() + * @generated + */ + EReference getRelationDefinition_Defines(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition Function Definition}'. + * + * + * @return the meta object for class 'Function Definition'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition + * @generated + */ + EClass getFunctionDefinition(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition#getVariable Variable}'. + * + * + * @return the meta object for the containment reference list 'Variable'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition#getVariable() + * @see #getFunctionDefinition() + * @generated + */ + EReference getFunctionDefinition_Variable(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition#getDefines Defines}'. + * + * + * @return the meta object for the reference 'Defines'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition#getDefines() + * @see #getFunctionDefinition() + * @generated + */ + EReference getFunctionDefinition_Defines(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition#getValue Value}'. + * + * + * @return the meta object for the containment reference 'Value'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition#getValue() + * @see #getFunctionDefinition() + * @generated + */ + EReference getFunctionDefinition_Value(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse If Then Else}'. + * + * + * @return the meta object for class 'If Then Else'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse + * @generated + */ + EClass getIfThenElse(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse#getCondition Condition}'. + * + * + * @return the meta object for the containment reference 'Condition'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse#getCondition() + * @see #getIfThenElse() + * @generated + */ + EReference getIfThenElse_Condition(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse#getIfTrue If True}'. + * + * + * @return the meta object for the containment reference 'If True'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse#getIfTrue() + * @see #getIfThenElse() + * @generated + */ + EReference getIfThenElse_IfTrue(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse#getIfFalse If False}'. + * + * + * @return the meta object for the containment reference 'If False'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse#getIfFalse() + * @see #getIfThenElse() + * @generated + */ + EReference getIfThenElse_IfFalse(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration Constant Declaration}'. + * + * + * @return the meta object for class 'Constant Declaration'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration + * @generated + */ + EClass getConstantDeclaration(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration Relation Declaration}'. + * + * + * @return the meta object for class 'Relation Declaration'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration + * @generated + */ + EClass getRelationDeclaration(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDeclaration Function Declaration}'. + * + * + * @return the meta object for class 'Function Declaration'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDeclaration + * @generated + */ + EClass getFunctionDeclaration(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration Type Declaration}'. + * + * + * @return the meta object for class 'Type Declaration'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration + * @generated + */ + EClass getTypeDeclaration(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.UnknownBecauseUninterpreted Unknown Because Uninterpreted}'. + * + * + * @return the meta object for class 'Unknown Because Uninterpreted'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.UnknownBecauseUninterpreted + * @generated + */ + EClass getUnknownBecauseUninterpreted(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.InstanceOf Instance Of}'. + * + * + * @return the meta object for class 'Instance Of'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.InstanceOf + * @generated + */ + EClass getInstanceOf(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.InstanceOf#getValue Value}'. + * + * + * @return the meta object for the containment reference 'Value'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.InstanceOf#getValue() + * @see #getInstanceOf() + * @generated + */ + EReference getInstanceOf_Value(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.InstanceOf#getRange Range}'. + * + * + * @return the meta object for the containment reference 'Range'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.InstanceOf#getRange() + * @see #getInstanceOf() + * @generated + */ + EReference getInstanceOf_Range(); + + /** + * Returns the factory that creates the instances of the model. + * + * + * @return the factory that creates the instances of the model. + * @generated + */ + LogiclanguageFactory getLogiclanguageFactory(); + + /** + * + * Defines literals for the meta objects that represent + * + * + * @generated + */ + interface Literals { + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeImpl Type}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getType() + * @generated + */ + EClass TYPE = eINSTANCE.getType(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute TYPE__NAME = eINSTANCE.getType_Name(); + + /** + * The meta object literal for the 'Subtypes' reference list feature. + * + * + * @generated + */ + EReference TYPE__SUBTYPES = eINSTANCE.getType_Subtypes(); + + /** + * The meta object literal for the 'Supertypes' reference list feature. + * + * + * @generated + */ + EReference TYPE__SUPERTYPES = eINSTANCE.getType_Supertypes(); + + /** + * The meta object literal for the 'Is Abstract' attribute feature. + * + * + * @generated + */ + EAttribute TYPE__IS_ABSTRACT = eINSTANCE.getType_IsAbstract(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DefinedElementImpl Defined Element}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DefinedElementImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getDefinedElement() + * @generated + */ + EClass DEFINED_ELEMENT = eINSTANCE.getDefinedElement(); + + /** + * The meta object literal for the 'Defined In Type' reference list feature. + * + * + * @generated + */ + EReference DEFINED_ELEMENT__DEFINED_IN_TYPE = eINSTANCE.getDefinedElement_DefinedInType(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeDefinitionImpl Type Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTypeDefinition() + * @generated + */ + EClass TYPE_DEFINITION = eINSTANCE.getTypeDefinition(); + + /** + * The meta object literal for the 'Elements' reference list feature. + * + * + * @generated + */ + EReference TYPE_DEFINITION__ELEMENTS = eINSTANCE.getTypeDefinition_Elements(); + + /** + * The meta object literal for the 'Defines' reference feature. + * + * + * @generated + */ + EReference TYPE_DEFINITION__DEFINES = eINSTANCE.getTypeDefinition_Defines(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeReferenceImpl Type Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTypeReference() + * @generated + */ + EClass TYPE_REFERENCE = eINSTANCE.getTypeReference(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ComplexTypeReferenceImpl Complex Type Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ComplexTypeReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getComplexTypeReference() + * @generated + */ + EClass COMPLEX_TYPE_REFERENCE = eINSTANCE.getComplexTypeReference(); + + /** + * The meta object literal for the 'Referred' reference feature. + * + * + * @generated + */ + EReference COMPLEX_TYPE_REFERENCE__REFERRED = eINSTANCE.getComplexTypeReference_Referred(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PrimitiveTypeReferenceImpl Primitive Type Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PrimitiveTypeReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getPrimitiveTypeReference() + * @generated + */ + EClass PRIMITIVE_TYPE_REFERENCE = eINSTANCE.getPrimitiveTypeReference(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntTypeReferenceImpl Int Type Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntTypeReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIntTypeReference() + * @generated + */ + EClass INT_TYPE_REFERENCE = eINSTANCE.getIntTypeReference(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolTypeReferenceImpl Bool Type Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolTypeReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getBoolTypeReference() + * @generated + */ + EClass BOOL_TYPE_REFERENCE = eINSTANCE.getBoolTypeReference(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RealTypeReferenceImpl Real Type Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RealTypeReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRealTypeReference() + * @generated + */ + EClass REAL_TYPE_REFERENCE = eINSTANCE.getRealTypeReference(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionImpl Function}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getFunction() + * @generated + */ + EClass FUNCTION = eINSTANCE.getFunction(); + + /** + * The meta object literal for the 'Range' containment reference feature. + * + * + * @generated + */ + EReference FUNCTION__RANGE = eINSTANCE.getFunction_Range(); + + /** + * The meta object literal for the 'Parameters' containment reference list feature. + * + * + * @generated + */ + EReference FUNCTION__PARAMETERS = eINSTANCE.getFunction_Parameters(); + + /** + * The meta object literal for the 'Annotations' reference list feature. + * + * + * @generated + */ + EReference FUNCTION__ANNOTATIONS = eINSTANCE.getFunction_Annotations(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TermImpl Term}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TermImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTerm() + * @generated + */ + EClass TERM = eINSTANCE.getTerm(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SymbolicDeclarationImpl Symbolic Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SymbolicDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getSymbolicDeclaration() + * @generated + */ + EClass SYMBOLIC_DECLARATION = eINSTANCE.getSymbolicDeclaration(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute SYMBOLIC_DECLARATION__NAME = eINSTANCE.getSymbolicDeclaration_Name(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SymbolicValueImpl Symbolic Value}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SymbolicValueImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getSymbolicValue() + * @generated + */ + EClass SYMBOLIC_VALUE = eINSTANCE.getSymbolicValue(); + + /** + * The meta object literal for the 'Symbolic Reference' reference feature. + * + * + * @generated + */ + EReference SYMBOLIC_VALUE__SYMBOLIC_REFERENCE = eINSTANCE.getSymbolicValue_SymbolicReference(); + + /** + * The meta object literal for the 'Parameter Substitutions' containment reference list feature. + * + * + * @generated + */ + EReference SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS = eINSTANCE.getSymbolicValue_ParameterSubstitutions(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AtomicTermImpl Atomic Term}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AtomicTermImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getAtomicTerm() + * @generated + */ + EClass ATOMIC_TERM = eINSTANCE.getAtomicTerm(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntLiteralImpl Int Literal}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntLiteralImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIntLiteral() + * @generated + */ + EClass INT_LITERAL = eINSTANCE.getIntLiteral(); + + /** + * The meta object literal for the 'Value' attribute feature. + * + * + * @generated + */ + EAttribute INT_LITERAL__VALUE = eINSTANCE.getIntLiteral_Value(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolLiteralImpl Bool Literal}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolLiteralImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getBoolLiteral() + * @generated + */ + EClass BOOL_LITERAL = eINSTANCE.getBoolLiteral(); + + /** + * The meta object literal for the 'Value' attribute feature. + * + * + * @generated + */ + EAttribute BOOL_LITERAL__VALUE = eINSTANCE.getBoolLiteral_Value(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RealLiteralImpl Real Literal}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RealLiteralImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRealLiteral() + * @generated + */ + EClass REAL_LITERAL = eINSTANCE.getRealLiteral(); + + /** + * The meta object literal for the 'Value' attribute feature. + * + * + * @generated + */ + EAttribute REAL_LITERAL__VALUE = eINSTANCE.getRealLiteral_Value(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.VariableImpl Variable}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.VariableImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getVariable() + * @generated + */ + EClass VARIABLE = eINSTANCE.getVariable(); + + /** + * The meta object literal for the 'Range' containment reference feature. + * + * + * @generated + */ + EReference VARIABLE__RANGE = eINSTANCE.getVariable_Range(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.QuantifiedExpressionImpl Quantified Expression}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.QuantifiedExpressionImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getQuantifiedExpression() + * @generated + */ + EClass QUANTIFIED_EXPRESSION = eINSTANCE.getQuantifiedExpression(); + + /** + * The meta object literal for the 'Quantified Variables' containment reference list feature. + * + * + * @generated + */ + EReference QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES = eINSTANCE.getQuantifiedExpression_QuantifiedVariables(); + + /** + * The meta object literal for the 'Expression' containment reference feature. + * + * + * @generated + */ + EReference QUANTIFIED_EXPRESSION__EXPRESSION = eINSTANCE.getQuantifiedExpression_Expression(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ExistsImpl Exists}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ExistsImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getExists() + * @generated + */ + EClass EXISTS = eINSTANCE.getExists(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ForallImpl Forall}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ForallImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getForall() + * @generated + */ + EClass FORALL = eINSTANCE.getForall(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolOperationImpl Bool Operation}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolOperationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getBoolOperation() + * @generated + */ + EClass BOOL_OPERATION = eINSTANCE.getBoolOperation(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AndImpl And}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AndImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getAnd() + * @generated + */ + EClass AND = eINSTANCE.getAnd(); + + /** + * The meta object literal for the 'Operands' containment reference list feature. + * + * + * @generated + */ + EReference AND__OPERANDS = eINSTANCE.getAnd_Operands(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.OrImpl Or}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.OrImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getOr() + * @generated + */ + EClass OR = eINSTANCE.getOr(); + + /** + * The meta object literal for the 'Operands' containment reference list feature. + * + * + * @generated + */ + EReference OR__OPERANDS = eINSTANCE.getOr_Operands(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ImplImpl Impl}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ImplImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getImpl() + * @generated + */ + EClass IMPL = eINSTANCE.getImpl(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference IMPL__LEFT_OPERAND = eINSTANCE.getImpl_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference IMPL__RIGHT_OPERAND = eINSTANCE.getImpl_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.NotImpl Not}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.NotImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getNot() + * @generated + */ + EClass NOT = eINSTANCE.getNot(); + + /** + * The meta object literal for the 'Operand' containment reference feature. + * + * + * @generated + */ + EReference NOT__OPERAND = eINSTANCE.getNot_Operand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IffImpl Iff}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IffImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIff() + * @generated + */ + EClass IFF = eINSTANCE.getIff(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference IFF__LEFT_OPERAND = eINSTANCE.getIff_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference IFF__RIGHT_OPERAND = eINSTANCE.getIff_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PrimitiveRelationImpl Primitive Relation}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PrimitiveRelationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getPrimitiveRelation() + * @generated + */ + EClass PRIMITIVE_RELATION = eINSTANCE.getPrimitiveRelation(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.EqualsImpl Equals}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.EqualsImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getEquals() + * @generated + */ + EClass EQUALS = eINSTANCE.getEquals(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference EQUALS__LEFT_OPERAND = eINSTANCE.getEquals_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference EQUALS__RIGHT_OPERAND = eINSTANCE.getEquals_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DistinctImpl Distinct}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DistinctImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getDistinct() + * @generated + */ + EClass DISTINCT = eINSTANCE.getDistinct(); + + /** + * The meta object literal for the 'Operands' containment reference list feature. + * + * + * @generated + */ + EReference DISTINCT__OPERANDS = eINSTANCE.getDistinct_Operands(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LessThanImpl Less Than}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LessThanImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getLessThan() + * @generated + */ + EClass LESS_THAN = eINSTANCE.getLessThan(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference LESS_THAN__LEFT_OPERAND = eINSTANCE.getLessThan_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference LESS_THAN__RIGHT_OPERAND = eINSTANCE.getLessThan_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MoreThanImpl More Than}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MoreThanImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMoreThan() + * @generated + */ + EClass MORE_THAN = eINSTANCE.getMoreThan(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference MORE_THAN__LEFT_OPERAND = eINSTANCE.getMoreThan_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference MORE_THAN__RIGHT_OPERAND = eINSTANCE.getMoreThan_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LessOrEqualThanImpl Less Or Equal Than}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LessOrEqualThanImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getLessOrEqualThan() + * @generated + */ + EClass LESS_OR_EQUAL_THAN = eINSTANCE.getLessOrEqualThan(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference LESS_OR_EQUAL_THAN__LEFT_OPERAND = eINSTANCE.getLessOrEqualThan_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference LESS_OR_EQUAL_THAN__RIGHT_OPERAND = eINSTANCE.getLessOrEqualThan_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MoreOrEqualThanImpl More Or Equal Than}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MoreOrEqualThanImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMoreOrEqualThan() + * @generated + */ + EClass MORE_OR_EQUAL_THAN = eINSTANCE.getMoreOrEqualThan(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference MORE_OR_EQUAL_THAN__LEFT_OPERAND = eINSTANCE.getMoreOrEqualThan_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference MORE_OR_EQUAL_THAN__RIGHT_OPERAND = eINSTANCE.getMoreOrEqualThan_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntOperationImpl Int Operation}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntOperationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIntOperation() + * @generated + */ + EClass INT_OPERATION = eINSTANCE.getIntOperation(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference INT_OPERATION__LEFT_OPERAND = eINSTANCE.getIntOperation_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference INT_OPERATION__RIGHT_OPERAND = eINSTANCE.getIntOperation_RightOperand(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PlusImpl Plus}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PlusImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getPlus() + * @generated + */ + EClass PLUS = eINSTANCE.getPlus(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MinusImpl Minus}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MinusImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMinus() + * @generated + */ + EClass MINUS = eINSTANCE.getMinus(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MultiplyImpl Multiply}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MultiplyImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMultiply() + * @generated + */ + EClass MULTIPLY = eINSTANCE.getMultiply(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DivisonImpl Divison}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DivisonImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getDivison() + * @generated + */ + EClass DIVISON = eINSTANCE.getDivison(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ModImpl Mod}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ModImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMod() + * @generated + */ + EClass MOD = eINSTANCE.getMod(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor Type Descriptor}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTypeDescriptor() + * @generated + */ + EClass TYPE_DESCRIPTOR = eINSTANCE.getTypeDescriptor(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription Term Description}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTermDescription() + * @generated + */ + EClass TERM_DESCRIPTION = eINSTANCE.getTermDescription(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AssertionImpl Assertion}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AssertionImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getAssertion() + * @generated + */ + EClass ASSERTION = eINSTANCE.getAssertion(); + + /** + * The meta object literal for the 'Value' containment reference feature. + * + * + * @generated + */ + EReference ASSERTION__VALUE = eINSTANCE.getAssertion_Value(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute ASSERTION__NAME = eINSTANCE.getAssertion_Name(); + + /** + * The meta object literal for the 'Annotations' reference list feature. + * + * + * @generated + */ + EReference ASSERTION__ANNOTATIONS = eINSTANCE.getAssertion_Annotations(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationImpl Relation}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRelation() + * @generated + */ + EClass RELATION = eINSTANCE.getRelation(); + + /** + * The meta object literal for the 'Parameters' containment reference list feature. + * + * + * @generated + */ + EReference RELATION__PARAMETERS = eINSTANCE.getRelation_Parameters(); + + /** + * The meta object literal for the 'Annotations' reference list feature. + * + * + * @generated + */ + EReference RELATION__ANNOTATIONS = eINSTANCE.getRelation_Annotations(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantImpl Constant}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getConstant() + * @generated + */ + EClass CONSTANT = eINSTANCE.getConstant(); + + /** + * The meta object literal for the 'Type' containment reference feature. + * + * + * @generated + */ + EReference CONSTANT__TYPE = eINSTANCE.getConstant_Type(); + + /** + * The meta object literal for the 'Annotations' reference list feature. + * + * + * @generated + */ + EReference CONSTANT__ANNOTATIONS = eINSTANCE.getConstant_Annotations(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantDefinitionImpl Constant Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getConstantDefinition() + * @generated + */ + EClass CONSTANT_DEFINITION = eINSTANCE.getConstantDefinition(); + + /** + * The meta object literal for the 'Value' containment reference feature. + * + * + * @generated + */ + EReference CONSTANT_DEFINITION__VALUE = eINSTANCE.getConstantDefinition_Value(); + + /** + * The meta object literal for the 'Defines' reference feature. + * + * + * @generated + */ + EReference CONSTANT_DEFINITION__DEFINES = eINSTANCE.getConstantDefinition_Defines(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationDefinitionImpl Relation Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRelationDefinition() + * @generated + */ + EClass RELATION_DEFINITION = eINSTANCE.getRelationDefinition(); + + /** + * The meta object literal for the 'Variables' containment reference list feature. + * + * + * @generated + */ + EReference RELATION_DEFINITION__VARIABLES = eINSTANCE.getRelationDefinition_Variables(); + + /** + * The meta object literal for the 'Value' containment reference feature. + * + * + * @generated + */ + EReference RELATION_DEFINITION__VALUE = eINSTANCE.getRelationDefinition_Value(); + + /** + * The meta object literal for the 'Defines' reference feature. + * + * + * @generated + */ + EReference RELATION_DEFINITION__DEFINES = eINSTANCE.getRelationDefinition_Defines(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionDefinitionImpl Function Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getFunctionDefinition() + * @generated + */ + EClass FUNCTION_DEFINITION = eINSTANCE.getFunctionDefinition(); + + /** + * The meta object literal for the 'Variable' containment reference list feature. + * + * + * @generated + */ + EReference FUNCTION_DEFINITION__VARIABLE = eINSTANCE.getFunctionDefinition_Variable(); + + /** + * The meta object literal for the 'Defines' reference feature. + * + * + * @generated + */ + EReference FUNCTION_DEFINITION__DEFINES = eINSTANCE.getFunctionDefinition_Defines(); + + /** + * The meta object literal for the 'Value' containment reference feature. + * + * + * @generated + */ + EReference FUNCTION_DEFINITION__VALUE = eINSTANCE.getFunctionDefinition_Value(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IfThenElseImpl If Then Else}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IfThenElseImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIfThenElse() + * @generated + */ + EClass IF_THEN_ELSE = eINSTANCE.getIfThenElse(); + + /** + * The meta object literal for the 'Condition' containment reference feature. + * + * + * @generated + */ + EReference IF_THEN_ELSE__CONDITION = eINSTANCE.getIfThenElse_Condition(); + + /** + * The meta object literal for the 'If True' containment reference feature. + * + * + * @generated + */ + EReference IF_THEN_ELSE__IF_TRUE = eINSTANCE.getIfThenElse_IfTrue(); + + /** + * The meta object literal for the 'If False' containment reference feature. + * + * + * @generated + */ + EReference IF_THEN_ELSE__IF_FALSE = eINSTANCE.getIfThenElse_IfFalse(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantDeclarationImpl Constant Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getConstantDeclaration() + * @generated + */ + EClass CONSTANT_DECLARATION = eINSTANCE.getConstantDeclaration(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationDeclarationImpl Relation Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRelationDeclaration() + * @generated + */ + EClass RELATION_DECLARATION = eINSTANCE.getRelationDeclaration(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionDeclarationImpl Function Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getFunctionDeclaration() + * @generated + */ + EClass FUNCTION_DECLARATION = eINSTANCE.getFunctionDeclaration(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeDeclarationImpl Type Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTypeDeclaration() + * @generated + */ + EClass TYPE_DECLARATION = eINSTANCE.getTypeDeclaration(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.UnknownBecauseUninterpretedImpl Unknown Because Uninterpreted}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.UnknownBecauseUninterpretedImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getUnknownBecauseUninterpreted() + * @generated + */ + EClass UNKNOWN_BECAUSE_UNINTERPRETED = eINSTANCE.getUnknownBecauseUninterpreted(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.InstanceOfImpl Instance Of}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.InstanceOfImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getInstanceOf() + * @generated + */ + EClass INSTANCE_OF = eINSTANCE.getInstanceOf(); + + /** + * The meta object literal for the 'Value' containment reference feature. + * + * + * @generated + */ + EReference INSTANCE_OF__VALUE = eINSTANCE.getInstanceOf_Value(); + + /** + * The meta object literal for the 'Range' containment reference feature. + * + * + * @generated + */ + EReference INSTANCE_OF__RANGE = eINSTANCE.getInstanceOf_Range(); + + } + +} //LogiclanguagePackage -- cgit v1.2.3-54-g00ecf