From 8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Tue, 28 Apr 2020 20:43:04 +0200 Subject: initial commit --- .../solverLanguage/SolverLanguagePackage.java | 3460 ++++++++++++++++++++ 1 file changed, 3460 insertions(+) create mode 100644 Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java') diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java new file mode 100644 index 00000000..3bd01417 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java @@ -0,0 +1,3460 @@ +/** + * generated by Xtext 2.18.0.M3 + */ +package org.eclipse.viatra.solver.language.solverLanguage; + +import org.eclipse.emf.ecore.EAttribute; +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.EPackage; +import org.eclipse.emf.ecore.EReference; + +/** + * + * The Package for the model. + * It contains accessors for the meta objects to represent + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguageFactory + * @model kind="package" + * @generated + */ +public interface SolverLanguagePackage extends EPackage +{ + /** + * The package name. + * + * + * @generated + */ + String eNAME = "solverLanguage"; + + /** + * The package namespace URI. + * + * + * @generated + */ + String eNS_URI = "http://www.eclipse.org/viatra/solver/language/SolverLanguage"; + + /** + * The package namespace name. + * + * + * @generated + */ + String eNS_PREFIX = "solverLanguage"; + + /** + * The singleton instance of the package. + * + * + * @generated + */ + SolverLanguagePackage eINSTANCE = org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl.init(); + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl Problem}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getProblem() + * @generated + */ + int PROBLEM = 0; + + /** + * The feature id for the 'Statements' containment reference list. + * + * + * @generated + * @ordered + */ + int PROBLEM__STATEMENTS = 0; + + /** + * The number of structural features of the 'Problem' class. + * + * + * @generated + * @ordered + */ + int PROBLEM_FEATURE_COUNT = 1; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl Statement}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStatement() + * @generated + */ + int STATEMENT = 1; + + /** + * The number of structural features of the 'Statement' class. + * + * + * @generated + * @ordered + */ + int STATEMENT_FEATURE_COUNT = 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanValueImpl Boolean Value}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanValueImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanValue() + * @generated + */ + int BOOLEAN_VALUE = 2; + + /** + * The number of structural features of the 'Boolean Value' class. + * + * + * @generated + * @ordered + */ + int BOOLEAN_VALUE_FEATURE_COUNT = 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TruthValueImpl Truth Value}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TruthValueImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTruthValue() + * @generated + */ + int TRUTH_VALUE = 3; + + /** + * The number of structural features of the 'Truth Value' class. + * + * + * @generated + * @ordered + */ + int TRUTH_VALUE_FEATURE_COUNT = 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl Interpretation}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInterpretation() + * @generated + */ + int INTERPRETATION = 4; + + /** + * The number of structural features of the 'Interpretation' class. + * + * + * @generated + * @ordered + */ + int INTERPRETATION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BasicInterpretationImpl Basic Interpretation}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BasicInterpretationImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBasicInterpretation() + * @generated + */ + int BASIC_INTERPRETATION = 5; + + /** + * The feature id for the 'Symbol' containment reference. + * + * + * @generated + * @ordered + */ + int BASIC_INTERPRETATION__SYMBOL = INTERPRETATION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Objects' containment reference list. + * + * + * @generated + * @ordered + */ + int BASIC_INTERPRETATION__OBJECTS = INTERPRETATION_FEATURE_COUNT + 1; + + /** + * The feature id for the 'Value' containment reference. + * + * + * @generated + * @ordered + */ + int BASIC_INTERPRETATION__VALUE = INTERPRETATION_FEATURE_COUNT + 2; + + /** + * The number of structural features of the 'Basic Interpretation' class. + * + * + * @generated + * @ordered + */ + int BASIC_INTERPRETATION_FEATURE_COUNT = INTERPRETATION_FEATURE_COUNT + 3; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.SymbolImpl Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getSymbol() + * @generated + */ + int SYMBOL = 6; + + /** + * The number of structural features of the 'Symbol' class. + * + * + * @generated + * @ordered + */ + int SYMBOL_FEATURE_COUNT = 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ModelSymbolImpl Model Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ModelSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getModelSymbol() + * @generated + */ + int MODEL_SYMBOL = 7; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int MODEL_SYMBOL__NAME = SYMBOL_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Model Symbol' class. + * + * + * @generated + * @ordered + */ + int MODEL_SYMBOL_FEATURE_COUNT = SYMBOL_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PartialitySymbolImpl Partiality Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PartialitySymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPartialitySymbol() + * @generated + */ + int PARTIALITY_SYMBOL = 8; + + /** + * The number of structural features of the 'Partiality Symbol' class. + * + * + * @generated + * @ordered + */ + int PARTIALITY_SYMBOL_FEATURE_COUNT = SYMBOL_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExistSymbolImpl Exist Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExistSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExistSymbol() + * @generated + */ + int EXIST_SYMBOL = 9; + + /** + * The number of structural features of the 'Exist Symbol' class. + * + * + * @generated + * @ordered + */ + int EXIST_SYMBOL_FEATURE_COUNT = PARTIALITY_SYMBOL_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EqualsSymbolImpl Equals Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.EqualsSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEqualsSymbol() + * @generated + */ + int EQUALS_SYMBOL = 10; + + /** + * The number of structural features of the 'Equals Symbol' class. + * + * + * @generated + * @ordered + */ + int EQUALS_SYMBOL_FEATURE_COUNT = PARTIALITY_SYMBOL_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DataSymbolImpl Data Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DataSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDataSymbol() + * @generated + */ + int DATA_SYMBOL = 11; + + /** + * The number of structural features of the 'Data Symbol' class. + * + * + * @generated + * @ordered + */ + int DATA_SYMBOL_FEATURE_COUNT = SYMBOL_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanSymbolImpl Boolean Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanSymbol() + * @generated + */ + int BOOLEAN_SYMBOL = 12; + + /** + * The number of structural features of the 'Boolean Symbol' class. + * + * + * @generated + * @ordered + */ + int BOOLEAN_SYMBOL_FEATURE_COUNT = DATA_SYMBOL_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntegerSymbolImpl Integer Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntegerSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIntegerSymbol() + * @generated + */ + int INTEGER_SYMBOL = 13; + + /** + * The number of structural features of the 'Integer Symbol' class. + * + * + * @generated + * @ordered + */ + int INTEGER_SYMBOL_FEATURE_COUNT = DATA_SYMBOL_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.RealSymbolImpl Real Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.RealSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getRealSymbol() + * @generated + */ + int REAL_SYMBOL = 14; + + /** + * The number of structural features of the 'Real Symbol' class. + * + * + * @generated + * @ordered + */ + int REAL_SYMBOL_FEATURE_COUNT = DATA_SYMBOL_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringSymbolImpl String Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringSymbol() + * @generated + */ + int STRING_SYMBOL = 15; + + /** + * The number of structural features of the 'String Symbol' class. + * + * + * @generated + * @ordered + */ + int STRING_SYMBOL_FEATURE_COUNT = DATA_SYMBOL_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ComplexObjectImpl Complex Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ComplexObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getComplexObject() + * @generated + */ + int COMPLEX_OBJECT = 16; + + /** + * The number of structural features of the 'Complex Object' class. + * + * + * @generated + * @ordered + */ + int COMPLEX_OBJECT_FEATURE_COUNT = 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectImpl Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObject() + * @generated + */ + int OBJECT = 17; + + /** + * The number of structural features of the 'Object' class. + * + * + * @generated + * @ordered + */ + int OBJECT_FEATURE_COUNT = COMPLEX_OBJECT_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NamedObjectImpl Named Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NamedObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNamedObject() + * @generated + */ + int NAMED_OBJECT = 18; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int NAMED_OBJECT__NAME = OBJECT_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Named Object' class. + * + * + * @generated + * @ordered + */ + int NAMED_OBJECT_FEATURE_COUNT = OBJECT_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedObjectImpl Unnamed Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnnamedObject() + * @generated + */ + int UNNAMED_OBJECT = 19; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int UNNAMED_OBJECT__NAME = OBJECT_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Unnamed Object' class. + * + * + * @generated + * @ordered + */ + int UNNAMED_OBJECT_FEATURE_COUNT = OBJECT_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DataObjectImpl Data Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DataObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDataObject() + * @generated + */ + int DATA_OBJECT = 20; + + /** + * The number of structural features of the 'Data Object' class. + * + * + * @generated + * @ordered + */ + int DATA_OBJECT_FEATURE_COUNT = OBJECT_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanObjectImpl Boolean Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanObject() + * @generated + */ + int BOOLEAN_OBJECT = 21; + + /** + * The feature id for the 'Value' containment reference. + * + * + * @generated + * @ordered + */ + int BOOLEAN_OBJECT__VALUE = DATA_OBJECT_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Boolean Object' class. + * + * + * @generated + * @ordered + */ + int BOOLEAN_OBJECT_FEATURE_COUNT = DATA_OBJECT_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntObjectImpl Int Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIntObject() + * @generated + */ + int INT_OBJECT = 22; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int INT_OBJECT__VALUE = DATA_OBJECT_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Int Object' class. + * + * + * @generated + * @ordered + */ + int INT_OBJECT_FEATURE_COUNT = DATA_OBJECT_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.RealObjectImpl Real Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.RealObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getRealObject() + * @generated + */ + int REAL_OBJECT = 23; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int REAL_OBJECT__VALUE = DATA_OBJECT_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Real Object' class. + * + * + * @generated + * @ordered + */ + int REAL_OBJECT_FEATURE_COUNT = DATA_OBJECT_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringObjectImpl String Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringObject() + * @generated + */ + int STRING_OBJECT = 24; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int STRING_OBJECT__VALUE = DATA_OBJECT_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'String Object' class. + * + * + * @generated + * @ordered + */ + int STRING_OBJECT_FEATURE_COUNT = DATA_OBJECT_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl Predicate}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicate() + * @generated + */ + int PREDICATE = 25; + + /** + * The feature id for the 'Parameters' containment reference list. + * + * + * @generated + * @ordered + */ + int PREDICATE__PARAMETERS = STATEMENT_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Bodies' containment reference list. + * + * + * @generated + * @ordered + */ + int PREDICATE__BODIES = STATEMENT_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Predicate' class. + * + * + * @generated + * @ordered + */ + int PREDICATE_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateSymbolImpl Predicate Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicateSymbol() + * @generated + */ + int PREDICATE_SYMBOL = 26; + + /** + * The feature id for the 'Parameters' containment reference list. + * + * + * @generated + * @ordered + */ + int PREDICATE_SYMBOL__PARAMETERS = PREDICATE__PARAMETERS; + + /** + * The feature id for the 'Bodies' containment reference list. + * + * + * @generated + * @ordered + */ + int PREDICATE_SYMBOL__BODIES = PREDICATE__BODIES; + + /** + * The feature id for the 'Symbol' containment reference. + * + * + * @generated + * @ordered + */ + int PREDICATE_SYMBOL__SYMBOL = PREDICATE_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Predicate Symbol' class. + * + * + * @generated + * @ordered + */ + int PREDICATE_SYMBOL_FEATURE_COUNT = PREDICATE_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorPredicateImpl Error Predicate}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorPredicateImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getErrorPredicate() + * @generated + */ + int ERROR_PREDICATE = 27; + + /** + * The feature id for the 'Parameters' containment reference list. + * + * + * @generated + * @ordered + */ + int ERROR_PREDICATE__PARAMETERS = PREDICATE__PARAMETERS; + + /** + * The feature id for the 'Bodies' containment reference list. + * + * + * @generated + * @ordered + */ + int ERROR_PREDICATE__BODIES = PREDICATE__BODIES; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int ERROR_PREDICATE__NAME = PREDICATE_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Error Predicate' class. + * + * + * @generated + * @ordered + */ + int ERROR_PREDICATE_FEATURE_COUNT = PREDICATE_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ParameterImpl Parameter}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ParameterImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getParameter() + * @generated + */ + int PARAMETER = 28; + + /** + * The feature id for the 'Variable' containment reference. + * + * + * @generated + * @ordered + */ + int PARAMETER__VARIABLE = 0; + + /** + * The feature id for the 'Type' containment reference. + * + * + * @generated + * @ordered + */ + int PARAMETER__TYPE = 1; + + /** + * The number of structural features of the 'Parameter' class. + * + * + * @generated + * @ordered + */ + int PARAMETER_FEATURE_COUNT = 2; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PatternBodyImpl Pattern Body}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PatternBodyImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPatternBody() + * @generated + */ + int PATTERN_BODY = 29; + + /** + * The feature id for the 'Constraints' containment reference list. + * + * + * @generated + * @ordered + */ + int PATTERN_BODY__CONSTRAINTS = 0; + + /** + * The number of structural features of the 'Pattern Body' class. + * + * + * @generated + * @ordered + */ + int PATTERN_BODY_FEATURE_COUNT = 1; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PolarityImpl Polarity}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PolarityImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPolarity() + * @generated + */ + int POLARITY = 30; + + /** + * The number of structural features of the 'Polarity' class. + * + * + * @generated + * @ordered + */ + int POLARITY_FEATURE_COUNT = 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ConstraintImpl Constraint}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ConstraintImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConstraint() + * @generated + */ + int CONSTRAINT = 31; + + /** + * The feature id for the 'Polarity' containment reference. + * + * + * @generated + * @ordered + */ + int CONSTRAINT__POLARITY = 0; + + /** + * The feature id for the 'Symbol' containment reference. + * + * + * @generated + * @ordered + */ + int CONSTRAINT__SYMBOL = 1; + + /** + * The feature id for the 'Params' containment reference list. + * + * + * @generated + * @ordered + */ + int CONSTRAINT__PARAMS = 2; + + /** + * The feature id for the 'Closure Type' containment reference. + * + * + * @generated + * @ordered + */ + int CONSTRAINT__CLOSURE_TYPE = 3; + + /** + * The number of structural features of the 'Constraint' class. + * + * + * @generated + * @ordered + */ + int CONSTRAINT_FEATURE_COUNT = 4; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClosureTypeImpl Closure Type}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClosureTypeImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClosureType() + * @generated + */ + int CLOSURE_TYPE = 32; + + /** + * The number of structural features of the 'Closure Type' class. + * + * + * @generated + * @ordered + */ + int CLOSURE_TYPE_FEATURE_COUNT = 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl Literal}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLiteral() + * @generated + */ + int LITERAL = 33; + + /** + * The number of structural features of the 'Literal' class. + * + * + * @generated + * @ordered + */ + int LITERAL_FEATURE_COUNT = 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl Variable}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getVariable() + * @generated + */ + int VARIABLE = 34; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int VARIABLE__NAME = LITERAL_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Variable' class. + * + * + * @generated + * @ordered + */ + int VARIABLE_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AllInstancesImpl All Instances}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AllInstancesImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAllInstances() + * @generated + */ + int ALL_INSTANCES = 35; + + /** + * The feature id for the 'Symbol' containment reference. + * + * + * @generated + * @ordered + */ + int ALL_INSTANCES__SYMBOL = COMPLEX_OBJECT_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'All Instances' class. + * + * + * @generated + * @ordered + */ + int ALL_INSTANCES_FEATURE_COUNT = COMPLEX_OBJECT_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AllObjectsImpl All Objects}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AllObjectsImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAllObjects() + * @generated + */ + int ALL_OBJECTS = 36; + + /** + * The number of structural features of the 'All Objects' class. + * + * + * @generated + * @ordered + */ + int ALL_OBJECTS_FEATURE_COUNT = COMPLEX_OBJECT_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultInterpretationImpl Default Interpretation}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultInterpretationImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDefaultInterpretation() + * @generated + */ + int DEFAULT_INTERPRETATION = 37; + + /** + * The feature id for the 'Interpretation' containment reference. + * + * + * @generated + * @ordered + */ + int DEFAULT_INTERPRETATION__INTERPRETATION = INTERPRETATION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Default Interpretation' class. + * + * + * @generated + * @ordered + */ + int DEFAULT_INTERPRETATION_FEATURE_COUNT = INTERPRETATION_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CDInterpretationImpl CD Interpretation}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CDInterpretationImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCDInterpretation() + * @generated + */ + int CD_INTERPRETATION = 38; + + /** + * The number of structural features of the 'CD Interpretation' class. + * + * + * @generated + * @ordered + */ + int CD_INTERPRETATION_FEATURE_COUNT = INTERPRETATION_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassInterpretationImpl Class Interpretation}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClassInterpretationImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassInterpretation() + * @generated + */ + int CLASS_INTERPRETATION = 39; + + /** + * The feature id for the 'Abstract' attribute. + * + * + * @generated + * @ordered + */ + int CLASS_INTERPRETATION__ABSTRACT = CD_INTERPRETATION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Symbol' containment reference. + * + * + * @generated + * @ordered + */ + int CLASS_INTERPRETATION__SYMBOL = CD_INTERPRETATION_FEATURE_COUNT + 1; + + /** + * The feature id for the 'Supertypes' containment reference list. + * + * + * @generated + * @ordered + */ + int CLASS_INTERPRETATION__SUPERTYPES = CD_INTERPRETATION_FEATURE_COUNT + 2; + + /** + * The feature id for the 'Fielt' containment reference list. + * + * + * @generated + * @ordered + */ + int CLASS_INTERPRETATION__FIELT = CD_INTERPRETATION_FEATURE_COUNT + 3; + + /** + * The number of structural features of the 'Class Interpretation' class. + * + * + * @generated + * @ordered + */ + int CLASS_INTERPRETATION_FEATURE_COUNT = CD_INTERPRETATION_FEATURE_COUNT + 4; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EnumInterpretationImpl Enum Interpretation}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.EnumInterpretationImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEnumInterpretation() + * @generated + */ + int ENUM_INTERPRETATION = 40; + + /** + * The feature id for the 'Symbol' containment reference. + * + * + * @generated + * @ordered + */ + int ENUM_INTERPRETATION__SYMBOL = CD_INTERPRETATION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Objects' containment reference list. + * + * + * @generated + * @ordered + */ + int ENUM_INTERPRETATION__OBJECTS = CD_INTERPRETATION_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Enum Interpretation' class. + * + * + * @generated + * @ordered + */ + int ENUM_INTERPRETATION_FEATURE_COUNT = CD_INTERPRETATION_FEATURE_COUNT + 2; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FieldRelationInterpretationImpl Field Relation Interpretation}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.FieldRelationInterpretationImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFieldRelationInterpretation() + * @generated + */ + int FIELD_RELATION_INTERPRETATION = 41; + + /** + * The feature id for the 'Containment' attribute. + * + * + * @generated + * @ordered + */ + int FIELD_RELATION_INTERPRETATION__CONTAINMENT = 0; + + /** + * The feature id for the 'Symbol' containment reference. + * + * + * @generated + * @ordered + */ + int FIELD_RELATION_INTERPRETATION__SYMBOL = 1; + + /** + * The feature id for the 'Multiplicity' containment reference. + * + * + * @generated + * @ordered + */ + int FIELD_RELATION_INTERPRETATION__MULTIPLICITY = 2; + + /** + * The feature id for the 'Target' containment reference. + * + * + * @generated + * @ordered + */ + int FIELD_RELATION_INTERPRETATION__TARGET = 3; + + /** + * The number of structural features of the 'Field Relation Interpretation' class. + * + * + * @generated + * @ordered + */ + int FIELD_RELATION_INTERPRETATION_FEATURE_COUNT = 4; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.GlobalRelationInterpretationImpl Global Relation Interpretation}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.GlobalRelationInterpretationImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getGlobalRelationInterpretation() + * @generated + */ + int GLOBAL_RELATION_INTERPRETATION = 42; + + /** + * The feature id for the 'Containment' attribute. + * + * + * @generated + * @ordered + */ + int GLOBAL_RELATION_INTERPRETATION__CONTAINMENT = CD_INTERPRETATION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Symbol' containment reference. + * + * + * @generated + * @ordered + */ + int GLOBAL_RELATION_INTERPRETATION__SYMBOL = CD_INTERPRETATION_FEATURE_COUNT + 1; + + /** + * The feature id for the 'Source Multiplicity' containment reference. + * + * + * @generated + * @ordered + */ + int GLOBAL_RELATION_INTERPRETATION__SOURCE_MULTIPLICITY = CD_INTERPRETATION_FEATURE_COUNT + 2; + + /** + * The feature id for the 'Source' containment reference. + * + * + * @generated + * @ordered + */ + int GLOBAL_RELATION_INTERPRETATION__SOURCE = CD_INTERPRETATION_FEATURE_COUNT + 3; + + /** + * The feature id for the 'Target Multiplicity' containment reference. + * + * + * @generated + * @ordered + */ + int GLOBAL_RELATION_INTERPRETATION__TARGET_MULTIPLICITY = CD_INTERPRETATION_FEATURE_COUNT + 4; + + /** + * The feature id for the 'Target' containment reference. + * + * + * @generated + * @ordered + */ + int GLOBAL_RELATION_INTERPRETATION__TARGET = CD_INTERPRETATION_FEATURE_COUNT + 5; + + /** + * The number of structural features of the 'Global Relation Interpretation' class. + * + * + * @generated + * @ordered + */ + int GLOBAL_RELATION_INTERPRETATION_FEATURE_COUNT = CD_INTERPRETATION_FEATURE_COUNT + 6; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityDefinitionImpl Multiplicity Definition}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityDefinitionImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiplicityDefinition() + * @generated + */ + int MULTIPLICITY_DEFINITION = 43; + + /** + * The feature id for the 'Lower' attribute. + * + * + * @generated + * @ordered + */ + int MULTIPLICITY_DEFINITION__LOWER = 0; + + /** + * The feature id for the 'Upper' attribute. + * + * + * @generated + * @ordered + */ + int MULTIPLICITY_DEFINITION__UPPER = 1; + + /** + * The feature id for the 'Unlimited Upper' attribute. + * + * + * @generated + * @ordered + */ + int MULTIPLICITY_DEFINITION__UNLIMITED_UPPER = 2; + + /** + * The number of structural features of the 'Multiplicity Definition' class. + * + * + * @generated + * @ordered + */ + int MULTIPLICITY_DEFINITION_FEATURE_COUNT = 3; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanTrueImpl Boolean True}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanTrueImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanTrue() + * @generated + */ + int BOOLEAN_TRUE = 44; + + /** + * The number of structural features of the 'Boolean True' class. + * + * + * @generated + * @ordered + */ + int BOOLEAN_TRUE_FEATURE_COUNT = BOOLEAN_VALUE_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanFalseImpl Boolean False}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanFalseImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanFalse() + * @generated + */ + int BOOLEAN_FALSE = 45; + + /** + * The number of structural features of the 'Boolean False' class. + * + * + * @generated + * @ordered + */ + int BOOLEAN_FALSE_FEATURE_COUNT = BOOLEAN_VALUE_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TrueImpl True}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TrueImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTrue() + * @generated + */ + int TRUE = 46; + + /** + * The number of structural features of the 'True' class. + * + * + * @generated + * @ordered + */ + int TRUE_FEATURE_COUNT = TRUTH_VALUE_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FalseImpl False}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.FalseImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFalse() + * @generated + */ + int FALSE = 47; + + /** + * The number of structural features of the 'False' class. + * + * + * @generated + * @ordered + */ + int FALSE_FEATURE_COUNT = TRUTH_VALUE_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnknownImpl Unknown}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnknownImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnknown() + * @generated + */ + int UNKNOWN = 48; + + /** + * The number of structural features of the 'Unknown' class. + * + * + * @generated + * @ordered + */ + int UNKNOWN_FEATURE_COUNT = TRUTH_VALUE_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorImpl Error}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getError() + * @generated + */ + int ERROR = 49; + + /** + * The number of structural features of the 'Error' class. + * + * + * @generated + * @ordered + */ + int ERROR_FEATURE_COUNT = TRUTH_VALUE_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PositiveImpl Positive}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PositiveImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPositive() + * @generated + */ + int POSITIVE = 50; + + /** + * The number of structural features of the 'Positive' class. + * + * + * @generated + * @ordered + */ + int POSITIVE_FEATURE_COUNT = POLARITY_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NegativeImpl Negative}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NegativeImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNegative() + * @generated + */ + int NEGATIVE = 51; + + /** + * The number of structural features of the 'Negative' class. + * + * + * @generated + * @ordered + */ + int NEGATIVE_FEATURE_COUNT = POLARITY_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ReflexiveClosureImpl Reflexive Closure}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ReflexiveClosureImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getReflexiveClosure() + * @generated + */ + int REFLEXIVE_CLOSURE = 52; + + /** + * The number of structural features of the 'Reflexive Closure' class. + * + * + * @generated + * @ordered + */ + int REFLEXIVE_CLOSURE_FEATURE_COUNT = CLOSURE_TYPE_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IrreflexiveClosureImpl Irreflexive Closure}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IrreflexiveClosureImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIrreflexiveClosure() + * @generated + */ + int IRREFLEXIVE_CLOSURE = 53; + + /** + * The number of structural features of the 'Irreflexive Closure' class. + * + * + * @generated + * @ordered + */ + int IRREFLEXIVE_CLOSURE_FEATURE_COUNT = CLOSURE_TYPE_FEATURE_COUNT + 0; + + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem Problem}'. + * + * + * @return the meta object for class 'Problem'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Problem + * @generated + */ + EClass getProblem(); + + /** + * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem#getStatements Statements}'. + * + * + * @return the meta object for the containment reference list 'Statements'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Problem#getStatements() + * @see #getProblem() + * @generated + */ + EReference getProblem_Statements(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement Statement}'. + * + * + * @return the meta object for class 'Statement'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Statement + * @generated + */ + EClass getStatement(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanValue Boolean Value}'. + * + * + * @return the meta object for class 'Boolean Value'. + * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanValue + * @generated + */ + EClass getBooleanValue(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.TruthValue Truth Value}'. + * + * + * @return the meta object for class 'Truth Value'. + * @see org.eclipse.viatra.solver.language.solverLanguage.TruthValue + * @generated + */ + EClass getTruthValue(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Interpretation Interpretation}'. + * + * + * @return the meta object for class 'Interpretation'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Interpretation + * @generated + */ + EClass getInterpretation(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation Basic Interpretation}'. + * + * + * @return the meta object for class 'Basic Interpretation'. + * @see org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation + * @generated + */ + EClass getBasicInterpretation(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getSymbol Symbol}'. + * + * + * @return the meta object for the containment reference 'Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getSymbol() + * @see #getBasicInterpretation() + * @generated + */ + EReference getBasicInterpretation_Symbol(); + + /** + * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getObjects Objects}'. + * + * + * @return the meta object for the containment reference list 'Objects'. + * @see org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getObjects() + * @see #getBasicInterpretation() + * @generated + */ + EReference getBasicInterpretation_Objects(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getValue Value}'. + * + * + * @return the meta object for the containment reference 'Value'. + * @see org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getValue() + * @see #getBasicInterpretation() + * @generated + */ + EReference getBasicInterpretation_Value(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Symbol Symbol}'. + * + * + * @return the meta object for class 'Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Symbol + * @generated + */ + EClass getSymbol(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol Model Symbol}'. + * + * + * @return the meta object for class 'Model Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol + * @generated + */ + EClass getModelSymbol(); + + /** + * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol#getName() + * @see #getModelSymbol() + * @generated + */ + EAttribute getModelSymbol_Name(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol Partiality Symbol}'. + * + * + * @return the meta object for class 'Partiality Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol + * @generated + */ + EClass getPartialitySymbol(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol Exist Symbol}'. + * + * + * @return the meta object for class 'Exist Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol + * @generated + */ + EClass getExistSymbol(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol Equals Symbol}'. + * + * + * @return the meta object for class 'Equals Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol + * @generated + */ + EClass getEqualsSymbol(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.DataSymbol Data Symbol}'. + * + * + * @return the meta object for class 'Data Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.DataSymbol + * @generated + */ + EClass getDataSymbol(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol Boolean Symbol}'. + * + * + * @return the meta object for class 'Boolean Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol + * @generated + */ + EClass getBooleanSymbol(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol Integer Symbol}'. + * + * + * @return the meta object for class 'Integer Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol + * @generated + */ + EClass getIntegerSymbol(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.RealSymbol Real Symbol}'. + * + * + * @return the meta object for class 'Real Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.RealSymbol + * @generated + */ + EClass getRealSymbol(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringSymbol String Symbol}'. + * + * + * @return the meta object for class 'String Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.StringSymbol + * @generated + */ + EClass getStringSymbol(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ComplexObject Complex Object}'. + * + * + * @return the meta object for class 'Complex Object'. + * @see org.eclipse.viatra.solver.language.solverLanguage.ComplexObject + * @generated + */ + EClass getComplexObject(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Object Object}'. + * + * + * @return the meta object for class 'Object'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Object + * @generated + */ + EClass getObject(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedObject Named Object}'. + * + * + * @return the meta object for class 'Named Object'. + * @see org.eclipse.viatra.solver.language.solverLanguage.NamedObject + * @generated + */ + EClass getNamedObject(); + + /** + * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedObject#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see org.eclipse.viatra.solver.language.solverLanguage.NamedObject#getName() + * @see #getNamedObject() + * @generated + */ + EAttribute getNamedObject_Name(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject Unnamed Object}'. + * + * + * @return the meta object for class 'Unnamed Object'. + * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject + * @generated + */ + EClass getUnnamedObject(); + + /** + * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject#getName() + * @see #getUnnamedObject() + * @generated + */ + EAttribute getUnnamedObject_Name(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.DataObject Data Object}'. + * + * + * @return the meta object for class 'Data Object'. + * @see org.eclipse.viatra.solver.language.solverLanguage.DataObject + * @generated + */ + EClass getDataObject(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanObject Boolean Object}'. + * + * + * @return the meta object for class 'Boolean Object'. + * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanObject + * @generated + */ + EClass getBooleanObject(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanObject#getValue Value}'. + * + * + * @return the meta object for the containment reference 'Value'. + * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanObject#getValue() + * @see #getBooleanObject() + * @generated + */ + EReference getBooleanObject_Value(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.IntObject Int Object}'. + * + * + * @return the meta object for class 'Int Object'. + * @see org.eclipse.viatra.solver.language.solverLanguage.IntObject + * @generated + */ + EClass getIntObject(); + + /** + * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.IntObject#getValue Value}'. + * + * + * @return the meta object for the attribute 'Value'. + * @see org.eclipse.viatra.solver.language.solverLanguage.IntObject#getValue() + * @see #getIntObject() + * @generated + */ + EAttribute getIntObject_Value(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.RealObject Real Object}'. + * + * + * @return the meta object for class 'Real Object'. + * @see org.eclipse.viatra.solver.language.solverLanguage.RealObject + * @generated + */ + EClass getRealObject(); + + /** + * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.RealObject#getValue Value}'. + * + * + * @return the meta object for the attribute 'Value'. + * @see org.eclipse.viatra.solver.language.solverLanguage.RealObject#getValue() + * @see #getRealObject() + * @generated + */ + EAttribute getRealObject_Value(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringObject String Object}'. + * + * + * @return the meta object for class 'String Object'. + * @see org.eclipse.viatra.solver.language.solverLanguage.StringObject + * @generated + */ + EClass getStringObject(); + + /** + * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.StringObject#getValue Value}'. + * + * + * @return the meta object for the attribute 'Value'. + * @see org.eclipse.viatra.solver.language.solverLanguage.StringObject#getValue() + * @see #getStringObject() + * @generated + */ + EAttribute getStringObject_Value(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate Predicate}'. + * + * + * @return the meta object for class 'Predicate'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate + * @generated + */ + EClass getPredicate(); + + /** + * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getParameters Parameters}'. + * + * + * @return the meta object for the containment reference list 'Parameters'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate#getParameters() + * @see #getPredicate() + * @generated + */ + EReference getPredicate_Parameters(); + + /** + * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getBodies Bodies}'. + * + * + * @return the meta object for the containment reference list 'Bodies'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate#getBodies() + * @see #getPredicate() + * @generated + */ + EReference getPredicate_Bodies(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol Predicate Symbol}'. + * + * + * @return the meta object for class 'Predicate Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol + * @generated + */ + EClass getPredicateSymbol(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol#getSymbol Symbol}'. + * + * + * @return the meta object for the containment reference 'Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol#getSymbol() + * @see #getPredicateSymbol() + * @generated + */ + EReference getPredicateSymbol_Symbol(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate Error Predicate}'. + * + * + * @return the meta object for class 'Error Predicate'. + * @see org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate + * @generated + */ + EClass getErrorPredicate(); + + /** + * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate#getName() + * @see #getErrorPredicate() + * @generated + */ + EAttribute getErrorPredicate_Name(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Parameter Parameter}'. + * + * + * @return the meta object for class 'Parameter'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Parameter + * @generated + */ + EClass getParameter(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Parameter#getVariable Variable}'. + * + * + * @return the meta object for the containment reference 'Variable'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Parameter#getVariable() + * @see #getParameter() + * @generated + */ + EReference getParameter_Variable(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Parameter#getType Type}'. + * + * + * @return the meta object for the containment reference 'Type'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Parameter#getType() + * @see #getParameter() + * @generated + */ + EReference getParameter_Type(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.PatternBody Pattern Body}'. + * + * + * @return the meta object for class 'Pattern Body'. + * @see org.eclipse.viatra.solver.language.solverLanguage.PatternBody + * @generated + */ + EClass getPatternBody(); + + /** + * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.PatternBody#getConstraints Constraints}'. + * + * + * @return the meta object for the containment reference list 'Constraints'. + * @see org.eclipse.viatra.solver.language.solverLanguage.PatternBody#getConstraints() + * @see #getPatternBody() + * @generated + */ + EReference getPatternBody_Constraints(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Polarity Polarity}'. + * + * + * @return the meta object for class 'Polarity'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Polarity + * @generated + */ + EClass getPolarity(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint Constraint}'. + * + * + * @return the meta object for class 'Constraint'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Constraint + * @generated + */ + EClass getConstraint(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint#getPolarity Polarity}'. + * + * + * @return the meta object for the containment reference 'Polarity'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Constraint#getPolarity() + * @see #getConstraint() + * @generated + */ + EReference getConstraint_Polarity(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint#getSymbol Symbol}'. + * + * + * @return the meta object for the containment reference 'Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Constraint#getSymbol() + * @see #getConstraint() + * @generated + */ + EReference getConstraint_Symbol(); + + /** + * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint#getParams Params}'. + * + * + * @return the meta object for the containment reference list 'Params'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Constraint#getParams() + * @see #getConstraint() + * @generated + */ + EReference getConstraint_Params(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint#getClosureType Closure Type}'. + * + * + * @return the meta object for the containment reference 'Closure Type'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Constraint#getClosureType() + * @see #getConstraint() + * @generated + */ + EReference getConstraint_ClosureType(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClosureType Closure Type}'. + * + * + * @return the meta object for class 'Closure Type'. + * @see org.eclipse.viatra.solver.language.solverLanguage.ClosureType + * @generated + */ + EClass getClosureType(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Literal Literal}'. + * + * + * @return the meta object for class 'Literal'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Literal + * @generated + */ + EClass getLiteral(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Variable Variable}'. + * + * + * @return the meta object for class 'Variable'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Variable + * @generated + */ + EClass getVariable(); + + /** + * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Variable#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Variable#getName() + * @see #getVariable() + * @generated + */ + EAttribute getVariable_Name(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.AllInstances All Instances}'. + * + * + * @return the meta object for class 'All Instances'. + * @see org.eclipse.viatra.solver.language.solverLanguage.AllInstances + * @generated + */ + EClass getAllInstances(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.AllInstances#getSymbol Symbol}'. + * + * + * @return the meta object for the containment reference 'Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.AllInstances#getSymbol() + * @see #getAllInstances() + * @generated + */ + EReference getAllInstances_Symbol(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.AllObjects All Objects}'. + * + * + * @return the meta object for class 'All Objects'. + * @see org.eclipse.viatra.solver.language.solverLanguage.AllObjects + * @generated + */ + EClass getAllObjects(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation Default Interpretation}'. + * + * + * @return the meta object for class 'Default Interpretation'. + * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation + * @generated + */ + EClass getDefaultInterpretation(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation#getInterpretation Interpretation}'. + * + * + * @return the meta object for the containment reference 'Interpretation'. + * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation#getInterpretation() + * @see #getDefaultInterpretation() + * @generated + */ + EReference getDefaultInterpretation_Interpretation(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation CD Interpretation}'. + * + * + * @return the meta object for class 'CD Interpretation'. + * @see org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation + * @generated + */ + EClass getCDInterpretation(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation Class Interpretation}'. + * + * + * @return the meta object for class 'Class Interpretation'. + * @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation + * @generated + */ + EClass getClassInterpretation(); + + /** + * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#isAbstract Abstract}'. + * + * + * @return the meta object for the attribute 'Abstract'. + * @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#isAbstract() + * @see #getClassInterpretation() + * @generated + */ + EAttribute getClassInterpretation_Abstract(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getSymbol Symbol}'. + * + * + * @return the meta object for the containment reference 'Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getSymbol() + * @see #getClassInterpretation() + * @generated + */ + EReference getClassInterpretation_Symbol(); + + /** + * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getSupertypes Supertypes}'. + * + * + * @return the meta object for the containment reference list 'Supertypes'. + * @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getSupertypes() + * @see #getClassInterpretation() + * @generated + */ + EReference getClassInterpretation_Supertypes(); + + /** + * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getFielt Fielt}'. + * + * + * @return the meta object for the containment reference list 'Fielt'. + * @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getFielt() + * @see #getClassInterpretation() + * @generated + */ + EReference getClassInterpretation_Fielt(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation Enum Interpretation}'. + * + * + * @return the meta object for class 'Enum Interpretation'. + * @see org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation + * @generated + */ + EClass getEnumInterpretation(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation#getSymbol Symbol}'. + * + * + * @return the meta object for the containment reference 'Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation#getSymbol() + * @see #getEnumInterpretation() + * @generated + */ + EReference getEnumInterpretation_Symbol(); + + /** + * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation#getObjects Objects}'. + * + * + * @return the meta object for the containment reference list 'Objects'. + * @see org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation#getObjects() + * @see #getEnumInterpretation() + * @generated + */ + EReference getEnumInterpretation_Objects(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation Field Relation Interpretation}'. + * + * + * @return the meta object for class 'Field Relation Interpretation'. + * @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation + * @generated + */ + EClass getFieldRelationInterpretation(); + + /** + * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#isContainment Containment}'. + * + * + * @return the meta object for the attribute 'Containment'. + * @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#isContainment() + * @see #getFieldRelationInterpretation() + * @generated + */ + EAttribute getFieldRelationInterpretation_Containment(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getSymbol Symbol}'. + * + * + * @return the meta object for the containment reference 'Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getSymbol() + * @see #getFieldRelationInterpretation() + * @generated + */ + EReference getFieldRelationInterpretation_Symbol(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getMultiplicity Multiplicity}'. + * + * + * @return the meta object for the containment reference 'Multiplicity'. + * @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getMultiplicity() + * @see #getFieldRelationInterpretation() + * @generated + */ + EReference getFieldRelationInterpretation_Multiplicity(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getTarget Target}'. + * + * + * @return the meta object for the containment reference 'Target'. + * @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getTarget() + * @see #getFieldRelationInterpretation() + * @generated + */ + EReference getFieldRelationInterpretation_Target(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation Global Relation Interpretation}'. + * + * + * @return the meta object for class 'Global Relation Interpretation'. + * @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation + * @generated + */ + EClass getGlobalRelationInterpretation(); + + /** + * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#isContainment Containment}'. + * + * + * @return the meta object for the attribute 'Containment'. + * @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#isContainment() + * @see #getGlobalRelationInterpretation() + * @generated + */ + EAttribute getGlobalRelationInterpretation_Containment(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSymbol Symbol}'. + * + * + * @return the meta object for the containment reference 'Symbol'. + * @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSymbol() + * @see #getGlobalRelationInterpretation() + * @generated + */ + EReference getGlobalRelationInterpretation_Symbol(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSourceMultiplicity Source Multiplicity}'. + * + * + * @return the meta object for the containment reference 'Source Multiplicity'. + * @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSourceMultiplicity() + * @see #getGlobalRelationInterpretation() + * @generated + */ + EReference getGlobalRelationInterpretation_SourceMultiplicity(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSource Source}'. + * + * + * @return the meta object for the containment reference 'Source'. + * @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSource() + * @see #getGlobalRelationInterpretation() + * @generated + */ + EReference getGlobalRelationInterpretation_Source(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getTargetMultiplicity Target Multiplicity}'. + * + * + * @return the meta object for the containment reference 'Target Multiplicity'. + * @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getTargetMultiplicity() + * @see #getGlobalRelationInterpretation() + * @generated + */ + EReference getGlobalRelationInterpretation_TargetMultiplicity(); + + /** + * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getTarget Target}'. + * + * + * @return the meta object for the containment reference 'Target'. + * @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getTarget() + * @see #getGlobalRelationInterpretation() + * @generated + */ + EReference getGlobalRelationInterpretation_Target(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition Multiplicity Definition}'. + * + * + * @return the meta object for class 'Multiplicity Definition'. + * @see org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition + * @generated + */ + EClass getMultiplicityDefinition(); + + /** + * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#getLower Lower}'. + * + * + * @return the meta object for the attribute 'Lower'. + * @see org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#getLower() + * @see #getMultiplicityDefinition() + * @generated + */ + EAttribute getMultiplicityDefinition_Lower(); + + /** + * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#getUpper Upper}'. + * + * + * @return the meta object for the attribute 'Upper'. + * @see org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#getUpper() + * @see #getMultiplicityDefinition() + * @generated + */ + EAttribute getMultiplicityDefinition_Upper(); + + /** + * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#isUnlimitedUpper Unlimited Upper}'. + * + * + * @return the meta object for the attribute 'Unlimited Upper'. + * @see org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#isUnlimitedUpper() + * @see #getMultiplicityDefinition() + * @generated + */ + EAttribute getMultiplicityDefinition_UnlimitedUpper(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue Boolean True}'. + * + * + * @return the meta object for class 'Boolean True'. + * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue + * @generated + */ + EClass getBooleanTrue(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse Boolean False}'. + * + * + * @return the meta object for class 'Boolean False'. + * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse + * @generated + */ + EClass getBooleanFalse(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.True True}'. + * + * + * @return the meta object for class 'True'. + * @see org.eclipse.viatra.solver.language.solverLanguage.True + * @generated + */ + EClass getTrue(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.False False}'. + * + * + * @return the meta object for class 'False'. + * @see org.eclipse.viatra.solver.language.solverLanguage.False + * @generated + */ + EClass getFalse(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Unknown Unknown}'. + * + * + * @return the meta object for class 'Unknown'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Unknown + * @generated + */ + EClass getUnknown(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Error Error}'. + * + * + * @return the meta object for class 'Error'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Error + * @generated + */ + EClass getError(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Positive Positive}'. + * + * + * @return the meta object for class 'Positive'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Positive + * @generated + */ + EClass getPositive(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Negative Negative}'. + * + * + * @return the meta object for class 'Negative'. + * @see org.eclipse.viatra.solver.language.solverLanguage.Negative + * @generated + */ + EClass getNegative(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure Reflexive Closure}'. + * + * + * @return the meta object for class 'Reflexive Closure'. + * @see org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure + * @generated + */ + EClass getReflexiveClosure(); + + /** + * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure Irreflexive Closure}'. + * + * + * @return the meta object for class 'Irreflexive Closure'. + * @see org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure + * @generated + */ + EClass getIrreflexiveClosure(); + + /** + * Returns the factory that creates the instances of the model. + * + * + * @return the factory that creates the instances of the model. + * @generated + */ + SolverLanguageFactory getSolverLanguageFactory(); + + /** + * + * Defines literals for the meta objects that represent + * + * + * @generated + */ + interface Literals + { + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl Problem}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getProblem() + * @generated + */ + EClass PROBLEM = eINSTANCE.getProblem(); + + /** + * 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.solverLanguage.impl.StatementImpl Statement}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStatement() + * @generated + */ + EClass STATEMENT = eINSTANCE.getStatement(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanValueImpl Boolean Value}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanValueImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanValue() + * @generated + */ + EClass BOOLEAN_VALUE = eINSTANCE.getBooleanValue(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TruthValueImpl Truth Value}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TruthValueImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTruthValue() + * @generated + */ + EClass TRUTH_VALUE = eINSTANCE.getTruthValue(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl Interpretation}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInterpretation() + * @generated + */ + EClass INTERPRETATION = eINSTANCE.getInterpretation(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BasicInterpretationImpl Basic Interpretation}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BasicInterpretationImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBasicInterpretation() + * @generated + */ + EClass BASIC_INTERPRETATION = eINSTANCE.getBasicInterpretation(); + + /** + * The meta object literal for the 'Symbol' containment reference feature. + * + * + * @generated + */ + EReference BASIC_INTERPRETATION__SYMBOL = eINSTANCE.getBasicInterpretation_Symbol(); + + /** + * The meta object literal for the 'Objects' containment reference list feature. + * + * + * @generated + */ + EReference BASIC_INTERPRETATION__OBJECTS = eINSTANCE.getBasicInterpretation_Objects(); + + /** + * The meta object literal for the 'Value' containment reference feature. + * + * + * @generated + */ + EReference BASIC_INTERPRETATION__VALUE = eINSTANCE.getBasicInterpretation_Value(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.SymbolImpl Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getSymbol() + * @generated + */ + EClass SYMBOL = eINSTANCE.getSymbol(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ModelSymbolImpl Model Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ModelSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getModelSymbol() + * @generated + */ + EClass MODEL_SYMBOL = eINSTANCE.getModelSymbol(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute MODEL_SYMBOL__NAME = eINSTANCE.getModelSymbol_Name(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PartialitySymbolImpl Partiality Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PartialitySymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPartialitySymbol() + * @generated + */ + EClass PARTIALITY_SYMBOL = eINSTANCE.getPartialitySymbol(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExistSymbolImpl Exist Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExistSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExistSymbol() + * @generated + */ + EClass EXIST_SYMBOL = eINSTANCE.getExistSymbol(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EqualsSymbolImpl Equals Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.EqualsSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEqualsSymbol() + * @generated + */ + EClass EQUALS_SYMBOL = eINSTANCE.getEqualsSymbol(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DataSymbolImpl Data Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DataSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDataSymbol() + * @generated + */ + EClass DATA_SYMBOL = eINSTANCE.getDataSymbol(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanSymbolImpl Boolean Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanSymbol() + * @generated + */ + EClass BOOLEAN_SYMBOL = eINSTANCE.getBooleanSymbol(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntegerSymbolImpl Integer Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntegerSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIntegerSymbol() + * @generated + */ + EClass INTEGER_SYMBOL = eINSTANCE.getIntegerSymbol(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.RealSymbolImpl Real Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.RealSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getRealSymbol() + * @generated + */ + EClass REAL_SYMBOL = eINSTANCE.getRealSymbol(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringSymbolImpl String Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringSymbol() + * @generated + */ + EClass STRING_SYMBOL = eINSTANCE.getStringSymbol(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ComplexObjectImpl Complex Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ComplexObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getComplexObject() + * @generated + */ + EClass COMPLEX_OBJECT = eINSTANCE.getComplexObject(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectImpl Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObject() + * @generated + */ + EClass OBJECT = eINSTANCE.getObject(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NamedObjectImpl Named Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NamedObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNamedObject() + * @generated + */ + EClass NAMED_OBJECT = eINSTANCE.getNamedObject(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute NAMED_OBJECT__NAME = eINSTANCE.getNamedObject_Name(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedObjectImpl Unnamed Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnnamedObject() + * @generated + */ + EClass UNNAMED_OBJECT = eINSTANCE.getUnnamedObject(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute UNNAMED_OBJECT__NAME = eINSTANCE.getUnnamedObject_Name(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DataObjectImpl Data Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DataObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDataObject() + * @generated + */ + EClass DATA_OBJECT = eINSTANCE.getDataObject(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanObjectImpl Boolean Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanObject() + * @generated + */ + EClass BOOLEAN_OBJECT = eINSTANCE.getBooleanObject(); + + /** + * The meta object literal for the 'Value' containment reference feature. + * + * + * @generated + */ + EReference BOOLEAN_OBJECT__VALUE = eINSTANCE.getBooleanObject_Value(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntObjectImpl Int Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIntObject() + * @generated + */ + EClass INT_OBJECT = eINSTANCE.getIntObject(); + + /** + * The meta object literal for the 'Value' attribute feature. + * + * + * @generated + */ + EAttribute INT_OBJECT__VALUE = eINSTANCE.getIntObject_Value(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.RealObjectImpl Real Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.RealObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getRealObject() + * @generated + */ + EClass REAL_OBJECT = eINSTANCE.getRealObject(); + + /** + * The meta object literal for the 'Value' attribute feature. + * + * + * @generated + */ + EAttribute REAL_OBJECT__VALUE = eINSTANCE.getRealObject_Value(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringObjectImpl String Object}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringObjectImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringObject() + * @generated + */ + EClass STRING_OBJECT = eINSTANCE.getStringObject(); + + /** + * The meta object literal for the 'Value' attribute feature. + * + * + * @generated + */ + EAttribute STRING_OBJECT__VALUE = eINSTANCE.getStringObject_Value(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl Predicate}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicate() + * @generated + */ + EClass PREDICATE = eINSTANCE.getPredicate(); + + /** + * The meta object literal for the 'Parameters' containment reference list feature. + * + * + * @generated + */ + EReference PREDICATE__PARAMETERS = eINSTANCE.getPredicate_Parameters(); + + /** + * The meta object literal for the 'Bodies' containment reference list feature. + * + * + * @generated + */ + EReference PREDICATE__BODIES = eINSTANCE.getPredicate_Bodies(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateSymbolImpl Predicate Symbol}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateSymbolImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicateSymbol() + * @generated + */ + EClass PREDICATE_SYMBOL = eINSTANCE.getPredicateSymbol(); + + /** + * The meta object literal for the 'Symbol' containment reference feature. + * + * + * @generated + */ + EReference PREDICATE_SYMBOL__SYMBOL = eINSTANCE.getPredicateSymbol_Symbol(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorPredicateImpl Error Predicate}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorPredicateImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getErrorPredicate() + * @generated + */ + EClass ERROR_PREDICATE = eINSTANCE.getErrorPredicate(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute ERROR_PREDICATE__NAME = eINSTANCE.getErrorPredicate_Name(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ParameterImpl Parameter}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ParameterImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getParameter() + * @generated + */ + EClass PARAMETER = eINSTANCE.getParameter(); + + /** + * The meta object literal for the 'Variable' containment reference feature. + * + * + * @generated + */ + EReference PARAMETER__VARIABLE = eINSTANCE.getParameter_Variable(); + + /** + * The meta object literal for the 'Type' containment reference feature. + * + * + * @generated + */ + EReference PARAMETER__TYPE = eINSTANCE.getParameter_Type(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PatternBodyImpl Pattern Body}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PatternBodyImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPatternBody() + * @generated + */ + EClass PATTERN_BODY = eINSTANCE.getPatternBody(); + + /** + * The meta object literal for the 'Constraints' containment reference list feature. + * + * + * @generated + */ + EReference PATTERN_BODY__CONSTRAINTS = eINSTANCE.getPatternBody_Constraints(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PolarityImpl Polarity}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PolarityImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPolarity() + * @generated + */ + EClass POLARITY = eINSTANCE.getPolarity(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ConstraintImpl Constraint}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ConstraintImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConstraint() + * @generated + */ + EClass CONSTRAINT = eINSTANCE.getConstraint(); + + /** + * The meta object literal for the 'Polarity' containment reference feature. + * + * + * @generated + */ + EReference CONSTRAINT__POLARITY = eINSTANCE.getConstraint_Polarity(); + + /** + * The meta object literal for the 'Symbol' containment reference feature. + * + * + * @generated + */ + EReference CONSTRAINT__SYMBOL = eINSTANCE.getConstraint_Symbol(); + + /** + * The meta object literal for the 'Params' containment reference list feature. + * + * + * @generated + */ + EReference CONSTRAINT__PARAMS = eINSTANCE.getConstraint_Params(); + + /** + * The meta object literal for the 'Closure Type' containment reference feature. + * + * + * @generated + */ + EReference CONSTRAINT__CLOSURE_TYPE = eINSTANCE.getConstraint_ClosureType(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClosureTypeImpl Closure Type}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClosureTypeImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClosureType() + * @generated + */ + EClass CLOSURE_TYPE = eINSTANCE.getClosureType(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl Literal}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLiteral() + * @generated + */ + EClass LITERAL = eINSTANCE.getLiteral(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl Variable}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getVariable() + * @generated + */ + EClass VARIABLE = eINSTANCE.getVariable(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute VARIABLE__NAME = eINSTANCE.getVariable_Name(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AllInstancesImpl All Instances}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AllInstancesImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAllInstances() + * @generated + */ + EClass ALL_INSTANCES = eINSTANCE.getAllInstances(); + + /** + * The meta object literal for the 'Symbol' containment reference feature. + * + * + * @generated + */ + EReference ALL_INSTANCES__SYMBOL = eINSTANCE.getAllInstances_Symbol(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AllObjectsImpl All Objects}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AllObjectsImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAllObjects() + * @generated + */ + EClass ALL_OBJECTS = eINSTANCE.getAllObjects(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultInterpretationImpl Default Interpretation}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultInterpretationImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDefaultInterpretation() + * @generated + */ + EClass DEFAULT_INTERPRETATION = eINSTANCE.getDefaultInterpretation(); + + /** + * The meta object literal for the 'Interpretation' containment reference feature. + * + * + * @generated + */ + EReference DEFAULT_INTERPRETATION__INTERPRETATION = eINSTANCE.getDefaultInterpretation_Interpretation(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CDInterpretationImpl CD Interpretation}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CDInterpretationImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCDInterpretation() + * @generated + */ + EClass CD_INTERPRETATION = eINSTANCE.getCDInterpretation(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassInterpretationImpl Class Interpretation}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClassInterpretationImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassInterpretation() + * @generated + */ + EClass CLASS_INTERPRETATION = eINSTANCE.getClassInterpretation(); + + /** + * The meta object literal for the 'Abstract' attribute feature. + * + * + * @generated + */ + EAttribute CLASS_INTERPRETATION__ABSTRACT = eINSTANCE.getClassInterpretation_Abstract(); + + /** + * The meta object literal for the 'Symbol' containment reference feature. + * + * + * @generated + */ + EReference CLASS_INTERPRETATION__SYMBOL = eINSTANCE.getClassInterpretation_Symbol(); + + /** + * The meta object literal for the 'Supertypes' containment reference list feature. + * + * + * @generated + */ + EReference CLASS_INTERPRETATION__SUPERTYPES = eINSTANCE.getClassInterpretation_Supertypes(); + + /** + * The meta object literal for the 'Fielt' containment reference list feature. + * + * + * @generated + */ + EReference CLASS_INTERPRETATION__FIELT = eINSTANCE.getClassInterpretation_Fielt(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EnumInterpretationImpl Enum Interpretation}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.EnumInterpretationImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEnumInterpretation() + * @generated + */ + EClass ENUM_INTERPRETATION = eINSTANCE.getEnumInterpretation(); + + /** + * The meta object literal for the 'Symbol' containment reference feature. + * + * + * @generated + */ + EReference ENUM_INTERPRETATION__SYMBOL = eINSTANCE.getEnumInterpretation_Symbol(); + + /** + * The meta object literal for the 'Objects' containment reference list feature. + * + * + * @generated + */ + EReference ENUM_INTERPRETATION__OBJECTS = eINSTANCE.getEnumInterpretation_Objects(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FieldRelationInterpretationImpl Field Relation Interpretation}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.FieldRelationInterpretationImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFieldRelationInterpretation() + * @generated + */ + EClass FIELD_RELATION_INTERPRETATION = eINSTANCE.getFieldRelationInterpretation(); + + /** + * The meta object literal for the 'Containment' attribute feature. + * + * + * @generated + */ + EAttribute FIELD_RELATION_INTERPRETATION__CONTAINMENT = eINSTANCE.getFieldRelationInterpretation_Containment(); + + /** + * The meta object literal for the 'Symbol' containment reference feature. + * + * + * @generated + */ + EReference FIELD_RELATION_INTERPRETATION__SYMBOL = eINSTANCE.getFieldRelationInterpretation_Symbol(); + + /** + * The meta object literal for the 'Multiplicity' containment reference feature. + * + * + * @generated + */ + EReference FIELD_RELATION_INTERPRETATION__MULTIPLICITY = eINSTANCE.getFieldRelationInterpretation_Multiplicity(); + + /** + * The meta object literal for the 'Target' containment reference feature. + * + * + * @generated + */ + EReference FIELD_RELATION_INTERPRETATION__TARGET = eINSTANCE.getFieldRelationInterpretation_Target(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.GlobalRelationInterpretationImpl Global Relation Interpretation}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.GlobalRelationInterpretationImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getGlobalRelationInterpretation() + * @generated + */ + EClass GLOBAL_RELATION_INTERPRETATION = eINSTANCE.getGlobalRelationInterpretation(); + + /** + * The meta object literal for the 'Containment' attribute feature. + * + * + * @generated + */ + EAttribute GLOBAL_RELATION_INTERPRETATION__CONTAINMENT = eINSTANCE.getGlobalRelationInterpretation_Containment(); + + /** + * The meta object literal for the 'Symbol' containment reference feature. + * + * + * @generated + */ + EReference GLOBAL_RELATION_INTERPRETATION__SYMBOL = eINSTANCE.getGlobalRelationInterpretation_Symbol(); + + /** + * The meta object literal for the 'Source Multiplicity' containment reference feature. + * + * + * @generated + */ + EReference GLOBAL_RELATION_INTERPRETATION__SOURCE_MULTIPLICITY = eINSTANCE.getGlobalRelationInterpretation_SourceMultiplicity(); + + /** + * The meta object literal for the 'Source' containment reference feature. + * + * + * @generated + */ + EReference GLOBAL_RELATION_INTERPRETATION__SOURCE = eINSTANCE.getGlobalRelationInterpretation_Source(); + + /** + * The meta object literal for the 'Target Multiplicity' containment reference feature. + * + * + * @generated + */ + EReference GLOBAL_RELATION_INTERPRETATION__TARGET_MULTIPLICITY = eINSTANCE.getGlobalRelationInterpretation_TargetMultiplicity(); + + /** + * The meta object literal for the 'Target' containment reference feature. + * + * + * @generated + */ + EReference GLOBAL_RELATION_INTERPRETATION__TARGET = eINSTANCE.getGlobalRelationInterpretation_Target(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityDefinitionImpl Multiplicity Definition}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityDefinitionImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiplicityDefinition() + * @generated + */ + EClass MULTIPLICITY_DEFINITION = eINSTANCE.getMultiplicityDefinition(); + + /** + * The meta object literal for the 'Lower' attribute feature. + * + * + * @generated + */ + EAttribute MULTIPLICITY_DEFINITION__LOWER = eINSTANCE.getMultiplicityDefinition_Lower(); + + /** + * The meta object literal for the 'Upper' attribute feature. + * + * + * @generated + */ + EAttribute MULTIPLICITY_DEFINITION__UPPER = eINSTANCE.getMultiplicityDefinition_Upper(); + + /** + * The meta object literal for the 'Unlimited Upper' attribute feature. + * + * + * @generated + */ + EAttribute MULTIPLICITY_DEFINITION__UNLIMITED_UPPER = eINSTANCE.getMultiplicityDefinition_UnlimitedUpper(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanTrueImpl Boolean True}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanTrueImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanTrue() + * @generated + */ + EClass BOOLEAN_TRUE = eINSTANCE.getBooleanTrue(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanFalseImpl Boolean False}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanFalseImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanFalse() + * @generated + */ + EClass BOOLEAN_FALSE = eINSTANCE.getBooleanFalse(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TrueImpl True}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TrueImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTrue() + * @generated + */ + EClass TRUE = eINSTANCE.getTrue(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FalseImpl False}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.FalseImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFalse() + * @generated + */ + EClass FALSE = eINSTANCE.getFalse(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnknownImpl Unknown}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnknownImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnknown() + * @generated + */ + EClass UNKNOWN = eINSTANCE.getUnknown(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorImpl Error}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getError() + * @generated + */ + EClass ERROR = eINSTANCE.getError(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PositiveImpl Positive}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PositiveImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPositive() + * @generated + */ + EClass POSITIVE = eINSTANCE.getPositive(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NegativeImpl Negative}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NegativeImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNegative() + * @generated + */ + EClass NEGATIVE = eINSTANCE.getNegative(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ReflexiveClosureImpl Reflexive Closure}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ReflexiveClosureImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getReflexiveClosure() + * @generated + */ + EClass REFLEXIVE_CLOSURE = eINSTANCE.getReflexiveClosure(); + + /** + * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IrreflexiveClosureImpl Irreflexive Closure}' class. + * + * + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IrreflexiveClosureImpl + * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIrreflexiveClosure() + * @generated + */ + EClass IRREFLEXIVE_CLOSURE = eINSTANCE.getIrreflexiveClosure(); + + } + +} //SolverLanguagePackage -- cgit v1.2.3-70-g09d2