From 60f01f46ba232ed6416054f0a6115cb2a9b70b4e Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 10 Jun 2017 19:05:05 +0200 Subject: Migrating Additional projects --- .../model/logicproblem/LogicproblemPackage.java | 867 +++++++++++++++++++++ 1 file changed, 867 insertions(+) create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemPackage.java (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemPackage.java') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemPackage.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemPackage.java new file mode 100644 index 00000000..c02f189a --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemPackage.java @@ -0,0 +1,867 @@ +/** + */ +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 -- cgit v1.2.3-54-g00ecf