/** * generated by Xtext 2.21.0 */ package org.eclipse.viatra.solver.language.solverLanguage; import org.eclipse.emf.ecore.EAttribute; import org.eclipse.emf.ecore.EClass; import org.eclipse.emf.ecore.EEnum; import org.eclipse.emf.ecore.EPackage; import org.eclipse.emf.ecore.EReference; /** * * The Package for the model. * It contains accessors for the meta objects to represent * * * @see org.eclipse.viatra.solver.language.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 feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int STATEMENT__ABSTRACT = 0; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int STATEMENT__NAME = 1; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int STATEMENT__SUPERCLASSES = 2; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int STATEMENT__MEMBERS = 3; /** * The number of structural features of the 'Statement' class. * * * @generated * @ordered */ int STATEMENT_FEATURE_COUNT = 4; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateDefinitionImpl Predicate Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicateDefinition() * @generated */ int PREDICATE_DEFINITION = 2; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int PREDICATE_DEFINITION__ABSTRACT = STATEMENT__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int PREDICATE_DEFINITION__NAME = STATEMENT__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int PREDICATE_DEFINITION__SUPERCLASSES = STATEMENT__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int PREDICATE_DEFINITION__MEMBERS = STATEMENT__MEMBERS; /** * The feature id for the 'Head' containment reference. * * * @generated * @ordered */ int PREDICATE_DEFINITION__HEAD = STATEMENT_FEATURE_COUNT + 0; /** * The feature id for the 'Body' containment reference. * * * @generated * @ordered */ int PREDICATE_DEFINITION__BODY = STATEMENT_FEATURE_COUNT + 1; /** * The feature id for the 'Functional' attribute. * * * @generated * @ordered */ int PREDICATE_DEFINITION__FUNCTIONAL = STATEMENT_FEATURE_COUNT + 2; /** * The feature id for the 'Error' attribute. * * * @generated * @ordered */ int PREDICATE_DEFINITION__ERROR = STATEMENT_FEATURE_COUNT + 3; /** * The number of structural features of the 'Predicate Definition' class. * * * @generated * @ordered */ int PREDICATE_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 4; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedErrorPrediateDefinitionImpl Unnamed Error Prediate Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedErrorPrediateDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnnamedErrorPrediateDefinition() * @generated */ int UNNAMED_ERROR_PREDIATE_DEFINITION = 3; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int UNNAMED_ERROR_PREDIATE_DEFINITION__ABSTRACT = STATEMENT__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int UNNAMED_ERROR_PREDIATE_DEFINITION__NAME = STATEMENT__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int UNNAMED_ERROR_PREDIATE_DEFINITION__SUPERCLASSES = STATEMENT__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int UNNAMED_ERROR_PREDIATE_DEFINITION__MEMBERS = STATEMENT__MEMBERS; /** * The feature id for the 'Argument List' containment reference. * * * @generated * @ordered */ int UNNAMED_ERROR_PREDIATE_DEFINITION__ARGUMENT_LIST = STATEMENT_FEATURE_COUNT + 0; /** * The feature id for the 'Body' containment reference. * * * @generated * @ordered */ int UNNAMED_ERROR_PREDIATE_DEFINITION__BODY = STATEMENT_FEATURE_COUNT + 1; /** * The number of structural features of the 'Unnamed Error Prediate Definition' class. * * * @generated * @ordered */ int UNNAMED_ERROR_PREDIATE_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultDefinitionImpl Default Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDefaultDefinition() * @generated */ int DEFAULT_DEFINITION = 4; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int DEFAULT_DEFINITION__ABSTRACT = STATEMENT__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int DEFAULT_DEFINITION__NAME = STATEMENT__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int DEFAULT_DEFINITION__SUPERCLASSES = STATEMENT__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int DEFAULT_DEFINITION__MEMBERS = STATEMENT__MEMBERS; /** * The feature id for the 'Head' containment reference. * * * @generated * @ordered */ int DEFAULT_DEFINITION__HEAD = STATEMENT_FEATURE_COUNT + 0; /** * The feature id for the 'Range' containment reference. * * * @generated * @ordered */ int DEFAULT_DEFINITION__RANGE = STATEMENT_FEATURE_COUNT + 1; /** * The number of structural features of the 'Default Definition' class. * * * @generated * @ordered */ int DEFAULT_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternPredicateDefinitionImpl Extern Predicate Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternPredicateDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternPredicateDefinition() * @generated */ int EXTERN_PREDICATE_DEFINITION = 5; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int EXTERN_PREDICATE_DEFINITION__ABSTRACT = STATEMENT__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int EXTERN_PREDICATE_DEFINITION__NAME = STATEMENT__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int EXTERN_PREDICATE_DEFINITION__SUPERCLASSES = STATEMENT__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int EXTERN_PREDICATE_DEFINITION__MEMBERS = STATEMENT__MEMBERS; /** * The feature id for the 'Head' containment reference. * * * @generated * @ordered */ int EXTERN_PREDICATE_DEFINITION__HEAD = STATEMENT_FEATURE_COUNT + 0; /** * The number of structural features of the 'Extern Predicate Definition' class. * * * @generated * @ordered */ int EXTERN_PREDICATE_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 1; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MetricDefinitionImpl Metric Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MetricDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMetricDefinition() * @generated */ int METRIC_DEFINITION = 6; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int METRIC_DEFINITION__ABSTRACT = STATEMENT__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int METRIC_DEFINITION__NAME = STATEMENT__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int METRIC_DEFINITION__SUPERCLASSES = STATEMENT__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int METRIC_DEFINITION__MEMBERS = STATEMENT__MEMBERS; /** * The feature id for the 'Head' containment reference. * * * @generated * @ordered */ int METRIC_DEFINITION__HEAD = STATEMENT_FEATURE_COUNT + 0; /** * The feature id for the 'Body' containment reference. * * * @generated * @ordered */ int METRIC_DEFINITION__BODY = STATEMENT_FEATURE_COUNT + 1; /** * The feature id for the 'Type' attribute. * * * @generated * @ordered */ int METRIC_DEFINITION__TYPE = STATEMENT_FEATURE_COUNT + 2; /** * The number of structural features of the 'Metric Definition' class. * * * @generated * @ordered */ int METRIC_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 3; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternMetricDefinitionImpl Extern Metric Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternMetricDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternMetricDefinition() * @generated */ int EXTERN_METRIC_DEFINITION = 7; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int EXTERN_METRIC_DEFINITION__ABSTRACT = STATEMENT__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int EXTERN_METRIC_DEFINITION__NAME = STATEMENT__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int EXTERN_METRIC_DEFINITION__SUPERCLASSES = STATEMENT__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int EXTERN_METRIC_DEFINITION__MEMBERS = STATEMENT__MEMBERS; /** * The feature id for the 'Type' attribute. * * * @generated * @ordered */ int EXTERN_METRIC_DEFINITION__TYPE = STATEMENT_FEATURE_COUNT + 0; /** * The feature id for the 'Head' containment reference. * * * @generated * @ordered */ int EXTERN_METRIC_DEFINITION__HEAD = STATEMENT_FEATURE_COUNT + 1; /** * The number of structural features of the 'Extern Metric Definition' class. * * * @generated * @ordered */ int EXTERN_METRIC_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionImpl Expression}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExpression() * @generated */ int EXPRESSION = 8; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int EXPRESSION__ABSTRACT = STATEMENT__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int EXPRESSION__NAME = STATEMENT__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int EXPRESSION__SUPERCLASSES = STATEMENT__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int EXPRESSION__MEMBERS = STATEMENT__MEMBERS; /** * The number of structural features of the 'Expression' class. * * * @generated * @ordered */ int EXPRESSION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IfElseImpl If Else}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IfElseImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIfElse() * @generated */ int IF_ELSE = 9; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int IF_ELSE__ABSTRACT = EXPRESSION__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int IF_ELSE__NAME = EXPRESSION__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int IF_ELSE__SUPERCLASSES = EXPRESSION__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int IF_ELSE__MEMBERS = EXPRESSION__MEMBERS; /** * The feature id for the 'Condition' containment reference. * * * @generated * @ordered */ int IF_ELSE__CONDITION = EXPRESSION_FEATURE_COUNT + 0; /** * The feature id for the 'Then' containment reference. * * * @generated * @ordered */ int IF_ELSE__THEN = EXPRESSION_FEATURE_COUNT + 1; /** * The feature id for the 'Else' containment reference. * * * @generated * @ordered */ int IF_ELSE__ELSE = EXPRESSION_FEATURE_COUNT + 2; /** * The number of structural features of the 'If Else' class. * * * @generated * @ordered */ int IF_ELSE_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 3; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CaseImpl Case}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CaseImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCase() * @generated */ int CASE = 10; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int CASE__ABSTRACT = EXPRESSION__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int CASE__NAME = EXPRESSION__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int CASE__SUPERCLASSES = EXPRESSION__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int CASE__MEMBERS = EXPRESSION__MEMBERS; /** * The feature id for the 'Condition' containment reference. * * * @generated * @ordered */ int CASE__CONDITION = EXPRESSION_FEATURE_COUNT + 0; /** * The feature id for the 'Body' containment reference. * * * @generated * @ordered */ int CASE__BODY = EXPRESSION_FEATURE_COUNT + 1; /** * The number of structural features of the 'Case' class. * * * @generated * @ordered */ int CASE_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 2; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CountImpl Count}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CountImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCount() * @generated */ int COUNT = 11; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int COUNT__ABSTRACT = EXPRESSION__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int COUNT__NAME = EXPRESSION__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int COUNT__SUPERCLASSES = EXPRESSION__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int COUNT__MEMBERS = EXPRESSION__MEMBERS; /** * The feature id for the 'Body' containment reference. * * * @generated * @ordered */ int COUNT__BODY = EXPRESSION_FEATURE_COUNT + 0; /** * The number of structural features of the 'Count' class. * * * @generated * @ordered */ int COUNT_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 1; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AggregationImpl Aggregation}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AggregationImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAggregation() * @generated */ int AGGREGATION = 12; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int AGGREGATION__ABSTRACT = EXPRESSION__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int AGGREGATION__NAME = EXPRESSION__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int AGGREGATION__SUPERCLASSES = EXPRESSION__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int AGGREGATION__MEMBERS = EXPRESSION__MEMBERS; /** * The feature id for the 'Op' attribute. * * * @generated * @ordered */ int AGGREGATION__OP = EXPRESSION_FEATURE_COUNT + 0; /** * The feature id for the 'Body' containment reference. * * * @generated * @ordered */ int AGGREGATION__BODY = EXPRESSION_FEATURE_COUNT + 1; /** * The feature id for the 'Condition' containment reference. * * * @generated * @ordered */ int AGGREGATION__CONDITION = EXPRESSION_FEATURE_COUNT + 2; /** * The number of structural features of the 'Aggregation' class. * * * @generated * @ordered */ int AGGREGATION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 3; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl Call}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCall() * @generated */ int CALL = 13; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int CALL__ABSTRACT = EXPRESSION__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int CALL__NAME = EXPRESSION__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int CALL__SUPERCLASSES = EXPRESSION__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int CALL__MEMBERS = EXPRESSION__MEMBERS; /** * The feature id for the 'Functor' containment reference. * * * @generated * @ordered */ int CALL__FUNCTOR = EXPRESSION_FEATURE_COUNT + 0; /** * The feature id for the 'Argument List' containment reference. * * * @generated * @ordered */ int CALL__ARGUMENT_LIST = EXPRESSION_FEATURE_COUNT + 1; /** * The feature id for the 'Transitive Closure' attribute. * * * @generated * @ordered */ int CALL__TRANSITIVE_CLOSURE = EXPRESSION_FEATURE_COUNT + 2; /** * The feature id for the 'Reflexive Transitive Closure' attribute. * * * @generated * @ordered */ int CALL__REFLEXIVE_TRANSITIVE_CLOSURE = EXPRESSION_FEATURE_COUNT + 3; /** * The number of structural features of the 'Call' class. * * * @generated * @ordered */ int CALL_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 4; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentListImpl Argument List}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentListImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getArgumentList() * @generated */ int ARGUMENT_LIST = 14; /** * The feature id for the 'Arguments' containment reference list. * * * @generated * @ordered */ int ARGUMENT_LIST__ARGUMENTS = 0; /** * The number of structural features of the 'Argument List' class. * * * @generated * @ordered */ int ARGUMENT_LIST_FEATURE_COUNT = 1; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentImpl Argument}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getArgument() * @generated */ int ARGUMENT = 15; /** * The number of structural features of the 'Argument' class. * * * @generated * @ordered */ int ARGUMENT_FEATURE_COUNT = 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionArgumentImpl Expression Argument}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionArgumentImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExpressionArgument() * @generated */ int EXPRESSION_ARGUMENT = 16; /** * The feature id for the 'Body' containment reference. * * * @generated * @ordered */ int EXPRESSION_ARGUMENT__BODY = ARGUMENT_FEATURE_COUNT + 0; /** * The number of structural features of the 'Expression Argument' class. * * * @generated * @ordered */ int EXPRESSION_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 1; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StarArgumentImpl Star Argument}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StarArgumentImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStarArgument() * @generated */ int STAR_ARGUMENT = 17; /** * The number of structural features of the 'Star Argument' class. * * * @generated * @ordered */ int STAR_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TypedArgumentImpl Typed Argument}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TypedArgumentImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTypedArgument() * @generated */ int TYPED_ARGUMENT = 18; /** * The feature id for the 'Type' reference. * * * @generated * @ordered */ int TYPED_ARGUMENT__TYPE = ARGUMENT_FEATURE_COUNT + 0; /** * The feature id for the 'Variable' reference. * * * @generated * @ordered */ int TYPED_ARGUMENT__VARIABLE = ARGUMENT_FEATURE_COUNT + 1; /** * The number of structural features of the 'Typed Argument' class. * * * @generated * @ordered */ int TYPED_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 2; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TypedStarArgumentImpl Typed Star Argument}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TypedStarArgumentImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTypedStarArgument() * @generated */ int TYPED_STAR_ARGUMENT = 19; /** * The feature id for the 'Type' reference. * * * @generated * @ordered */ int TYPED_STAR_ARGUMENT__TYPE = ARGUMENT_FEATURE_COUNT + 0; /** * The number of structural features of the 'Typed Star Argument' class. * * * @generated * @ordered */ int TYPED_STAR_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 1; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ReferenceImpl Reference}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ReferenceImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getReference() * @generated */ int REFERENCE = 20; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int REFERENCE__ABSTRACT = EXPRESSION__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int REFERENCE__NAME = EXPRESSION__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int REFERENCE__SUPERCLASSES = EXPRESSION__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int REFERENCE__MEMBERS = EXPRESSION__MEMBERS; /** * The feature id for the 'Referred' reference. * * * @generated * @ordered */ int REFERENCE__REFERRED = EXPRESSION_FEATURE_COUNT + 0; /** * The number of structural features of the 'Reference' class. * * * @generated * @ordered */ int REFERENCE_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 1; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntervalImpl Interval}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntervalImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInterval() * @generated */ int INTERVAL = 21; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int INTERVAL__ABSTRACT = EXPRESSION__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int INTERVAL__NAME = EXPRESSION__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int INTERVAL__SUPERCLASSES = EXPRESSION__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int INTERVAL__MEMBERS = EXPRESSION__MEMBERS; /** * The feature id for the 'Lower Bound' containment reference. * * * @generated * @ordered */ int INTERVAL__LOWER_BOUND = EXPRESSION_FEATURE_COUNT + 0; /** * The feature id for the 'Upper Bound' containment reference. * * * @generated * @ordered */ int INTERVAL__UPPER_BOUND = EXPRESSION_FEATURE_COUNT + 1; /** * The number of structural features of the 'Interval' class. * * * @generated * @ordered */ int INTERVAL_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 2; /** * 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 = 22; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int LITERAL__ABSTRACT = EXPRESSION__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int LITERAL__NAME = EXPRESSION__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int LITERAL__SUPERCLASSES = EXPRESSION__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int LITERAL__MEMBERS = EXPRESSION__MEMBERS; /** * The number of structural features of the 'Literal' class. * * * @generated * @ordered */ int LITERAL_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LogicLiteralImpl Logic Literal}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LogicLiteralImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLogicLiteral() * @generated */ int LOGIC_LITERAL = 23; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int LOGIC_LITERAL__ABSTRACT = LITERAL__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int LOGIC_LITERAL__NAME = LITERAL__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int LOGIC_LITERAL__SUPERCLASSES = LITERAL__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int LOGIC_LITERAL__MEMBERS = LITERAL__MEMBERS; /** * The feature id for the 'Value' attribute. * * * @generated * @ordered */ int LOGIC_LITERAL__VALUE = LITERAL_FEATURE_COUNT + 0; /** * The number of structural features of the 'Logic Literal' class. * * * @generated * @ordered */ int LOGIC_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 1; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NumericLiteralImpl Numeric Literal}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NumericLiteralImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNumericLiteral() * @generated */ int NUMERIC_LITERAL = 24; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int NUMERIC_LITERAL__ABSTRACT = LITERAL__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int NUMERIC_LITERAL__NAME = LITERAL__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int NUMERIC_LITERAL__SUPERCLASSES = LITERAL__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int NUMERIC_LITERAL__MEMBERS = LITERAL__MEMBERS; /** * The feature id for the 'Value' attribute. * * * @generated * @ordered */ int NUMERIC_LITERAL__VALUE = LITERAL_FEATURE_COUNT + 0; /** * The number of structural features of the 'Numeric Literal' class. * * * @generated * @ordered */ int NUMERIC_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 1; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.InfinityLiteralImpl Infinity Literal}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.InfinityLiteralImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInfinityLiteral() * @generated */ int INFINITY_LITERAL = 25; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int INFINITY_LITERAL__ABSTRACT = LITERAL__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int INFINITY_LITERAL__NAME = LITERAL__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int INFINITY_LITERAL__SUPERCLASSES = LITERAL__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int INFINITY_LITERAL__MEMBERS = LITERAL__MEMBERS; /** * The number of structural features of the 'Infinity Literal' class. * * * @generated * @ordered */ int INFINITY_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EmptyIntervalLiteralImpl Empty Interval Literal}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.EmptyIntervalLiteralImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEmptyIntervalLiteral() * @generated */ int EMPTY_INTERVAL_LITERAL = 26; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int EMPTY_INTERVAL_LITERAL__ABSTRACT = LITERAL__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int EMPTY_INTERVAL_LITERAL__NAME = LITERAL__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int EMPTY_INTERVAL_LITERAL__SUPERCLASSES = LITERAL__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int EMPTY_INTERVAL_LITERAL__MEMBERS = LITERAL__MEMBERS; /** * The number of structural features of the 'Empty Interval Literal' class. * * * @generated * @ordered */ int EMPTY_INTERVAL_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringLiteralImpl String Literal}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringLiteralImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringLiteral() * @generated */ int STRING_LITERAL = 27; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int STRING_LITERAL__ABSTRACT = LITERAL__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int STRING_LITERAL__NAME = LITERAL__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int STRING_LITERAL__SUPERCLASSES = LITERAL__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int STRING_LITERAL__MEMBERS = LITERAL__MEMBERS; /** * The feature id for the 'Value' attribute. * * * @generated * @ordered */ int STRING_LITERAL__VALUE = LITERAL_FEATURE_COUNT + 0; /** * The number of structural features of the 'String Literal' class. * * * @generated * @ordered */ int STRING_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 1; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MemberDefinitionImpl Member Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MemberDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMemberDefinition() * @generated */ int MEMBER_DEFINITION = 28; /** * The feature id for the 'Containment' attribute. * * * @generated * @ordered */ int MEMBER_DEFINITION__CONTAINMENT = 0; /** * The feature id for the 'Type' reference. * * * @generated * @ordered */ int MEMBER_DEFINITION__TYPE = 1; /** * The feature id for the 'Multiplicity' containment reference. * * * @generated * @ordered */ int MEMBER_DEFINITION__MULTIPLICITY = 2; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int MEMBER_DEFINITION__NAME = 3; /** * The feature id for the 'Opposite' reference. * * * @generated * @ordered */ int MEMBER_DEFINITION__OPPOSITE = 4; /** * The number of structural features of the 'Member Definition' class. * * * @generated * @ordered */ int MEMBER_DEFINITION_FEATURE_COUNT = 5; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityImpl Multiplicity}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiplicity() * @generated */ int MULTIPLICITY = 29; /** * The number of structural features of the 'Multiplicity' class. * * * @generated * @ordered */ int MULTIPLICITY_FEATURE_COUNT = 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ManyMultiplicityImpl Many Multiplicity}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ManyMultiplicityImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getManyMultiplicity() * @generated */ int MANY_MULTIPLICITY = 30; /** * The number of structural features of the 'Many Multiplicity' class. * * * @generated * @ordered */ int MANY_MULTIPLICITY_FEATURE_COUNT = MULTIPLICITY_FEATURE_COUNT + 0; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExactMultiplicityImpl Exact Multiplicity}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExactMultiplicityImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactMultiplicity() * @generated */ int EXACT_MULTIPLICITY = 31; /** * The feature id for the 'Multiplicity' attribute. * * * @generated * @ordered */ int EXACT_MULTIPLICITY__MULTIPLICITY = MULTIPLICITY_FEATURE_COUNT + 0; /** * The number of structural features of the 'Exact Multiplicity' class. * * * @generated * @ordered */ int EXACT_MULTIPLICITY_FEATURE_COUNT = MULTIPLICITY_FEATURE_COUNT + 1; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedMultiplicityImpl Bounded Multiplicity}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedMultiplicityImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedMultiplicity() * @generated */ int BOUNDED_MULTIPLICITY = 32; /** * The feature id for the 'Lower Bound' attribute. * * * @generated * @ordered */ int BOUNDED_MULTIPLICITY__LOWER_BOUND = MULTIPLICITY_FEATURE_COUNT + 0; /** * The feature id for the 'Upper Bound' attribute. * * * @generated * @ordered */ int BOUNDED_MULTIPLICITY__UPPER_BOUND = MULTIPLICITY_FEATURE_COUNT + 1; /** * The number of structural features of the 'Bounded Multiplicity' class. * * * @generated * @ordered */ int BOUNDED_MULTIPLICITY_FEATURE_COUNT = MULTIPLICITY_FEATURE_COUNT + 2; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ScopeDefinitionImpl Scope Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ScopeDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getScopeDefinition() * @generated */ int SCOPE_DEFINITION = 33; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int SCOPE_DEFINITION__ABSTRACT = STATEMENT__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int SCOPE_DEFINITION__NAME = STATEMENT__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int SCOPE_DEFINITION__SUPERCLASSES = STATEMENT__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int SCOPE_DEFINITION__MEMBERS = STATEMENT__MEMBERS; /** * The feature id for the 'Type' reference. * * * @generated * @ordered */ int SCOPE_DEFINITION__TYPE = STATEMENT_FEATURE_COUNT + 0; /** * The number of structural features of the 'Scope Definition' class. * * * @generated * @ordered */ int SCOPE_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 1; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExactScopeDefinitionImpl Exact Scope Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExactScopeDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactScopeDefinition() * @generated */ int EXACT_SCOPE_DEFINITION = 34; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int EXACT_SCOPE_DEFINITION__ABSTRACT = SCOPE_DEFINITION__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int EXACT_SCOPE_DEFINITION__NAME = SCOPE_DEFINITION__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int EXACT_SCOPE_DEFINITION__SUPERCLASSES = SCOPE_DEFINITION__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int EXACT_SCOPE_DEFINITION__MEMBERS = SCOPE_DEFINITION__MEMBERS; /** * The feature id for the 'Type' reference. * * * @generated * @ordered */ int EXACT_SCOPE_DEFINITION__TYPE = SCOPE_DEFINITION__TYPE; /** * The feature id for the 'Exact Scope' attribute. * * * @generated * @ordered */ int EXACT_SCOPE_DEFINITION__EXACT_SCOPE = SCOPE_DEFINITION_FEATURE_COUNT + 0; /** * The number of structural features of the 'Exact Scope Definition' class. * * * @generated * @ordered */ int EXACT_SCOPE_DEFINITION_FEATURE_COUNT = SCOPE_DEFINITION_FEATURE_COUNT + 1; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedScopeDefinitionImpl Bounded Scope Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedScopeDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedScopeDefinition() * @generated */ int BOUNDED_SCOPE_DEFINITION = 35; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int BOUNDED_SCOPE_DEFINITION__ABSTRACT = SCOPE_DEFINITION__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int BOUNDED_SCOPE_DEFINITION__NAME = SCOPE_DEFINITION__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int BOUNDED_SCOPE_DEFINITION__SUPERCLASSES = SCOPE_DEFINITION__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int BOUNDED_SCOPE_DEFINITION__MEMBERS = SCOPE_DEFINITION__MEMBERS; /** * The feature id for the 'Type' reference. * * * @generated * @ordered */ int BOUNDED_SCOPE_DEFINITION__TYPE = SCOPE_DEFINITION__TYPE; /** * The feature id for the 'Lower Bound' attribute. * * * @generated * @ordered */ int BOUNDED_SCOPE_DEFINITION__LOWER_BOUND = SCOPE_DEFINITION_FEATURE_COUNT + 0; /** * The feature id for the 'Upper Bound' attribute. * * * @generated * @ordered */ int BOUNDED_SCOPE_DEFINITION__UPPER_BOUND = SCOPE_DEFINITION_FEATURE_COUNT + 1; /** * The number of structural features of the 'Bounded Scope Definition' class. * * * @generated * @ordered */ int BOUNDED_SCOPE_DEFINITION_FEATURE_COUNT = SCOPE_DEFINITION_FEATURE_COUNT + 2; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LowerBoundedScopeDefinitionImpl Lower Bounded Scope Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LowerBoundedScopeDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLowerBoundedScopeDefinition() * @generated */ int LOWER_BOUNDED_SCOPE_DEFINITION = 36; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int LOWER_BOUNDED_SCOPE_DEFINITION__ABSTRACT = SCOPE_DEFINITION__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int LOWER_BOUNDED_SCOPE_DEFINITION__NAME = SCOPE_DEFINITION__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int LOWER_BOUNDED_SCOPE_DEFINITION__SUPERCLASSES = SCOPE_DEFINITION__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int LOWER_BOUNDED_SCOPE_DEFINITION__MEMBERS = SCOPE_DEFINITION__MEMBERS; /** * The feature id for the 'Type' reference. * * * @generated * @ordered */ int LOWER_BOUNDED_SCOPE_DEFINITION__TYPE = SCOPE_DEFINITION__TYPE; /** * The feature id for the 'Lower Bound' attribute. * * * @generated * @ordered */ int LOWER_BOUNDED_SCOPE_DEFINITION__LOWER_BOUND = SCOPE_DEFINITION_FEATURE_COUNT + 0; /** * The number of structural features of the 'Lower Bounded Scope Definition' class. * * * @generated * @ordered */ int LOWER_BOUNDED_SCOPE_DEFINITION_FEATURE_COUNT = SCOPE_DEFINITION_FEATURE_COUNT + 1; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectiveDefinitionImpl Objective Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectiveDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveDefinition() * @generated */ int OBJECTIVE_DEFINITION = 37; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int OBJECTIVE_DEFINITION__ABSTRACT = STATEMENT__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int OBJECTIVE_DEFINITION__NAME = STATEMENT__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int OBJECTIVE_DEFINITION__SUPERCLASSES = STATEMENT__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int OBJECTIVE_DEFINITION__MEMBERS = STATEMENT__MEMBERS; /** * The feature id for the 'Kind' attribute. * * * @generated * @ordered */ int OBJECTIVE_DEFINITION__KIND = STATEMENT_FEATURE_COUNT + 0; /** * The feature id for the 'Objective' containment reference. * * * @generated * @ordered */ int OBJECTIVE_DEFINITION__OBJECTIVE = STATEMENT_FEATURE_COUNT + 1; /** * The number of structural features of the 'Objective Definition' class. * * * @generated * @ordered */ int OBJECTIVE_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NamedElementImpl Named Element}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NamedElementImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNamedElement() * @generated */ int NAMED_ELEMENT = 38; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int NAMED_ELEMENT__NAME = 0; /** * The number of structural features of the 'Named Element' class. * * * @generated * @ordered */ int NAMED_ELEMENT_FEATURE_COUNT = 1; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AssertionImpl Assertion}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AssertionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAssertion() * @generated */ int ASSERTION = 39; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int ASSERTION__ABSTRACT = STATEMENT__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int ASSERTION__NAME = STATEMENT__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int ASSERTION__SUPERCLASSES = STATEMENT__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int ASSERTION__MEMBERS = STATEMENT__MEMBERS; /** * The feature id for the 'Body' containment reference. * * * @generated * @ordered */ int ASSERTION__BODY = STATEMENT_FEATURE_COUNT + 0; /** * The feature id for the 'Range' containment reference. * * * @generated * @ordered */ int ASSERTION__RANGE = STATEMENT_FEATURE_COUNT + 1; /** * The number of structural features of the 'Assertion' class. * * * @generated * @ordered */ int ASSERTION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DisjunctionImpl Disjunction}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DisjunctionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDisjunction() * @generated */ int DISJUNCTION = 40; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int DISJUNCTION__ABSTRACT = EXPRESSION__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int DISJUNCTION__NAME = EXPRESSION__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int DISJUNCTION__SUPERCLASSES = EXPRESSION__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int DISJUNCTION__MEMBERS = EXPRESSION__MEMBERS; /** * The feature id for the 'Children' containment reference list. * * * @generated * @ordered */ int DISJUNCTION__CHILDREN = EXPRESSION_FEATURE_COUNT + 0; /** * The number of structural features of the 'Disjunction' class. * * * @generated * @ordered */ int DISJUNCTION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 1; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.SwitchImpl Switch}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SwitchImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getSwitch() * @generated */ int SWITCH = 41; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int SWITCH__ABSTRACT = EXPRESSION__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int SWITCH__NAME = EXPRESSION__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int SWITCH__SUPERCLASSES = EXPRESSION__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int SWITCH__MEMBERS = EXPRESSION__MEMBERS; /** * The feature id for the 'Cases' containment reference list. * * * @generated * @ordered */ int SWITCH__CASES = EXPRESSION_FEATURE_COUNT + 0; /** * The number of structural features of the 'Switch' class. * * * @generated * @ordered */ int SWITCH_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 1; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ConjunctionImpl Conjunction}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ConjunctionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConjunction() * @generated */ int CONJUNCTION = 42; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int CONJUNCTION__ABSTRACT = EXPRESSION__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int CONJUNCTION__NAME = EXPRESSION__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int CONJUNCTION__SUPERCLASSES = EXPRESSION__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int CONJUNCTION__MEMBERS = EXPRESSION__MEMBERS; /** * The feature id for the 'Children' containment reference list. * * * @generated * @ordered */ int CONJUNCTION__CHILDREN = EXPRESSION_FEATURE_COUNT + 0; /** * The number of structural features of the 'Conjunction' class. * * * @generated * @ordered */ int CONJUNCTION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 1; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ComparisonImpl Comparison}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ComparisonImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getComparison() * @generated */ int COMPARISON = 43; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int COMPARISON__ABSTRACT = EXPRESSION__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int COMPARISON__NAME = EXPRESSION__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int COMPARISON__SUPERCLASSES = EXPRESSION__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int COMPARISON__MEMBERS = EXPRESSION__MEMBERS; /** * The feature id for the 'Left' containment reference. * * * @generated * @ordered */ int COMPARISON__LEFT = EXPRESSION_FEATURE_COUNT + 0; /** * The feature id for the 'Op' attribute. * * * @generated * @ordered */ int COMPARISON__OP = EXPRESSION_FEATURE_COUNT + 1; /** * The feature id for the 'Right' containment reference. * * * @generated * @ordered */ int COMPARISON__RIGHT = EXPRESSION_FEATURE_COUNT + 2; /** * The number of structural features of the 'Comparison' class. * * * @generated * @ordered */ int COMPARISON_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 3; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BinaryExpressionImpl Binary Expression}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BinaryExpressionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBinaryExpression() * @generated */ int BINARY_EXPRESSION = 44; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int BINARY_EXPRESSION__ABSTRACT = EXPRESSION__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int BINARY_EXPRESSION__NAME = EXPRESSION__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int BINARY_EXPRESSION__SUPERCLASSES = EXPRESSION__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int BINARY_EXPRESSION__MEMBERS = EXPRESSION__MEMBERS; /** * The feature id for the 'Left' containment reference. * * * @generated * @ordered */ int BINARY_EXPRESSION__LEFT = EXPRESSION_FEATURE_COUNT + 0; /** * The feature id for the 'Op' attribute. * * * @generated * @ordered */ int BINARY_EXPRESSION__OP = EXPRESSION_FEATURE_COUNT + 1; /** * The feature id for the 'Right' containment reference. * * * @generated * @ordered */ int BINARY_EXPRESSION__RIGHT = EXPRESSION_FEATURE_COUNT + 2; /** * The number of structural features of the 'Binary Expression' class. * * * @generated * @ordered */ int BINARY_EXPRESSION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 3; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnaryExpressionImpl Unary Expression}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnaryExpressionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryExpression() * @generated */ int UNARY_EXPRESSION = 45; /** * The feature id for the 'Abstract' attribute. * * * @generated * @ordered */ int UNARY_EXPRESSION__ABSTRACT = EXPRESSION__ABSTRACT; /** * The feature id for the 'Name' attribute. * * * @generated * @ordered */ int UNARY_EXPRESSION__NAME = EXPRESSION__NAME; /** * The feature id for the 'Superclasses' reference list. * * * @generated * @ordered */ int UNARY_EXPRESSION__SUPERCLASSES = EXPRESSION__SUPERCLASSES; /** * The feature id for the 'Members' containment reference list. * * * @generated * @ordered */ int UNARY_EXPRESSION__MEMBERS = EXPRESSION__MEMBERS; /** * The feature id for the 'Op' attribute. * * * @generated * @ordered */ int UNARY_EXPRESSION__OP = EXPRESSION_FEATURE_COUNT + 0; /** * The feature id for the 'Body' containment reference. * * * @generated * @ordered */ int UNARY_EXPRESSION__BODY = EXPRESSION_FEATURE_COUNT + 1; /** * The number of structural features of the 'Unary Expression' class. * * * @generated * @ordered */ int UNARY_EXPRESSION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 2; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricType Metric Type}' enum. * * * @see org.eclipse.viatra.solver.language.solverLanguage.MetricType * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMetricType() * @generated */ int METRIC_TYPE = 46; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator Binary Operator}' enum. * * * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBinaryOperator() * @generated */ int BINARY_OPERATOR = 47; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryOp Unary Op}' enum. * * * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryOp * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryOp() * @generated */ int UNARY_OP = 48; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.AggregationOp Aggregation Op}' enum. * * * @see org.eclipse.viatra.solver.language.solverLanguage.AggregationOp * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAggregationOp() * @generated */ int AGGREGATION_OP = 49; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicValue Logic Value}' enum. * * * @see org.eclipse.viatra.solver.language.solverLanguage.LogicValue * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLogicValue() * @generated */ int LOGIC_VALUE = 50; /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind Objective Kind}' enum. * * * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveKind() * @generated */ int OBJECTIVE_KIND = 51; /** * 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 the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement#isAbstract Abstract}'. * * * @return the meta object for the attribute 'Abstract'. * @see org.eclipse.viatra.solver.language.solverLanguage.Statement#isAbstract() * @see #getStatement() * @generated */ EAttribute getStatement_Abstract(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement#getName Name}'. * * * @return the meta object for the attribute 'Name'. * @see org.eclipse.viatra.solver.language.solverLanguage.Statement#getName() * @see #getStatement() * @generated */ EAttribute getStatement_Name(); /** * Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement#getSuperclasses Superclasses}'. * * * @return the meta object for the reference list 'Superclasses'. * @see org.eclipse.viatra.solver.language.solverLanguage.Statement#getSuperclasses() * @see #getStatement() * @generated */ EReference getStatement_Superclasses(); /** * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement#getMembers Members}'. * * * @return the meta object for the containment reference list 'Members'. * @see org.eclipse.viatra.solver.language.solverLanguage.Statement#getMembers() * @see #getStatement() * @generated */ EReference getStatement_Members(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition Predicate Definition}'. * * * @return the meta object for class 'Predicate Definition'. * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition * @generated */ EClass getPredicateDefinition(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#getHead Head}'. * * * @return the meta object for the containment reference 'Head'. * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#getHead() * @see #getPredicateDefinition() * @generated */ EReference getPredicateDefinition_Head(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#getBody Body}'. * * * @return the meta object for the containment reference 'Body'. * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#getBody() * @see #getPredicateDefinition() * @generated */ EReference getPredicateDefinition_Body(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#isFunctional Functional}'. * * * @return the meta object for the attribute 'Functional'. * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#isFunctional() * @see #getPredicateDefinition() * @generated */ EAttribute getPredicateDefinition_Functional(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#isError Error}'. * * * @return the meta object for the attribute 'Error'. * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#isError() * @see #getPredicateDefinition() * @generated */ EAttribute getPredicateDefinition_Error(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition Unnamed Error Prediate Definition}'. * * * @return the meta object for class 'Unnamed Error Prediate Definition'. * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition * @generated */ EClass getUnnamedErrorPrediateDefinition(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition#getArgumentList Argument List}'. * * * @return the meta object for the containment reference 'Argument List'. * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition#getArgumentList() * @see #getUnnamedErrorPrediateDefinition() * @generated */ EReference getUnnamedErrorPrediateDefinition_ArgumentList(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition#getBody Body}'. * * * @return the meta object for the containment reference 'Body'. * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition#getBody() * @see #getUnnamedErrorPrediateDefinition() * @generated */ EReference getUnnamedErrorPrediateDefinition_Body(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition Default Definition}'. * * * @return the meta object for class 'Default Definition'. * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition * @generated */ EClass getDefaultDefinition(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition#getHead Head}'. * * * @return the meta object for the containment reference 'Head'. * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition#getHead() * @see #getDefaultDefinition() * @generated */ EReference getDefaultDefinition_Head(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition#getRange Range}'. * * * @return the meta object for the containment reference 'Range'. * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition#getRange() * @see #getDefaultDefinition() * @generated */ EReference getDefaultDefinition_Range(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition Extern Predicate Definition}'. * * * @return the meta object for class 'Extern Predicate Definition'. * @see org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition * @generated */ EClass getExternPredicateDefinition(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition#getHead Head}'. * * * @return the meta object for the containment reference 'Head'. * @see org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition#getHead() * @see #getExternPredicateDefinition() * @generated */ EReference getExternPredicateDefinition_Head(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition Metric Definition}'. * * * @return the meta object for class 'Metric Definition'. * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition * @generated */ EClass getMetricDefinition(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getHead Head}'. * * * @return the meta object for the containment reference 'Head'. * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getHead() * @see #getMetricDefinition() * @generated */ EReference getMetricDefinition_Head(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getBody Body}'. * * * @return the meta object for the containment reference 'Body'. * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getBody() * @see #getMetricDefinition() * @generated */ EReference getMetricDefinition_Body(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getType Type}'. * * * @return the meta object for the attribute 'Type'. * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getType() * @see #getMetricDefinition() * @generated */ EAttribute getMetricDefinition_Type(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition Extern Metric Definition}'. * * * @return the meta object for class 'Extern Metric Definition'. * @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition * @generated */ EClass getExternMetricDefinition(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getType Type}'. * * * @return the meta object for the attribute 'Type'. * @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getType() * @see #getExternMetricDefinition() * @generated */ EAttribute getExternMetricDefinition_Type(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getHead Head}'. * * * @return the meta object for the containment reference 'Head'. * @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getHead() * @see #getExternMetricDefinition() * @generated */ EReference getExternMetricDefinition_Head(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Expression Expression}'. * * * @return the meta object for class 'Expression'. * @see org.eclipse.viatra.solver.language.solverLanguage.Expression * @generated */ EClass getExpression(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.IfElse If Else}'. * * * @return the meta object for class 'If Else'. * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse * @generated */ EClass getIfElse(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.IfElse#getCondition Condition}'. * * * @return the meta object for the containment reference 'Condition'. * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse#getCondition() * @see #getIfElse() * @generated */ EReference getIfElse_Condition(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.IfElse#getThen Then}'. * * * @return the meta object for the containment reference 'Then'. * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse#getThen() * @see #getIfElse() * @generated */ EReference getIfElse_Then(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.IfElse#getElse Else}'. * * * @return the meta object for the containment reference 'Else'. * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse#getElse() * @see #getIfElse() * @generated */ EReference getIfElse_Else(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Case Case}'. * * * @return the meta object for class 'Case'. * @see org.eclipse.viatra.solver.language.solverLanguage.Case * @generated */ EClass getCase(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Case#getCondition Condition}'. * * * @return the meta object for the containment reference 'Condition'. * @see org.eclipse.viatra.solver.language.solverLanguage.Case#getCondition() * @see #getCase() * @generated */ EReference getCase_Condition(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Case#getBody Body}'. * * * @return the meta object for the containment reference 'Body'. * @see org.eclipse.viatra.solver.language.solverLanguage.Case#getBody() * @see #getCase() * @generated */ EReference getCase_Body(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Count Count}'. * * * @return the meta object for class 'Count'. * @see org.eclipse.viatra.solver.language.solverLanguage.Count * @generated */ EClass getCount(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Count#getBody Body}'. * * * @return the meta object for the containment reference 'Body'. * @see org.eclipse.viatra.solver.language.solverLanguage.Count#getBody() * @see #getCount() * @generated */ EReference getCount_Body(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation Aggregation}'. * * * @return the meta object for class 'Aggregation'. * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation * @generated */ EClass getAggregation(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getOp Op}'. * * * @return the meta object for the attribute 'Op'. * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getOp() * @see #getAggregation() * @generated */ EAttribute getAggregation_Op(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getBody Body}'. * * * @return the meta object for the containment reference 'Body'. * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getBody() * @see #getAggregation() * @generated */ EReference getAggregation_Body(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getCondition Condition}'. * * * @return the meta object for the containment reference 'Condition'. * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getCondition() * @see #getAggregation() * @generated */ EReference getAggregation_Condition(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Call Call}'. * * * @return the meta object for class 'Call'. * @see org.eclipse.viatra.solver.language.solverLanguage.Call * @generated */ EClass getCall(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#getFunctor Functor}'. * * * @return the meta object for the containment reference 'Functor'. * @see org.eclipse.viatra.solver.language.solverLanguage.Call#getFunctor() * @see #getCall() * @generated */ EReference getCall_Functor(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#getArgumentList Argument List}'. * * * @return the meta object for the containment reference 'Argument List'. * @see org.eclipse.viatra.solver.language.solverLanguage.Call#getArgumentList() * @see #getCall() * @generated */ EReference getCall_ArgumentList(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#isTransitiveClosure Transitive Closure}'. * * * @return the meta object for the attribute 'Transitive Closure'. * @see org.eclipse.viatra.solver.language.solverLanguage.Call#isTransitiveClosure() * @see #getCall() * @generated */ EAttribute getCall_TransitiveClosure(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#isReflexiveTransitiveClosure Reflexive Transitive Closure}'. * * * @return the meta object for the attribute 'Reflexive Transitive Closure'. * @see org.eclipse.viatra.solver.language.solverLanguage.Call#isReflexiveTransitiveClosure() * @see #getCall() * @generated */ EAttribute getCall_ReflexiveTransitiveClosure(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ArgumentList Argument List}'. * * * @return the meta object for class 'Argument List'. * @see org.eclipse.viatra.solver.language.solverLanguage.ArgumentList * @generated */ EClass getArgumentList(); /** * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ArgumentList#getArguments Arguments}'. * * * @return the meta object for the containment reference list 'Arguments'. * @see org.eclipse.viatra.solver.language.solverLanguage.ArgumentList#getArguments() * @see #getArgumentList() * @generated */ EReference getArgumentList_Arguments(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Argument Argument}'. * * * @return the meta object for class 'Argument'. * @see org.eclipse.viatra.solver.language.solverLanguage.Argument * @generated */ EClass getArgument(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument Expression Argument}'. * * * @return the meta object for class 'Expression Argument'. * @see org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument * @generated */ EClass getExpressionArgument(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument#getBody Body}'. * * * @return the meta object for the containment reference 'Body'. * @see org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument#getBody() * @see #getExpressionArgument() * @generated */ EReference getExpressionArgument_Body(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.StarArgument Star Argument}'. * * * @return the meta object for class 'Star Argument'. * @see org.eclipse.viatra.solver.language.solverLanguage.StarArgument * @generated */ EClass getStarArgument(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedArgument Typed Argument}'. * * * @return the meta object for class 'Typed Argument'. * @see org.eclipse.viatra.solver.language.solverLanguage.TypedArgument * @generated */ EClass getTypedArgument(); /** * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedArgument#getType Type}'. * * * @return the meta object for the reference 'Type'. * @see org.eclipse.viatra.solver.language.solverLanguage.TypedArgument#getType() * @see #getTypedArgument() * @generated */ EReference getTypedArgument_Type(); /** * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedArgument#getVariable Variable}'. * * * @return the meta object for the reference 'Variable'. * @see org.eclipse.viatra.solver.language.solverLanguage.TypedArgument#getVariable() * @see #getTypedArgument() * @generated */ EReference getTypedArgument_Variable(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument Typed Star Argument}'. * * * @return the meta object for class 'Typed Star Argument'. * @see org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument * @generated */ EClass getTypedStarArgument(); /** * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument#getType Type}'. * * * @return the meta object for the reference 'Type'. * @see org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument#getType() * @see #getTypedStarArgument() * @generated */ EReference getTypedStarArgument_Type(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Reference Reference}'. * * * @return the meta object for class 'Reference'. * @see org.eclipse.viatra.solver.language.solverLanguage.Reference * @generated */ EClass getReference(); /** * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Reference#getReferred Referred}'. * * * @return the meta object for the reference 'Referred'. * @see org.eclipse.viatra.solver.language.solverLanguage.Reference#getReferred() * @see #getReference() * @generated */ EReference getReference_Referred(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Interval Interval}'. * * * @return the meta object for class 'Interval'. * @see org.eclipse.viatra.solver.language.solverLanguage.Interval * @generated */ EClass getInterval(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Interval#getLowerBound Lower Bound}'. * * * @return the meta object for the containment reference 'Lower Bound'. * @see org.eclipse.viatra.solver.language.solverLanguage.Interval#getLowerBound() * @see #getInterval() * @generated */ EReference getInterval_LowerBound(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Interval#getUpperBound Upper Bound}'. * * * @return the meta object for the containment reference 'Upper Bound'. * @see org.eclipse.viatra.solver.language.solverLanguage.Interval#getUpperBound() * @see #getInterval() * @generated */ EReference getInterval_UpperBound(); /** * 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.LogicLiteral Logic Literal}'. * * * @return the meta object for class 'Logic Literal'. * @see org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral * @generated */ EClass getLogicLiteral(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral#getValue Value}'. * * * @return the meta object for the attribute 'Value'. * @see org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral#getValue() * @see #getLogicLiteral() * @generated */ EAttribute getLogicLiteral_Value(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral Numeric Literal}'. * * * @return the meta object for class 'Numeric Literal'. * @see org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral * @generated */ EClass getNumericLiteral(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral#getValue Value}'. * * * @return the meta object for the attribute 'Value'. * @see org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral#getValue() * @see #getNumericLiteral() * @generated */ EAttribute getNumericLiteral_Value(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral Infinity Literal}'. * * * @return the meta object for class 'Infinity Literal'. * @see org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral * @generated */ EClass getInfinityLiteral(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral Empty Interval Literal}'. * * * @return the meta object for class 'Empty Interval Literal'. * @see org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral * @generated */ EClass getEmptyIntervalLiteral(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringLiteral String Literal}'. * * * @return the meta object for class 'String Literal'. * @see org.eclipse.viatra.solver.language.solverLanguage.StringLiteral * @generated */ EClass getStringLiteral(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.StringLiteral#getValue Value}'. * * * @return the meta object for the attribute 'Value'. * @see org.eclipse.viatra.solver.language.solverLanguage.StringLiteral#getValue() * @see #getStringLiteral() * @generated */ EAttribute getStringLiteral_Value(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition Member Definition}'. * * * @return the meta object for class 'Member Definition'. * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition * @generated */ EClass getMemberDefinition(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#isContainment Containment}'. * * * @return the meta object for the attribute 'Containment'. * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#isContainment() * @see #getMemberDefinition() * @generated */ EAttribute getMemberDefinition_Containment(); /** * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getType Type}'. * * * @return the meta object for the reference 'Type'. * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getType() * @see #getMemberDefinition() * @generated */ EReference getMemberDefinition_Type(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getMultiplicity Multiplicity}'. * * * @return the meta object for the containment reference 'Multiplicity'. * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getMultiplicity() * @see #getMemberDefinition() * @generated */ EReference getMemberDefinition_Multiplicity(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getName Name}'. * * * @return the meta object for the attribute 'Name'. * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getName() * @see #getMemberDefinition() * @generated */ EAttribute getMemberDefinition_Name(); /** * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getOpposite Opposite}'. * * * @return the meta object for the reference 'Opposite'. * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getOpposite() * @see #getMemberDefinition() * @generated */ EReference getMemberDefinition_Opposite(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Multiplicity Multiplicity}'. * * * @return the meta object for class 'Multiplicity'. * @see org.eclipse.viatra.solver.language.solverLanguage.Multiplicity * @generated */ EClass getMultiplicity(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity Many Multiplicity}'. * * * @return the meta object for class 'Many Multiplicity'. * @see org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity * @generated */ EClass getManyMultiplicity(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity Exact Multiplicity}'. * * * @return the meta object for class 'Exact Multiplicity'. * @see org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity * @generated */ EClass getExactMultiplicity(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity#getMultiplicity Multiplicity}'. * * * @return the meta object for the attribute 'Multiplicity'. * @see org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity#getMultiplicity() * @see #getExactMultiplicity() * @generated */ EAttribute getExactMultiplicity_Multiplicity(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity Bounded Multiplicity}'. * * * @return the meta object for class 'Bounded Multiplicity'. * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity * @generated */ EClass getBoundedMultiplicity(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity#getLowerBound Lower Bound}'. * * * @return the meta object for the attribute 'Lower Bound'. * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity#getLowerBound() * @see #getBoundedMultiplicity() * @generated */ EAttribute getBoundedMultiplicity_LowerBound(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity#getUpperBound Upper Bound}'. * * * @return the meta object for the attribute 'Upper Bound'. * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity#getUpperBound() * @see #getBoundedMultiplicity() * @generated */ EAttribute getBoundedMultiplicity_UpperBound(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition Scope Definition}'. * * * @return the meta object for class 'Scope Definition'. * @see org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition * @generated */ EClass getScopeDefinition(); /** * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition#getType Type}'. * * * @return the meta object for the reference 'Type'. * @see org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition#getType() * @see #getScopeDefinition() * @generated */ EReference getScopeDefinition_Type(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition Exact Scope Definition}'. * * * @return the meta object for class 'Exact Scope Definition'. * @see org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition * @generated */ EClass getExactScopeDefinition(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition#getExactScope Exact Scope}'. * * * @return the meta object for the attribute 'Exact Scope'. * @see org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition#getExactScope() * @see #getExactScopeDefinition() * @generated */ EAttribute getExactScopeDefinition_ExactScope(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition Bounded Scope Definition}'. * * * @return the meta object for class 'Bounded Scope Definition'. * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition * @generated */ EClass getBoundedScopeDefinition(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition#getLowerBound Lower Bound}'. * * * @return the meta object for the attribute 'Lower Bound'. * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition#getLowerBound() * @see #getBoundedScopeDefinition() * @generated */ EAttribute getBoundedScopeDefinition_LowerBound(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition#getUpperBound Upper Bound}'. * * * @return the meta object for the attribute 'Upper Bound'. * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition#getUpperBound() * @see #getBoundedScopeDefinition() * @generated */ EAttribute getBoundedScopeDefinition_UpperBound(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition Lower Bounded Scope Definition}'. * * * @return the meta object for class 'Lower Bounded Scope Definition'. * @see org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition * @generated */ EClass getLowerBoundedScopeDefinition(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition#getLowerBound Lower Bound}'. * * * @return the meta object for the attribute 'Lower Bound'. * @see org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition#getLowerBound() * @see #getLowerBoundedScopeDefinition() * @generated */ EAttribute getLowerBoundedScopeDefinition_LowerBound(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition Objective Definition}'. * * * @return the meta object for class 'Objective Definition'. * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition * @generated */ EClass getObjectiveDefinition(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition#getKind Kind}'. * * * @return the meta object for the attribute 'Kind'. * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition#getKind() * @see #getObjectiveDefinition() * @generated */ EAttribute getObjectiveDefinition_Kind(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition#getObjective Objective}'. * * * @return the meta object for the containment reference 'Objective'. * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition#getObjective() * @see #getObjectiveDefinition() * @generated */ EReference getObjectiveDefinition_Objective(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedElement Named Element}'. * * * @return the meta object for class 'Named Element'. * @see org.eclipse.viatra.solver.language.solverLanguage.NamedElement * @generated */ EClass getNamedElement(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedElement#getName Name}'. * * * @return the meta object for the attribute 'Name'. * @see org.eclipse.viatra.solver.language.solverLanguage.NamedElement#getName() * @see #getNamedElement() * @generated */ EAttribute getNamedElement_Name(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Assertion Assertion}'. * * * @return the meta object for class 'Assertion'. * @see org.eclipse.viatra.solver.language.solverLanguage.Assertion * @generated */ EClass getAssertion(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Assertion#getBody Body}'. * * * @return the meta object for the containment reference 'Body'. * @see org.eclipse.viatra.solver.language.solverLanguage.Assertion#getBody() * @see #getAssertion() * @generated */ EReference getAssertion_Body(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Assertion#getRange Range}'. * * * @return the meta object for the containment reference 'Range'. * @see org.eclipse.viatra.solver.language.solverLanguage.Assertion#getRange() * @see #getAssertion() * @generated */ EReference getAssertion_Range(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Disjunction Disjunction}'. * * * @return the meta object for class 'Disjunction'. * @see org.eclipse.viatra.solver.language.solverLanguage.Disjunction * @generated */ EClass getDisjunction(); /** * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Disjunction#getChildren Children}'. * * * @return the meta object for the containment reference list 'Children'. * @see org.eclipse.viatra.solver.language.solverLanguage.Disjunction#getChildren() * @see #getDisjunction() * @generated */ EReference getDisjunction_Children(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Switch Switch}'. * * * @return the meta object for class 'Switch'. * @see org.eclipse.viatra.solver.language.solverLanguage.Switch * @generated */ EClass getSwitch(); /** * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Switch#getCases Cases}'. * * * @return the meta object for the containment reference list 'Cases'. * @see org.eclipse.viatra.solver.language.solverLanguage.Switch#getCases() * @see #getSwitch() * @generated */ EReference getSwitch_Cases(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Conjunction Conjunction}'. * * * @return the meta object for class 'Conjunction'. * @see org.eclipse.viatra.solver.language.solverLanguage.Conjunction * @generated */ EClass getConjunction(); /** * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Conjunction#getChildren Children}'. * * * @return the meta object for the containment reference list 'Children'. * @see org.eclipse.viatra.solver.language.solverLanguage.Conjunction#getChildren() * @see #getConjunction() * @generated */ EReference getConjunction_Children(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Comparison Comparison}'. * * * @return the meta object for class 'Comparison'. * @see org.eclipse.viatra.solver.language.solverLanguage.Comparison * @generated */ EClass getComparison(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Comparison#getLeft Left}'. * * * @return the meta object for the containment reference 'Left'. * @see org.eclipse.viatra.solver.language.solverLanguage.Comparison#getLeft() * @see #getComparison() * @generated */ EReference getComparison_Left(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Comparison#getOp Op}'. * * * @return the meta object for the attribute 'Op'. * @see org.eclipse.viatra.solver.language.solverLanguage.Comparison#getOp() * @see #getComparison() * @generated */ EAttribute getComparison_Op(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Comparison#getRight Right}'. * * * @return the meta object for the containment reference 'Right'. * @see org.eclipse.viatra.solver.language.solverLanguage.Comparison#getRight() * @see #getComparison() * @generated */ EReference getComparison_Right(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression Binary Expression}'. * * * @return the meta object for class 'Binary Expression'. * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression * @generated */ EClass getBinaryExpression(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getLeft Left}'. * * * @return the meta object for the containment reference 'Left'. * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getLeft() * @see #getBinaryExpression() * @generated */ EReference getBinaryExpression_Left(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getOp Op}'. * * * @return the meta object for the attribute 'Op'. * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getOp() * @see #getBinaryExpression() * @generated */ EAttribute getBinaryExpression_Op(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getRight Right}'. * * * @return the meta object for the containment reference 'Right'. * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getRight() * @see #getBinaryExpression() * @generated */ EReference getBinaryExpression_Right(); /** * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression Unary Expression}'. * * * @return the meta object for class 'Unary Expression'. * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression * @generated */ EClass getUnaryExpression(); /** * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression#getOp Op}'. * * * @return the meta object for the attribute 'Op'. * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression#getOp() * @see #getUnaryExpression() * @generated */ EAttribute getUnaryExpression_Op(); /** * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression#getBody Body}'. * * * @return the meta object for the containment reference 'Body'. * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression#getBody() * @see #getUnaryExpression() * @generated */ EReference getUnaryExpression_Body(); /** * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricType Metric Type}'. * * * @return the meta object for enum 'Metric Type'. * @see org.eclipse.viatra.solver.language.solverLanguage.MetricType * @generated */ EEnum getMetricType(); /** * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator Binary Operator}'. * * * @return the meta object for enum 'Binary Operator'. * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator * @generated */ EEnum getBinaryOperator(); /** * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryOp Unary Op}'. * * * @return the meta object for enum 'Unary Op'. * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryOp * @generated */ EEnum getUnaryOp(); /** * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.AggregationOp Aggregation Op}'. * * * @return the meta object for enum 'Aggregation Op'. * @see org.eclipse.viatra.solver.language.solverLanguage.AggregationOp * @generated */ EEnum getAggregationOp(); /** * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicValue Logic Value}'. * * * @return the meta object for enum 'Logic Value'. * @see org.eclipse.viatra.solver.language.solverLanguage.LogicValue * @generated */ EEnum getLogicValue(); /** * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind Objective Kind}'. * * * @return the meta object for enum 'Objective Kind'. * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind * @generated */ EEnum getObjectiveKind(); /** * 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 'Abstract' attribute feature. * * * @generated */ EAttribute STATEMENT__ABSTRACT = eINSTANCE.getStatement_Abstract(); /** * The meta object literal for the 'Name' attribute feature. * * * @generated */ EAttribute STATEMENT__NAME = eINSTANCE.getStatement_Name(); /** * The meta object literal for the 'Superclasses' reference list feature. * * * @generated */ EReference STATEMENT__SUPERCLASSES = eINSTANCE.getStatement_Superclasses(); /** * The meta object literal for the 'Members' containment reference list feature. * * * @generated */ EReference STATEMENT__MEMBERS = eINSTANCE.getStatement_Members(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateDefinitionImpl Predicate Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicateDefinition() * @generated */ EClass PREDICATE_DEFINITION = eINSTANCE.getPredicateDefinition(); /** * The meta object literal for the 'Head' containment reference feature. * * * @generated */ EReference PREDICATE_DEFINITION__HEAD = eINSTANCE.getPredicateDefinition_Head(); /** * The meta object literal for the 'Body' containment reference feature. * * * @generated */ EReference PREDICATE_DEFINITION__BODY = eINSTANCE.getPredicateDefinition_Body(); /** * The meta object literal for the 'Functional' attribute feature. * * * @generated */ EAttribute PREDICATE_DEFINITION__FUNCTIONAL = eINSTANCE.getPredicateDefinition_Functional(); /** * The meta object literal for the 'Error' attribute feature. * * * @generated */ EAttribute PREDICATE_DEFINITION__ERROR = eINSTANCE.getPredicateDefinition_Error(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedErrorPrediateDefinitionImpl Unnamed Error Prediate Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedErrorPrediateDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnnamedErrorPrediateDefinition() * @generated */ EClass UNNAMED_ERROR_PREDIATE_DEFINITION = eINSTANCE.getUnnamedErrorPrediateDefinition(); /** * The meta object literal for the 'Argument List' containment reference feature. * * * @generated */ EReference UNNAMED_ERROR_PREDIATE_DEFINITION__ARGUMENT_LIST = eINSTANCE.getUnnamedErrorPrediateDefinition_ArgumentList(); /** * The meta object literal for the 'Body' containment reference feature. * * * @generated */ EReference UNNAMED_ERROR_PREDIATE_DEFINITION__BODY = eINSTANCE.getUnnamedErrorPrediateDefinition_Body(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultDefinitionImpl Default Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDefaultDefinition() * @generated */ EClass DEFAULT_DEFINITION = eINSTANCE.getDefaultDefinition(); /** * The meta object literal for the 'Head' containment reference feature. * * * @generated */ EReference DEFAULT_DEFINITION__HEAD = eINSTANCE.getDefaultDefinition_Head(); /** * The meta object literal for the 'Range' containment reference feature. * * * @generated */ EReference DEFAULT_DEFINITION__RANGE = eINSTANCE.getDefaultDefinition_Range(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternPredicateDefinitionImpl Extern Predicate Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternPredicateDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternPredicateDefinition() * @generated */ EClass EXTERN_PREDICATE_DEFINITION = eINSTANCE.getExternPredicateDefinition(); /** * The meta object literal for the 'Head' containment reference feature. * * * @generated */ EReference EXTERN_PREDICATE_DEFINITION__HEAD = eINSTANCE.getExternPredicateDefinition_Head(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MetricDefinitionImpl Metric Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MetricDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMetricDefinition() * @generated */ EClass METRIC_DEFINITION = eINSTANCE.getMetricDefinition(); /** * The meta object literal for the 'Head' containment reference feature. * * * @generated */ EReference METRIC_DEFINITION__HEAD = eINSTANCE.getMetricDefinition_Head(); /** * The meta object literal for the 'Body' containment reference feature. * * * @generated */ EReference METRIC_DEFINITION__BODY = eINSTANCE.getMetricDefinition_Body(); /** * The meta object literal for the 'Type' attribute feature. * * * @generated */ EAttribute METRIC_DEFINITION__TYPE = eINSTANCE.getMetricDefinition_Type(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternMetricDefinitionImpl Extern Metric Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternMetricDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternMetricDefinition() * @generated */ EClass EXTERN_METRIC_DEFINITION = eINSTANCE.getExternMetricDefinition(); /** * The meta object literal for the 'Type' attribute feature. * * * @generated */ EAttribute EXTERN_METRIC_DEFINITION__TYPE = eINSTANCE.getExternMetricDefinition_Type(); /** * The meta object literal for the 'Head' containment reference feature. * * * @generated */ EReference EXTERN_METRIC_DEFINITION__HEAD = eINSTANCE.getExternMetricDefinition_Head(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionImpl Expression}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExpression() * @generated */ EClass EXPRESSION = eINSTANCE.getExpression(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IfElseImpl If Else}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IfElseImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIfElse() * @generated */ EClass IF_ELSE = eINSTANCE.getIfElse(); /** * The meta object literal for the 'Condition' containment reference feature. * * * @generated */ EReference IF_ELSE__CONDITION = eINSTANCE.getIfElse_Condition(); /** * The meta object literal for the 'Then' containment reference feature. * * * @generated */ EReference IF_ELSE__THEN = eINSTANCE.getIfElse_Then(); /** * The meta object literal for the 'Else' containment reference feature. * * * @generated */ EReference IF_ELSE__ELSE = eINSTANCE.getIfElse_Else(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CaseImpl Case}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CaseImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCase() * @generated */ EClass CASE = eINSTANCE.getCase(); /** * The meta object literal for the 'Condition' containment reference feature. * * * @generated */ EReference CASE__CONDITION = eINSTANCE.getCase_Condition(); /** * The meta object literal for the 'Body' containment reference feature. * * * @generated */ EReference CASE__BODY = eINSTANCE.getCase_Body(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CountImpl Count}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CountImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCount() * @generated */ EClass COUNT = eINSTANCE.getCount(); /** * The meta object literal for the 'Body' containment reference feature. * * * @generated */ EReference COUNT__BODY = eINSTANCE.getCount_Body(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AggregationImpl Aggregation}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AggregationImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAggregation() * @generated */ EClass AGGREGATION = eINSTANCE.getAggregation(); /** * The meta object literal for the 'Op' attribute feature. * * * @generated */ EAttribute AGGREGATION__OP = eINSTANCE.getAggregation_Op(); /** * The meta object literal for the 'Body' containment reference feature. * * * @generated */ EReference AGGREGATION__BODY = eINSTANCE.getAggregation_Body(); /** * The meta object literal for the 'Condition' containment reference feature. * * * @generated */ EReference AGGREGATION__CONDITION = eINSTANCE.getAggregation_Condition(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl Call}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCall() * @generated */ EClass CALL = eINSTANCE.getCall(); /** * The meta object literal for the 'Functor' containment reference feature. * * * @generated */ EReference CALL__FUNCTOR = eINSTANCE.getCall_Functor(); /** * The meta object literal for the 'Argument List' containment reference feature. * * * @generated */ EReference CALL__ARGUMENT_LIST = eINSTANCE.getCall_ArgumentList(); /** * The meta object literal for the 'Transitive Closure' attribute feature. * * * @generated */ EAttribute CALL__TRANSITIVE_CLOSURE = eINSTANCE.getCall_TransitiveClosure(); /** * The meta object literal for the 'Reflexive Transitive Closure' attribute feature. * * * @generated */ EAttribute CALL__REFLEXIVE_TRANSITIVE_CLOSURE = eINSTANCE.getCall_ReflexiveTransitiveClosure(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentListImpl Argument List}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentListImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getArgumentList() * @generated */ EClass ARGUMENT_LIST = eINSTANCE.getArgumentList(); /** * The meta object literal for the 'Arguments' containment reference list feature. * * * @generated */ EReference ARGUMENT_LIST__ARGUMENTS = eINSTANCE.getArgumentList_Arguments(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentImpl Argument}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getArgument() * @generated */ EClass ARGUMENT = eINSTANCE.getArgument(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionArgumentImpl Expression Argument}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionArgumentImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExpressionArgument() * @generated */ EClass EXPRESSION_ARGUMENT = eINSTANCE.getExpressionArgument(); /** * The meta object literal for the 'Body' containment reference feature. * * * @generated */ EReference EXPRESSION_ARGUMENT__BODY = eINSTANCE.getExpressionArgument_Body(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StarArgumentImpl Star Argument}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StarArgumentImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStarArgument() * @generated */ EClass STAR_ARGUMENT = eINSTANCE.getStarArgument(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TypedArgumentImpl Typed Argument}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TypedArgumentImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTypedArgument() * @generated */ EClass TYPED_ARGUMENT = eINSTANCE.getTypedArgument(); /** * The meta object literal for the 'Type' reference feature. * * * @generated */ EReference TYPED_ARGUMENT__TYPE = eINSTANCE.getTypedArgument_Type(); /** * The meta object literal for the 'Variable' reference feature. * * * @generated */ EReference TYPED_ARGUMENT__VARIABLE = eINSTANCE.getTypedArgument_Variable(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TypedStarArgumentImpl Typed Star Argument}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TypedStarArgumentImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTypedStarArgument() * @generated */ EClass TYPED_STAR_ARGUMENT = eINSTANCE.getTypedStarArgument(); /** * The meta object literal for the 'Type' reference feature. * * * @generated */ EReference TYPED_STAR_ARGUMENT__TYPE = eINSTANCE.getTypedStarArgument_Type(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ReferenceImpl Reference}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ReferenceImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getReference() * @generated */ EClass REFERENCE = eINSTANCE.getReference(); /** * The meta object literal for the 'Referred' reference feature. * * * @generated */ EReference REFERENCE__REFERRED = eINSTANCE.getReference_Referred(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntervalImpl Interval}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntervalImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInterval() * @generated */ EClass INTERVAL = eINSTANCE.getInterval(); /** * The meta object literal for the 'Lower Bound' containment reference feature. * * * @generated */ EReference INTERVAL__LOWER_BOUND = eINSTANCE.getInterval_LowerBound(); /** * The meta object literal for the 'Upper Bound' containment reference feature. * * * @generated */ EReference INTERVAL__UPPER_BOUND = eINSTANCE.getInterval_UpperBound(); /** * 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.LogicLiteralImpl Logic Literal}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LogicLiteralImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLogicLiteral() * @generated */ EClass LOGIC_LITERAL = eINSTANCE.getLogicLiteral(); /** * The meta object literal for the 'Value' attribute feature. * * * @generated */ EAttribute LOGIC_LITERAL__VALUE = eINSTANCE.getLogicLiteral_Value(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NumericLiteralImpl Numeric Literal}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NumericLiteralImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNumericLiteral() * @generated */ EClass NUMERIC_LITERAL = eINSTANCE.getNumericLiteral(); /** * The meta object literal for the 'Value' attribute feature. * * * @generated */ EAttribute NUMERIC_LITERAL__VALUE = eINSTANCE.getNumericLiteral_Value(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.InfinityLiteralImpl Infinity Literal}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.InfinityLiteralImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInfinityLiteral() * @generated */ EClass INFINITY_LITERAL = eINSTANCE.getInfinityLiteral(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EmptyIntervalLiteralImpl Empty Interval Literal}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.EmptyIntervalLiteralImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEmptyIntervalLiteral() * @generated */ EClass EMPTY_INTERVAL_LITERAL = eINSTANCE.getEmptyIntervalLiteral(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringLiteralImpl String Literal}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringLiteralImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringLiteral() * @generated */ EClass STRING_LITERAL = eINSTANCE.getStringLiteral(); /** * The meta object literal for the 'Value' attribute feature. * * * @generated */ EAttribute STRING_LITERAL__VALUE = eINSTANCE.getStringLiteral_Value(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MemberDefinitionImpl Member Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MemberDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMemberDefinition() * @generated */ EClass MEMBER_DEFINITION = eINSTANCE.getMemberDefinition(); /** * The meta object literal for the 'Containment' attribute feature. * * * @generated */ EAttribute MEMBER_DEFINITION__CONTAINMENT = eINSTANCE.getMemberDefinition_Containment(); /** * The meta object literal for the 'Type' reference feature. * * * @generated */ EReference MEMBER_DEFINITION__TYPE = eINSTANCE.getMemberDefinition_Type(); /** * The meta object literal for the 'Multiplicity' containment reference feature. * * * @generated */ EReference MEMBER_DEFINITION__MULTIPLICITY = eINSTANCE.getMemberDefinition_Multiplicity(); /** * The meta object literal for the 'Name' attribute feature. * * * @generated */ EAttribute MEMBER_DEFINITION__NAME = eINSTANCE.getMemberDefinition_Name(); /** * The meta object literal for the 'Opposite' reference feature. * * * @generated */ EReference MEMBER_DEFINITION__OPPOSITE = eINSTANCE.getMemberDefinition_Opposite(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityImpl Multiplicity}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiplicity() * @generated */ EClass MULTIPLICITY = eINSTANCE.getMultiplicity(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ManyMultiplicityImpl Many Multiplicity}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ManyMultiplicityImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getManyMultiplicity() * @generated */ EClass MANY_MULTIPLICITY = eINSTANCE.getManyMultiplicity(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExactMultiplicityImpl Exact Multiplicity}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExactMultiplicityImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactMultiplicity() * @generated */ EClass EXACT_MULTIPLICITY = eINSTANCE.getExactMultiplicity(); /** * The meta object literal for the 'Multiplicity' attribute feature. * * * @generated */ EAttribute EXACT_MULTIPLICITY__MULTIPLICITY = eINSTANCE.getExactMultiplicity_Multiplicity(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedMultiplicityImpl Bounded Multiplicity}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedMultiplicityImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedMultiplicity() * @generated */ EClass BOUNDED_MULTIPLICITY = eINSTANCE.getBoundedMultiplicity(); /** * The meta object literal for the 'Lower Bound' attribute feature. * * * @generated */ EAttribute BOUNDED_MULTIPLICITY__LOWER_BOUND = eINSTANCE.getBoundedMultiplicity_LowerBound(); /** * The meta object literal for the 'Upper Bound' attribute feature. * * * @generated */ EAttribute BOUNDED_MULTIPLICITY__UPPER_BOUND = eINSTANCE.getBoundedMultiplicity_UpperBound(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ScopeDefinitionImpl Scope Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ScopeDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getScopeDefinition() * @generated */ EClass SCOPE_DEFINITION = eINSTANCE.getScopeDefinition(); /** * The meta object literal for the 'Type' reference feature. * * * @generated */ EReference SCOPE_DEFINITION__TYPE = eINSTANCE.getScopeDefinition_Type(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExactScopeDefinitionImpl Exact Scope Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExactScopeDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactScopeDefinition() * @generated */ EClass EXACT_SCOPE_DEFINITION = eINSTANCE.getExactScopeDefinition(); /** * The meta object literal for the 'Exact Scope' attribute feature. * * * @generated */ EAttribute EXACT_SCOPE_DEFINITION__EXACT_SCOPE = eINSTANCE.getExactScopeDefinition_ExactScope(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedScopeDefinitionImpl Bounded Scope Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedScopeDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedScopeDefinition() * @generated */ EClass BOUNDED_SCOPE_DEFINITION = eINSTANCE.getBoundedScopeDefinition(); /** * The meta object literal for the 'Lower Bound' attribute feature. * * * @generated */ EAttribute BOUNDED_SCOPE_DEFINITION__LOWER_BOUND = eINSTANCE.getBoundedScopeDefinition_LowerBound(); /** * The meta object literal for the 'Upper Bound' attribute feature. * * * @generated */ EAttribute BOUNDED_SCOPE_DEFINITION__UPPER_BOUND = eINSTANCE.getBoundedScopeDefinition_UpperBound(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LowerBoundedScopeDefinitionImpl Lower Bounded Scope Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LowerBoundedScopeDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLowerBoundedScopeDefinition() * @generated */ EClass LOWER_BOUNDED_SCOPE_DEFINITION = eINSTANCE.getLowerBoundedScopeDefinition(); /** * The meta object literal for the 'Lower Bound' attribute feature. * * * @generated */ EAttribute LOWER_BOUNDED_SCOPE_DEFINITION__LOWER_BOUND = eINSTANCE.getLowerBoundedScopeDefinition_LowerBound(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectiveDefinitionImpl Objective Definition}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectiveDefinitionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveDefinition() * @generated */ EClass OBJECTIVE_DEFINITION = eINSTANCE.getObjectiveDefinition(); /** * The meta object literal for the 'Kind' attribute feature. * * * @generated */ EAttribute OBJECTIVE_DEFINITION__KIND = eINSTANCE.getObjectiveDefinition_Kind(); /** * The meta object literal for the 'Objective' containment reference feature. * * * @generated */ EReference OBJECTIVE_DEFINITION__OBJECTIVE = eINSTANCE.getObjectiveDefinition_Objective(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NamedElementImpl Named Element}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NamedElementImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNamedElement() * @generated */ EClass NAMED_ELEMENT = eINSTANCE.getNamedElement(); /** * The meta object literal for the 'Name' attribute feature. * * * @generated */ EAttribute NAMED_ELEMENT__NAME = eINSTANCE.getNamedElement_Name(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AssertionImpl Assertion}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AssertionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAssertion() * @generated */ EClass ASSERTION = eINSTANCE.getAssertion(); /** * The meta object literal for the 'Body' containment reference feature. * * * @generated */ EReference ASSERTION__BODY = eINSTANCE.getAssertion_Body(); /** * The meta object literal for the 'Range' containment reference feature. * * * @generated */ EReference ASSERTION__RANGE = eINSTANCE.getAssertion_Range(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DisjunctionImpl Disjunction}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DisjunctionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDisjunction() * @generated */ EClass DISJUNCTION = eINSTANCE.getDisjunction(); /** * The meta object literal for the 'Children' containment reference list feature. * * * @generated */ EReference DISJUNCTION__CHILDREN = eINSTANCE.getDisjunction_Children(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.SwitchImpl Switch}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SwitchImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getSwitch() * @generated */ EClass SWITCH = eINSTANCE.getSwitch(); /** * The meta object literal for the 'Cases' containment reference list feature. * * * @generated */ EReference SWITCH__CASES = eINSTANCE.getSwitch_Cases(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ConjunctionImpl Conjunction}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ConjunctionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConjunction() * @generated */ EClass CONJUNCTION = eINSTANCE.getConjunction(); /** * The meta object literal for the 'Children' containment reference list feature. * * * @generated */ EReference CONJUNCTION__CHILDREN = eINSTANCE.getConjunction_Children(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ComparisonImpl Comparison}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ComparisonImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getComparison() * @generated */ EClass COMPARISON = eINSTANCE.getComparison(); /** * The meta object literal for the 'Left' containment reference feature. * * * @generated */ EReference COMPARISON__LEFT = eINSTANCE.getComparison_Left(); /** * The meta object literal for the 'Op' attribute feature. * * * @generated */ EAttribute COMPARISON__OP = eINSTANCE.getComparison_Op(); /** * The meta object literal for the 'Right' containment reference feature. * * * @generated */ EReference COMPARISON__RIGHT = eINSTANCE.getComparison_Right(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BinaryExpressionImpl Binary Expression}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BinaryExpressionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBinaryExpression() * @generated */ EClass BINARY_EXPRESSION = eINSTANCE.getBinaryExpression(); /** * The meta object literal for the 'Left' containment reference feature. * * * @generated */ EReference BINARY_EXPRESSION__LEFT = eINSTANCE.getBinaryExpression_Left(); /** * The meta object literal for the 'Op' attribute feature. * * * @generated */ EAttribute BINARY_EXPRESSION__OP = eINSTANCE.getBinaryExpression_Op(); /** * The meta object literal for the 'Right' containment reference feature. * * * @generated */ EReference BINARY_EXPRESSION__RIGHT = eINSTANCE.getBinaryExpression_Right(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnaryExpressionImpl Unary Expression}' class. * * * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnaryExpressionImpl * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryExpression() * @generated */ EClass UNARY_EXPRESSION = eINSTANCE.getUnaryExpression(); /** * The meta object literal for the 'Op' attribute feature. * * * @generated */ EAttribute UNARY_EXPRESSION__OP = eINSTANCE.getUnaryExpression_Op(); /** * The meta object literal for the 'Body' containment reference feature. * * * @generated */ EReference UNARY_EXPRESSION__BODY = eINSTANCE.getUnaryExpression_Body(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricType Metric Type}' enum. * * * @see org.eclipse.viatra.solver.language.solverLanguage.MetricType * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMetricType() * @generated */ EEnum METRIC_TYPE = eINSTANCE.getMetricType(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator Binary Operator}' enum. * * * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBinaryOperator() * @generated */ EEnum BINARY_OPERATOR = eINSTANCE.getBinaryOperator(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryOp Unary Op}' enum. * * * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryOp * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryOp() * @generated */ EEnum UNARY_OP = eINSTANCE.getUnaryOp(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.AggregationOp Aggregation Op}' enum. * * * @see org.eclipse.viatra.solver.language.solverLanguage.AggregationOp * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAggregationOp() * @generated */ EEnum AGGREGATION_OP = eINSTANCE.getAggregationOp(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicValue Logic Value}' enum. * * * @see org.eclipse.viatra.solver.language.solverLanguage.LogicValue * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLogicValue() * @generated */ EEnum LOGIC_VALUE = eINSTANCE.getLogicValue(); /** * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind Objective Kind}' enum. * * * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveKind() * @generated */ EEnum OBJECTIVE_KIND = eINSTANCE.getObjectiveKind(); } } //SolverLanguagePackage