/**
* 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
*
* - each class,
* - each feature of each class,
* - each enum,
* - and each data type
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguageFactory
* @model kind="package"
* @generated
*/
public interface SolverLanguagePackage extends EPackage
{
/**
* The package name.
*
*
* @generated
*/
String eNAME = "solverLanguage";
/**
* The package namespace URI.
*
*
* @generated
*/
String eNS_URI = "http://www.eclipse.org/viatra/solver/language/SolverLanguage";
/**
* The package namespace name.
*
*
* @generated
*/
String eNS_PREFIX = "solverLanguage";
/**
* The singleton instance of the package.
*
*
* @generated
*/
SolverLanguagePackage eINSTANCE = org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl.init();
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl Problem}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getProblem()
* @generated
*/
int PROBLEM = 0;
/**
* The feature id for the 'Statements' containment reference list.
*
*
* @generated
* @ordered
*/
int PROBLEM__STATEMENTS = 0;
/**
* The number of structural features of the 'Problem' class.
*
*
* @generated
* @ordered
*/
int PROBLEM_FEATURE_COUNT = 1;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl Statement}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStatement()
* @generated
*/
int STATEMENT = 1;
/**
* The number of structural features of the 'Statement' class.
*
*
* @generated
* @ordered
*/
int STATEMENT_FEATURE_COUNT = 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.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 '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 '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 '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 '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 '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 '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 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 '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 '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 '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 '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 'Functor' containment reference.
*
*
* @generated
* @ordered
*/
int CALL__FUNCTOR = EXPRESSION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Transitive Closure' attribute.
*
*
* @generated
* @ordered
*/
int CALL__TRANSITIVE_CLOSURE = EXPRESSION_FEATURE_COUNT + 1;
/**
* The feature id for the 'Reflexive Transitive Closure' attribute.
*
*
* @generated
* @ordered
*/
int CALL__REFLEXIVE_TRANSITIVE_CLOSURE = EXPRESSION_FEATURE_COUNT + 2;
/**
* The feature id for the 'Argument List' containment reference.
*
*
* @generated
* @ordered
*/
int CALL__ARGUMENT_LIST = 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 '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 '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 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 '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 '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 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 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 '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.ClassDefinitionImpl Class Definition}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassDefinition()
* @generated
*/
int CLASS_DEFINITION = 28;
/**
* The feature id for the 'Abstract' attribute.
*
*
* @generated
* @ordered
*/
int CLASS_DEFINITION__ABSTRACT = STATEMENT_FEATURE_COUNT + 0;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int CLASS_DEFINITION__NAME = STATEMENT_FEATURE_COUNT + 1;
/**
* The feature id for the 'Superclasses' reference list.
*
*
* @generated
* @ordered
*/
int CLASS_DEFINITION__SUPERCLASSES = STATEMENT_FEATURE_COUNT + 2;
/**
* The feature id for the 'Members' containment reference list.
*
*
* @generated
* @ordered
*/
int CLASS_DEFINITION__MEMBERS = STATEMENT_FEATURE_COUNT + 3;
/**
* The number of structural features of the 'Class Definition' class.
*
*
* @generated
* @ordered
*/
int CLASS_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 4;
/**
* 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 = 29;
/**
* 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 = 30;
/**
* 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 = 31;
/**
* 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 = 32;
/**
* 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 = 33;
/**
* 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 = 34;
/**
* 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 = 35;
/**
* 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 = 36;
/**
* 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 = 37;
/**
* 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 = 38;
/**
* 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 = 39;
/**
* 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 = 40;
/**
* 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 = 41;
/**
* 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 = 42;
/**
* 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 = 43;
/**
* 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 = 44;
/**
* 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 = 45;
/**
* 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 = 46;
/**
* 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 = 47;
/**
* 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 = 48;
/**
* 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 = 49;
/**
* 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 = 50;
/**
* 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 = 51;
/**
* 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 = 52;
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem Problem}'.
*
*
* @return the meta object for class 'Problem'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Problem
* @generated
*/
EClass getProblem();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem#getStatements Statements}'.
*
*
* @return the meta object for the containment reference list 'Statements'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Problem#getStatements()
* @see #getProblem()
* @generated
*/
EReference getProblem_Statements();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement Statement}'.
*
*
* @return the meta object for class 'Statement'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Statement
* @generated
*/
EClass getStatement();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.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 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 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 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.ClassDefinition Class Definition}'.
*
*
* @return the meta object for class 'Class Definition'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition
* @generated
*/
EClass getClassDefinition();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#isAbstract Abstract}'.
*
*
* @return the meta object for the attribute 'Abstract'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#isAbstract()
* @see #getClassDefinition()
* @generated
*/
EAttribute getClassDefinition_Abstract();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getName()
* @see #getClassDefinition()
* @generated
*/
EAttribute getClassDefinition_Name();
/**
* Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getSuperclasses Superclasses}'.
*
*
* @return the meta object for the reference list 'Superclasses'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getSuperclasses()
* @see #getClassDefinition()
* @generated
*/
EReference getClassDefinition_Superclasses();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getMembers Members}'.
*
*
* @return the meta object for the containment reference list 'Members'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getMembers()
* @see #getClassDefinition()
* @generated
*/
EReference getClassDefinition_Members();
/**
* 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
*
* - each class,
* - each feature of each class,
* - each enum,
* - and each data type
*
*
* @generated
*/
interface Literals
{
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl Problem}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getProblem()
* @generated
*/
EClass PROBLEM = eINSTANCE.getProblem();
/**
* The meta object literal for the 'Statements' containment reference list feature.
*
*
* @generated
*/
EReference PROBLEM__STATEMENTS = eINSTANCE.getProblem_Statements();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl Statement}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStatement()
* @generated
*/
EClass STATEMENT = eINSTANCE.getStatement();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.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 '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 'Argument List' containment reference feature.
*
*
* @generated
*/
EReference CALL__ARGUMENT_LIST = eINSTANCE.getCall_ArgumentList();
/**
* 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.ClassDefinitionImpl Class Definition}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassDefinition()
* @generated
*/
EClass CLASS_DEFINITION = eINSTANCE.getClassDefinition();
/**
* The meta object literal for the 'Abstract' attribute feature.
*
*
* @generated
*/
EAttribute CLASS_DEFINITION__ABSTRACT = eINSTANCE.getClassDefinition_Abstract();
/**
* The meta object literal for the 'Name' attribute feature.
*
*
* @generated
*/
EAttribute CLASS_DEFINITION__NAME = eINSTANCE.getClassDefinition_Name();
/**
* The meta object literal for the 'Superclasses' reference list feature.
*
*
* @generated
*/
EReference CLASS_DEFINITION__SUPERCLASSES = eINSTANCE.getClassDefinition_Superclasses();
/**
* The meta object literal for the 'Members' containment reference list feature.
*
*
* @generated
*/
EReference CLASS_DEFINITION__MEMBERS = eINSTANCE.getClassDefinition_Members();
/**
* 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