Package tools.refinery.language.model.problem.impl

Class ProblemPackageImpl

java.lang.Object

org.eclipse.emf.common.notify.impl.BasicNotifierImpl

org.eclipse.emf.ecore.impl.BasicEObjectImpl

org.eclipse.emf.ecore.impl.MinimalEObjectImpl

org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

org.eclipse.emf.ecore.impl.EModelElementImpl

org.eclipse.emf.ecore.impl.ENamedElementImpl

org.eclipse.emf.ecore.impl.EPackageImpl

tools.refinery.language.model.problem.impl.ProblemPackageImpl

All Implemented Interfaces:

org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EModelElement, org.eclipse.emf.ecore.ENamedElement, org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.EPackage, org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder, org.eclipse.emf.ecore.InternalEObject, org.eclipse.emf.ecore.util.BasicExtendedMetaData.EPackageExtendedMetaData.Holder, ProblemPackage

public class ProblemPackageImpl
extends org.eclipse.emf.ecore.impl.EPackageImpl
implements ProblemPackage

An implementation of the model Package.

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.EPackageImpl

org.eclipse.emf.ecore.impl.EPackageImpl.EBasicWhiteList

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container.Dynamic

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl

org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolder, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderBaseImpl, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderImpl

Nested classes/interfaces inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EAdapterList<E extends Object & org.eclipse.emf.common.notify.Adapter>, org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EObservableAdapterList, org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EScannableAdapterList

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EPackage

org.eclipse.emf.ecore.EPackage.Descriptor, org.eclipse.emf.ecore.EPackage.Registry

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.InternalEObject

org.eclipse.emf.ecore.InternalEObject.EStore

Nested classes/interfaces inherited from interface tools.refinery.language.model.problem.ProblemPackage

ProblemPackage.Literals

Field Summary

Fields inherited from class org.eclipse.emf.ecore.impl.EPackageImpl

eClassifiers, ecoreFactory, ecorePackage, eFactoryInstance, eNameToEClassifierMap, ePackageExtendedMetaData, eSubpackages, IS_ABSTRACT, IS_CHANGEABLE, IS_COMPOSITE, IS_DERIVED, IS_GENERATED_INSTANCE_CLASS, IS_ID, IS_INTERFACE, IS_ORDERED, IS_RESOLVABLE, IS_RESOLVE_PROXIES, IS_SERIALIZABLE, IS_TRANSIENT, IS_UNIQUE, IS_UNSETTABLE, IS_VOLATILE, NS_PREFIX_EDEFAULT, NS_URI_EDEFAULT, nsPrefix, nsURI

Fields inherited from class org.eclipse.emf.ecore.impl.ENamedElementImpl

name, NAME_EDEFAULT

Fields inherited from class org.eclipse.emf.ecore.impl.EModelElementImpl

eAnnotations, eFlags, EFROZEN, ELAST_EMODEL_ELEMENT_FLAG

Fields inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

eContainer

Fields inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

EVIRTUAL_GET, EVIRTUAL_IS_SET, EVIRTUAL_NO_VALUE, EVIRTUAL_SET, EVIRTUAL_UNSET

Fields inherited from interface org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder

NIL

Fields inherited from interface org.eclipse.emf.ecore.InternalEObject

EOPPOSITE_FEATURE_BASE

Fields inherited from interface tools.refinery.language.model.problem.ProblemPackage

