/**
*/
package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations;
import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
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.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsFactory
* @model kind="package"
* @generated
*/
public interface Viatra2LogicAnnotationsPackage extends EPackage {
/**
* The package name.
*
*
* @generated
*/
String eNAME = "viatra2logicannotations";
/**
* The package namespace URI.
*
*
* @generated
*/
String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation";
/**
* The package namespace name.
*
*
* @generated
*/
String eNS_PREFIX = "viatra2logicannotations";
/**
* The singleton instance of the package.
*
*
* @generated
*/
Viatra2LogicAnnotationsPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl.init();
/**
* The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl Transfomed Viatra Query}' class.
*
*
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getTransfomedViatraQuery()
* @generated
*/
int TRANSFOMED_VIATRA_QUERY = 0;
/**
* The feature id for the 'Target' reference.
*
*
* @generated
* @ordered
*/
int TRANSFOMED_VIATRA_QUERY__TARGET = LogicproblemPackage.RELATION_ANNOTATION__TARGET;
/**
* The feature id for the 'Pattern Fully Qualified Name' attribute.
*
*
* @generated
* @ordered
*/
int TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Pattern PQuery' attribute.
*
*
* @generated
* @ordered
*/
int TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 1;
/**
* The feature id for the 'Variable Trace' containment reference list.
*
*
* @generated
* @ordered
*/
int TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 2;
/**
* The feature id for the 'Optimized Disjunction' attribute.
*
*
* @generated
* @ordered
*/
int TRANSFOMED_VIATRA_QUERY__OPTIMIZED_DISJUNCTION = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 3;
/**
* The number of structural features of the 'Transfomed Viatra Query' class.
*
*
* @generated
* @ordered
*/
int TRANSFOMED_VIATRA_QUERY_FEATURE_COUNT = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 4;
/**
* The number of operations of the 'Transfomed Viatra Query' class.
*
*
* @generated
* @ordered
*/
int TRANSFOMED_VIATRA_QUERY_OPERATION_COUNT = LogicproblemPackage.RELATION_ANNOTATION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl Transformed Viatra Wellformedness Constraint}' class.
*
*
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getTransformedViatraWellformednessConstraint()
* @generated
*/
int TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT = 1;
/**
* The feature id for the 'Target' reference.
*
*
* @generated
* @ordered
*/
int TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__TARGET = LogicproblemPackage.ASSERTION_ANNOTATION__TARGET;
/**
* The feature id for the 'Query' reference.
*
*
* @generated
* @ordered
*/
int TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Transformed Viatra Wellformedness Constraint' class.
*
*
* @generated
* @ordered
*/
int TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT_FEATURE_COUNT = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Transformed Viatra Wellformedness Constraint' class.
*
*
* @generated
* @ordered
*/
int TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT_OPERATION_COUNT = LogicproblemPackage.ASSERTION_ANNOTATION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.DefinedByDerivedFeatureImpl Defined By Derived Feature}' class.
*
*
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.DefinedByDerivedFeatureImpl
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getDefinedByDerivedFeature()
* @generated
*/
int DEFINED_BY_DERIVED_FEATURE = 2;
/**
* The feature id for the 'Target' reference.
*
*
* @generated
* @ordered
*/
int DEFINED_BY_DERIVED_FEATURE__TARGET = LogicproblemPackage.RELATION_ANNOTATION__TARGET;
/**
* The feature id for the 'Query' reference.
*
*
* @generated
* @ordered
*/
int DEFINED_BY_DERIVED_FEATURE__QUERY = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Defined By Derived Feature' class.
*
*
* @generated
* @ordered
*/
int DEFINED_BY_DERIVED_FEATURE_FEATURE_COUNT = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Defined By Derived Feature' class.
*
*
* @generated
* @ordered
*/
int DEFINED_BY_DERIVED_FEATURE_OPERATION_COUNT = LogicproblemPackage.RELATION_ANNOTATION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl Variable Mapping}' class.
*
*
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getVariableMapping()
* @generated
*/
int VARIABLE_MAPPING = 3;
/**
* The feature id for the 'Source PVariable' attribute.
*
*
* @generated
* @ordered
*/
int VARIABLE_MAPPING__SOURCE_PVARIABLE = 0;
/**
* The feature id for the 'Target Logic Variable' reference.
*
*
* @generated
* @ordered
*/
int VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE = 1;
/**
* The number of structural features of the 'Variable Mapping' class.
*
*
* @generated
* @ordered
*/
int VARIABLE_MAPPING_FEATURE_COUNT = 2;
/**
* The number of operations of the 'Variable Mapping' class.
*
*
* @generated
* @ordered
*/
int VARIABLE_MAPPING_OPERATION_COUNT = 0;
/**
* Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery Transfomed Viatra Query}'.
*
*
* @return the meta object for class 'Transfomed Viatra Query'.
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery
* @generated
*/
EClass getTransfomedViatraQuery();
/**
* Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternFullyQualifiedName Pattern Fully Qualified Name}'.
*
*
* @return the meta object for the attribute 'Pattern Fully Qualified Name'.
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternFullyQualifiedName()
* @see #getTransfomedViatraQuery()
* @generated
*/
EAttribute getTransfomedViatraQuery_PatternFullyQualifiedName();
/**
* Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternPQuery Pattern PQuery}'.
*
*
* @return the meta object for the attribute 'Pattern PQuery'.
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternPQuery()
* @see #getTransfomedViatraQuery()
* @generated
*/
EAttribute getTransfomedViatraQuery_PatternPQuery();
/**
* Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getVariableTrace Variable Trace}'.
*
*
* @return the meta object for the containment reference list 'Variable Trace'.
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getVariableTrace()
* @see #getTransfomedViatraQuery()
* @generated
*/
EReference getTransfomedViatraQuery_VariableTrace();
/**
* Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getOptimizedDisjunction Optimized Disjunction}'.
*
*
* @return the meta object for the attribute 'Optimized Disjunction'.
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getOptimizedDisjunction()
* @see #getTransfomedViatraQuery()
* @generated
*/
EAttribute getTransfomedViatraQuery_OptimizedDisjunction();
/**
* Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint Transformed Viatra Wellformedness Constraint}'.
*
*
* @return the meta object for class 'Transformed Viatra Wellformedness Constraint'.
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint
* @generated
*/
EClass getTransformedViatraWellformednessConstraint();
/**
* Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint#getQuery Query}'.
*
*
* @return the meta object for the reference 'Query'.
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint#getQuery()
* @see #getTransformedViatraWellformednessConstraint()
* @generated
*/
EReference getTransformedViatraWellformednessConstraint_Query();
/**
* Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature Defined By Derived Feature}'.
*
*
* @return the meta object for class 'Defined By Derived Feature'.
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature
* @generated
*/
EClass getDefinedByDerivedFeature();
/**
* Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature#getQuery Query}'.
*
*
* @return the meta object for the reference 'Query'.
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature#getQuery()
* @see #getDefinedByDerivedFeature()
* @generated
*/
EReference getDefinedByDerivedFeature_Query();
/**
* Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping Variable Mapping}'.
*
*
* @return the meta object for class 'Variable Mapping'.
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping
* @generated
*/
EClass getVariableMapping();
/**
* Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getSourcePVariable Source PVariable}'.
*
*
* @return the meta object for the attribute 'Source PVariable'.
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getSourcePVariable()
* @see #getVariableMapping()
* @generated
*/
EAttribute getVariableMapping_SourcePVariable();
/**
* Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getTargetLogicVariable Target Logic Variable}'.
*
*
* @return the meta object for the reference 'Target Logic Variable'.
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getTargetLogicVariable()
* @see #getVariableMapping()
* @generated
*/
EReference getVariableMapping_TargetLogicVariable();
/**
* Returns the factory that creates the instances of the model.
*
*
* @return the factory that creates the instances of the model.
* @generated
*/
Viatra2LogicAnnotationsFactory getViatra2LogicAnnotationsFactory();
/**
*
* 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.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl Transfomed Viatra Query}' class.
*
*
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getTransfomedViatraQuery()
* @generated
*/
EClass TRANSFOMED_VIATRA_QUERY = eINSTANCE.getTransfomedViatraQuery();
/**
* The meta object literal for the 'Pattern Fully Qualified Name' attribute feature.
*
*
* @generated
*/
EAttribute TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME = eINSTANCE.getTransfomedViatraQuery_PatternFullyQualifiedName();
/**
* The meta object literal for the 'Pattern PQuery' attribute feature.
*
*
* @generated
*/
EAttribute TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY = eINSTANCE.getTransfomedViatraQuery_PatternPQuery();
/**
* The meta object literal for the 'Variable Trace' containment reference list feature.
*
*
* @generated
*/
EReference TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE = eINSTANCE.getTransfomedViatraQuery_VariableTrace();
/**
* The meta object literal for the 'Optimized Disjunction' attribute feature.
*
*
* @generated
*/
EAttribute TRANSFOMED_VIATRA_QUERY__OPTIMIZED_DISJUNCTION = eINSTANCE.getTransfomedViatraQuery_OptimizedDisjunction();
/**
* The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl Transformed Viatra Wellformedness Constraint}' class.
*
*
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getTransformedViatraWellformednessConstraint()
* @generated
*/
EClass TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT = eINSTANCE.getTransformedViatraWellformednessConstraint();
/**
* The meta object literal for the 'Query' reference feature.
*
*
* @generated
*/
EReference TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY = eINSTANCE.getTransformedViatraWellformednessConstraint_Query();
/**
* The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.DefinedByDerivedFeatureImpl Defined By Derived Feature}' class.
*
*
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.DefinedByDerivedFeatureImpl
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getDefinedByDerivedFeature()
* @generated
*/
EClass DEFINED_BY_DERIVED_FEATURE = eINSTANCE.getDefinedByDerivedFeature();
/**
* The meta object literal for the 'Query' reference feature.
*
*
* @generated
*/
EReference DEFINED_BY_DERIVED_FEATURE__QUERY = eINSTANCE.getDefinedByDerivedFeature_Query();
/**
* The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl Variable Mapping}' class.
*
*
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl
* @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getVariableMapping()
* @generated
*/
EClass VARIABLE_MAPPING = eINSTANCE.getVariableMapping();
/**
* The meta object literal for the 'Source PVariable' attribute feature.
*
*
* @generated
*/
EAttribute VARIABLE_MAPPING__SOURCE_PVARIABLE = eINSTANCE.getVariableMapping_SourcePVariable();
/**
* The meta object literal for the 'Target Logic Variable' reference feature.
*
*
* @generated
*/
EReference VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE = eINSTANCE.getVariableMapping_TargetLogicVariable();
}
} //Viatra2LogicAnnotationsPackage