/** */ package org.eclipse.viatra.solver.language.model.problem; import org.eclipse.emf.ecore.EAttribute; import org.eclipse.emf.ecore.EClass; import org.eclipse.emf.ecore.EEnum; 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 org.eclipse.viatra.solver.language.model.problem.ProblemFactory * @model kind="package" * @generated */ public interface ProblemPackage extends EPackage { /** * The package name. * * * @generated */ String eNAME = "problem"; /** * The package namespace URI. * * * @generated */ String eNS_URI = "http://www.eclipse.org/viatra/solver/language/model/Problem"; /** * The package namespace name. * * * @generated */ String eNS_PREFIX = "problem"; /** * The singleton instance of the package. * * * @generated */ ProblemPackage eINSTANCE = org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl.init(); /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NamedElementImpl Named Element}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.NamedElementImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNamedElement() * @generated */ int NAMED_ELEMENT = 4; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int NAMED_ELEMENT__NAME = 0; /** * The number of structural features of the 'Named Element' class. * * * @generated * @ordered */ int NAMED_ELEMENT_FEATURE_COUNT = 1; /** * The number of operations of the 'Named Element' class. * * * @generated * @ordered */ int NAMED_ELEMENT_OPERATION_COUNT = 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ProblemImpl Problem}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getProblem() * @generated */ int PROBLEM = 0; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int PROBLEM__NAME = NAMED_ELEMENT__NAME; /** * The feature id for the 'Nodes' containment reference list. * * * @generated * @ordered */ int PROBLEM__NODES = NAMED_ELEMENT_FEATURE_COUNT + 0; /** * The feature id for the 'Statements' containment reference list. * * * @generated * @ordered */ int PROBLEM__STATEMENTS = NAMED_ELEMENT_FEATURE_COUNT + 1; /** * The number of structural features of the 'Problem' class. * * * @generated * @ordered */ int PROBLEM_FEATURE_COUNT = NAMED_ELEMENT_FEATURE_COUNT + 2; /** * The number of operations of the 'Problem' class. * * * @generated * @ordered */ int PROBLEM_OPERATION_COUNT = NAMED_ELEMENT_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RelationImpl Relation}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.RelationImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getRelation() * @generated */ int RELATION = 1; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int RELATION__NAME = NAMED_ELEMENT__NAME; /** * The number of structural features of the 'Relation' class. * * * @generated * @ordered */ int RELATION_FEATURE_COUNT = NAMED_ELEMENT_FEATURE_COUNT + 0; /** * The number of operations of the 'Relation' class. * * * @generated * @ordered */ int RELATION_OPERATION_COUNT = NAMED_ELEMENT_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ClassDeclarationImpl Class Declaration}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ClassDeclarationImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getClassDeclaration() * @generated */ int CLASS_DECLARATION = 2; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int CLASS_DECLARATION__NAME = RELATION__NAME; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int CLASS_DECLARATION__ABSTRACT = RELATION_FEATURE_COUNT + 0; /** * The feature id for the 'Super Types' reference list. * * * @generated * @ordered */ int CLASS_DECLARATION__SUPER_TYPES = RELATION_FEATURE_COUNT + 1; /** * The feature id for the 'Reference Declarations' containment reference list. * * * @generated * @ordered */ int CLASS_DECLARATION__REFERENCE_DECLARATIONS = RELATION_FEATURE_COUNT + 2; /** * The feature id for the 'New Node' containment reference. * * * @generated * @ordered */ int CLASS_DECLARATION__NEW_NODE = RELATION_FEATURE_COUNT + 3; /** * The number of structural features of the 'Class Declaration' class. * * * @generated * @ordered */ int CLASS_DECLARATION_FEATURE_COUNT = RELATION_FEATURE_COUNT + 4; /** * The number of operations of the 'Class Declaration' class. * * * @generated * @ordered */ int CLASS_DECLARATION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ReferenceDeclarationImpl Reference Declaration}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ReferenceDeclarationImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getReferenceDeclaration() * @generated */ int REFERENCE_DECLARATION = 3; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int REFERENCE_DECLARATION__NAME = RELATION__NAME; /** * The feature id for the 'Reference Type' reference. * * * @generated * @ordered */ int REFERENCE_DECLARATION__REFERENCE_TYPE = RELATION_FEATURE_COUNT + 0; /** * The feature id for the 'Opposite' reference. * * * @generated * @ordered */ int REFERENCE_DECLARATION__OPPOSITE = RELATION_FEATURE_COUNT + 1; /** * The feature id for the 'Containment' attribute. * * * @generated * @ordered */ int REFERENCE_DECLARATION__CONTAINMENT = RELATION_FEATURE_COUNT + 2; /** * The feature id for the 'Multiplicity' containment reference. * * * @generated * @ordered */ int REFERENCE_DECLARATION__MULTIPLICITY = RELATION_FEATURE_COUNT + 3; /** * The number of structural features of the 'Reference Declaration' class. * * * @generated * @ordered */ int REFERENCE_DECLARATION_FEATURE_COUNT = RELATION_FEATURE_COUNT + 4; /** * The number of operations of the 'Reference Declaration' class. * * * @generated * @ordered */ int REFERENCE_DECLARATION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.PredicateDefinitionImpl Predicate Definition}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.PredicateDefinitionImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getPredicateDefinition() * @generated */ int PREDICATE_DEFINITION = 5; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int PREDICATE_DEFINITION__NAME = RELATION__NAME; /** * The feature id for the 'Error' attribute. * * * @generated * @ordered */ int PREDICATE_DEFINITION__ERROR = RELATION_FEATURE_COUNT + 0; /** * The feature id for the 'Parameters' containment reference list. * * * @generated * @ordered */ int PREDICATE_DEFINITION__PARAMETERS = RELATION_FEATURE_COUNT + 1; /** * The feature id for the 'Bodies' containment reference list. * * * @generated * @ordered */ int PREDICATE_DEFINITION__BODIES = RELATION_FEATURE_COUNT + 2; /** * The number of structural features of the 'Predicate Definition' class. * * * @generated * @ordered */ int PREDICATE_DEFINITION_FEATURE_COUNT = RELATION_FEATURE_COUNT + 3; /** * The number of operations of the 'Predicate Definition' class. * * * @generated * @ordered */ int PREDICATE_DEFINITION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeImpl Variable Or Node}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariableOrNode() * @generated */ int VARIABLE_OR_NODE = 25; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int VARIABLE_OR_NODE__NAME = NAMED_ELEMENT__NAME; /** * The number of structural features of the 'Variable Or Node' class. * * * @generated * @ordered */ int VARIABLE_OR_NODE_FEATURE_COUNT = NAMED_ELEMENT_FEATURE_COUNT + 0; /** * The number of operations of the 'Variable Or Node' class. * * * @generated * @ordered */ int VARIABLE_OR_NODE_OPERATION_COUNT = NAMED_ELEMENT_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableImpl Variable}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.VariableImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariable() * @generated */ int VARIABLE = 7; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int VARIABLE__NAME = VARIABLE_OR_NODE__NAME; /** * The number of structural features of the 'Variable' class. * * * @generated * @ordered */ int VARIABLE_FEATURE_COUNT = VARIABLE_OR_NODE_FEATURE_COUNT + 0; /** * The number of operations of the 'Variable' class. * * * @generated * @ordered */ int VARIABLE_OPERATION_COUNT = VARIABLE_OR_NODE_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ParameterImpl Parameter}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ParameterImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getParameter() * @generated */ int PARAMETER = 6; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int PARAMETER__NAME = VARIABLE__NAME; /** * The feature id for the 'Parameter Type' reference. * * * @generated * @ordered */ int PARAMETER__PARAMETER_TYPE = VARIABLE_FEATURE_COUNT + 0; /** * The number of structural features of the 'Parameter' class. * * * @generated * @ordered */ int PARAMETER_FEATURE_COUNT = VARIABLE_FEATURE_COUNT + 1; /** * The number of operations of the 'Parameter' class. * * * @generated * @ordered */ int PARAMETER_OPERATION_COUNT = VARIABLE_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier Existential Quantifier}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getExistentialQuantifier() * @generated */ int EXISTENTIAL_QUANTIFIER = 13; /** * The feature id for the 'Implicit Variables' containment reference list. * * * @generated * @ordered */ int EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES = 0; /** * The number of structural features of the 'Existential Quantifier' class. * * * @generated * @ordered */ int EXISTENTIAL_QUANTIFIER_FEATURE_COUNT = 1; /** * The number of operations of the 'Existential Quantifier' class. * * * @generated * @ordered */ int EXISTENTIAL_QUANTIFIER_OPERATION_COUNT = 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConjunctionImpl Conjunction}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ConjunctionImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConjunction() * @generated */ int CONJUNCTION = 8; /** * The feature id for the 'Implicit Variables' containment reference list. * * * @generated * @ordered */ int CONJUNCTION__IMPLICIT_VARIABLES = EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES; /** * The feature id for the 'Literals' containment reference list. * * * @generated * @ordered */ int CONJUNCTION__LITERALS = EXISTENTIAL_QUANTIFIER_FEATURE_COUNT + 0; /** * The number of structural features of the 'Conjunction' class. * * * @generated * @ordered */ int CONJUNCTION_FEATURE_COUNT = EXISTENTIAL_QUANTIFIER_FEATURE_COUNT + 1; /** * The number of operations of the 'Conjunction' class. * * * @generated * @ordered */ int CONJUNCTION_OPERATION_COUNT = EXISTENTIAL_QUANTIFIER_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.LiteralImpl Literal}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.LiteralImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getLiteral() * @generated */ int LITERAL = 9; /** * The number of structural features of the 'Literal' class. * * * @generated * @ordered */ int LITERAL_FEATURE_COUNT = 0; /** * The number of operations of the 'Literal' class. * * * @generated * @ordered */ int LITERAL_OPERATION_COUNT = 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.AtomImpl Atom}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.AtomImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getAtom() * @generated */ int ATOM = 10; /** * The feature id for the 'Relation' reference. * * * @generated * @ordered */ int ATOM__RELATION = LITERAL_FEATURE_COUNT + 0; /** * The feature id for the 'Transitive Closure' attribute. * * * @generated * @ordered */ int ATOM__TRANSITIVE_CLOSURE = LITERAL_FEATURE_COUNT + 1; /** * The feature id for the 'Arguments' containment reference list. * * * @generated * @ordered */ int ATOM__ARGUMENTS = LITERAL_FEATURE_COUNT + 2; /** * The number of structural features of the 'Atom' class. * * * @generated * @ordered */ int ATOM_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 3; /** * The number of operations of the 'Atom' class. * * * @generated * @ordered */ int ATOM_OPERATION_COUNT = LITERAL_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ImplicitVariableImpl Implicit Variable}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ImplicitVariableImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getImplicitVariable() * @generated */ int IMPLICIT_VARIABLE = 11; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int IMPLICIT_VARIABLE__NAME = VARIABLE__NAME; /** * The number of structural features of the 'Implicit Variable' class. * * * @generated * @ordered */ int IMPLICIT_VARIABLE_FEATURE_COUNT = VARIABLE_FEATURE_COUNT + 0; /** * The number of operations of the 'Implicit Variable' class. * * * @generated * @ordered */ int IMPLICIT_VARIABLE_OPERATION_COUNT = VARIABLE_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NegativeLiteralImpl Negative Literal}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.NegativeLiteralImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNegativeLiteral() * @generated */ int NEGATIVE_LITERAL = 12; /** * The feature id for the 'Implicit Variables' containment reference list. * * * @generated * @ordered */ int NEGATIVE_LITERAL__IMPLICIT_VARIABLES = EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES; /** * The feature id for the 'Atom' containment reference. * * * @generated * @ordered */ int NEGATIVE_LITERAL__ATOM = EXISTENTIAL_QUANTIFIER_FEATURE_COUNT + 0; /** * The number of structural features of the 'Negative Literal' class. * * * @generated * @ordered */ int NEGATIVE_LITERAL_FEATURE_COUNT = EXISTENTIAL_QUANTIFIER_FEATURE_COUNT + 1; /** * The number of operations of the 'Negative Literal' class. * * * @generated * @ordered */ int NEGATIVE_LITERAL_OPERATION_COUNT = EXISTENTIAL_QUANTIFIER_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.Statement Statement}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.Statement * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getStatement() * @generated */ int STATEMENT = 17; /** * The number of structural features of the 'Statement' class. * * * @generated * @ordered */ int STATEMENT_FEATURE_COUNT = 0; /** * The number of operations of the 'Statement' class. * * * @generated * @ordered */ int STATEMENT_OPERATION_COUNT = 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl Assertion}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getAssertion() * @generated */ int ASSERTION = 14; /** * The feature id for the 'Relation' reference. * * * @generated * @ordered */ int ASSERTION__RELATION = STATEMENT_FEATURE_COUNT + 0; /** * The feature id for the 'Arguments' reference list. * * * @generated * @ordered */ int ASSERTION__ARGUMENTS = STATEMENT_FEATURE_COUNT + 1; /** * The feature id for the 'Value' attribute. * * * @generated * @ordered */ int ASSERTION__VALUE = STATEMENT_FEATURE_COUNT + 2; /** * The number of structural features of the 'Assertion' class. * * * @generated * @ordered */ int ASSERTION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 3; /** * The number of operations of the 'Assertion' class. * * * @generated * @ordered */ int ASSERTION_OPERATION_COUNT = STATEMENT_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NodeImpl Node}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.NodeImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNode() * @generated */ int NODE = 15; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int NODE__NAME = VARIABLE_OR_NODE__NAME; /** * The number of structural features of the 'Node' class. * * * @generated * @ordered */ int NODE_FEATURE_COUNT = VARIABLE_OR_NODE_FEATURE_COUNT + 0; /** * The number of operations of the 'Node' class. * * * @generated * @ordered */ int NODE_OPERATION_COUNT = VARIABLE_OR_NODE_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ScopeDeclarationImpl Scope Declaration}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ScopeDeclarationImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getScopeDeclaration() * @generated */ int SCOPE_DECLARATION = 16; /** * The feature id for the 'Type Scopes' containment reference list. * * * @generated * @ordered */ int SCOPE_DECLARATION__TYPE_SCOPES = STATEMENT_FEATURE_COUNT + 0; /** * The number of structural features of the 'Scope Declaration' class. * * * @generated * @ordered */ int SCOPE_DECLARATION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 1; /** * The number of operations of the 'Scope Declaration' class. * * * @generated * @ordered */ int SCOPE_DECLARATION_OPERATION_COUNT = STATEMENT_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.TypeScopeImpl Type Scope}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.TypeScopeImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getTypeScope() * @generated */ int TYPE_SCOPE = 18; /** * The feature id for the 'Target Type' reference. * * * @generated * @ordered */ int TYPE_SCOPE__TARGET_TYPE = 0; /** * The feature id for the 'Increment' attribute. * * * @generated * @ordered */ int TYPE_SCOPE__INCREMENT = 1; /** * The feature id for the 'Multiplicity' containment reference. * * * @generated * @ordered */ int TYPE_SCOPE__MULTIPLICITY = 2; /** * The number of structural features of the 'Type Scope' class. * * * @generated * @ordered */ int TYPE_SCOPE_FEATURE_COUNT = 3; /** * The number of operations of the 'Type Scope' class. * * * @generated * @ordered */ int TYPE_SCOPE_OPERATION_COUNT = 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.MultiplicityImpl Multiplicity}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.MultiplicityImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getMultiplicity() * @generated */ int MULTIPLICITY = 19; /** * The number of structural features of the 'Multiplicity' class. * * * @generated * @ordered */ int MULTIPLICITY_FEATURE_COUNT = 0; /** * The number of operations of the 'Multiplicity' class. * * * @generated * @ordered */ int MULTIPLICITY_OPERATION_COUNT = 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RangeMultiplicityImpl Range Multiplicity}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.RangeMultiplicityImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getRangeMultiplicity() * @generated */ int RANGE_MULTIPLICITY = 20; /** * The feature id for the 'Lower Bound' attribute. * * * @generated * @ordered */ int RANGE_MULTIPLICITY__LOWER_BOUND = MULTIPLICITY_FEATURE_COUNT + 0; /** * The feature id for the 'Upper Bound' attribute. * * * @generated * @ordered */ int RANGE_MULTIPLICITY__UPPER_BOUND = MULTIPLICITY_FEATURE_COUNT + 1; /** * The number of structural features of the 'Range Multiplicity' class. * * * @generated * @ordered */ int RANGE_MULTIPLICITY_FEATURE_COUNT = MULTIPLICITY_FEATURE_COUNT + 2; /** * The number of operations of the 'Range Multiplicity' class. * * * @generated * @ordered */ int RANGE_MULTIPLICITY_OPERATION_COUNT = MULTIPLICITY_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ExactMultiplicityImpl Exact Multiplicity}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ExactMultiplicityImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getExactMultiplicity() * @generated */ int EXACT_MULTIPLICITY = 21; /** * The feature id for the 'Exact Value' attribute. * * * @generated * @ordered */ int EXACT_MULTIPLICITY__EXACT_VALUE = MULTIPLICITY_FEATURE_COUNT + 0; /** * The number of structural features of the 'Exact Multiplicity' class. * * * @generated * @ordered */ int EXACT_MULTIPLICITY_FEATURE_COUNT = MULTIPLICITY_FEATURE_COUNT + 1; /** * The number of operations of the 'Exact Multiplicity' class. * * * @generated * @ordered */ int EXACT_MULTIPLICITY_OPERATION_COUNT = MULTIPLICITY_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.UnboundedMultiplicityImpl Unbounded Multiplicity}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.UnboundedMultiplicityImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getUnboundedMultiplicity() * @generated */ int UNBOUNDED_MULTIPLICITY = 22; /** * The number of structural features of the 'Unbounded Multiplicity' class. * * * @generated * @ordered */ int UNBOUNDED_MULTIPLICITY_FEATURE_COUNT = MULTIPLICITY_FEATURE_COUNT + 0; /** * The number of operations of the 'Unbounded Multiplicity' class. * * * @generated * @ordered */ int UNBOUNDED_MULTIPLICITY_OPERATION_COUNT = MULTIPLICITY_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ArgumentImpl Argument}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ArgumentImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getArgument() * @generated */ int ARGUMENT = 23; /** * The feature id for the 'Variable Or Node' reference. * * * @generated * @ordered */ int ARGUMENT__VARIABLE_OR_NODE = 0; /** * The feature id for the 'Singleton Variable' containment reference. * * * @generated * @ordered */ int ARGUMENT__SINGLETON_VARIABLE = 1; /** * The number of structural features of the 'Argument' class. * * * @generated * @ordered */ int ARGUMENT_FEATURE_COUNT = 2; /** * The number of operations of the 'Argument' class. * * * @generated * @ordered */ int ARGUMENT_OPERATION_COUNT = 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl Enum Declaration}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getEnumDeclaration() * @generated */ int ENUM_DECLARATION = 24; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int ENUM_DECLARATION__NAME = RELATION__NAME; /** * The feature id for the 'Literals' containment reference list. * * * @generated * @ordered */ int ENUM_DECLARATION__LITERALS = RELATION_FEATURE_COUNT + 0; /** * The number of structural features of the 'Enum Declaration' class. * * * @generated * @ordered */ int ENUM_DECLARATION_FEATURE_COUNT = RELATION_FEATURE_COUNT + 1; /** * The number of operations of the 'Enum Declaration' class. * * * @generated * @ordered */ int ENUM_DECLARATION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue Logic Value}' enum. * * * @see org.eclipse.viatra.solver.language.model.problem.LogicValue * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getLogicValue() * @generated */ int LOGIC_VALUE = 26; /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Problem Problem}'. * * * @return the meta object for class 'Problem'. * @see org.eclipse.viatra.solver.language.model.problem.Problem * @generated */ EClass getProblem(); /** * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.Problem#getNodes Nodes}'. * * * @return the meta object for the containment reference list 'Nodes'. * @see org.eclipse.viatra.solver.language.model.problem.Problem#getNodes() * @see #getProblem() * @generated */ EReference getProblem_Nodes(); /** * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.Problem#getStatements Statements}'. * * * @return the meta object for the containment reference list 'Statements'. * @see org.eclipse.viatra.solver.language.model.problem.Problem#getStatements() * @see #getProblem() * @generated */ EReference getProblem_Statements(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Relation Relation}'. * * * @return the meta object for class 'Relation'. * @see org.eclipse.viatra.solver.language.model.problem.Relation * @generated */ EClass getRelation(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ClassDeclaration Class Declaration}'. * * * @return the meta object for class 'Class Declaration'. * @see org.eclipse.viatra.solver.language.model.problem.ClassDeclaration * @generated */ EClass getClassDeclaration(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#isAbstract Abstract}'. * * * @return the meta object for the attribute 'Abstract'. * @see org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#isAbstract() * @see #getClassDeclaration() * @generated */ EAttribute getClassDeclaration_Abstract(); /** * Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getSuperTypes Super Types}'. * * * @return the meta object for the reference list 'Super Types'. * @see org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getSuperTypes() * @see #getClassDeclaration() * @generated */ EReference getClassDeclaration_SuperTypes(); /** * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getReferenceDeclarations Reference Declarations}'. * * * @return the meta object for the containment reference list 'Reference Declarations'. * @see org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getReferenceDeclarations() * @see #getClassDeclaration() * @generated */ EReference getClassDeclaration_ReferenceDeclarations(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getNewNode New Node}'. * * * @return the meta object for the containment reference 'New Node'. * @see org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getNewNode() * @see #getClassDeclaration() * @generated */ EReference getClassDeclaration_NewNode(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration Reference Declaration}'. * * * @return the meta object for class 'Reference Declaration'. * @see org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration * @generated */ EClass getReferenceDeclaration(); /** * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getReferenceType Reference Type}'. * * * @return the meta object for the reference 'Reference Type'. * @see org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getReferenceType() * @see #getReferenceDeclaration() * @generated */ EReference getReferenceDeclaration_ReferenceType(); /** * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getOpposite Opposite}'. * * * @return the meta object for the reference 'Opposite'. * @see org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getOpposite() * @see #getReferenceDeclaration() * @generated */ EReference getReferenceDeclaration_Opposite(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#isContainment Containment}'. * * * @return the meta object for the attribute 'Containment'. * @see org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#isContainment() * @see #getReferenceDeclaration() * @generated */ EAttribute getReferenceDeclaration_Containment(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getMultiplicity Multiplicity}'. * * * @return the meta object for the containment reference 'Multiplicity'. * @see org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getMultiplicity() * @see #getReferenceDeclaration() * @generated */ EReference getReferenceDeclaration_Multiplicity(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.NamedElement Named Element}'. * * * @return the meta object for class 'Named Element'. * @see org.eclipse.viatra.solver.language.model.problem.NamedElement * @generated */ EClass getNamedElement(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.NamedElement#getName Name}'. * * * @return the meta object for the attribute 'Name'. * @see org.eclipse.viatra.solver.language.model.problem.NamedElement#getName() * @see #getNamedElement() * @generated */ EAttribute getNamedElement_Name(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.PredicateDefinition Predicate Definition}'. * * * @return the meta object for class 'Predicate Definition'. * @see org.eclipse.viatra.solver.language.model.problem.PredicateDefinition * @generated */ EClass getPredicateDefinition(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#isError Error}'. * * * @return the meta object for the attribute 'Error'. * @see org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#isError() * @see #getPredicateDefinition() * @generated */ EAttribute getPredicateDefinition_Error(); /** * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#getParameters Parameters}'. * * * @return the meta object for the containment reference list 'Parameters'. * @see org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#getParameters() * @see #getPredicateDefinition() * @generated */ EReference getPredicateDefinition_Parameters(); /** * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#getBodies Bodies}'. * * * @return the meta object for the containment reference list 'Bodies'. * @see org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#getBodies() * @see #getPredicateDefinition() * @generated */ EReference getPredicateDefinition_Bodies(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Parameter Parameter}'. * * * @return the meta object for class 'Parameter'. * @see org.eclipse.viatra.solver.language.model.problem.Parameter * @generated */ EClass getParameter(); /** * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.Parameter#getParameterType Parameter Type}'. * * * @return the meta object for the reference 'Parameter Type'. * @see org.eclipse.viatra.solver.language.model.problem.Parameter#getParameterType() * @see #getParameter() * @generated */ EReference getParameter_ParameterType(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Variable Variable}'. * * * @return the meta object for class 'Variable'. * @see org.eclipse.viatra.solver.language.model.problem.Variable * @generated */ EClass getVariable(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Conjunction Conjunction}'. * * * @return the meta object for class 'Conjunction'. * @see org.eclipse.viatra.solver.language.model.problem.Conjunction * @generated */ EClass getConjunction(); /** * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.Conjunction#getLiterals Literals}'. * * * @return the meta object for the containment reference list 'Literals'. * @see org.eclipse.viatra.solver.language.model.problem.Conjunction#getLiterals() * @see #getConjunction() * @generated */ EReference getConjunction_Literals(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Literal Literal}'. * * * @return the meta object for class 'Literal'. * @see org.eclipse.viatra.solver.language.model.problem.Literal * @generated */ EClass getLiteral(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Atom Atom}'. * * * @return the meta object for class 'Atom'. * @see org.eclipse.viatra.solver.language.model.problem.Atom * @generated */ EClass getAtom(); /** * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.Atom#getRelation Relation}'. * * * @return the meta object for the reference 'Relation'. * @see org.eclipse.viatra.solver.language.model.problem.Atom#getRelation() * @see #getAtom() * @generated */ EReference getAtom_Relation(); /** * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.Atom#getArguments Arguments}'. * * * @return the meta object for the containment reference list 'Arguments'. * @see org.eclipse.viatra.solver.language.model.problem.Atom#getArguments() * @see #getAtom() * @generated */ EReference getAtom_Arguments(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.Atom#isTransitiveClosure Transitive Closure}'. * * * @return the meta object for the attribute 'Transitive Closure'. * @see org.eclipse.viatra.solver.language.model.problem.Atom#isTransitiveClosure() * @see #getAtom() * @generated */ EAttribute getAtom_TransitiveClosure(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ImplicitVariable Implicit Variable}'. * * * @return the meta object for class 'Implicit Variable'. * @see org.eclipse.viatra.solver.language.model.problem.ImplicitVariable * @generated */ EClass getImplicitVariable(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.NegativeLiteral Negative Literal}'. * * * @return the meta object for class 'Negative Literal'. * @see org.eclipse.viatra.solver.language.model.problem.NegativeLiteral * @generated */ EClass getNegativeLiteral(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.NegativeLiteral#getAtom Atom}'. * * * @return the meta object for the containment reference 'Atom'. * @see org.eclipse.viatra.solver.language.model.problem.NegativeLiteral#getAtom() * @see #getNegativeLiteral() * @generated */ EReference getNegativeLiteral_Atom(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier Existential Quantifier}'. * * * @return the meta object for class 'Existential Quantifier'. * @see org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier * @generated */ EClass getExistentialQuantifier(); /** * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier#getImplicitVariables Implicit Variables}'. * * * @return the meta object for the containment reference list 'Implicit Variables'. * @see org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier#getImplicitVariables() * @see #getExistentialQuantifier() * @generated */ EReference getExistentialQuantifier_ImplicitVariables(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Assertion Assertion}'. * * * @return the meta object for class 'Assertion'. * @see org.eclipse.viatra.solver.language.model.problem.Assertion * @generated */ EClass getAssertion(); /** * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getRelation Relation}'. * * * @return the meta object for the reference 'Relation'. * @see org.eclipse.viatra.solver.language.model.problem.Assertion#getRelation() * @see #getAssertion() * @generated */ EReference getAssertion_Relation(); /** * Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getArguments Arguments}'. * * * @return the meta object for the reference list 'Arguments'. * @see org.eclipse.viatra.solver.language.model.problem.Assertion#getArguments() * @see #getAssertion() * @generated */ EReference getAssertion_Arguments(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getValue Value}'. * * * @return the meta object for the attribute 'Value'. * @see org.eclipse.viatra.solver.language.model.problem.Assertion#getValue() * @see #getAssertion() * @generated */ EAttribute getAssertion_Value(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Node Node}'. * * * @return the meta object for class 'Node'. * @see org.eclipse.viatra.solver.language.model.problem.Node * @generated */ EClass getNode(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration Scope Declaration}'. * * * @return the meta object for class 'Scope Declaration'. * @see org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration * @generated */ EClass getScopeDeclaration(); /** * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration#getTypeScopes Type Scopes}'. * * * @return the meta object for the containment reference list 'Type Scopes'. * @see org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration#getTypeScopes() * @see #getScopeDeclaration() * @generated */ EReference getScopeDeclaration_TypeScopes(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Statement Statement}'. * * * @return the meta object for class 'Statement'. * @see org.eclipse.viatra.solver.language.model.problem.Statement * @generated */ EClass getStatement(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.TypeScope Type Scope}'. * * * @return the meta object for class 'Type Scope'. * @see org.eclipse.viatra.solver.language.model.problem.TypeScope * @generated */ EClass getTypeScope(); /** * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.TypeScope#getTargetType Target Type}'. * * * @return the meta object for the reference 'Target Type'. * @see org.eclipse.viatra.solver.language.model.problem.TypeScope#getTargetType() * @see #getTypeScope() * @generated */ EReference getTypeScope_TargetType(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.TypeScope#isIncrement Increment}'. * * * @return the meta object for the attribute 'Increment'. * @see org.eclipse.viatra.solver.language.model.problem.TypeScope#isIncrement() * @see #getTypeScope() * @generated */ EAttribute getTypeScope_Increment(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.TypeScope#getMultiplicity Multiplicity}'. * * * @return the meta object for the containment reference 'Multiplicity'. * @see org.eclipse.viatra.solver.language.model.problem.TypeScope#getMultiplicity() * @see #getTypeScope() * @generated */ EReference getTypeScope_Multiplicity(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Multiplicity Multiplicity}'. * * * @return the meta object for class 'Multiplicity'. * @see org.eclipse.viatra.solver.language.model.problem.Multiplicity * @generated */ EClass getMultiplicity(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity Range Multiplicity}'. * * * @return the meta object for class 'Range Multiplicity'. * @see org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity * @generated */ EClass getRangeMultiplicity(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity#getLowerBound Lower Bound}'. * * * @return the meta object for the attribute 'Lower Bound'. * @see org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity#getLowerBound() * @see #getRangeMultiplicity() * @generated */ EAttribute getRangeMultiplicity_LowerBound(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity#getUpperBound Upper Bound}'. * * * @return the meta object for the attribute 'Upper Bound'. * @see org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity#getUpperBound() * @see #getRangeMultiplicity() * @generated */ EAttribute getRangeMultiplicity_UpperBound(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity Exact Multiplicity}'. * * * @return the meta object for class 'Exact Multiplicity'. * @see org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity * @generated */ EClass getExactMultiplicity(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity#getExactValue Exact Value}'. * * * @return the meta object for the attribute 'Exact Value'. * @see org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity#getExactValue() * @see #getExactMultiplicity() * @generated */ EAttribute getExactMultiplicity_ExactValue(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.UnboundedMultiplicity Unbounded Multiplicity}'. * * * @return the meta object for class 'Unbounded Multiplicity'. * @see org.eclipse.viatra.solver.language.model.problem.UnboundedMultiplicity * @generated */ EClass getUnboundedMultiplicity(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Argument Argument}'. * * * @return the meta object for class 'Argument'. * @see org.eclipse.viatra.solver.language.model.problem.Argument * @generated */ EClass getArgument(); /** * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.Argument#getVariableOrNode Variable Or Node}'. * * * @return the meta object for the reference 'Variable Or Node'. * @see org.eclipse.viatra.solver.language.model.problem.Argument#getVariableOrNode() * @see #getArgument() * @generated */ EReference getArgument_VariableOrNode(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.Argument#getSingletonVariable Singleton Variable}'. * * * @return the meta object for the containment reference 'Singleton Variable'. * @see org.eclipse.viatra.solver.language.model.problem.Argument#getSingletonVariable() * @see #getArgument() * @generated */ EReference getArgument_SingletonVariable(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.EnumDeclaration Enum Declaration}'. * * * @return the meta object for class 'Enum Declaration'. * @see org.eclipse.viatra.solver.language.model.problem.EnumDeclaration * @generated */ EClass getEnumDeclaration(); /** * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.EnumDeclaration#getLiterals Literals}'. * * * @return the meta object for the containment reference list 'Literals'. * @see org.eclipse.viatra.solver.language.model.problem.EnumDeclaration#getLiterals() * @see #getEnumDeclaration() * @generated */ EReference getEnumDeclaration_Literals(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.VariableOrNode Variable Or Node}'. * * * @return the meta object for class 'Variable Or Node'. * @see org.eclipse.viatra.solver.language.model.problem.VariableOrNode * @generated */ EClass getVariableOrNode(); /** * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue Logic Value}'. * * * @return the meta object for enum 'Logic Value'. * @see org.eclipse.viatra.solver.language.model.problem.LogicValue * @generated */ EEnum getLogicValue(); /** * Returns the factory that creates the instances of the model. * * * @return the factory that creates the instances of the model. * @generated */ ProblemFactory getProblemFactory(); /** * * Defines literals for the meta objects that represent * * * @generated */ interface Literals { /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ProblemImpl Problem}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getProblem() * @generated */ EClass PROBLEM = eINSTANCE.getProblem(); /** * The meta object literal for the 'Nodes' containment reference list feature. * * * @generated */ EReference PROBLEM__NODES = eINSTANCE.getProblem_Nodes(); /** * The meta object literal for the 'Statements' containment reference list feature. * * * @generated */ EReference PROBLEM__STATEMENTS = eINSTANCE.getProblem_Statements(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RelationImpl Relation}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.RelationImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getRelation() * @generated */ EClass RELATION = eINSTANCE.getRelation(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ClassDeclarationImpl Class Declaration}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ClassDeclarationImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getClassDeclaration() * @generated */ EClass CLASS_DECLARATION = eINSTANCE.getClassDeclaration(); /** * The meta object literal for the 'Abstract' attribute feature. * * * @generated */ EAttribute CLASS_DECLARATION__ABSTRACT = eINSTANCE.getClassDeclaration_Abstract(); /** * The meta object literal for the 'Super Types' reference list feature. * * * @generated */ EReference CLASS_DECLARATION__SUPER_TYPES = eINSTANCE.getClassDeclaration_SuperTypes(); /** * The meta object literal for the 'Reference Declarations' containment reference list feature. * * * @generated */ EReference CLASS_DECLARATION__REFERENCE_DECLARATIONS = eINSTANCE.getClassDeclaration_ReferenceDeclarations(); /** * The meta object literal for the 'New Node' containment reference feature. * * * @generated */ EReference CLASS_DECLARATION__NEW_NODE = eINSTANCE.getClassDeclaration_NewNode(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ReferenceDeclarationImpl Reference Declaration}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ReferenceDeclarationImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getReferenceDeclaration() * @generated */ EClass REFERENCE_DECLARATION = eINSTANCE.getReferenceDeclaration(); /** * The meta object literal for the 'Reference Type' reference feature. * * * @generated */ EReference REFERENCE_DECLARATION__REFERENCE_TYPE = eINSTANCE.getReferenceDeclaration_ReferenceType(); /** * The meta object literal for the 'Opposite' reference feature. * * * @generated */ EReference REFERENCE_DECLARATION__OPPOSITE = eINSTANCE.getReferenceDeclaration_Opposite(); /** * The meta object literal for the 'Containment' attribute feature. * * * @generated */ EAttribute REFERENCE_DECLARATION__CONTAINMENT = eINSTANCE.getReferenceDeclaration_Containment(); /** * The meta object literal for the 'Multiplicity' containment reference feature. * * * @generated */ EReference REFERENCE_DECLARATION__MULTIPLICITY = eINSTANCE.getReferenceDeclaration_Multiplicity(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NamedElementImpl Named Element}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.NamedElementImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNamedElement() * @generated */ EClass NAMED_ELEMENT = eINSTANCE.getNamedElement(); /** * The meta object literal for the 'Name' attribute feature. * * * @generated */ EAttribute NAMED_ELEMENT__NAME = eINSTANCE.getNamedElement_Name(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.PredicateDefinitionImpl Predicate Definition}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.PredicateDefinitionImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getPredicateDefinition() * @generated */ EClass PREDICATE_DEFINITION = eINSTANCE.getPredicateDefinition(); /** * The meta object literal for the 'Error' attribute feature. * * * @generated */ EAttribute PREDICATE_DEFINITION__ERROR = eINSTANCE.getPredicateDefinition_Error(); /** * The meta object literal for the 'Parameters' containment reference list feature. * * * @generated */ EReference PREDICATE_DEFINITION__PARAMETERS = eINSTANCE.getPredicateDefinition_Parameters(); /** * The meta object literal for the 'Bodies' containment reference list feature. * * * @generated */ EReference PREDICATE_DEFINITION__BODIES = eINSTANCE.getPredicateDefinition_Bodies(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ParameterImpl Parameter}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ParameterImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getParameter() * @generated */ EClass PARAMETER = eINSTANCE.getParameter(); /** * The meta object literal for the 'Parameter Type' reference feature. * * * @generated */ EReference PARAMETER__PARAMETER_TYPE = eINSTANCE.getParameter_ParameterType(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableImpl Variable}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.VariableImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariable() * @generated */ EClass VARIABLE = eINSTANCE.getVariable(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConjunctionImpl Conjunction}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ConjunctionImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConjunction() * @generated */ EClass CONJUNCTION = eINSTANCE.getConjunction(); /** * The meta object literal for the 'Literals' containment reference list feature. * * * @generated */ EReference CONJUNCTION__LITERALS = eINSTANCE.getConjunction_Literals(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.LiteralImpl Literal}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.LiteralImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getLiteral() * @generated */ EClass LITERAL = eINSTANCE.getLiteral(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.AtomImpl Atom}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.AtomImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getAtom() * @generated */ EClass ATOM = eINSTANCE.getAtom(); /** * The meta object literal for the 'Relation' reference feature. * * * @generated */ EReference ATOM__RELATION = eINSTANCE.getAtom_Relation(); /** * The meta object literal for the 'Arguments' containment reference list feature. * * * @generated */ EReference ATOM__ARGUMENTS = eINSTANCE.getAtom_Arguments(); /** * The meta object literal for the 'Transitive Closure' attribute feature. * * * @generated */ EAttribute ATOM__TRANSITIVE_CLOSURE = eINSTANCE.getAtom_TransitiveClosure(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ImplicitVariableImpl Implicit Variable}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ImplicitVariableImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getImplicitVariable() * @generated */ EClass IMPLICIT_VARIABLE = eINSTANCE.getImplicitVariable(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NegativeLiteralImpl Negative Literal}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.NegativeLiteralImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNegativeLiteral() * @generated */ EClass NEGATIVE_LITERAL = eINSTANCE.getNegativeLiteral(); /** * The meta object literal for the 'Atom' containment reference feature. * * * @generated */ EReference NEGATIVE_LITERAL__ATOM = eINSTANCE.getNegativeLiteral_Atom(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier Existential Quantifier}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getExistentialQuantifier() * @generated */ EClass EXISTENTIAL_QUANTIFIER = eINSTANCE.getExistentialQuantifier(); /** * The meta object literal for the 'Implicit Variables' containment reference list feature. * * * @generated */ EReference EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES = eINSTANCE.getExistentialQuantifier_ImplicitVariables(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl Assertion}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getAssertion() * @generated */ EClass ASSERTION = eINSTANCE.getAssertion(); /** * The meta object literal for the 'Relation' reference feature. * * * @generated */ EReference ASSERTION__RELATION = eINSTANCE.getAssertion_Relation(); /** * The meta object literal for the 'Arguments' reference list feature. * * * @generated */ EReference ASSERTION__ARGUMENTS = eINSTANCE.getAssertion_Arguments(); /** * The meta object literal for the 'Value' attribute feature. * * * @generated */ EAttribute ASSERTION__VALUE = eINSTANCE.getAssertion_Value(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NodeImpl Node}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.NodeImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNode() * @generated */ EClass NODE = eINSTANCE.getNode(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ScopeDeclarationImpl Scope Declaration}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ScopeDeclarationImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getScopeDeclaration() * @generated */ EClass SCOPE_DECLARATION = eINSTANCE.getScopeDeclaration(); /** * The meta object literal for the 'Type Scopes' containment reference list feature. * * * @generated */ EReference SCOPE_DECLARATION__TYPE_SCOPES = eINSTANCE.getScopeDeclaration_TypeScopes(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.Statement Statement}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.Statement * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getStatement() * @generated */ EClass STATEMENT = eINSTANCE.getStatement(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.TypeScopeImpl Type Scope}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.TypeScopeImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getTypeScope() * @generated */ EClass TYPE_SCOPE = eINSTANCE.getTypeScope(); /** * The meta object literal for the 'Target Type' reference feature. * * * @generated */ EReference TYPE_SCOPE__TARGET_TYPE = eINSTANCE.getTypeScope_TargetType(); /** * The meta object literal for the 'Increment' attribute feature. * * * @generated */ EAttribute TYPE_SCOPE__INCREMENT = eINSTANCE.getTypeScope_Increment(); /** * The meta object literal for the 'Multiplicity' containment reference feature. * * * @generated */ EReference TYPE_SCOPE__MULTIPLICITY = eINSTANCE.getTypeScope_Multiplicity(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.MultiplicityImpl Multiplicity}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.MultiplicityImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getMultiplicity() * @generated */ EClass MULTIPLICITY = eINSTANCE.getMultiplicity(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RangeMultiplicityImpl Range Multiplicity}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.RangeMultiplicityImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getRangeMultiplicity() * @generated */ EClass RANGE_MULTIPLICITY = eINSTANCE.getRangeMultiplicity(); /** * The meta object literal for the 'Lower Bound' attribute feature. * * * @generated */ EAttribute RANGE_MULTIPLICITY__LOWER_BOUND = eINSTANCE.getRangeMultiplicity_LowerBound(); /** * The meta object literal for the 'Upper Bound' attribute feature. * * * @generated */ EAttribute RANGE_MULTIPLICITY__UPPER_BOUND = eINSTANCE.getRangeMultiplicity_UpperBound(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ExactMultiplicityImpl Exact Multiplicity}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ExactMultiplicityImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getExactMultiplicity() * @generated */ EClass EXACT_MULTIPLICITY = eINSTANCE.getExactMultiplicity(); /** * The meta object literal for the 'Exact Value' attribute feature. * * * @generated */ EAttribute EXACT_MULTIPLICITY__EXACT_VALUE = eINSTANCE.getExactMultiplicity_ExactValue(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.UnboundedMultiplicityImpl Unbounded Multiplicity}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.UnboundedMultiplicityImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getUnboundedMultiplicity() * @generated */ EClass UNBOUNDED_MULTIPLICITY = eINSTANCE.getUnboundedMultiplicity(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ArgumentImpl Argument}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.ArgumentImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getArgument() * @generated */ EClass ARGUMENT = eINSTANCE.getArgument(); /** * The meta object literal for the 'Variable Or Node' reference feature. * * * @generated */ EReference ARGUMENT__VARIABLE_OR_NODE = eINSTANCE.getArgument_VariableOrNode(); /** * The meta object literal for the 'Singleton Variable' containment reference feature. * * * @generated */ EReference ARGUMENT__SINGLETON_VARIABLE = eINSTANCE.getArgument_SingletonVariable(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl Enum Declaration}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getEnumDeclaration() * @generated */ EClass ENUM_DECLARATION = eINSTANCE.getEnumDeclaration(); /** * The meta object literal for the 'Literals' containment reference list feature. * * * @generated */ EReference ENUM_DECLARATION__LITERALS = eINSTANCE.getEnumDeclaration_Literals(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeImpl Variable Or Node}' class. * * * @see org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeImpl * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariableOrNode() * @generated */ EClass VARIABLE_OR_NODE = eINSTANCE.getVariableOrNode(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue Logic Value}' enum. * * * @see org.eclipse.viatra.solver.language.model.problem.LogicValue * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getLogicValue() * @generated */ EEnum LOGIC_VALUE = eINSTANCE.getLogicValue(); } } //ProblemPackage