ABSTRACT_ASSERTION, ABSTRACT_ASSERTION__ARGUMENTS, ABSTRACT_ASSERTION__IMPLICIT_VARIABLES, ABSTRACT_ASSERTION__RELATION, ABSTRACT_ASSERTION__VALUE, ABSTRACT_ASSERTION_FEATURE_COUNT, ABSTRACT_ASSERTION_OPERATION_COUNT, ACTION, ACTION_FEATURE_COUNT, ACTION_OPERATION_COUNT, AGGREGATION_EXPR, AGGREGATION_EXPR__AGGREGATOR, AGGREGATION_EXPR__CONDITION, AGGREGATION_EXPR__IMPLICIT_VARIABLES, AGGREGATION_EXPR__VALUE, AGGREGATION_EXPR_FEATURE_COUNT, AGGREGATION_EXPR_OPERATION_COUNT, AGGREGATOR_DECLARATION, AGGREGATOR_DECLARATION__ANNOTATIONS, AGGREGATOR_DECLARATION__NAME, AGGREGATOR_DECLARATION_FEATURE_COUNT, AGGREGATOR_DECLARATION_OPERATION_COUNT, ANNOTATED_ELEMENT, ANNOTATED_ELEMENT__ANNOTATIONS, ANNOTATED_ELEMENT_FEATURE_COUNT, ANNOTATED_ELEMENT_OPERATION_COUNT, ANNOTATION, ANNOTATION__ARGUMENTS, ANNOTATION__DECLARATION, ANNOTATION_ARGUMENT, ANNOTATION_ARGUMENT__PARAMETER, ANNOTATION_ARGUMENT__VALUE, ANNOTATION_ARGUMENT_FEATURE_COUNT, ANNOTATION_ARGUMENT_OPERATION_COUNT, ANNOTATION_CONTAINER, ANNOTATION_CONTAINER__ANNOTATIONS, ANNOTATION_CONTAINER_FEATURE_COUNT, ANNOTATION_CONTAINER_OPERATION_COUNT, ANNOTATION_DECLARATION, ANNOTATION_DECLARATION__ANNOTATIONS, ANNOTATION_DECLARATION__NAME, ANNOTATION_DECLARATION__PARAMETERS, ANNOTATION_DECLARATION_FEATURE_COUNT, ANNOTATION_DECLARATION_OPERATION_COUNT, ANNOTATION_FEATURE_COUNT, ANNOTATION_OPERATION_COUNT, ARITHMETIC_BINARY_EXPR, ARITHMETIC_BINARY_EXPR__LEFT, ARITHMETIC_BINARY_EXPR__OP, ARITHMETIC_BINARY_EXPR__RIGHT, ARITHMETIC_BINARY_EXPR_FEATURE_COUNT, ARITHMETIC_BINARY_EXPR_OPERATION_COUNT, ARITHMETIC_UNARY_EXPR, ARITHMETIC_UNARY_EXPR__BODY, ARITHMETIC_UNARY_EXPR__OP, ARITHMETIC_UNARY_EXPR_FEATURE_COUNT, ARITHMETIC_UNARY_EXPR_OPERATION_COUNT, ASSERTION, ASSERTION__ARGUMENTS, ASSERTION__DEFAULT, ASSERTION__IMPLICIT_VARIABLES, ASSERTION__RELATION, ASSERTION__VALUE, ASSERTION_ACTION, ASSERTION_ACTION__ARGUMENTS, ASSERTION_ACTION__IMPLICIT_VARIABLES, ASSERTION_ACTION__RELATION, ASSERTION_ACTION__VALUE, ASSERTION_ACTION_FEATURE_COUNT, ASSERTION_ACTION_OPERATION_COUNT, ASSERTION_ARGUMENT, ASSERTION_ARGUMENT_FEATURE_COUNT, ASSERTION_ARGUMENT_OPERATION_COUNT, ASSERTION_FEATURE_COUNT, ASSERTION_OPERATION_COUNT, ASSIGNMENT_EXPR, ASSIGNMENT_EXPR__LEFT, ASSIGNMENT_EXPR__RIGHT, ASSIGNMENT_EXPR_FEATURE_COUNT, ASSIGNMENT_EXPR_OPERATION_COUNT, ATOM, ATOM__ARGUMENTS, ATOM__RELATION, ATOM__TRANSITIVE_CLOSURE, ATOM_FEATURE_COUNT, ATOM_OPERATION_COUNT, BINARY_EXPR, BINARY_EXPR__LEFT, BINARY_EXPR__RIGHT, BINARY_EXPR_FEATURE_COUNT, BINARY_EXPR_OPERATION_COUNT, BINARY_OP, CASE, CASE__CONDITION, CASE__VALUE, CASE_FEATURE_COUNT, CASE_OPERATION_COUNT, CLASS_DECLARATION, CLASS_DECLARATION__ABSTRACT, CLASS_DECLARATION__ANNOTATIONS, CLASS_DECLARATION__FEATURE_DECLARATIONS, CLASS_DECLARATION__NAME, CLASS_DECLARATION__NEW_NODE, CLASS_DECLARATION__SUPER_TYPES, CLASS_DECLARATION_FEATURE_COUNT, CLASS_DECLARATION_OPERATION_COUNT, COMPARISON_EXPR, COMPARISON_EXPR__LEFT, COMPARISON_EXPR__OP, COMPARISON_EXPR__RIGHT, COMPARISON_EXPR_FEATURE_COUNT, COMPARISON_EXPR_OPERATION_COUNT, COMPARISON_OP, CONCRETENESS, CONJUNCTION, CONJUNCTION__IMPLICIT_VARIABLES, CONJUNCTION__LITERALS, CONJUNCTION_FEATURE_COUNT, CONJUNCTION_OPERATION_COUNT, CONSEQUENT, CONSEQUENT__ACTIONS, CONSEQUENT_FEATURE_COUNT, CONSEQUENT_OPERATION_COUNT, CONSTANT, CONSTANT_FEATURE_COUNT, CONSTANT_OPERATION_COUNT, DATATYPE_DECLARATION, DATATYPE_DECLARATION__ANNOTATIONS, DATATYPE_DECLARATION__NAME, DATATYPE_DECLARATION_FEATURE_COUNT, DATATYPE_DECLARATION_OPERATION_COUNT, eINSTANCE, eNAME, eNS_PREFIX, eNS_URI, ENUM_DECLARATION, ENUM_DECLARATION__ANNOTATIONS, ENUM_DECLARATION__LITERALS, ENUM_DECLARATION__NAME, ENUM_DECLARATION_FEATURE_COUNT, ENUM_DECLARATION_OPERATION_COUNT, EXACT_MULTIPLICITY, EXACT_MULTIPLICITY__EXACT_VALUE, EXACT_MULTIPLICITY_FEATURE_COUNT, EXACT_MULTIPLICITY_OPERATION_COUNT, EXISTENTIAL_QUANTIFIER, EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES, EXISTENTIAL_QUANTIFIER_FEATURE_COUNT, EXISTENTIAL_QUANTIFIER_OPERATION_COUNT, EXPR, EXPR_FEATURE_COUNT, EXPR_OPERATION_COUNT, FUNCTION_DEFINITION, FUNCTION_DEFINITION__ANNOTATIONS, FUNCTION_DEFINITION__CASES, FUNCTION_DEFINITION__COMPUTED_VALUE, FUNCTION_DEFINITION__DOMAIN_PREDICATE, FUNCTION_DEFINITION__FUNCTION_TYPE, FUNCTION_DEFINITION__NAME, FUNCTION_DEFINITION__PARAMETERS, FUNCTION_DEFINITION__SHADOW, FUNCTION_DEFINITION_FEATURE_COUNT, FUNCTION_DEFINITION_OPERATION_COUNT, IMPLICIT_VARIABLE, IMPLICIT_VARIABLE__NAME, IMPLICIT_VARIABLE_FEATURE_COUNT, IMPLICIT_VARIABLE_OPERATION_COUNT, IMPORT_STATEMENT, IMPORT_STATEMENT__ALIAS, IMPORT_STATEMENT__IMPORTED_MODULE, IMPORT_STATEMENT_FEATURE_COUNT, IMPORT_STATEMENT_OPERATION_COUNT, INFINITE_CONSTANT, INFINITE_CONSTANT_FEATURE_COUNT, INFINITE_CONSTANT_OPERATION_COUNT, INT_CONSTANT, INT_CONSTANT__INT_VALUE, INT_CONSTANT_FEATURE_COUNT, INT_CONSTANT_OPERATION_COUNT, LATTICE_BINARY_EXPR, LATTICE_BINARY_EXPR__LEFT, LATTICE_BINARY_EXPR__OP, LATTICE_BINARY_EXPR__RIGHT, LATTICE_BINARY_EXPR_FEATURE_COUNT, LATTICE_BINARY_EXPR_OPERATION_COUNT, LATTICE_BINARY_OP, LOGIC_CONSTANT, LOGIC_CONSTANT__LOGIC_VALUE, LOGIC_CONSTANT_FEATURE_COUNT, LOGIC_CONSTANT_OPERATION_COUNT, LOGIC_VALUE, MODAL_EXPR, MODAL_EXPR__BODY, MODAL_EXPR__CONCRETENESS, MODAL_EXPR__MODALITY, MODAL_EXPR_FEATURE_COUNT, MODAL_EXPR_OPERATION_COUNT, MODALITY, MODULE_KIND, MULTIPLICITY, MULTIPLICITY_FEATURE_COUNT, MULTIPLICITY_OPERATION_COUNT, NAMED_ELEMENT, NAMED_ELEMENT__NAME, NAMED_ELEMENT_FEATURE_COUNT, NAMED_ELEMENT_OPERATION_COUNT, NEGATION_EXPR, NEGATION_EXPR__BODY, NEGATION_EXPR__IMPLICIT_VARIABLES, NEGATION_EXPR_FEATURE_COUNT, NEGATION_EXPR_OPERATION_COUNT, NODE, NODE__ANNOTATIONS, NODE__NAME, NODE_ASSERTION_ARGUMENT, NODE_ASSERTION_ARGUMENT__NODE, NODE_ASSERTION_ARGUMENT_FEATURE_COUNT, NODE_ASSERTION_ARGUMENT_OPERATION_COUNT, NODE_DECLARATION, NODE_DECLARATION__ANNOTATIONS, NODE_DECLARATION__KIND, NODE_DECLARATION__NODES, NODE_DECLARATION_FEATURE_COUNT, NODE_DECLARATION_OPERATION_COUNT, NODE_FEATURE_COUNT, NODE_KIND, NODE_OPERATION_COUNT, OVERLOADED_DECLARATION, OVERLOADED_DECLARATION__ANNOTATIONS, OVERLOADED_DECLARATION__NAME, OVERLOADED_DECLARATION__PARAMETERS, OVERLOADED_DECLARATION__SHADOW, OVERLOADED_DECLARATION_FEATURE_COUNT, OVERLOADED_DECLARATION_OPERATION_COUNT, PARAMETER, PARAMETER__ANNOTATIONS, PARAMETER__KIND, PARAMETER__NAME, PARAMETER__PARAMETER_TYPE, PARAMETER_FEATURE_COUNT, PARAMETER_KIND, PARAMETER_OPERATION_COUNT, PARAMETRIC_DEFINITION, PARAMETRIC_DEFINITION__ANNOTATIONS, PARAMETRIC_DEFINITION__PARAMETERS, PARAMETRIC_DEFINITION_FEATURE_COUNT, PARAMETRIC_DEFINITION_OPERATION_COUNT, PREDICATE_DEFINITION, PREDICATE_DEFINITION__ANNOTATIONS, PREDICATE_DEFINITION__BODIES, PREDICATE_DEFINITION__COMPUTED_VALUE, PREDICATE_DEFINITION__KIND, PREDICATE_DEFINITION__NAME, PREDICATE_DEFINITION__PARAMETERS, PREDICATE_DEFINITION__SUPER_SETS, PREDICATE_DEFINITION_FEATURE_COUNT, PREDICATE_DEFINITION_OPERATION_COUNT, PREDICATE_KIND, PROBLEM, PROBLEM__EXPLICIT_KIND, PROBLEM__KIND, PROBLEM__NAME, PROBLEM__NODES, PROBLEM__STATEMENTS, PROBLEM_FEATURE_COUNT, PROBLEM_OPERATION_COUNT, RANGE_EXPR, RANGE_EXPR__LEFT, RANGE_EXPR__RIGHT, RANGE_EXPR_FEATURE_COUNT, RANGE_EXPR_OPERATION_COUNT, RANGE_MULTIPLICITY, RANGE_MULTIPLICITY__LOWER_BOUND, RANGE_MULTIPLICITY__UPPER_BOUND, RANGE_MULTIPLICITY_FEATURE_COUNT, RANGE_MULTIPLICITY_OPERATION_COUNT, REAL_CONSTANT, REAL_CONSTANT__REAL_VALUE, REAL_CONSTANT_FEATURE_COUNT, REAL_CONSTANT_OPERATION_COUNT, REFERENCE_DECLARATION, REFERENCE_DECLARATION__ANNOTATIONS, REFERENCE_DECLARATION__INVALID_MULTIPLICITY, REFERENCE_DECLARATION__KIND, REFERENCE_DECLARATION__MULTIPLICITY, REFERENCE_DECLARATION__NAME, REFERENCE_DECLARATION__OPPOSITE, REFERENCE_DECLARATION__REFERENCE_TYPE, REFERENCE_DECLARATION__SUPER_SETS, REFERENCE_DECLARATION_FEATURE_COUNT, REFERENCE_DECLARATION_OPERATION_COUNT, REFERENCE_KIND, RELATION, RELATION__NAME, RELATION_FEATURE_COUNT, RELATION_OPERATION_COUNT, RULE_DEFINITION, RULE_DEFINITION__ANNOTATIONS, RULE_DEFINITION__CONSEQUENTS, RULE_DEFINITION__KIND, RULE_DEFINITION__NAME, RULE_DEFINITION__PARAMETERS, RULE_DEFINITION__PRECONDITIONS, RULE_DEFINITION_FEATURE_COUNT, RULE_DEFINITION_OPERATION_COUNT, RULE_KIND, SCOPE_DECLARATION, SCOPE_DECLARATION__TYPE_SCOPES, SCOPE_DECLARATION_FEATURE_COUNT, SCOPE_DECLARATION_OPERATION_COUNT, STATEMENT, STATEMENT_FEATURE_COUNT, STATEMENT_OPERATION_COUNT, STRING_CONSTANT, STRING_CONSTANT__STRING_VALUE, STRING_CONSTANT_FEATURE_COUNT, STRING_CONSTANT_OPERATION_COUNT, TOP_LEVEL_ANNOTATION, TOP_LEVEL_ANNOTATION__ANNOTATION, TOP_LEVEL_ANNOTATION_FEATURE_COUNT, TOP_LEVEL_ANNOTATION_OPERATION_COUNT, TYPE_SCOPE, TYPE_SCOPE__INCREMENT, TYPE_SCOPE__MULTIPLICITY, TYPE_SCOPE__TARGET_TYPE, TYPE_SCOPE_FEATURE_COUNT, TYPE_SCOPE_OPERATION_COUNT, UNARY_EXPR, UNARY_EXPR__BODY, UNARY_EXPR_FEATURE_COUNT, UNARY_EXPR_OPERATION_COUNT, UNARY_OP, UNBOUNDED_MULTIPLICITY, UNBOUNDED_MULTIPLICITY_FEATURE_COUNT, UNBOUNDED_MULTIPLICITY_OPERATION_COUNT, VARIABLE, VARIABLE__NAME, VARIABLE_FEATURE_COUNT, VARIABLE_OPERATION_COUNT, VARIABLE_OR_NODE, VARIABLE_OR_NODE__NAME, VARIABLE_OR_NODE_EXPR, VARIABLE_OR_NODE_EXPR__ELEMENT, VARIABLE_OR_NODE_EXPR__RELATION, VARIABLE_OR_NODE_EXPR__SINGLETON_VARIABLE, VARIABLE_OR_NODE_EXPR__VARIABLE_OR_NODE, VARIABLE_OR_NODE_EXPR_FEATURE_COUNT, VARIABLE_OR_NODE_EXPR_OPERATION_COUNT, VARIABLE_OR_NODE_FEATURE_COUNT, VARIABLE_OR_NODE_OPERATION_COUNT, WILDCARD_ASSERTION_ARGUMENT, WILDCARD_ASSERTION_ARGUMENT_FEATURE_COUNT, WILDCARD_ASSERTION_ARGUMENT_OPERATION_COUNT

Method Summary

