/** * 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 'Is Error' attribute. * * * @generated * @ordered */ int PREDICATE__IS_ERROR = STATEMENT_FEATURE_COUNT + 0; /** * The feature id for the 'Symbol' containment reference. * * * @generated * @ordered */ int PREDICATE__SYMBOL = STATEMENT_FEATURE_COUNT + 1; /** * The feature id for the 'Parameters' containment reference list. * * * @generated * @ordered */ int PREDICATE__PARAMETERS = STATEMENT_FEATURE_COUNT + 2; /** * The feature id for the 'Bodies' containment reference list. * * * @generated * @ordered */ int PREDICATE__BODIES = STATEMENT_FEATURE_COUNT + 3; /** * The number of structural features of the 'Predicate' class. * * * @generated * @ordered */ int PREDICATE_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 4; /** * 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 = 26; /** * 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 = 27; /** * 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 = 28; /** * 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 = 29; /** * 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 = 30; /** * 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 = 31; /** * 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 = 32; /** * 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 = 33; /** * 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 = 34; /** * 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 = 35; /** * 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 = 36; /** * 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 = 37; /** * 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 = 38; /** * 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 = 39; /** * 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 = 40; /** * 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 = 41; /** * 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 = 42; /** * 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 = 43; /** * 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 = 44; /** * 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 = 45; /** * 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 = 46; /** * 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 = 47; /** * 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 = 48; /** * 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 = 49; /** * 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 = 50; /** * 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 = 51; /** * 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 attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#isIsError Is Error}'. * * * @return the meta object for the attribute 'Is Error'. * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate#isIsError() * @see #getPredicate() * @generated */ EAttribute getPredicate_IsError(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getSymbol Symbol}'. * * * @return the meta object for the containment reference 'Symbol'. * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate#getSymbol() * @see #getPredicate() * @generated */ EReference getPredicate_Symbol(); /** * 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.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 'Is Error' attribute feature. * * * @generated */ EAttribute PREDICATE__IS_ERROR = eINSTANCE.getPredicate_IsError(); /** * The meta object literal for the 'Symbol' containment reference feature. * * * @generated */ EReference PREDICATE__SYMBOL = eINSTANCE.getPredicate_Symbol(); /** * 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.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