/** */ 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.NumericOperationImpl Numeric Operation}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.NumericOperationImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getNumericOperation() * @generated */ int NUMERIC_OPERATION = 34; /** * The feature id for the 'Left Operand' containment reference. * * * @generated * @ordered */ int NUMERIC_OPERATION__LEFT_OPERAND = TERM_FEATURE_COUNT + 0; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int NUMERIC_OPERATION__RIGHT_OPERAND = TERM_FEATURE_COUNT + 1; /** * The number of structural features of the 'Numeric Operation' class. * * * @generated * @ordered */ int NUMERIC_OPERATION_FEATURE_COUNT = TERM_FEATURE_COUNT + 2; /** * The number of operations of the 'Numeric Operation' class. * * * @generated * @ordered */ int NUMERIC_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 = NUMERIC_OPERATION__LEFT_OPERAND; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int PLUS__RIGHT_OPERAND = NUMERIC_OPERATION__RIGHT_OPERAND; /** * The number of structural features of the 'Plus' class. * * * @generated * @ordered */ int PLUS_FEATURE_COUNT = NUMERIC_OPERATION_FEATURE_COUNT + 0; /** * The number of operations of the 'Plus' class. * * * @generated * @ordered */ int PLUS_OPERATION_COUNT = NUMERIC_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 = NUMERIC_OPERATION__LEFT_OPERAND; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int MINUS__RIGHT_OPERAND = NUMERIC_OPERATION__RIGHT_OPERAND; /** * The number of structural features of the 'Minus' class. * * * @generated * @ordered */ int MINUS_FEATURE_COUNT = NUMERIC_OPERATION_FEATURE_COUNT + 0; /** * The number of operations of the 'Minus' class. * * * @generated * @ordered */ int MINUS_OPERATION_COUNT = NUMERIC_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 = NUMERIC_OPERATION__LEFT_OPERAND; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int MULTIPLY__RIGHT_OPERAND = NUMERIC_OPERATION__RIGHT_OPERAND; /** * The number of structural features of the 'Multiply' class. * * * @generated * @ordered */ int MULTIPLY_FEATURE_COUNT = NUMERIC_OPERATION_FEATURE_COUNT + 0; /** * The number of operations of the 'Multiply' class. * * * @generated * @ordered */ int MULTIPLY_OPERATION_COUNT = NUMERIC_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 = NUMERIC_OPERATION__LEFT_OPERAND; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int DIVISON__RIGHT_OPERAND = NUMERIC_OPERATION__RIGHT_OPERAND; /** * The number of structural features of the 'Divison' class. * * * @generated * @ordered */ int DIVISON_FEATURE_COUNT = NUMERIC_OPERATION_FEATURE_COUNT + 0; /** * The number of operations of the 'Divison' class. * * * @generated * @ordered */ int DIVISON_OPERATION_COUNT = NUMERIC_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 = NUMERIC_OPERATION__LEFT_OPERAND; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int MOD__RIGHT_OPERAND = NUMERIC_OPERATION__RIGHT_OPERAND; /** * The number of structural features of the 'Mod' class. * * * @generated * @ordered */ int MOD_FEATURE_COUNT = NUMERIC_OPERATION_FEATURE_COUNT + 0; /** * The number of operations of the 'Mod' class. * * * @generated * @ordered */ int MOD_OPERATION_COUNT = NUMERIC_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; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.StringTypeReferenceImpl String Type Reference}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.StringTypeReferenceImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getStringTypeReference() * @generated */ int STRING_TYPE_REFERENCE = 55; /** * The number of structural features of the 'String Type Reference' class. * * * @generated * @ordered */ int STRING_TYPE_REFERENCE_FEATURE_COUNT = PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT + 0; /** * The number of operations of the 'String Type Reference' class. * * * @generated * @ordered */ int STRING_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.StringLiteralImpl String Literal}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.StringLiteralImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getStringLiteral() * @generated */ int STRING_LITERAL = 56; /** * The feature id for the 'Value' attribute. * * * @generated * @ordered */ int STRING_LITERAL__VALUE = ATOMIC_TERM_FEATURE_COUNT + 0; /** * The number of structural features of the 'String Literal' class. * * * @generated * @ordered */ int STRING_LITERAL_FEATURE_COUNT = ATOMIC_TERM_FEATURE_COUNT + 1; /** * The number of operations of the 'String Literal' class. * * * @generated * @ordered */ int STRING_LITERAL_OPERATION_COUNT = ATOMIC_TERM_OPERATION_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl Transitive Closure}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTransitiveClosure() * @generated */ int TRANSITIVE_CLOSURE = 57; /** * The feature id for the 'Left Operand' containment reference. * * * @generated * @ordered */ int TRANSITIVE_CLOSURE__LEFT_OPERAND = TERM_FEATURE_COUNT + 0; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int TRANSITIVE_CLOSURE__RIGHT_OPERAND = TERM_FEATURE_COUNT + 1; /** * The feature id for the 'Relation' reference. * * * @generated * @ordered */ int TRANSITIVE_CLOSURE__RELATION = TERM_FEATURE_COUNT + 2; /** * The number of structural features of the 'Transitive Closure' class. * * * @generated * @ordered */ int TRANSITIVE_CLOSURE_FEATURE_COUNT = TERM_FEATURE_COUNT + 3; /** * The number of operations of the 'Transitive Closure' class. * * * @generated * @ordered */ int TRANSITIVE_CLOSURE_OPERATION_COUNT = TERM_OPERATION_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PowImpl Pow}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PowImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getPow() * @generated */ int POW = 58; /** * The feature id for the 'Left Operand' containment reference. * * * @generated * @ordered */ int POW__LEFT_OPERAND = NUMERIC_OPERATION__LEFT_OPERAND; /** * The feature id for the 'Right Operand' containment reference. * * * @generated * @ordered */ int POW__RIGHT_OPERAND = NUMERIC_OPERATION__RIGHT_OPERAND; /** * The number of structural features of the 'Pow' class. * * * @generated * @ordered */ int POW_FEATURE_COUNT = NUMERIC_OPERATION_FEATURE_COUNT + 0; /** * The number of operations of the 'Pow' class. * * * @generated * @ordered */ int POW_OPERATION_COUNT = NUMERIC_OPERATION_OPERATION_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AggregateExpressionImpl Aggregate Expression}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AggregateExpressionImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getAggregateExpression() * @generated */ int AGGREGATE_EXPRESSION = 59; /** * The feature id for the 'Relation' reference. * * * @generated * @ordered */ int AGGREGATE_EXPRESSION__RELATION = TERM_FEATURE_COUNT + 0; /** * The number of structural features of the 'Aggregate Expression' class. * * * @generated * @ordered */ int AGGREGATE_EXPRESSION_FEATURE_COUNT = TERM_FEATURE_COUNT + 1; /** * The number of operations of the 'Aggregate Expression' class. * * * @generated * @ordered */ int AGGREGATE_EXPRESSION_OPERATION_COUNT = TERM_OPERATION_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ProjectedAggregateExpressionImpl Projected Aggregate Expression}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ProjectedAggregateExpressionImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getProjectedAggregateExpression() * @generated */ int PROJECTED_AGGREGATE_EXPRESSION = 64; /** * The feature id for the 'Relation' reference. * * * @generated * @ordered */ int PROJECTED_AGGREGATE_EXPRESSION__RELATION = AGGREGATE_EXPRESSION__RELATION; /** * The feature id for the 'Projection Index' attribute. * * * @generated * @ordered */ int PROJECTED_AGGREGATE_EXPRESSION__PROJECTION_INDEX = AGGREGATE_EXPRESSION_FEATURE_COUNT + 0; /** * The number of structural features of the 'Projected Aggregate Expression' class. * * * @generated * @ordered */ int PROJECTED_AGGREGATE_EXPRESSION_FEATURE_COUNT = AGGREGATE_EXPRESSION_FEATURE_COUNT + 1; /** * The number of operations of the 'Projected Aggregate Expression' class. * * * @generated * @ordered */ int PROJECTED_AGGREGATE_EXPRESSION_OPERATION_COUNT = AGGREGATE_EXPRESSION_OPERATION_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SumImpl Sum}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SumImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getSum() * @generated */ int SUM = 60; /** * The feature id for the 'Relation' reference. * * * @generated * @ordered */ int SUM__RELATION = PROJECTED_AGGREGATE_EXPRESSION__RELATION; /** * The feature id for the 'Projection Index' attribute. * * * @generated * @ordered */ int SUM__PROJECTION_INDEX = PROJECTED_AGGREGATE_EXPRESSION__PROJECTION_INDEX; /** * The number of structural features of the 'Sum' class. * * * @generated * @ordered */ int SUM_FEATURE_COUNT = PROJECTED_AGGREGATE_EXPRESSION_FEATURE_COUNT + 0; /** * The number of operations of the 'Sum' class. * * * @generated * @ordered */ int SUM_OPERATION_COUNT = PROJECTED_AGGREGATE_EXPRESSION_OPERATION_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.CountImpl Count}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.CountImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getCount() * @generated */ int COUNT = 61; /** * The feature id for the 'Relation' reference. * * * @generated * @ordered */ int COUNT__RELATION = AGGREGATE_EXPRESSION__RELATION; /** * The number of structural features of the 'Count' class. * * * @generated * @ordered */ int COUNT_FEATURE_COUNT = AGGREGATE_EXPRESSION_FEATURE_COUNT + 0; /** * The number of operations of the 'Count' class. * * * @generated * @ordered */ int COUNT_OPERATION_COUNT = AGGREGATE_EXPRESSION_OPERATION_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MinImpl Min}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MinImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMin() * @generated */ int MIN = 62; /** * The feature id for the 'Relation' reference. * * * @generated * @ordered */ int MIN__RELATION = PROJECTED_AGGREGATE_EXPRESSION__RELATION; /** * The feature id for the 'Projection Index' attribute. * * * @generated * @ordered */ int MIN__PROJECTION_INDEX = PROJECTED_AGGREGATE_EXPRESSION__PROJECTION_INDEX; /** * The number of structural features of the 'Min' class. * * * @generated * @ordered */ int MIN_FEATURE_COUNT = PROJECTED_AGGREGATE_EXPRESSION_FEATURE_COUNT + 0; /** * The number of operations of the 'Min' class. * * * @generated * @ordered */ int MIN_OPERATION_COUNT = PROJECTED_AGGREGATE_EXPRESSION_OPERATION_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MaxImpl Max}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MaxImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMax() * @generated */ int MAX = 63; /** * The feature id for the 'Relation' reference. * * * @generated * @ordered */ int MAX__RELATION = PROJECTED_AGGREGATE_EXPRESSION__RELATION; /** * The feature id for the 'Projection Index' attribute. * * * @generated * @ordered */ int MAX__PROJECTION_INDEX = PROJECTED_AGGREGATE_EXPRESSION__PROJECTION_INDEX; /** * The number of structural features of the 'Max' class. * * * @generated * @ordered */ int MAX_FEATURE_COUNT = PROJECTED_AGGREGATE_EXPRESSION_FEATURE_COUNT + 0; /** * The number of operations of the 'Max' class. * * * @generated * @ordered */ int MAX_OPERATION_COUNT = PROJECTED_AGGREGATE_EXPRESSION_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.NumericOperation Numeric Operation}'. * * * @return the meta object for class 'Numeric Operation'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.NumericOperation * @generated */ EClass getNumericOperation(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.NumericOperation#getLeftOperand Left Operand}'. * * * @return the meta object for the containment reference 'Left Operand'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.NumericOperation#getLeftOperand() * @see #getNumericOperation() * @generated */ EReference getNumericOperation_LeftOperand(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.NumericOperation#getRightOperand Right Operand}'. * * * @return the meta object for the containment reference 'Right Operand'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.NumericOperation#getRightOperand() * @see #getNumericOperation() * @generated */ EReference getNumericOperation_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 meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringTypeReference String Type Reference}'. * * * @return the meta object for class 'String Type Reference'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringTypeReference * @generated */ EClass getStringTypeReference(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringLiteral String Literal}'. * * * @return the meta object for class 'String Literal'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringLiteral * @generated */ EClass getStringLiteral(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringLiteral#getValue Value}'. * * * @return the meta object for the attribute 'Value'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringLiteral#getValue() * @see #getStringLiteral() * @generated */ EAttribute getStringLiteral_Value(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure Transitive Closure}'. * * * @return the meta object for class 'Transitive Closure'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure * @generated */ EClass getTransitiveClosure(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getLeftOperand Left Operand}'. * * * @return the meta object for the containment reference 'Left Operand'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getLeftOperand() * @see #getTransitiveClosure() * @generated */ EReference getTransitiveClosure_LeftOperand(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getRightOperand Right Operand}'. * * * @return the meta object for the containment reference 'Right Operand'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getRightOperand() * @see #getTransitiveClosure() * @generated */ EReference getTransitiveClosure_RightOperand(); /** * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getRelation Relation}'. * * * @return the meta object for the reference 'Relation'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getRelation() * @see #getTransitiveClosure() * @generated */ EReference getTransitiveClosure_Relation(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Pow Pow}'. * * * @return the meta object for class 'Pow'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Pow * @generated */ EClass getPow(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregateExpression Aggregate Expression}'. * * * @return the meta object for class 'Aggregate Expression'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregateExpression * @generated */ EClass getAggregateExpression(); /** * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregateExpression#getRelation Relation}'. * * * @return the meta object for the reference 'Relation'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregateExpression#getRelation() * @see #getAggregateExpression() * @generated */ EReference getAggregateExpression_Relation(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Sum Sum}'. * * * @return the meta object for class 'Sum'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Sum * @generated */ EClass getSum(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Count Count}'. * * * @return the meta object for class 'Count'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Count * @generated */ EClass getCount(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Min Min}'. * * * @return the meta object for class 'Min'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Min * @generated */ EClass getMin(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Max Max}'. * * * @return the meta object for class 'Max'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Max * @generated */ EClass getMax(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ProjectedAggregateExpression Projected Aggregate Expression}'. * * * @return the meta object for class 'Projected Aggregate Expression'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ProjectedAggregateExpression * @generated */ EClass getProjectedAggregateExpression(); /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ProjectedAggregateExpression#getProjectionIndex Projection Index}'. * * * @return the meta object for the attribute 'Projection Index'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ProjectedAggregateExpression#getProjectionIndex() * @see #getProjectedAggregateExpression() * @generated */ EAttribute getProjectedAggregateExpression_ProjectionIndex(); /** * 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.NumericOperationImpl Numeric Operation}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.NumericOperationImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getNumericOperation() * @generated */ EClass NUMERIC_OPERATION = eINSTANCE.getNumericOperation(); /** * The meta object literal for the 'Left Operand' containment reference feature. * * * @generated */ EReference NUMERIC_OPERATION__LEFT_OPERAND = eINSTANCE.getNumericOperation_LeftOperand(); /** * The meta object literal for the 'Right Operand' containment reference feature. * * * @generated */ EReference NUMERIC_OPERATION__RIGHT_OPERAND = eINSTANCE.getNumericOperation_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(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.StringTypeReferenceImpl String Type Reference}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.StringTypeReferenceImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getStringTypeReference() * @generated */ EClass STRING_TYPE_REFERENCE = eINSTANCE.getStringTypeReference(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.StringLiteralImpl String Literal}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.StringLiteralImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getStringLiteral() * @generated */ EClass STRING_LITERAL = eINSTANCE.getStringLiteral(); /** * The meta object literal for the 'Value' attribute feature. * * * @generated */ EAttribute STRING_LITERAL__VALUE = eINSTANCE.getStringLiteral_Value(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl Transitive Closure}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTransitiveClosure() * @generated */ EClass TRANSITIVE_CLOSURE = eINSTANCE.getTransitiveClosure(); /** * The meta object literal for the 'Left Operand' containment reference feature. * * * @generated */ EReference TRANSITIVE_CLOSURE__LEFT_OPERAND = eINSTANCE.getTransitiveClosure_LeftOperand(); /** * The meta object literal for the 'Right Operand' containment reference feature. * * * @generated */ EReference TRANSITIVE_CLOSURE__RIGHT_OPERAND = eINSTANCE.getTransitiveClosure_RightOperand(); /** * The meta object literal for the 'Relation' reference feature. * * * @generated */ EReference TRANSITIVE_CLOSURE__RELATION = eINSTANCE.getTransitiveClosure_Relation(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PowImpl Pow}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PowImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getPow() * @generated */ EClass POW = eINSTANCE.getPow(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AggregateExpressionImpl Aggregate Expression}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AggregateExpressionImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getAggregateExpression() * @generated */ EClass AGGREGATE_EXPRESSION = eINSTANCE.getAggregateExpression(); /** * The meta object literal for the 'Relation' reference feature. * * * @generated */ EReference AGGREGATE_EXPRESSION__RELATION = eINSTANCE.getAggregateExpression_Relation(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SumImpl Sum}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SumImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getSum() * @generated */ EClass SUM = eINSTANCE.getSum(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.CountImpl Count}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.CountImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getCount() * @generated */ EClass COUNT = eINSTANCE.getCount(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MinImpl Min}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MinImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMin() * @generated */ EClass MIN = eINSTANCE.getMin(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MaxImpl Max}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MaxImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMax() * @generated */ EClass MAX = eINSTANCE.getMax(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ProjectedAggregateExpressionImpl Projected Aggregate Expression}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ProjectedAggregateExpressionImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getProjectedAggregateExpression() * @generated */ EClass PROJECTED_AGGREGATE_EXPRESSION = eINSTANCE.getProjectedAggregateExpression(); /** * The meta object literal for the 'Projection Index' attribute feature. * * * @generated */ EAttribute PROJECTED_AGGREGATE_EXPRESSION__PROJECTION_INDEX = eINSTANCE.getProjectedAggregateExpression_ProjectionIndex(); } } //LogiclanguagePackage