Modifier and Type	Method	Description
protected void	createEcoreAnnotations()	Initializes the annotations for http://www.eclipse.org/emf/2002/Ecore.
void	createPackageContents()	Creates the meta-model objects for the package.
protected void	createProblemDelegateAnnotations()	Initializes the annotations for https://refinery.tools/emf/2024/ProblemDelegate.
org.eclipse.emf.ecore.EClass	getAbstractAssertion()
org.eclipse.emf.ecore.EReference	getAbstractAssertion_Arguments()
org.eclipse.emf.ecore.EReference	getAbstractAssertion_Relation()
org.eclipse.emf.ecore.EReference	getAbstractAssertion_Value()
org.eclipse.emf.ecore.EClass	getAction()
org.eclipse.emf.ecore.EClass	getAggregationExpr()
org.eclipse.emf.ecore.EReference	getAggregationExpr_Aggregator()
org.eclipse.emf.ecore.EReference	getAggregationExpr_Condition()
org.eclipse.emf.ecore.EReference	getAggregationExpr_Value()
org.eclipse.emf.ecore.EClass	getAggregatorDeclaration()
org.eclipse.emf.ecore.EClass	getAnnotatedElement()
org.eclipse.emf.ecore.EReference	getAnnotatedElement_Annotations()
org.eclipse.emf.ecore.EClass	getAnnotation()
org.eclipse.emf.ecore.EReference	getAnnotation_Arguments()
org.eclipse.emf.ecore.EReference	getAnnotation_Declaration()
org.eclipse.emf.ecore.EClass	getAnnotationArgument()
org.eclipse.emf.ecore.EReference	getAnnotationArgument_Parameter()
org.eclipse.emf.ecore.EReference	getAnnotationArgument_Value()
org.eclipse.emf.ecore.EClass	getAnnotationContainer()
org.eclipse.emf.ecore.EReference	getAnnotationContainer_Annotations()
org.eclipse.emf.ecore.EClass	getAnnotationDeclaration()
org.eclipse.emf.ecore.EClass	getArithmeticBinaryExpr()
org.eclipse.emf.ecore.EAttribute	getArithmeticBinaryExpr_Op()
org.eclipse.emf.ecore.EClass	getArithmeticUnaryExpr()
org.eclipse.emf.ecore.EAttribute	getArithmeticUnaryExpr_Op()
org.eclipse.emf.ecore.EClass	getAssertion()
org.eclipse.emf.ecore.EAttribute	getAssertion_Default()
org.eclipse.emf.ecore.EClass	getAssertionAction()
org.eclipse.emf.ecore.EClass	getAssertionArgument()
org.eclipse.emf.ecore.EClass	getAssignmentExpr()
org.eclipse.emf.ecore.EClass	getAtom()
org.eclipse.emf.ecore.EReference	getAtom_Arguments()
org.eclipse.emf.ecore.EReference	getAtom_Relation()
org.eclipse.emf.ecore.EAttribute	getAtom_TransitiveClosure()
org.eclipse.emf.ecore.EClass	getBinaryExpr()
org.eclipse.emf.ecore.EReference	getBinaryExpr_Left()
org.eclipse.emf.ecore.EReference	getBinaryExpr_Right()
org.eclipse.emf.ecore.EEnum	getBinaryOp()
org.eclipse.emf.ecore.EClass	getCase()
org.eclipse.emf.ecore.EReference	getCase_Condition()
org.eclipse.emf.ecore.EReference	getCase_Value()
org.eclipse.emf.ecore.EClass	getClassDeclaration()
org.eclipse.emf.ecore.EAttribute	getClassDeclaration_Abstract()
org.eclipse.emf.ecore.EReference	getClassDeclaration_FeatureDeclarations()
org.eclipse.emf.ecore.EReference	getClassDeclaration_NewNode()
org.eclipse.emf.ecore.EReference	getClassDeclaration_SuperTypes()
org.eclipse.emf.ecore.EClass	getComparisonExpr()
org.eclipse.emf.ecore.EAttribute	getComparisonExpr_Op()
org.eclipse.emf.ecore.EEnum	getComparisonOp()
org.eclipse.emf.ecore.EEnum	getConcreteness()
org.eclipse.emf.ecore.EClass	getConjunction()
org.eclipse.emf.ecore.EReference	getConjunction_Literals()
org.eclipse.emf.ecore.EClass	getConsequent()
org.eclipse.emf.ecore.EReference	getConsequent_Actions()
org.eclipse.emf.ecore.EClass	getConstant()
org.eclipse.emf.ecore.EClass	getDatatypeDeclaration()
org.eclipse.emf.ecore.EClass	getEnumDeclaration()
org.eclipse.emf.ecore.EReference	getEnumDeclaration_Literals()
org.eclipse.emf.ecore.EClass	getExactMultiplicity()
org.eclipse.emf.ecore.EAttribute	getExactMultiplicity_ExactValue()
org.eclipse.emf.ecore.EClass	getExistentialQuantifier()
org.eclipse.emf.ecore.EReference	getExistentialQuantifier_ImplicitVariables()
org.eclipse.emf.ecore.EClass	getExpr()
org.eclipse.emf.ecore.EClass	getFunctionDefinition()
org.eclipse.emf.ecore.EReference	getFunctionDefinition_Cases()
org.eclipse.emf.ecore.EReference	getFunctionDefinition_ComputedValue()
org.eclipse.emf.ecore.EReference	getFunctionDefinition_DomainPredicate()
org.eclipse.emf.ecore.EReference	getFunctionDefinition_FunctionType()
org.eclipse.emf.ecore.EAttribute	getFunctionDefinition_Shadow()
org.eclipse.emf.ecore.EClass	getImplicitVariable()
org.eclipse.emf.ecore.EClass	getImportStatement()
org.eclipse.emf.ecore.EAttribute	getImportStatement_Alias()
org.eclipse.emf.ecore.EReference	getImportStatement_ImportedModule()
org.eclipse.emf.ecore.EClass	getInfiniteConstant()
org.eclipse.emf.ecore.EClass	getIntConstant()
org.eclipse.emf.ecore.EAttribute	getIntConstant_IntValue()
org.eclipse.emf.ecore.EClass	getLatticeBinaryExpr()
org.eclipse.emf.ecore.EAttribute	getLatticeBinaryExpr_Op()
org.eclipse.emf.ecore.EEnum	getLatticeBinaryOp()
org.eclipse.emf.ecore.EClass	getLogicConstant()
org.eclipse.emf.ecore.EAttribute	getLogicConstant_LogicValue()
org.eclipse.emf.ecore.EEnum	getLogicValue()
org.eclipse.emf.ecore.EClass	getModalExpr()
org.eclipse.emf.ecore.EAttribute	getModalExpr_Concreteness()
org.eclipse.emf.ecore.EAttribute	getModalExpr_Modality()
org.eclipse.emf.ecore.EEnum	getModality()
org.eclipse.emf.ecore.EEnum	getModuleKind()
org.eclipse.emf.ecore.EClass	getMultiplicity()
org.eclipse.emf.ecore.EClass	getNamedElement()
org.eclipse.emf.ecore.EAttribute	getNamedElement_Name()
org.eclipse.emf.ecore.EClass	getNegationExpr()
org.eclipse.emf.ecore.EClass	getNode()
org.eclipse.emf.ecore.EClass	getNodeAssertionArgument()
org.eclipse.emf.ecore.EReference	getNodeAssertionArgument_Node()
org.eclipse.emf.ecore.EClass	getNodeDeclaration()
org.eclipse.emf.ecore.EAttribute	getNodeDeclaration_Kind()
org.eclipse.emf.ecore.EReference	getNodeDeclaration_Nodes()
org.eclipse.emf.ecore.EEnum	getNodeKind()
org.eclipse.emf.ecore.EClass	getOverloadedDeclaration()
org.eclipse.emf.ecore.EAttribute	getOverloadedDeclaration_Shadow()
org.eclipse.emf.ecore.EClass	getParameter()
org.eclipse.emf.ecore.EAttribute	getParameter_Kind()
org.eclipse.emf.ecore.EReference	getParameter_ParameterType()
org.eclipse.emf.ecore.EEnum	getParameterKind()
org.eclipse.emf.ecore.EClass	getParametricDefinition()
org.eclipse.emf.ecore.EReference	getParametricDefinition_Parameters()
org.eclipse.emf.ecore.EClass	getPredicateDefinition()
org.eclipse.emf.ecore.EReference	getPredicateDefinition_Bodies()
org.eclipse.emf.ecore.EReference	getPredicateDefinition_ComputedValue()
org.eclipse.emf.ecore.EAttribute	getPredicateDefinition_Kind()
org.eclipse.emf.ecore.EReference	getPredicateDefinition_SuperSets()
org.eclipse.emf.ecore.EEnum	getPredicateKind()
org.eclipse.emf.ecore.EClass	getProblem()
org.eclipse.emf.ecore.EAttribute	getProblem_ExplicitKind()
org.eclipse.emf.ecore.EAttribute	getProblem_Kind()
org.eclipse.emf.ecore.EReference	getProblem_Nodes()
org.eclipse.emf.ecore.EReference	getProblem_Statements()
ProblemFactory	getProblemFactory()
org.eclipse.emf.ecore.EClass	getRangeExpr()
org.eclipse.emf.ecore.EClass	getRangeMultiplicity()
org.eclipse.emf.ecore.EAttribute	getRangeMultiplicity_LowerBound()
org.eclipse.emf.ecore.EAttribute	getRangeMultiplicity_UpperBound()
org.eclipse.emf.ecore.EClass	getRealConstant()
org.eclipse.emf.ecore.EAttribute	getRealConstant_RealValue()
org.eclipse.emf.ecore.EClass	getReferenceDeclaration()
org.eclipse.emf.ecore.EReference	getReferenceDeclaration_InvalidMultiplicity()
org.eclipse.emf.ecore.EAttribute	getReferenceDeclaration_Kind()
org.eclipse.emf.ecore.EReference	getReferenceDeclaration_Multiplicity()
org.eclipse.emf.ecore.EReference	getReferenceDeclaration_Opposite()
org.eclipse.emf.ecore.EReference	getReferenceDeclaration_ReferenceType()
org.eclipse.emf.ecore.EReference	getReferenceDeclaration_SuperSets()
org.eclipse.emf.ecore.EEnum	getReferenceKind()
org.eclipse.emf.ecore.EClass	getRelation()
org.eclipse.emf.ecore.EClass	getRuleDefinition()
org.eclipse.emf.ecore.EReference	getRuleDefinition_Consequents()
org.eclipse.emf.ecore.EAttribute	getRuleDefinition_Kind()
org.eclipse.emf.ecore.EReference	getRuleDefinition_Preconditions()
org.eclipse.emf.ecore.EEnum	getRuleKind()
org.eclipse.emf.ecore.EClass	getScopeDeclaration()
org.eclipse.emf.ecore.EReference	getScopeDeclaration_TypeScopes()
org.eclipse.emf.ecore.EClass	getStatement()
org.eclipse.emf.ecore.EClass	getStringConstant()
org.eclipse.emf.ecore.EAttribute	getStringConstant_StringValue()
org.eclipse.emf.ecore.EClass	getTopLevelAnnotation()
org.eclipse.emf.ecore.EReference	getTopLevelAnnotation_Annotation()
org.eclipse.emf.ecore.EClass	getTypeScope()
org.eclipse.emf.ecore.EAttribute	getTypeScope_Increment()
org.eclipse.emf.ecore.EReference	getTypeScope_Multiplicity()
org.eclipse.emf.ecore.EReference	getTypeScope_TargetType()
org.eclipse.emf.ecore.EClass	getUnaryExpr()
org.eclipse.emf.ecore.EReference	getUnaryExpr_Body()
org.eclipse.emf.ecore.EEnum	getUnaryOp()
org.eclipse.emf.ecore.EClass	getUnboundedMultiplicity()
org.eclipse.emf.ecore.EClass	getVariable()
org.eclipse.emf.ecore.EClass	getVariableOrNode()
org.eclipse.emf.ecore.EClass	getVariableOrNodeExpr()
org.eclipse.emf.ecore.EReference	getVariableOrNodeExpr_Element()
org.eclipse.emf.ecore.EReference	getVariableOrNodeExpr_Relation()
org.eclipse.emf.ecore.EReference	getVariableOrNodeExpr_SingletonVariable()
org.eclipse.emf.ecore.EReference	getVariableOrNodeExpr_VariableOrNode()
org.eclipse.emf.ecore.EClass	getWildcardAssertionArgument()
static ProblemPackage	init()	Creates, registers, and initializes the Package for this model, and for any others upon which it depends.
void	initializePackageContents()	Complete the initialization of the package and its meta-model.

