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