/**
*/
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
*
* - each class,
* - each feature of each class,
* - each operation of each class,
* - each enum,
* - and each data type
*
*
* @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 'Value' attribute.
*
*
* @generated
* @ordered
*/
int ASSERTION__VALUE = STATEMENT_FEATURE_COUNT + 1;
/**
* The feature id for the 'Arguments' containment reference list.
*
*
* @generated
* @ordered
*/
int ASSERTION__ARGUMENTS = 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 = 31;
/**
* The number of structural features of the 'Argument' class.
*
*
* @generated
* @ordered
*/
int ARGUMENT_FEATURE_COUNT = 0;
/**
* 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.VariableOrNodeArgumentImpl Variable Or Node Argument}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeArgumentImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariableOrNodeArgument()
* @generated
*/
int VARIABLE_OR_NODE_ARGUMENT = 23;
/**
* The feature id for the 'Variable Or Node' reference.
*
*
* @generated
* @ordered
*/
int VARIABLE_OR_NODE_ARGUMENT__VARIABLE_OR_NODE = ARGUMENT_FEATURE_COUNT + 0;
/**
* The feature id for the 'Singleton Variable' containment reference.
*
*
* @generated
* @ordered
*/
int VARIABLE_OR_NODE_ARGUMENT__SINGLETON_VARIABLE = ARGUMENT_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Variable Or Node Argument' class.
*
*
* @generated
* @ordered
*/
int VARIABLE_OR_NODE_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Variable Or Node Argument' class.
*
*
* @generated
* @ordered
*/
int VARIABLE_OR_NODE_ARGUMENT_OPERATION_COUNT = 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.impl.ConstantImpl Constant}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstant()
* @generated
*/
int CONSTANT = 26;
/**
* The number of structural features of the 'Constant' class.
*
*
* @generated
* @ordered
*/
int CONSTANT_FEATURE_COUNT = 0;
/**
* The number of operations of the 'Constant' class.
*
*
* @generated
* @ordered
*/
int CONSTANT_OPERATION_COUNT = 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.IntConstantImpl Int Constant}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.IntConstantImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getIntConstant()
* @generated
*/
int INT_CONSTANT = 27;
/**
* The feature id for the 'Int Value' attribute.
*
*
* @generated
* @ordered
*/
int INT_CONSTANT__INT_VALUE = CONSTANT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Int Constant' class.
*
*
* @generated
* @ordered
*/
int INT_CONSTANT_FEATURE_COUNT = CONSTANT_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Int Constant' class.
*
*
* @generated
* @ordered
*/
int INT_CONSTANT_OPERATION_COUNT = CONSTANT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RealConstantImpl Real Constant}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.RealConstantImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getRealConstant()
* @generated
*/
int REAL_CONSTANT = 28;
/**
* The feature id for the 'Real Value' attribute.
*
*
* @generated
* @ordered
*/
int REAL_CONSTANT__REAL_VALUE = CONSTANT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Real Constant' class.
*
*
* @generated
* @ordered
*/
int REAL_CONSTANT_FEATURE_COUNT = CONSTANT_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Real Constant' class.
*
*
* @generated
* @ordered
*/
int REAL_CONSTANT_OPERATION_COUNT = CONSTANT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.StringConstantImpl String Constant}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.StringConstantImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getStringConstant()
* @generated
*/
int STRING_CONSTANT = 29;
/**
* The feature id for the 'String Value' attribute.
*
*
* @generated
* @ordered
*/
int STRING_CONSTANT__STRING_VALUE = CONSTANT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'String Constant' class.
*
*
* @generated
* @ordered
*/
int STRING_CONSTANT_FEATURE_COUNT = CONSTANT_FEATURE_COUNT + 1;
/**
* The number of operations of the 'String Constant' class.
*
*
* @generated
* @ordered
*/
int STRING_CONSTANT_OPERATION_COUNT = CONSTANT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConstantArgumentImpl Constant Argument}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantArgumentImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstantArgument()
* @generated
*/
int CONSTANT_ARGUMENT = 30;
/**
* The feature id for the 'Constant' containment reference.
*
*
* @generated
* @ordered
*/
int CONSTANT_ARGUMENT__CONSTANT = ARGUMENT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Constant Argument' class.
*
*
* @generated
* @ordered
*/
int CONSTANT_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Constant Argument' class.
*
*
* @generated
* @ordered
*/
int CONSTANT_ARGUMENT_OPERATION_COUNT = ARGUMENT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionArgumentImpl Assertion Argument}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.AssertionArgumentImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getAssertionArgument()
* @generated
*/
int ASSERTION_ARGUMENT = 33;
/**
* The number of structural features of the 'Assertion Argument' class.
*
*
* @generated
* @ordered
*/
int ASSERTION_ARGUMENT_FEATURE_COUNT = 0;
/**
* The number of operations of the 'Assertion Argument' class.
*
*
* @generated
* @ordered
*/
int ASSERTION_ARGUMENT_OPERATION_COUNT = 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NodeAssertionArgumentImpl Node Assertion Argument}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.NodeAssertionArgumentImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNodeAssertionArgument()
* @generated
*/
int NODE_ASSERTION_ARGUMENT = 32;
/**
* The feature id for the 'Node' reference.
*
*
* @generated
* @ordered
*/
int NODE_ASSERTION_ARGUMENT__NODE = ASSERTION_ARGUMENT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Node Assertion Argument' class.
*
*
* @generated
* @ordered
*/
int NODE_ASSERTION_ARGUMENT_FEATURE_COUNT = ASSERTION_ARGUMENT_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Node Assertion Argument' class.
*
*
* @generated
* @ordered
*/
int NODE_ASSERTION_ARGUMENT_OPERATION_COUNT = ASSERTION_ARGUMENT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConstantAssertionArgumentImpl Constant Assertion Argument}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantAssertionArgumentImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstantAssertionArgument()
* @generated
*/
int CONSTANT_ASSERTION_ARGUMENT = 34;
/**
* The feature id for the 'Constant' containment reference.
*
*
* @generated
* @ordered
*/
int CONSTANT_ASSERTION_ARGUMENT__CONSTANT = ASSERTION_ARGUMENT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Constant Assertion Argument' class.
*
*
* @generated
* @ordered
*/
int CONSTANT_ASSERTION_ARGUMENT_FEATURE_COUNT = ASSERTION_ARGUMENT_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Constant Assertion Argument' class.
*
*
* @generated
* @ordered
*/
int CONSTANT_ASSERTION_ARGUMENT_OPERATION_COUNT = ASSERTION_ARGUMENT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NodeValueAssertionImpl Node Value Assertion}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.NodeValueAssertionImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNodeValueAssertion()
* @generated
*/
int NODE_VALUE_ASSERTION = 35;
/**
* The feature id for the 'Node' reference.
*
*
* @generated
* @ordered
*/
int NODE_VALUE_ASSERTION__NODE = STATEMENT_FEATURE_COUNT + 0;
/**
* The feature id for the 'Value' containment reference.
*
*
* @generated
* @ordered
*/
int NODE_VALUE_ASSERTION__VALUE = STATEMENT_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Node Value Assertion' class.
*
*
* @generated
* @ordered
*/
int NODE_VALUE_ASSERTION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Node Value Assertion' class.
*
*
* @generated
* @ordered
*/
int NODE_VALUE_ASSERTION_OPERATION_COUNT = STATEMENT_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 = 36;
/**
* 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 containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getArguments Arguments}'.
*
*
* @return the meta object for the containment 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.VariableOrNodeArgument Variable Or Node Argument}'.
*
*
* @return the meta object for class 'Variable Or Node Argument'.
* @see org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument
* @generated
*/
EClass getVariableOrNodeArgument();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument#getVariableOrNode Variable Or Node}'.
*
*
* @return the meta object for the reference 'Variable Or Node'.
* @see org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument#getVariableOrNode()
* @see #getVariableOrNodeArgument()
* @generated
*/
EReference getVariableOrNodeArgument_VariableOrNode();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument#getSingletonVariable Singleton Variable}'.
*
*
* @return the meta object for the containment reference 'Singleton Variable'.
* @see org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument#getSingletonVariable()
* @see #getVariableOrNodeArgument()
* @generated
*/
EReference getVariableOrNodeArgument_SingletonVariable();
/**
* 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 class '{@link org.eclipse.viatra.solver.language.model.problem.NodeAssertionArgument Node Assertion Argument}'.
*
*
* @return the meta object for class 'Node Assertion Argument'.
* @see org.eclipse.viatra.solver.language.model.problem.NodeAssertionArgument
* @generated
*/
EClass getNodeAssertionArgument();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.NodeAssertionArgument#getNode Node}'.
*
*
* @return the meta object for the reference 'Node'.
* @see org.eclipse.viatra.solver.language.model.problem.NodeAssertionArgument#getNode()
* @see #getNodeAssertionArgument()
* @generated
*/
EReference getNodeAssertionArgument_Node();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.AssertionArgument Assertion Argument}'.
*
*
* @return the meta object for class 'Assertion Argument'.
* @see org.eclipse.viatra.solver.language.model.problem.AssertionArgument
* @generated
*/
EClass getAssertionArgument();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ConstantAssertionArgument Constant Assertion Argument}'.
*
*
* @return the meta object for class 'Constant Assertion Argument'.
* @see org.eclipse.viatra.solver.language.model.problem.ConstantAssertionArgument
* @generated
*/
EClass getConstantAssertionArgument();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.ConstantAssertionArgument#getConstant Constant}'.
*
*
* @return the meta object for the containment reference 'Constant'.
* @see org.eclipse.viatra.solver.language.model.problem.ConstantAssertionArgument#getConstant()
* @see #getConstantAssertionArgument()
* @generated
*/
EReference getConstantAssertionArgument_Constant();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion Node Value Assertion}'.
*
*
* @return the meta object for class 'Node Value Assertion'.
* @see org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion
* @generated
*/
EClass getNodeValueAssertion();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion#getNode Node}'.
*
*
* @return the meta object for the reference 'Node'.
* @see org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion#getNode()
* @see #getNodeValueAssertion()
* @generated
*/
EReference getNodeValueAssertion_Node();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion#getValue Value}'.
*
*
* @return the meta object for the containment reference 'Value'.
* @see org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion#getValue()
* @see #getNodeValueAssertion()
* @generated
*/
EReference getNodeValueAssertion_Value();
/**
* 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 class '{@link org.eclipse.viatra.solver.language.model.problem.Constant Constant}'.
*
*
* @return the meta object for class 'Constant'.
* @see org.eclipse.viatra.solver.language.model.problem.Constant
* @generated
*/
EClass getConstant();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.IntConstant Int Constant}'.
*
*
* @return the meta object for class 'Int Constant'.
* @see org.eclipse.viatra.solver.language.model.problem.IntConstant
* @generated
*/
EClass getIntConstant();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.IntConstant#getIntValue Int Value}'.
*
*
* @return the meta object for the attribute 'Int Value'.
* @see org.eclipse.viatra.solver.language.model.problem.IntConstant#getIntValue()
* @see #getIntConstant()
* @generated
*/
EAttribute getIntConstant_IntValue();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.RealConstant Real Constant}'.
*
*
* @return the meta object for class 'Real Constant'.
* @see org.eclipse.viatra.solver.language.model.problem.RealConstant
* @generated
*/
EClass getRealConstant();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.RealConstant#getRealValue Real Value}'.
*
*
* @return the meta object for the attribute 'Real Value'.
* @see org.eclipse.viatra.solver.language.model.problem.RealConstant#getRealValue()
* @see #getRealConstant()
* @generated
*/
EAttribute getRealConstant_RealValue();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.StringConstant String Constant}'.
*
*
* @return the meta object for class 'String Constant'.
* @see org.eclipse.viatra.solver.language.model.problem.StringConstant
* @generated
*/
EClass getStringConstant();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.StringConstant#getStringValue String Value}'.
*
*
* @return the meta object for the attribute 'String Value'.
* @see org.eclipse.viatra.solver.language.model.problem.StringConstant#getStringValue()
* @see #getStringConstant()
* @generated
*/
EAttribute getStringConstant_StringValue();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ConstantArgument Constant Argument}'.
*
*
* @return the meta object for class 'Constant Argument'.
* @see org.eclipse.viatra.solver.language.model.problem.ConstantArgument
* @generated
*/
EClass getConstantArgument();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.ConstantArgument#getConstant Constant}'.
*
*
* @return the meta object for the containment reference 'Constant'.
* @see org.eclipse.viatra.solver.language.model.problem.ConstantArgument#getConstant()
* @see #getConstantArgument()
* @generated
*/
EReference getConstantArgument_Constant();
/**
* 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
*
* - each class,
* - each feature of each class,
* - each operation of each class,
* - each enum,
* - and each data type
*
*
* @generated
*/
interface Literals {
/**
* The meta object literal for the '{@link 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' containment 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.VariableOrNodeArgumentImpl Variable Or Node Argument}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeArgumentImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariableOrNodeArgument()
* @generated
*/
EClass VARIABLE_OR_NODE_ARGUMENT = eINSTANCE.getVariableOrNodeArgument();
/**
* The meta object literal for the 'Variable Or Node' reference feature.
*
*
* @generated
*/
EReference VARIABLE_OR_NODE_ARGUMENT__VARIABLE_OR_NODE = eINSTANCE.getVariableOrNodeArgument_VariableOrNode();
/**
* The meta object literal for the 'Singleton Variable' containment reference feature.
*
*
* @generated
*/
EReference VARIABLE_OR_NODE_ARGUMENT__SINGLETON_VARIABLE = eINSTANCE
.getVariableOrNodeArgument_SingletonVariable();
/**
* 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 '{@link org.eclipse.viatra.solver.language.model.problem.impl.NodeAssertionArgumentImpl Node Assertion Argument}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.NodeAssertionArgumentImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNodeAssertionArgument()
* @generated
*/
EClass NODE_ASSERTION_ARGUMENT = eINSTANCE.getNodeAssertionArgument();
/**
* The meta object literal for the 'Node' reference feature.
*
*
* @generated
*/
EReference NODE_ASSERTION_ARGUMENT__NODE = eINSTANCE.getNodeAssertionArgument_Node();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionArgumentImpl Assertion Argument}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.AssertionArgumentImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getAssertionArgument()
* @generated
*/
EClass ASSERTION_ARGUMENT = eINSTANCE.getAssertionArgument();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConstantAssertionArgumentImpl Constant Assertion Argument}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantAssertionArgumentImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstantAssertionArgument()
* @generated
*/
EClass CONSTANT_ASSERTION_ARGUMENT = eINSTANCE.getConstantAssertionArgument();
/**
* The meta object literal for the 'Constant' containment reference feature.
*
*
* @generated
*/
EReference CONSTANT_ASSERTION_ARGUMENT__CONSTANT = eINSTANCE.getConstantAssertionArgument_Constant();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NodeValueAssertionImpl Node Value Assertion}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.NodeValueAssertionImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNodeValueAssertion()
* @generated
*/
EClass NODE_VALUE_ASSERTION = eINSTANCE.getNodeValueAssertion();
/**
* The meta object literal for the 'Node' reference feature.
*
*
* @generated
*/
EReference NODE_VALUE_ASSERTION__NODE = eINSTANCE.getNodeValueAssertion_Node();
/**
* The meta object literal for the 'Value' containment reference feature.
*
*
* @generated
*/
EReference NODE_VALUE_ASSERTION__VALUE = eINSTANCE.getNodeValueAssertion_Value();
/**
* 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.impl.ConstantImpl Constant}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstant()
* @generated
*/
EClass CONSTANT = eINSTANCE.getConstant();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.IntConstantImpl Int Constant}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.IntConstantImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getIntConstant()
* @generated
*/
EClass INT_CONSTANT = eINSTANCE.getIntConstant();
/**
* The meta object literal for the 'Int Value' attribute feature.
*
*
* @generated
*/
EAttribute INT_CONSTANT__INT_VALUE = eINSTANCE.getIntConstant_IntValue();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RealConstantImpl Real Constant}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.RealConstantImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getRealConstant()
* @generated
*/
EClass REAL_CONSTANT = eINSTANCE.getRealConstant();
/**
* The meta object literal for the 'Real Value' attribute feature.
*
*
* @generated
*/
EAttribute REAL_CONSTANT__REAL_VALUE = eINSTANCE.getRealConstant_RealValue();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.StringConstantImpl String Constant}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.StringConstantImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getStringConstant()
* @generated
*/
EClass STRING_CONSTANT = eINSTANCE.getStringConstant();
/**
* The meta object literal for the 'String Value' attribute feature.
*
*
* @generated
*/
EAttribute STRING_CONSTANT__STRING_VALUE = eINSTANCE.getStringConstant_StringValue();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConstantArgumentImpl Constant Argument}' class.
*
*
* @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantArgumentImpl
* @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstantArgument()
* @generated
*/
EClass CONSTANT_ARGUMENT = eINSTANCE.getConstantArgument();
/**
* The meta object literal for the 'Constant' containment reference feature.
*
*
* @generated
*/
EReference CONSTANT_ARGUMENT__CONSTANT = eINSTANCE.getConstantArgument_Constant();
/**
* 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