Methods inherited from class org.eclipse.emf.ecore.impl.EPackageImpl

addAnnotation, addAnnotation, addAnnotation, addAnnotation, addAnnotation, addAnnotation, addEEnumLiteral, addEException, addEException, addEOperation, addEOperation, addEOperation, addEParameter, addEParameter, addEParameter, addEParameter, addEParameter, addETypeParameter, addETypeParameter, basicGetESuperPackage, basicSetEFactoryInstance, createEAttribute, createEClass, createEDataType, createEEnum, createEGenericType, createEGenericType, createEGenericType, createEOperation, createEReference, createResource, eBasicRemoveFromContainerFeature, eGet, eInverseAdd, eInverseRemove, eInvoke, eIsSet, eSet, eSetProxyURI, eStaticClass, eUnset, fixEClassifiers, fixEEnumLiterals, fixEOperations, fixEStructuralFeatures, fixInstanceClass, freeze, getEClassifier, getEClassifierGen, getEClassifiers, getEFactoryInstance, getESubpackages, getESuperPackage, getExtendedMetaData, getNsPrefix, getNsURI, initEAttribute, initEAttribute, initEAttribute, initEAttribute, initEAttribute, initEAttribute, initEAttribute, initEClass, initEClass, initEClass, initEDataType, initEDataType, initEDataType, initEEnum, initEOperation, initEOperation, initEOperation, initEOperation, initEReference, initEReference, initEReference, initEReference, initEReference, initEReference, initEReference, initializeFromLoadedEPackage, setEFactoryInstance, setExtendedMetaData, setGeneratedClassName, setInstanceTypeName, setName, setNamespaceURI, setNsPrefix, setNsURI, toString

Methods inherited from class org.eclipse.emf.ecore.impl.ENamedElementImpl

eContents, eCrossReferences, getName, getNameGen

Methods inherited from class org.eclipse.emf.ecore.impl.EModelElementImpl

eObjectForURIFragmentSegment, eSetDirectResource, eURIFragmentSegment, freeze, getEAnnotation, getEAnnotations, isFrozen, setFrozen

Methods inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

eBasicSetContainer, eInternalContainer

Methods inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl

dynamicGet, dynamicSet, dynamicUnset, eAdapters, eBasicAdapterArray, eBasicAdapterListeners, eBasicAdapters, eBasicHasAdapters, eBasicProperties, eBasicSetAdapterArray, eBasicSetAdapterListeners, eBasicSetContainer, eBasicSetContainerFeatureID, eBasicSetSettings, eBasicSettings, eClass, eContainerFeatureID, eDeliver, eDirectResource, eDynamicClass, eHasSettings, eIsProxy, eProperties, eProxyURI, eSetClass, eSetDeliver, eSettings

Methods inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

eAddVirtualValue, eAllContents, eBaseStructuralFeatureID, eBasicRemoveFromContainer, eBasicSetContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eDerivedOperationID, eDerivedOperationID, eDerivedStructuralFeatureID, eDerivedStructuralFeatureID, eDynamicBasicRemoveFromContainer, eDynamicFeature, eDynamicFeatureID, eDynamicGet, eDynamicGet, eDynamicGet, eDynamicInverseAdd, eDynamicInverseAdd, eDynamicInverseRemove, eDynamicInverseRemove, eDynamicInvoke, eDynamicInvoke, eDynamicIsSet, eDynamicIsSet, eDynamicIsSet, eDynamicSet, eDynamicSet, eDynamicSet, eDynamicUnset, eDynamicUnset, eDynamicUnset, eGet, eGet, eGet, eInternalResource, eInverseAdd, eInverseRemove, eInvocationDelegate, eInvoke, eIsSet, eOpenGet, eOpenIsSet, eOpenSet, eOpenUnset, eRemoveVirtualValue, eResolveProxy, eResource, eSet, eSetResource, eSetStore, eSetting, eSettingDelegate, eSetVirtualIndexBits, eSetVirtualValue, eSetVirtualValues, eStaticFeatureCount, eStaticOperationCount, eStore, eUnset, eVirtualBitCount, eVirtualGet, eVirtualGet, eVirtualIndex, eVirtualIndexBits, eVirtualIsSet, eVirtualSet, eVirtualUnset, eVirtualValue, eVirtualValues

Methods inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

eNotificationRequired, eNotify

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.emf.ecore.EModelElement

getEAnnotation, getEAnnotations

Methods inherited from interface org.eclipse.emf.ecore.ENamedElement

getName, setName

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.ecore.EPackage

getEClassifier, getEClassifiers, getEFactoryInstance, getESubpackages, getESuperPackage, getNsPrefix, getNsURI, setEFactoryInstance, setNsPrefix, setNsURI

Methods inherited from interface org.eclipse.emf.ecore.InternalEObject

eNotificationRequired

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Method Details

init

public static ProblemPackage init()

Creates, registers, and initializes the Package for this model, and for any others upon which it depends.

This method is used to initialize ProblemPackage.eINSTANCE when that field is accessed. Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.

See Also:

• ProblemPackage.eNS_URI
• createPackageContents()
• initializePackageContents()

getProblem

public org.eclipse.emf.ecore.EClass getProblem()

Specified by:

getProblem in interface ProblemPackage

Returns:

the meta object for class 'Problem'.

See Also:

• Problem

getProblem_Nodes

public org.eclipse.emf.ecore.EReference getProblem_Nodes()

Specified by:

getProblem_Nodes in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Nodes'.

See Also:

• Problem.getNodes()
• ProblemPackage.getProblem()

getProblem_Statements

public org.eclipse.emf.ecore.EReference getProblem_Statements()

Specified by:

getProblem_Statements in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Statements'.

See Also:

• Problem.getStatements()
• ProblemPackage.getProblem()

getProblem_Kind

public org.eclipse.emf.ecore.EAttribute getProblem_Kind()

Specified by:

getProblem_Kind in interface ProblemPackage

Returns:

the meta object for the attribute 'Kind'.

See Also:

• Problem.getKind()
• ProblemPackage.getProblem()

getProblem_ExplicitKind

public org.eclipse.emf.ecore.EAttribute getProblem_ExplicitKind()

Specified by:

getProblem_ExplicitKind in interface ProblemPackage

Returns:

the meta object for the attribute 'Explicit Kind'.

See Also:

• Problem.isExplicitKind()
• ProblemPackage.getProblem()

getClassDeclaration

public org.eclipse.emf.ecore.EClass getClassDeclaration()

Specified by:

getClassDeclaration in interface ProblemPackage

Returns:

the meta object for class 'Class Declaration'.

See Also:

• ClassDeclaration

getClassDeclaration_Abstract

public org.eclipse.emf.ecore.EAttribute getClassDeclaration_Abstract()

Specified by:

getClassDeclaration_Abstract in interface ProblemPackage

Returns:

the meta object for the attribute 'Abstract'.

See Also:

• ClassDeclaration.isAbstract()
• ProblemPackage.getClassDeclaration()

getClassDeclaration_FeatureDeclarations

public org.eclipse.emf.ecore.EReference getClassDeclaration_FeatureDeclarations()

Specified by:

getClassDeclaration_FeatureDeclarations in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Feature Declarations'.

See Also:

• ClassDeclaration.getFeatureDeclarations()
• ProblemPackage.getClassDeclaration()

getClassDeclaration_NewNode

public org.eclipse.emf.ecore.EReference getClassDeclaration_NewNode()

Specified by:

getClassDeclaration_NewNode in interface ProblemPackage

Returns:

the meta object for the containment reference 'New Node'.

See Also:

• ClassDeclaration.getNewNode()
• ProblemPackage.getClassDeclaration()

getClassDeclaration_SuperTypes

public org.eclipse.emf.ecore.EReference getClassDeclaration_SuperTypes()

Specified by:

getClassDeclaration_SuperTypes in interface ProblemPackage

Returns:

the meta object for the reference list 'Super Types'.

See Also:

• ClassDeclaration.getSuperTypes()
• ProblemPackage.getClassDeclaration()

getReferenceDeclaration

public org.eclipse.emf.ecore.EClass getReferenceDeclaration()

Specified by:

getReferenceDeclaration in interface ProblemPackage

Returns:

the meta object for class 'Reference Declaration'.

See Also:

• ReferenceDeclaration

getReferenceDeclaration_Opposite

public org.eclipse.emf.ecore.EReference getReferenceDeclaration_Opposite()

Specified by:

getReferenceDeclaration_Opposite in interface ProblemPackage

Returns:

the meta object for the reference 'Opposite'.

See Also:

• ReferenceDeclaration.getOpposite()
• ProblemPackage.getReferenceDeclaration()

getReferenceDeclaration_Multiplicity

public org.eclipse.emf.ecore.EReference getReferenceDeclaration_Multiplicity()

Specified by:

getReferenceDeclaration_Multiplicity in interface ProblemPackage

Returns:

the meta object for the containment reference 'Multiplicity'.

See Also:

• ReferenceDeclaration.getMultiplicity()
• ProblemPackage.getReferenceDeclaration()

getReferenceDeclaration_Kind

public org.eclipse.emf.ecore.EAttribute getReferenceDeclaration_Kind()

Specified by:

getReferenceDeclaration_Kind in interface ProblemPackage

Returns:

the meta object for the attribute 'Kind'.

See Also:

• ReferenceDeclaration.getKind()
• ProblemPackage.getReferenceDeclaration()

getReferenceDeclaration_ReferenceType

public org.eclipse.emf.ecore.EReference getReferenceDeclaration_ReferenceType()

Specified by:

getReferenceDeclaration_ReferenceType in interface ProblemPackage

Returns:

the meta object for the reference 'Reference Type'.

