/** */ package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem; import org.eclipse.emf.ecore.EClass; import org.eclipse.emf.ecore.EPackage; import org.eclipse.emf.ecore.EReference; /** * * The Package for the model. * It contains accessors for the meta objects to represent * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemFactory * @model kind="package" * @generated */ public interface LogicproblemPackage extends EPackage { /** * The package name. * * * @generated */ String eNAME = "logicproblem"; /** * The package namespace URI. * * * @generated */ String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem"; /** * The package namespace name. * * * @generated */ String eNS_PREFIX = "language"; /** * The singleton instance of the package. * * * @generated */ LogicproblemPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl.init(); /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl Logic Problem}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getLogicProblem() * @generated */ int LOGIC_PROBLEM = 0; /** * The feature id for the 'Types' containment reference list. * * * @generated * @ordered */ int LOGIC_PROBLEM__TYPES = 0; /** * The feature id for the 'Functions' containment reference list. * * * @generated * @ordered */ int LOGIC_PROBLEM__FUNCTIONS = 1; /** * The feature id for the 'Assertions' containment reference list. * * * @generated * @ordered */ int LOGIC_PROBLEM__ASSERTIONS = 2; /** * The feature id for the 'Relations' containment reference list. * * * @generated * @ordered */ int LOGIC_PROBLEM__RELATIONS = 3; /** * The feature id for the 'Constants' containment reference list. * * * @generated * @ordered */ int LOGIC_PROBLEM__CONSTANTS = 4; /** * The feature id for the 'Elements' containment reference list. * * * @generated * @ordered */ int LOGIC_PROBLEM__ELEMENTS = 5; /** * The feature id for the 'Containment Hierarchies' containment reference list. * * * @generated * @ordered */ int LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES = 6; /** * The feature id for the 'Annotations' containment reference list. * * * @generated * @ordered */ int LOGIC_PROBLEM__ANNOTATIONS = 7; /** * The number of structural features of the 'Logic Problem' class. * * * @generated * @ordered */ int LOGIC_PROBLEM_FEATURE_COUNT = 8; /** * The number of operations of the 'Logic Problem' class. * * * @generated * @ordered */ int LOGIC_PROBLEM_OPERATION_COUNT = 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl Containment Hierarchy}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getContainmentHierarchy() * @generated */ int CONTAINMENT_HIERARCHY = 1; /** * The feature id for the 'Types Ordered In Hierarchy' reference list. * * * @generated * @ordered */ int CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY = 0; /** * The feature id for the 'Containment Functions' reference list. * * * @generated * @ordered */ int CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS = 1; /** * The feature id for the 'Containment Relations' reference list. * * * @generated * @ordered */ int CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS = 2; /** * The feature id for the 'Root Constant' reference. * * * @generated * @ordered */ int CONTAINMENT_HIERARCHY__ROOT_CONSTANT = 3; /** * The number of structural features of the 'Containment Hierarchy' class. * * * @generated * @ordered */ int CONTAINMENT_HIERARCHY_FEATURE_COUNT = 4; /** * The number of operations of the 'Containment Hierarchy' class. * * * @generated * @ordered */ int CONTAINMENT_HIERARCHY_OPERATION_COUNT = 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AnnotationImpl Annotation}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AnnotationImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getAnnotation() * @generated */ int ANNOTATION = 6; /** * The number of structural features of the 'Annotation' class. * * * @generated * @ordered */ int ANNOTATION_FEATURE_COUNT = 0; /** * The number of operations of the 'Annotation' class. * * * @generated * @ordered */ int ANNOTATION_OPERATION_COUNT = 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl Relation Annotation}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getRelationAnnotation() * @generated */ int RELATION_ANNOTATION = 2; /** * The feature id for the 'Target' reference. * * * @generated * @ordered */ int RELATION_ANNOTATION__TARGET = ANNOTATION_FEATURE_COUNT + 0; /** * The number of structural features of the 'Relation Annotation' class. * * * @generated * @ordered */ int RELATION_ANNOTATION_FEATURE_COUNT = ANNOTATION_FEATURE_COUNT + 1; /** * The number of operations of the 'Relation Annotation' class. * * * @generated * @ordered */ int RELATION_ANNOTATION_OPERATION_COUNT = ANNOTATION_OPERATION_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ConstantAnnotationImpl Constant Annotation}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ConstantAnnotationImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getConstantAnnotation() * @generated */ int CONSTANT_ANNOTATION = 3; /** * The feature id for the 'Target' reference. * * * @generated * @ordered */ int CONSTANT_ANNOTATION__TARGET = ANNOTATION_FEATURE_COUNT + 0; /** * The number of structural features of the 'Constant Annotation' class. * * * @generated * @ordered */ int CONSTANT_ANNOTATION_FEATURE_COUNT = ANNOTATION_FEATURE_COUNT + 1; /** * The number of operations of the 'Constant Annotation' class. * * * @generated * @ordered */ int CONSTANT_ANNOTATION_OPERATION_COUNT = ANNOTATION_OPERATION_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.FunctionAnnotationImpl Function Annotation}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.FunctionAnnotationImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getFunctionAnnotation() * @generated */ int FUNCTION_ANNOTATION = 4; /** * The feature id for the 'Target' reference. * * * @generated * @ordered */ int FUNCTION_ANNOTATION__TARGET = ANNOTATION_FEATURE_COUNT + 0; /** * The number of structural features of the 'Function Annotation' class. * * * @generated * @ordered */ int FUNCTION_ANNOTATION_FEATURE_COUNT = ANNOTATION_FEATURE_COUNT + 1; /** * The number of operations of the 'Function Annotation' class. * * * @generated * @ordered */ int FUNCTION_ANNOTATION_OPERATION_COUNT = ANNOTATION_OPERATION_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl Assertion Annotation}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getAssertionAnnotation() * @generated */ int ASSERTION_ANNOTATION = 5; /** * The feature id for the 'Target' reference. * * * @generated * @ordered */ int ASSERTION_ANNOTATION__TARGET = ANNOTATION_FEATURE_COUNT + 0; /** * The number of structural features of the 'Assertion Annotation' class. * * * @generated * @ordered */ int ASSERTION_ANNOTATION_FEATURE_COUNT = ANNOTATION_FEATURE_COUNT + 1; /** * The number of operations of the 'Assertion Annotation' class. * * * @generated * @ordered */ int ASSERTION_ANNOTATION_OPERATION_COUNT = ANNOTATION_OPERATION_COUNT + 0; /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem Logic Problem}'. * * * @return the meta object for class 'Logic Problem'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem * @generated */ EClass getLogicProblem(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getTypes Types}'. * * * @return the meta object for the containment reference list 'Types'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getTypes() * @see #getLogicProblem() * @generated */ EReference getLogicProblem_Types(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getFunctions Functions}'. * * * @return the meta object for the containment reference list 'Functions'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getFunctions() * @see #getLogicProblem() * @generated */ EReference getLogicProblem_Functions(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getAssertions Assertions}'. * * * @return the meta object for the containment reference list 'Assertions'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getAssertions() * @see #getLogicProblem() * @generated */ EReference getLogicProblem_Assertions(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getRelations Relations}'. * * * @return the meta object for the containment reference list 'Relations'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getRelations() * @see #getLogicProblem() * @generated */ EReference getLogicProblem_Relations(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getConstants Constants}'. * * * @return the meta object for the containment reference list 'Constants'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getConstants() * @see #getLogicProblem() * @generated */ EReference getLogicProblem_Constants(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getElements Elements}'. * * * @return the meta object for the containment reference list 'Elements'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getElements() * @see #getLogicProblem() * @generated */ EReference getLogicProblem_Elements(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getContainmentHierarchies Containment Hierarchies}'. * * * @return the meta object for the containment reference list 'Containment Hierarchies'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getContainmentHierarchies() * @see #getLogicProblem() * @generated */ EReference getLogicProblem_ContainmentHierarchies(); /** * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getAnnotations Annotations}'. * * * @return the meta object for the containment reference list 'Annotations'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getAnnotations() * @see #getLogicProblem() * @generated */ EReference getLogicProblem_Annotations(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy Containment Hierarchy}'. * * * @return the meta object for class 'Containment Hierarchy'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy * @generated */ EClass getContainmentHierarchy(); /** * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getTypesOrderedInHierarchy Types Ordered In Hierarchy}'. * * * @return the meta object for the reference list 'Types Ordered In Hierarchy'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getTypesOrderedInHierarchy() * @see #getContainmentHierarchy() * @generated */ EReference getContainmentHierarchy_TypesOrderedInHierarchy(); /** * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getContainmentFunctions Containment Functions}'. * * * @return the meta object for the reference list 'Containment Functions'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getContainmentFunctions() * @see #getContainmentHierarchy() * @generated */ EReference getContainmentHierarchy_ContainmentFunctions(); /** * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getContainmentRelations Containment Relations}'. * * * @return the meta object for the reference list 'Containment Relations'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getContainmentRelations() * @see #getContainmentHierarchy() * @generated */ EReference getContainmentHierarchy_ContainmentRelations(); /** * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getRootConstant Root Constant}'. * * * @return the meta object for the reference 'Root Constant'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getRootConstant() * @see #getContainmentHierarchy() * @generated */ EReference getContainmentHierarchy_RootConstant(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation Relation Annotation}'. * * * @return the meta object for class 'Relation Annotation'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation * @generated */ EClass getRelationAnnotation(); /** * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation#getTarget Target}'. * * * @return the meta object for the reference 'Target'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation#getTarget() * @see #getRelationAnnotation() * @generated */ EReference getRelationAnnotation_Target(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation Constant Annotation}'. * * * @return the meta object for class 'Constant Annotation'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation * @generated */ EClass getConstantAnnotation(); /** * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation#getTarget Target}'. * * * @return the meta object for the reference 'Target'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation#getTarget() * @see #getConstantAnnotation() * @generated */ EReference getConstantAnnotation_Target(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation Function Annotation}'. * * * @return the meta object for class 'Function Annotation'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation * @generated */ EClass getFunctionAnnotation(); /** * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation#getTarget Target}'. * * * @return the meta object for the reference 'Target'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation#getTarget() * @see #getFunctionAnnotation() * @generated */ EReference getFunctionAnnotation_Target(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation Assertion Annotation}'. * * * @return the meta object for class 'Assertion Annotation'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation * @generated */ EClass getAssertionAnnotation(); /** * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation#getTarget Target}'. * * * @return the meta object for the reference 'Target'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation#getTarget() * @see #getAssertionAnnotation() * @generated */ EReference getAssertionAnnotation_Target(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation Annotation}'. * * * @return the meta object for class 'Annotation'. * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation * @generated */ EClass getAnnotation(); /** * Returns the factory that creates the instances of the model. * * * @return the factory that creates the instances of the model. * @generated */ LogicproblemFactory getLogicproblemFactory(); /** * * Defines literals for the meta objects that represent * * * @generated */ interface Literals { /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl Logic Problem}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getLogicProblem() * @generated */ EClass LOGIC_PROBLEM = eINSTANCE.getLogicProblem(); /** * The meta object literal for the 'Types' containment reference list feature. * * * @generated */ EReference LOGIC_PROBLEM__TYPES = eINSTANCE.getLogicProblem_Types(); /** * The meta object literal for the 'Functions' containment reference list feature. * * * @generated */ EReference LOGIC_PROBLEM__FUNCTIONS = eINSTANCE.getLogicProblem_Functions(); /** * The meta object literal for the 'Assertions' containment reference list feature. * * * @generated */ EReference LOGIC_PROBLEM__ASSERTIONS = eINSTANCE.getLogicProblem_Assertions(); /** * The meta object literal for the 'Relations' containment reference list feature. * * * @generated */ EReference LOGIC_PROBLEM__RELATIONS = eINSTANCE.getLogicProblem_Relations(); /** * The meta object literal for the 'Constants' containment reference list feature. * * * @generated */ EReference LOGIC_PROBLEM__CONSTANTS = eINSTANCE.getLogicProblem_Constants(); /** * The meta object literal for the 'Elements' containment reference list feature. * * * @generated */ EReference LOGIC_PROBLEM__ELEMENTS = eINSTANCE.getLogicProblem_Elements(); /** * The meta object literal for the 'Containment Hierarchies' containment reference list feature. * * * @generated */ EReference LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES = eINSTANCE.getLogicProblem_ContainmentHierarchies(); /** * The meta object literal for the 'Annotations' containment reference list feature. * * * @generated */ EReference LOGIC_PROBLEM__ANNOTATIONS = eINSTANCE.getLogicProblem_Annotations(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl Containment Hierarchy}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getContainmentHierarchy() * @generated */ EClass CONTAINMENT_HIERARCHY = eINSTANCE.getContainmentHierarchy(); /** * The meta object literal for the 'Types Ordered In Hierarchy' reference list feature. * * * @generated */ EReference CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY = eINSTANCE.getContainmentHierarchy_TypesOrderedInHierarchy(); /** * The meta object literal for the 'Containment Functions' reference list feature. * * * @generated */ EReference CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS = eINSTANCE.getContainmentHierarchy_ContainmentFunctions(); /** * The meta object literal for the 'Containment Relations' reference list feature. * * * @generated */ EReference CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS = eINSTANCE.getContainmentHierarchy_ContainmentRelations(); /** * The meta object literal for the 'Root Constant' reference feature. * * * @generated */ EReference CONTAINMENT_HIERARCHY__ROOT_CONSTANT = eINSTANCE.getContainmentHierarchy_RootConstant(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl Relation Annotation}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getRelationAnnotation() * @generated */ EClass RELATION_ANNOTATION = eINSTANCE.getRelationAnnotation(); /** * The meta object literal for the 'Target' reference feature. * * * @generated */ EReference RELATION_ANNOTATION__TARGET = eINSTANCE.getRelationAnnotation_Target(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ConstantAnnotationImpl Constant Annotation}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ConstantAnnotationImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getConstantAnnotation() * @generated */ EClass CONSTANT_ANNOTATION = eINSTANCE.getConstantAnnotation(); /** * The meta object literal for the 'Target' reference feature. * * * @generated */ EReference CONSTANT_ANNOTATION__TARGET = eINSTANCE.getConstantAnnotation_Target(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.FunctionAnnotationImpl Function Annotation}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.FunctionAnnotationImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getFunctionAnnotation() * @generated */ EClass FUNCTION_ANNOTATION = eINSTANCE.getFunctionAnnotation(); /** * The meta object literal for the 'Target' reference feature. * * * @generated */ EReference FUNCTION_ANNOTATION__TARGET = eINSTANCE.getFunctionAnnotation_Target(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl Assertion Annotation}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getAssertionAnnotation() * @generated */ EClass ASSERTION_ANNOTATION = eINSTANCE.getAssertionAnnotation(); /** * The meta object literal for the 'Target' reference feature. * * * @generated */ EReference ASSERTION_ANNOTATION__TARGET = eINSTANCE.getAssertionAnnotation_Target(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AnnotationImpl Annotation}' class. * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AnnotationImpl * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getAnnotation() * @generated */ EClass ANNOTATION = eINSTANCE.getAnnotation(); } } //LogicproblemPackage