See Also:

• ReferenceDeclaration.getReferenceType()
• ProblemPackage.getReferenceDeclaration()

getReferenceDeclaration_InvalidMultiplicity

public org.eclipse.emf.ecore.EReference getReferenceDeclaration_InvalidMultiplicity()

Specified by:

getReferenceDeclaration_InvalidMultiplicity in interface ProblemPackage

Returns:

the meta object for the containment reference 'Invalid Multiplicity'.

See Also:

• ReferenceDeclaration.getInvalidMultiplicity()
• ProblemPackage.getReferenceDeclaration()

getReferenceDeclaration_SuperSets

public org.eclipse.emf.ecore.EReference getReferenceDeclaration_SuperSets()

Specified by:

getReferenceDeclaration_SuperSets in interface ProblemPackage

Returns:

the meta object for the reference list 'Super Sets'.

See Also:

• ReferenceDeclaration.getSuperSets()
• ProblemPackage.getReferenceDeclaration()

getNamedElement

public org.eclipse.emf.ecore.EClass getNamedElement()

Specified by:

getNamedElement in interface ProblemPackage

Returns:

the meta object for class 'Named Element'.

See Also:

• NamedElement

getNamedElement_Name

public org.eclipse.emf.ecore.EAttribute getNamedElement_Name()

Specified by:

getNamedElement_Name in interface ProblemPackage

Returns:

the meta object for the attribute 'Name'.

See Also:

• NamedElement.getName()
• ProblemPackage.getNamedElement()

getPredicateDefinition

public org.eclipse.emf.ecore.EClass getPredicateDefinition()

Specified by:

getPredicateDefinition in interface ProblemPackage

Returns:

the meta object for class 'Predicate Definition'.

See Also:

• PredicateDefinition

getPredicateDefinition_Bodies

public org.eclipse.emf.ecore.EReference getPredicateDefinition_Bodies()

Specified by:

getPredicateDefinition_Bodies in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Bodies'.

See Also:

• PredicateDefinition.getBodies()
• ProblemPackage.getPredicateDefinition()

getPredicateDefinition_Kind

public org.eclipse.emf.ecore.EAttribute getPredicateDefinition_Kind()

Specified by:

getPredicateDefinition_Kind in interface ProblemPackage

Returns:

the meta object for the attribute 'Kind'.

See Also:

• PredicateDefinition.getKind()
• ProblemPackage.getPredicateDefinition()

getPredicateDefinition_ComputedValue

public org.eclipse.emf.ecore.EReference getPredicateDefinition_ComputedValue()

Specified by:

getPredicateDefinition_ComputedValue in interface ProblemPackage

Returns:

the meta object for the containment reference 'Computed Value'.

See Also:

• PredicateDefinition.getComputedValue()
• ProblemPackage.getPredicateDefinition()

getPredicateDefinition_SuperSets

public org.eclipse.emf.ecore.EReference getPredicateDefinition_SuperSets()

Specified by:

getPredicateDefinition_SuperSets in interface ProblemPackage

Returns:

the meta object for the reference list 'Super Sets'.

See Also:

• PredicateDefinition.getSuperSets()
• ProblemPackage.getPredicateDefinition()

getParameter

public org.eclipse.emf.ecore.EClass getParameter()

Specified by:

getParameter in interface ProblemPackage

Returns:

the meta object for class 'Parameter'.

See Also:

• Parameter

getParameter_ParameterType

public org.eclipse.emf.ecore.EReference getParameter_ParameterType()

Specified by:

getParameter_ParameterType in interface ProblemPackage

Returns:

the meta object for the reference 'Parameter Type'.

See Also:

• Parameter.getParameterType()
• ProblemPackage.getParameter()

getParameter_Kind

public org.eclipse.emf.ecore.EAttribute getParameter_Kind()

Specified by:

getParameter_Kind in interface ProblemPackage

Returns:

the meta object for the attribute 'Kind'.

See Also:

• Parameter.getKind()
• ProblemPackage.getParameter()

getVariable

public org.eclipse.emf.ecore.EClass getVariable()

Specified by:

getVariable in interface ProblemPackage

Returns:

the meta object for class 'Variable'.

See Also:

• Variable

getAtom

public org.eclipse.emf.ecore.EClass getAtom()

Specified by:

getAtom in interface ProblemPackage

Returns:

the meta object for class 'Atom'.

See Also:

• Atom

getAtom_TransitiveClosure

public org.eclipse.emf.ecore.EAttribute getAtom_TransitiveClosure()

Specified by:

getAtom_TransitiveClosure in interface ProblemPackage

Returns:

the meta object for the attribute 'Transitive Closure'.

See Also:

• Atom.isTransitiveClosure()
• ProblemPackage.getAtom()

getAtom_Arguments

public org.eclipse.emf.ecore.EReference getAtom_Arguments()

Specified by:

getAtom_Arguments in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Arguments'.

See Also:

• Atom.getArguments()
• ProblemPackage.getAtom()

getAtom_Relation

public org.eclipse.emf.ecore.EReference getAtom_Relation()

Specified by:

getAtom_Relation in interface ProblemPackage

Returns:

the meta object for the reference 'Relation'.

See Also:

• Atom.getRelation()
• ProblemPackage.getAtom()

getImplicitVariable

public org.eclipse.emf.ecore.EClass getImplicitVariable()

Specified by:

getImplicitVariable in interface ProblemPackage

Returns:

the meta object for class 'Implicit Variable'.

See Also:

• ImplicitVariable

getExistentialQuantifier

public org.eclipse.emf.ecore.EClass getExistentialQuantifier()

Specified by:

getExistentialQuantifier in interface ProblemPackage

Returns:

the meta object for class 'Existential Quantifier'.

See Also:

• ExistentialQuantifier

getExistentialQuantifier_ImplicitVariables

public org.eclipse.emf.ecore.EReference getExistentialQuantifier_ImplicitVariables()

Specified by:

getExistentialQuantifier_ImplicitVariables in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Implicit Variables'.

See Also:

• ExistentialQuantifier.getImplicitVariables()
• ProblemPackage.getExistentialQuantifier()

getAbstractAssertion

public org.eclipse.emf.ecore.EClass getAbstractAssertion()

Specified by:

getAbstractAssertion in interface ProblemPackage

Returns:

the meta object for class 'Abstract Assertion'.

See Also:

• AbstractAssertion

getAbstractAssertion_Arguments

public org.eclipse.emf.ecore.EReference getAbstractAssertion_Arguments()

Specified by:

getAbstractAssertion_Arguments in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Arguments'.

See Also:

• AbstractAssertion.getArguments()
• ProblemPackage.getAbstractAssertion()

getAbstractAssertion_Relation

public org.eclipse.emf.ecore.EReference getAbstractAssertion_Relation()

Specified by:

getAbstractAssertion_Relation in interface ProblemPackage

Returns:

the meta object for the reference 'Relation'.

See Also:

• AbstractAssertion.getRelation()
• ProblemPackage.getAbstractAssertion()

getAbstractAssertion_Value

public org.eclipse.emf.ecore.EReference getAbstractAssertion_Value()

Specified by:

getAbstractAssertion_Value in interface ProblemPackage

Returns:

the meta object for the containment reference 'Value'.

See Also:

• AbstractAssertion.getValue()
• ProblemPackage.getAbstractAssertion()

getNode

public org.eclipse.emf.ecore.EClass getNode()

Specified by:

getNode in interface ProblemPackage

Returns:

the meta object for class 'Node'.

See Also:

• Node

getScopeDeclaration

public org.eclipse.emf.ecore.EClass getScopeDeclaration()

Specified by:

getScopeDeclaration in interface ProblemPackage

Returns:

the meta object for class 'Scope Declaration'.

See Also:

• ScopeDeclaration

getScopeDeclaration_TypeScopes

public org.eclipse.emf.ecore.EReference getScopeDeclaration_TypeScopes()

Specified by:

getScopeDeclaration_TypeScopes in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Type Scopes'.

See Also:

• ScopeDeclaration.getTypeScopes()
• ProblemPackage.getScopeDeclaration()

getStatement

public org.eclipse.emf.ecore.EClass getStatement()

Specified by:

getStatement in interface ProblemPackage

Returns:

the meta object for class 'Statement'.

See Also:

• Statement

getTypeScope

public org.eclipse.emf.ecore.EClass getTypeScope()

Specified by:

getTypeScope in interface ProblemPackage

Returns:

the meta object for class 'Type Scope'.

See Also:

• TypeScope

getTypeScope_Increment

public org.eclipse.emf.ecore.EAttribute getTypeScope_Increment()

Specified by:

getTypeScope_Increment in interface ProblemPackage

Returns:

the meta object for the attribute 'Increment'.

See Also:

• TypeScope.isIncrement()
• ProblemPackage.getTypeScope()

getTypeScope_Multiplicity

public org.eclipse.emf.ecore.EReference getTypeScope_Multiplicity()

Specified by:

getTypeScope_Multiplicity in interface ProblemPackage

Returns:

the meta object for the containment reference 'Multiplicity'.

See Also:

• TypeScope.getMultiplicity()
• ProblemPackage.getTypeScope()

getTypeScope_TargetType

public org.eclipse.emf.ecore.EReference getTypeScope_TargetType()

Specified by:

getTypeScope_TargetType in interface ProblemPackage

Returns:

the meta object for the reference 'Target Type'.

See Also:

• TypeScope.getTargetType()
• ProblemPackage.getTypeScope()

getMultiplicity

public org.eclipse.emf.ecore.EClass getMultiplicity()

Specified by:

getMultiplicity in interface ProblemPackage

Returns:

the meta object for class 'Multiplicity'.

See Also:

• Multiplicity

getRangeMultiplicity

public org.eclipse.emf.ecore.EClass getRangeMultiplicity()

Specified by:

getRangeMultiplicity in interface ProblemPackage

Returns:

the meta object for class 'Range Multiplicity'.

See Also:

• RangeMultiplicity

getRangeMultiplicity_LowerBound

public org.eclipse.emf.ecore.EAttribute getRangeMultiplicity_LowerBound()

Specified by:

getRangeMultiplicity_LowerBound in interface ProblemPackage

Returns:

the meta object for the attribute 'Lower Bound'.

See Also:

• RangeMultiplicity.getLowerBound()
• ProblemPackage.getRangeMultiplicity()

getRangeMultiplicity_UpperBound

public org.eclipse.emf.ecore.EAttribute getRangeMultiplicity_UpperBound()

Specified by:

getRangeMultiplicity_UpperBound in interface ProblemPackage

Returns:

the meta object for the attribute 'Upper Bound'.

See Also:

• RangeMultiplicity.getUpperBound()
• ProblemPackage.getRangeMultiplicity()

getExactMultiplicity

public org.eclipse.emf.ecore.EClass getExactMultiplicity()

Specified by:

getExactMultiplicity in interface ProblemPackage

Returns:

the meta object for class 'Exact Multiplicity'.

See Also:

• ExactMultiplicity

getExactMultiplicity_ExactValue

public org.eclipse.emf.ecore.EAttribute getExactMultiplicity_ExactValue()

Specified by:

getExactMultiplicity_ExactValue in interface ProblemPackage

Returns:

the meta object for the attribute 'Exact Value'.

See Also:

• ExactMultiplicity.getExactValue()
• ProblemPackage.getExactMultiplicity()

getUnboundedMultiplicity

public org.eclipse.emf.ecore.EClass getUnboundedMultiplicity()

Specified by:

getUnboundedMultiplicity in interface ProblemPackage

Returns:

the meta object for class 'Unbounded Multiplicity'.

See Also:

• UnboundedMultiplicity

getEnumDeclaration

public org.eclipse.emf.ecore.EClass getEnumDeclaration()

Specified by:

getEnumDeclaration in interface ProblemPackage

Returns:

the meta object for class 'Enum Declaration'.

See Also:

• EnumDeclaration

getEnumDeclaration_Literals

public org.eclipse.emf.ecore.EReference getEnumDeclaration_Literals()

Specified by:

getEnumDeclaration_Literals in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Literals'.

See Also:

• EnumDeclaration.getLiterals()
• ProblemPackage.getEnumDeclaration()

getVariableOrNode

public org.eclipse.emf.ecore.EClass getVariableOrNode()

Specified by:

getVariableOrNode in interface ProblemPackage

Returns:

the meta object for class 'Variable Or Node'.

See Also:

• VariableOrNode

getConstant

public org.eclipse.emf.ecore.EClass getConstant()

Specified by:

getConstant in interface ProblemPackage

Returns:

the meta object for class 'Constant'.

See Also:

• Constant

getIntConstant

public org.eclipse.emf.ecore.EClass getIntConstant()

Specified by:

getIntConstant in interface ProblemPackage

Returns:

the meta object for class 'Int Constant'.

See Also:

• IntConstant

getIntConstant_IntValue

public org.eclipse.emf.ecore.EAttribute getIntConstant_IntValue()

Specified by:

getIntConstant_IntValue in interface ProblemPackage

Returns:

the meta object for the attribute 'Int Value'.

See Also:

• IntConstant.getIntValue()
• ProblemPackage.getIntConstant()

getRealConstant

public org.eclipse.emf.ecore.EClass getRealConstant()

Specified by:

getRealConstant in interface ProblemPackage

Returns:

the meta object for class 'Real Constant'.

See Also:

• RealConstant

getRealConstant_RealValue

public org.eclipse.emf.ecore.EAttribute getRealConstant_RealValue()

Specified by:

getRealConstant_RealValue in interface ProblemPackage

Returns:

the meta object for the attribute 'Real Value'.

See Also:

• RealConstant.getRealValue()
• ProblemPackage.getRealConstant()

getStringConstant

public org.eclipse.emf.ecore.EClass getStringConstant()

Specified by:

getStringConstant in interface ProblemPackage

Returns:

the meta object for class 'String Constant'.

See Also:

• StringConstant

getStringConstant_StringValue

public org.eclipse.emf.ecore.EAttribute getStringConstant_StringValue()

Specified by:

getStringConstant_StringValue in interface ProblemPackage

Returns:

the meta object for the attribute 'String Value'.

See Also:

• StringConstant.getStringValue()
• ProblemPackage.getStringConstant()

getNodeAssertionArgument

public org.eclipse.emf.ecore.EClass getNodeAssertionArgument()

Specified by:

getNodeAssertionArgument in interface ProblemPackage

Returns:

the meta object for class 'Node Assertion Argument'.

See Also:

• NodeAssertionArgument

getNodeAssertionArgument_Node

public org.eclipse.emf.ecore.EReference getNodeAssertionArgument_Node()

Specified by:

getNodeAssertionArgument_Node in interface ProblemPackage

Returns:

the meta object for the reference 'Node'.

See Also:

• NodeAssertionArgument.getNode()
• ProblemPackage.getNodeAssertionArgument()

getAssertionArgument

public org.eclipse.emf.ecore.EClass getAssertionArgument()

Specified by:

getAssertionArgument in interface ProblemPackage

Returns:

the meta object for class 'Assertion Argument'.

See Also:

• AssertionArgument

getNodeDeclaration

public org.eclipse.emf.ecore.EClass getNodeDeclaration()

Specified by:

getNodeDeclaration in interface ProblemPackage

Returns:

the meta object for class 'Node Declaration'.

See Also:

• NodeDeclaration

getNodeDeclaration_Nodes

public org.eclipse.emf.ecore.EReference getNodeDeclaration_Nodes()

Specified by:

getNodeDeclaration_Nodes in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Nodes'.

See Also:

• NodeDeclaration.getNodes()
• ProblemPackage.getNodeDeclaration()

getNodeDeclaration_Kind

public org.eclipse.emf.ecore.EAttribute getNodeDeclaration_Kind()

Specified by:

getNodeDeclaration_Kind in interface ProblemPackage

Returns:

the meta object for the attribute 'Kind'.

See Also:

• NodeDeclaration.getKind()
• ProblemPackage.getNodeDeclaration()

getWildcardAssertionArgument

public org.eclipse.emf.ecore.EClass getWildcardAssertionArgument()

Specified by:

getWildcardAssertionArgument in interface ProblemPackage

Returns:

the meta object for class 'Wildcard Assertion Argument'.

See Also:

• WildcardAssertionArgument

getParametricDefinition

public org.eclipse.emf.ecore.EClass getParametricDefinition()

Specified by:

getParametricDefinition in interface ProblemPackage

Returns:

the meta object for class 'Parametric Definition'.

See Also:

• ParametricDefinition

getParametricDefinition_Parameters

public org.eclipse.emf.ecore.EReference getParametricDefinition_Parameters()

Specified by:

getParametricDefinition_Parameters in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Parameters'.

See Also:

• ParametricDefinition.getParameters()
• ProblemPackage.getParametricDefinition()

getRuleDefinition

public org.eclipse.emf.ecore.EClass getRuleDefinition()

Specified by:

getRuleDefinition in interface ProblemPackage

Returns:

the meta object for class 'Rule Definition'.

See Also:

• RuleDefinition

getRuleDefinition_Consequents

public org.eclipse.emf.ecore.EReference getRuleDefinition_Consequents()

Specified by:

getRuleDefinition_Consequents in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Consequents'.

See Also:

• RuleDefinition.getConsequents()
• ProblemPackage.getRuleDefinition()

getRuleDefinition_Preconditions

public org.eclipse.emf.ecore.EReference getRuleDefinition_Preconditions()

Specified by:

getRuleDefinition_Preconditions in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Preconditions'.

See Also:

• RuleDefinition.getPreconditions()
• ProblemPackage.getRuleDefinition()

getRuleDefinition_Kind

public org.eclipse.emf.ecore.EAttribute getRuleDefinition_Kind()

Specified by:

getRuleDefinition_Kind in interface ProblemPackage

Returns:

the meta object for the attribute 'Kind'.

See Also:

• RuleDefinition.getKind()
• ProblemPackage.getRuleDefinition()

getConsequent

public org.eclipse.emf.ecore.EClass getConsequent()

Specified by:

getConsequent in interface ProblemPackage

Returns:

the meta object for class 'Consequent'.

See Also:

• Consequent

getConsequent_Actions

public org.eclipse.emf.ecore.EReference getConsequent_Actions()

Specified by:

getConsequent_Actions in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Actions'.

See Also:

• Consequent.getActions()
• ProblemPackage.getConsequent()

getAction

public org.eclipse.emf.ecore.EClass getAction()

Specified by:

getAction in interface ProblemPackage

Returns:

the meta object for class 'Action'.

See Also:

• Action

getAssertionAction

public org.eclipse.emf.ecore.EClass getAssertionAction()

Specified by:

getAssertionAction in interface ProblemPackage

Returns:

the meta object for class 'Assertion Action'.

See Also:

• AssertionAction

getExpr

public org.eclipse.emf.ecore.EClass getExpr()

Specified by:

getExpr in interface ProblemPackage

Returns:

the meta object for class 'Expr'.

See Also:

• Expr

getVariableOrNodeExpr

public org.eclipse.emf.ecore.EClass getVariableOrNodeExpr()

Specified by:

getVariableOrNodeExpr in interface ProblemPackage

Returns:

the meta object for class 'Variable Or Node Expr'.

See Also:

• VariableOrNodeExpr

getVariableOrNodeExpr_VariableOrNode

public org.eclipse.emf.ecore.EReference getVariableOrNodeExpr_VariableOrNode()

Specified by:

getVariableOrNodeExpr_VariableOrNode in interface ProblemPackage

Returns:

the meta object for the reference 'Variable Or Node'.

See Also:

• VariableOrNodeExpr.getVariableOrNode()
• ProblemPackage.getVariableOrNodeExpr()

getVariableOrNodeExpr_SingletonVariable

public org.eclipse.emf.ecore.EReference getVariableOrNodeExpr_SingletonVariable()

Specified by:

getVariableOrNodeExpr_SingletonVariable in interface ProblemPackage

Returns:

the meta object for the containment reference 'Singleton Variable'.

See Also:

• VariableOrNodeExpr.getSingletonVariable()
• ProblemPackage.getVariableOrNodeExpr()

getVariableOrNodeExpr_Relation

public org.eclipse.emf.ecore.EReference getVariableOrNodeExpr_Relation()

Specified by:

getVariableOrNodeExpr_Relation in interface ProblemPackage

Returns:

the meta object for the reference 'Relation'.

See Also:

• VariableOrNodeExpr.getRelation()
• ProblemPackage.getVariableOrNodeExpr()

getVariableOrNodeExpr_Element

public org.eclipse.emf.ecore.EReference getVariableOrNodeExpr_Element()

Specified by:

getVariableOrNodeExpr_Element in interface ProblemPackage

Returns:

the meta object for the reference 'Element'.

See Also:

• VariableOrNodeExpr.getElement()
• ProblemPackage.getVariableOrNodeExpr()

getBinaryExpr

public org.eclipse.emf.ecore.EClass getBinaryExpr()

Specified by:

getBinaryExpr in interface ProblemPackage

Returns:

the meta object for class 'Binary Expr'.

See Also:

• BinaryExpr

getBinaryExpr_Left

public org.eclipse.emf.ecore.EReference getBinaryExpr_Left()

Specified by:

getBinaryExpr_Left in interface ProblemPackage

Returns:

the meta object for the containment reference 'Left'.

See Also:

• BinaryExpr.getLeft()
• ProblemPackage.getBinaryExpr()

getBinaryExpr_Right

public org.eclipse.emf.ecore.EReference getBinaryExpr_Right()

Specified by:

getBinaryExpr_Right in interface ProblemPackage

Returns:

the meta object for the containment reference 'Right'.

See Also:

• BinaryExpr.getRight()
• ProblemPackage.getBinaryExpr()

getUnaryExpr

public org.eclipse.emf.ecore.EClass getUnaryExpr()

Specified by:

getUnaryExpr in interface ProblemPackage

Returns:

the meta object for class 'Unary Expr'.

See Also:

• UnaryExpr

getUnaryExpr_Body

public org.eclipse.emf.ecore.EReference getUnaryExpr_Body()

Specified by:

getUnaryExpr_Body in interface ProblemPackage

Returns:

the meta object for the containment reference 'Body'.

See Also:

• UnaryExpr.getBody()
• ProblemPackage.getUnaryExpr()

getArithmeticUnaryExpr

public org.eclipse.emf.ecore.EClass getArithmeticUnaryExpr()

Specified by:

getArithmeticUnaryExpr in interface ProblemPackage

Returns:

the meta object for class 'Arithmetic Unary Expr'.

See Also:

• ArithmeticUnaryExpr

getArithmeticUnaryExpr_Op

public org.eclipse.emf.ecore.EAttribute getArithmeticUnaryExpr_Op()

Specified by:

getArithmeticUnaryExpr_Op in interface ProblemPackage

Returns:

the meta object for the attribute 'Op'.

See Also:

• ArithmeticUnaryExpr.getOp()
• ProblemPackage.getArithmeticUnaryExpr()

getAggregationExpr

public org.eclipse.emf.ecore.EClass getAggregationExpr()

Specified by:

getAggregationExpr in interface ProblemPackage

Returns:

the meta object for class 'Aggregation Expr'.

See Also:

• AggregationExpr

getAggregationExpr_Value

public org.eclipse.emf.ecore.EReference getAggregationExpr_Value()

Specified by:

getAggregationExpr_Value in interface ProblemPackage

Returns:

the meta object for the containment reference 'Value'.

See Also:

• AggregationExpr.getValue()
• ProblemPackage.getAggregationExpr()

getAggregationExpr_Condition

public org.eclipse.emf.ecore.EReference getAggregationExpr_Condition()

Specified by:

getAggregationExpr_Condition in interface ProblemPackage

Returns:

the meta object for the containment reference 'Condition'.

See Also:

• AggregationExpr.getCondition()
• ProblemPackage.getAggregationExpr()

getAggregationExpr_Aggregator

public org.eclipse.emf.ecore.EReference getAggregationExpr_Aggregator()

Specified by:

getAggregationExpr_Aggregator in interface ProblemPackage

Returns:

the meta object for the reference 'Aggregator'.

See Also:

• AggregationExpr.getAggregator()
• ProblemPackage.getAggregationExpr()

getComparisonExpr

public org.eclipse.emf.ecore.EClass getComparisonExpr()

Specified by:

getComparisonExpr in interface ProblemPackage

Returns:

the meta object for class 'Comparison Expr'.

See Also:

• ComparisonExpr

getComparisonExpr_Op

public org.eclipse.emf.ecore.EAttribute getComparisonExpr_Op()

Specified by:

getComparisonExpr_Op in interface ProblemPackage

Returns:

the meta object for the attribute 'Op'.

See Also:

• ComparisonExpr.getOp()
• ProblemPackage.getComparisonExpr()

getNegationExpr

public org.eclipse.emf.ecore.EClass getNegationExpr()

Specified by:

getNegationExpr in interface ProblemPackage

Returns:

the meta object for class 'Negation Expr'.

See Also:

• NegationExpr

getFunctionDefinition

public org.eclipse.emf.ecore.EClass getFunctionDefinition()

Specified by:

getFunctionDefinition in interface ProblemPackage

Returns:

the meta object for class 'Function Definition'.

See Also:

• FunctionDefinition

getFunctionDefinition_Cases

public org.eclipse.emf.ecore.EReference getFunctionDefinition_Cases()

Specified by:

getFunctionDefinition_Cases in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Cases'.

See Also:

• FunctionDefinition.getCases()
• ProblemPackage.getFunctionDefinition()

getFunctionDefinition_FunctionType

public org.eclipse.emf.ecore.EReference getFunctionDefinition_FunctionType()

Specified by:

getFunctionDefinition_FunctionType in interface ProblemPackage

Returns:

the meta object for the reference 'Function Type'.

See Also:

• FunctionDefinition.getFunctionType()
• ProblemPackage.getFunctionDefinition()

getFunctionDefinition_Shadow

public org.eclipse.emf.ecore.EAttribute getFunctionDefinition_Shadow()

Specified by:

getFunctionDefinition_Shadow in interface ProblemPackage

Returns:

the meta object for the attribute 'Shadow'.

See Also:

• FunctionDefinition.isShadow()
• ProblemPackage.getFunctionDefinition()

getFunctionDefinition_ComputedValue

public org.eclipse.emf.ecore.EReference getFunctionDefinition_ComputedValue()

Specified by:

getFunctionDefinition_ComputedValue in interface ProblemPackage

Returns:

the meta object for the containment reference 'Computed Value'.

See Also:

• FunctionDefinition.getComputedValue()
• ProblemPackage.getFunctionDefinition()

getFunctionDefinition_DomainPredicate

public org.eclipse.emf.ecore.EReference getFunctionDefinition_DomainPredicate()

Specified by:

getFunctionDefinition_DomainPredicate in interface ProblemPackage

Returns:

the meta object for the containment reference 'Domain Predicate'.

See Also:

• FunctionDefinition.getDomainPredicate()
• ProblemPackage.getFunctionDefinition()

getConjunction

public org.eclipse.emf.ecore.EClass getConjunction()

Specified by:

getConjunction in interface ProblemPackage

Returns:

the meta object for class 'Conjunction'.

See Also:

• Conjunction

getConjunction_Literals

public org.eclipse.emf.ecore.EReference getConjunction_Literals()

Specified by:

getConjunction_Literals in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Literals'.

See Also:

• Conjunction.getLiterals()
• ProblemPackage.getConjunction()

getCase

public org.eclipse.emf.ecore.EClass getCase()

Specified by:

getCase in interface ProblemPackage

Returns:

the meta object for class 'Case'.

See Also:

• Case

getCase_Condition

public org.eclipse.emf.ecore.EReference getCase_Condition()

Specified by:

getCase_Condition in interface ProblemPackage

Returns:

the meta object for the containment reference 'Condition'.

See Also:

• Case.getCondition()
• ProblemPackage.getCase()

getCase_Value

public org.eclipse.emf.ecore.EReference getCase_Value()

Specified by:

getCase_Value in interface ProblemPackage

Returns:

the meta object for the containment reference 'Value'.

See Also:

• Case.getValue()
• ProblemPackage.getCase()

getArithmeticBinaryExpr

public org.eclipse.emf.ecore.EClass getArithmeticBinaryExpr()

Specified by:

getArithmeticBinaryExpr in interface ProblemPackage

Returns:

the meta object for class 'Arithmetic Binary Expr'.

See Also:

• ArithmeticBinaryExpr

getArithmeticBinaryExpr_Op

public org.eclipse.emf.ecore.EAttribute getArithmeticBinaryExpr_Op()

Specified by:

getArithmeticBinaryExpr_Op in interface ProblemPackage

Returns:

the meta object for the attribute 'Op'.

See Also:

• ArithmeticBinaryExpr.getOp()
• ProblemPackage.getArithmeticBinaryExpr()

getRelation

public org.eclipse.emf.ecore.EClass getRelation()

Specified by:

getRelation in interface ProblemPackage

Returns:

the meta object for class 'Relation'.

See Also:

• Relation

getRangeExpr

public org.eclipse.emf.ecore.EClass getRangeExpr()

Specified by:

getRangeExpr in interface ProblemPackage

Returns:

the meta object for class 'Range Expr'.

See Also:

• RangeExpr

getLogicConstant

public org.eclipse.emf.ecore.EClass getLogicConstant()

Specified by:

getLogicConstant in interface ProblemPackage

Returns:

the meta object for class 'Logic Constant'.

See Also:

• LogicConstant

getLogicConstant_LogicValue

public org.eclipse.emf.ecore.EAttribute getLogicConstant_LogicValue()

Specified by:

getLogicConstant_LogicValue in interface ProblemPackage

Returns:

the meta object for the attribute 'Logic Value'.

See Also:

• LogicConstant.getLogicValue()
• ProblemPackage.getLogicConstant()

getImportStatement

public org.eclipse.emf.ecore.EClass getImportStatement()

Specified by:

getImportStatement in interface ProblemPackage

Returns:

the meta object for class 'Import Statement'.

See Also:

• ImportStatement

getImportStatement_ImportedModule

public org.eclipse.emf.ecore.EReference getImportStatement_ImportedModule()

Specified by:

getImportStatement_ImportedModule in interface ProblemPackage

Returns:

the meta object for the reference 'Imported Module'.

See Also:

• ImportStatement.getImportedModule()
• ProblemPackage.getImportStatement()

getImportStatement_Alias

public org.eclipse.emf.ecore.EAttribute getImportStatement_Alias()

Specified by:

getImportStatement_Alias in interface ProblemPackage

Returns:

the meta object for the attribute 'Alias'.

See Also:

• ImportStatement.getAlias()
• ProblemPackage.getImportStatement()

getDatatypeDeclaration

public org.eclipse.emf.ecore.EClass getDatatypeDeclaration()

Specified by:

getDatatypeDeclaration in interface ProblemPackage

Returns:

the meta object for class 'Datatype Declaration'.

See Also:

• DatatypeDeclaration

getLatticeBinaryExpr

public org.eclipse.emf.ecore.EClass getLatticeBinaryExpr()

Specified by:

getLatticeBinaryExpr in interface ProblemPackage

Returns:

the meta object for class 'Lattice Binary Expr'.

See Also:

• LatticeBinaryExpr

getLatticeBinaryExpr_Op

public org.eclipse.emf.ecore.EAttribute getLatticeBinaryExpr_Op()

Specified by:

getLatticeBinaryExpr_Op in interface ProblemPackage

Returns:

the meta object for the attribute 'Op'.

See Also:

• LatticeBinaryExpr.getOp()
• ProblemPackage.getLatticeBinaryExpr()

getAssignmentExpr

public org.eclipse.emf.ecore.EClass getAssignmentExpr()

Specified by:

getAssignmentExpr in interface ProblemPackage

Returns:

the meta object for class 'Assignment Expr'.

See Also:

• AssignmentExpr

getInfiniteConstant

public org.eclipse.emf.ecore.EClass getInfiniteConstant()

Specified by:

getInfiniteConstant in interface ProblemPackage

Returns:

the meta object for class 'Infinite Constant'.

See Also:

• InfiniteConstant

getAggregatorDeclaration

public org.eclipse.emf.ecore.EClass getAggregatorDeclaration()

Specified by:

getAggregatorDeclaration in interface ProblemPackage

Returns:

the meta object for class 'Aggregator Declaration'.

See Also:

• AggregatorDeclaration

getModalExpr

public org.eclipse.emf.ecore.EClass getModalExpr()

Specified by:

getModalExpr in interface ProblemPackage

Returns:

the meta object for class 'Modal Expr'.

See Also:

• ModalExpr

getModalExpr_Concreteness

public org.eclipse.emf.ecore.EAttribute getModalExpr_Concreteness()

Specified by:

getModalExpr_Concreteness in interface ProblemPackage

Returns:

the meta object for the attribute 'Concreteness'.

See Also:

• ModalExpr.getConcreteness()
• ProblemPackage.getModalExpr()

getModalExpr_Modality

public org.eclipse.emf.ecore.EAttribute getModalExpr_Modality()

Specified by:

getModalExpr_Modality in interface ProblemPackage

Returns:

the meta object for the attribute 'Modality'.

See Also:

• ModalExpr.getModality()
• ProblemPackage.getModalExpr()

getAssertion

public org.eclipse.emf.ecore.EClass getAssertion()

Specified by:

getAssertion in interface ProblemPackage

Returns:

the meta object for class 'Assertion'.

See Also:

• Assertion

getAssertion_Default

public org.eclipse.emf.ecore.EAttribute getAssertion_Default()

Specified by:

getAssertion_Default in interface ProblemPackage

Returns:

the meta object for the attribute 'Default'.

See Also:

• Assertion.isDefault()
• ProblemPackage.getAssertion()

getAnnotatedElement

public org.eclipse.emf.ecore.EClass getAnnotatedElement()

Specified by:

getAnnotatedElement in interface ProblemPackage

Returns:

the meta object for class 'Annotated Element'.

See Also:

• AnnotatedElement

getAnnotatedElement_Annotations

public org.eclipse.emf.ecore.EReference getAnnotatedElement_Annotations()

Specified by:

getAnnotatedElement_Annotations in interface ProblemPackage

Returns:

the meta object for the containment reference 'Annotations'.

See Also:

• AnnotatedElement.getAnnotations()
• ProblemPackage.getAnnotatedElement()

getAnnotationContainer

public org.eclipse.emf.ecore.EClass getAnnotationContainer()

Specified by:

getAnnotationContainer in interface ProblemPackage

Returns:

the meta object for class 'Annotation Container'.

See Also:

• AnnotationContainer

getAnnotationContainer_Annotations

public org.eclipse.emf.ecore.EReference getAnnotationContainer_Annotations()

Specified by:

getAnnotationContainer_Annotations in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Annotations'.

See Also:

• AnnotationContainer.getAnnotations()
• ProblemPackage.getAnnotationContainer()

getAnnotationDeclaration

public org.eclipse.emf.ecore.EClass getAnnotationDeclaration()

Specified by:

getAnnotationDeclaration in interface ProblemPackage

Returns:

the meta object for class 'Annotation Declaration'.

See Also:

• AnnotationDeclaration

getAnnotation

public org.eclipse.emf.ecore.EClass getAnnotation()

Specified by:

getAnnotation in interface ProblemPackage

Returns:

the meta object for class 'Annotation'.

See Also:

• Annotation

getAnnotation_Declaration

public org.eclipse.emf.ecore.EReference getAnnotation_Declaration()

Specified by:

getAnnotation_Declaration in interface ProblemPackage

Returns:

the meta object for the reference 'Declaration'.

See Also:

• Annotation.getDeclaration()
• ProblemPackage.getAnnotation()

getAnnotation_Arguments

public org.eclipse.emf.ecore.EReference getAnnotation_Arguments()

Specified by:

getAnnotation_Arguments in interface ProblemPackage

Returns:

the meta object for the containment reference list 'Arguments'.

See Also:

• Annotation.getArguments()
• ProblemPackage.getAnnotation()

getAnnotationArgument

public org.eclipse.emf.ecore.EClass getAnnotationArgument()

Specified by:

getAnnotationArgument in interface ProblemPackage

Returns:

the meta object for class 'Annotation Argument'.

See Also:

• AnnotationArgument

getAnnotationArgument_Value

public org.eclipse.emf.ecore.EReference getAnnotationArgument_Value()

Specified by:

getAnnotationArgument_Value in interface ProblemPackage

Returns:

the meta object for the containment reference 'Value'.

See Also:

• AnnotationArgument.getValue()
• ProblemPackage.getAnnotationArgument()

getAnnotationArgument_Parameter

public org.eclipse.emf.ecore.EReference getAnnotationArgument_Parameter()

Specified by:

getAnnotationArgument_Parameter in interface ProblemPackage

Returns:

the meta object for the reference 'Parameter'.

See Also:

• AnnotationArgument.getParameter()
• ProblemPackage.getAnnotationArgument()

getTopLevelAnnotation

public org.eclipse.emf.ecore.EClass getTopLevelAnnotation()

Specified by:

getTopLevelAnnotation in interface ProblemPackage

Returns:

the meta object for class 'Top Level Annotation'.

See Also:

• TopLevelAnnotation

getTopLevelAnnotation_Annotation

public org.eclipse.emf.ecore.EReference getTopLevelAnnotation_Annotation()

Specified by:

getTopLevelAnnotation_Annotation in interface ProblemPackage

Returns:

the meta object for the containment reference 'Annotation'.

See Also:

• TopLevelAnnotation.getAnnotation()
• ProblemPackage.getTopLevelAnnotation()

getOverloadedDeclaration

public org.eclipse.emf.ecore.EClass getOverloadedDeclaration()

Specified by:

getOverloadedDeclaration in interface ProblemPackage

Returns:

the meta object for class 'Overloaded Declaration'.

See Also:

• OverloadedDeclaration

getOverloadedDeclaration_Shadow

public org.eclipse.emf.ecore.EAttribute getOverloadedDeclaration_Shadow()

Specified by:

getOverloadedDeclaration_Shadow in interface ProblemPackage

Returns:

the meta object for the attribute 'Shadow'.

See Also:

• OverloadedDeclaration.isShadow()
• ProblemPackage.getOverloadedDeclaration()

getLogicValue

public org.eclipse.emf.ecore.EEnum getLogicValue()

Specified by:

getLogicValue in interface ProblemPackage

Returns:

the meta object for enum 'Logic Value'.

See Also:

• LogicValue

getComparisonOp

public org.eclipse.emf.ecore.EEnum getComparisonOp()

Specified by:

getComparisonOp in interface ProblemPackage

Returns:

the meta object for enum 'Comparison Op'.

See Also:

• ComparisonOp

getReferenceKind

public org.eclipse.emf.ecore.EEnum getReferenceKind()

Specified by:

getReferenceKind in interface ProblemPackage

Returns:

the meta object for enum 'Reference Kind'.

See Also:

• ReferenceKind

getUnaryOp

public org.eclipse.emf.ecore.EEnum getUnaryOp()

Specified by:

getUnaryOp in interface ProblemPackage

Returns:

the meta object for enum 'Unary Op'.

See Also:

• UnaryOp

getBinaryOp

public org.eclipse.emf.ecore.EEnum getBinaryOp()

Specified by:

getBinaryOp in interface ProblemPackage

Returns:

the meta object for enum 'Binary Op'.

See Also:

• BinaryOp

getModuleKind

public org.eclipse.emf.ecore.EEnum getModuleKind()

Specified by:

getModuleKind in interface ProblemPackage

Returns:

the meta object for enum 'Module Kind'.

See Also:

• ModuleKind

getNodeKind

public org.eclipse.emf.ecore.EEnum getNodeKind()

Specified by:

getNodeKind in interface ProblemPackage

Returns:

the meta object for enum 'Node Kind'.

See Also:

• NodeKind

getLatticeBinaryOp

public org.eclipse.emf.ecore.EEnum getLatticeBinaryOp()

Specified by:

getLatticeBinaryOp in interface ProblemPackage

Returns:

the meta object for enum 'Lattice Binary Op'.

See Also:

• LatticeBinaryOp

getModality

public org.eclipse.emf.ecore.EEnum getModality()

Specified by:

getModality in interface ProblemPackage

Returns:

the meta object for enum 'Modality'.

See Also:

• Modality

getConcreteness

public org.eclipse.emf.ecore.EEnum getConcreteness()

Specified by:

getConcreteness in interface ProblemPackage

Returns:

the meta object for enum 'Concreteness'.

See Also:

• Concreteness

getRuleKind

public org.eclipse.emf.ecore.EEnum getRuleKind()

Specified by:

getRuleKind in interface ProblemPackage

Returns:

the meta object for enum 'Rule Kind'.

See Also:

• RuleKind

getPredicateKind

public org.eclipse.emf.ecore.EEnum getPredicateKind()

Specified by:

getPredicateKind in interface ProblemPackage

Returns:

the meta object for enum 'Predicate Kind'.

See Also:

• PredicateKind

getParameterKind

public org.eclipse.emf.ecore.EEnum getParameterKind()

Specified by:

getParameterKind in interface ProblemPackage

Returns:

the meta object for enum 'Parameter Kind'.

See Also:

• ParameterKind

getProblemFactory

public ProblemFactory getProblemFactory()

Specified by:

getProblemFactory in interface ProblemPackage

Returns:

the factory that creates the instances of the model.

createPackageContents

public void createPackageContents()

Creates the meta-model objects for the package. This method is guarded to have no affect on any invocation but its first.

initializePackageContents

public void initializePackageContents()

Complete the initialization of the package and its meta-model. This method is guarded to have no affect on any invocation but its first.

createEcoreAnnotations

protected void createEcoreAnnotations()

Initializes the annotations for http://www.eclipse.org/emf/2002/Ecore.

createProblemDelegateAnnotations

protected void createProblemDelegateAnnotations()

Initializes the annotations for https://refinery.tools/emf/2024/ProblemDelegate.