/**
* 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.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 = 5;
/**
* 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' reference.
*
*
* @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.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 = 6;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int EXTERN_PREDICATE_DEFINITION__NAME = STATEMENT_FEATURE_COUNT + 0;
/**
* The feature id for the 'Argument List' containment reference.
*
*
* @generated
* @ordered
*/
int EXTERN_PREDICATE_DEFINITION__ARGUMENT_LIST = STATEMENT_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Extern Predicate Definition' class.
*
*
* @generated
* @ordered
*/
int EXTERN_PREDICATE_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
/**
* 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' reference.
*
*
* @generated
* @ordered
*/
int EXTERN_METRIC_DEFINITION__TYPE = STATEMENT_FEATURE_COUNT + 0;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int EXTERN_METRIC_DEFINITION__NAME = STATEMENT_FEATURE_COUNT + 1;
/**
* The feature id for the 'Argument List' containment reference.
*
*
* @generated
* @ordered
*/
int EXTERN_METRIC_DEFINITION__ARGUMENT_LIST = STATEMENT_FEATURE_COUNT + 2;
/**
* The number of structural features of the 'Extern Metric Definition' class.
*
*
* @generated
* @ordered
*/
int EXTERN_METRIC_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 3;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternAggregatorDefinitionImpl Extern Aggregator Definition}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternAggregatorDefinitionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternAggregatorDefinition()
* @generated
*/
int EXTERN_AGGREGATOR_DEFINITION = 8;
/**
* The feature id for the 'Type' reference.
*
*
* @generated
* @ordered
*/
int EXTERN_AGGREGATOR_DEFINITION__TYPE = STATEMENT_FEATURE_COUNT + 0;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int EXTERN_AGGREGATOR_DEFINITION__NAME = STATEMENT_FEATURE_COUNT + 1;
/**
* The feature id for the 'Input Type' reference.
*
*
* @generated
* @ordered
*/
int EXTERN_AGGREGATOR_DEFINITION__INPUT_TYPE = STATEMENT_FEATURE_COUNT + 2;
/**
* The number of structural features of the 'Extern Aggregator Definition' class.
*
*
* @generated
* @ordered
*/
int EXTERN_AGGREGATOR_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 3;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternDatatypeDefinitionImpl Extern Datatype Definition}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternDatatypeDefinitionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternDatatypeDefinition()
* @generated
*/
int EXTERN_DATATYPE_DEFINITION = 9;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int EXTERN_DATATYPE_DEFINITION__NAME = STATEMENT_FEATURE_COUNT + 0;
/**
* The feature id for the 'Supertypes' reference list.
*
*
* @generated
* @ordered
*/
int EXTERN_DATATYPE_DEFINITION__SUPERTYPES = STATEMENT_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Extern Datatype Definition' class.
*
*
* @generated
* @ordered
*/
int EXTERN_DATATYPE_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 = 10;
/**
* 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.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 = 11;
/**
* 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 = 12;
/**
* The feature id for the 'Then' containment reference.
*
*
* @generated
* @ordered
*/
int IF_ELSE__THEN = EXPRESSION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Else' containment reference.
*
*
* @generated
* @ordered
*/
int IF_ELSE__ELSE = EXPRESSION_FEATURE_COUNT + 1;
/**
* The feature id for the 'Condition' containment reference.
*
*
* @generated
* @ordered
*/
int IF_ELSE__CONDITION = 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.LetImpl Let}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.LetImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLet()
* @generated
*/
int LET = 13;
/**
* The feature id for the 'Bindings' containment reference list.
*
*
* @generated
* @ordered
*/
int LET__BINDINGS = EXPRESSION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Body' containment reference.
*
*
* @generated
* @ordered
*/
int LET__BODY = EXPRESSION_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Let' class.
*
*
* @generated
* @ordered
*/
int LET_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 2;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LetBindingImpl Let Binding}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.LetBindingImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLetBinding()
* @generated
*/
int LET_BINDING = 14;
/**
* The feature id for the 'Variable' containment reference.
*
*
* @generated
* @ordered
*/
int LET_BINDING__VARIABLE = 0;
/**
* The feature id for the 'Value' containment reference.
*
*
* @generated
* @ordered
*/
int LET_BINDING__VALUE = 1;
/**
* The number of structural features of the 'Let Binding' class.
*
*
* @generated
* @ordered
*/
int LET_BINDING_FEATURE_COUNT = 2;
/**
* 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 = 15;
/**
* The feature id for the 'Body' containment reference.
*
*
* @generated
* @ordered
*/
int CASE__BODY = EXPRESSION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Condition' containment reference.
*
*
* @generated
* @ordered
*/
int CASE__CONDITION = 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.LocalVariablesImpl Local Variables}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.LocalVariablesImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLocalVariables()
* @generated
*/
int LOCAL_VARIABLES = 16;
/**
* The feature id for the 'Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int LOCAL_VARIABLES__VARIABLES = 0;
/**
* The number of structural features of the 'Local Variables' class.
*
*
* @generated
* @ordered
*/
int LOCAL_VARIABLES_FEATURE_COUNT = 1;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.QuantifiedExpressionImpl Quantified Expression}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.QuantifiedExpressionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getQuantifiedExpression()
* @generated
*/
int QUANTIFIED_EXPRESSION = 17;
/**
* The feature id for the 'Local Variables' containment reference.
*
*
* @generated
* @ordered
*/
int QUANTIFIED_EXPRESSION__LOCAL_VARIABLES = EXPRESSION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Body' containment reference.
*
*
* @generated
* @ordered
*/
int QUANTIFIED_EXPRESSION__BODY = EXPRESSION_FEATURE_COUNT + 1;
/**
* The feature id for the 'Quantifier' attribute.
*
*
* @generated
* @ordered
*/
int QUANTIFIED_EXPRESSION__QUANTIFIER = EXPRESSION_FEATURE_COUNT + 2;
/**
* The number of structural features of the 'Quantified Expression' class.
*
*
* @generated
* @ordered
*/
int QUANTIFIED_EXPRESSION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 3;
/**
* 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 = 18;
/**
* The feature id for the 'Op' reference.
*
*
* @generated
* @ordered
*/
int AGGREGATION__OP = EXPRESSION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Local Variables' containment reference.
*
*
* @generated
* @ordered
*/
int AGGREGATION__LOCAL_VARIABLES = EXPRESSION_FEATURE_COUNT + 1;
/**
* The feature id for the 'Body' containment reference.
*
*
* @generated
* @ordered
*/
int AGGREGATION__BODY = EXPRESSION_FEATURE_COUNT + 2;
/**
* The feature id for the 'Condition' containment reference.
*
*
* @generated
* @ordered
*/
int AGGREGATION__CONDITION = EXPRESSION_FEATURE_COUNT + 3;
/**
* The number of structural features of the 'Aggregation' class.
*
*
* @generated
* @ordered
*/
int AGGREGATION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 4;
/**
* 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 = 19;
/**
* 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 = 20;
/**
* 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 = 21;
/**
* 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 = 22;
/**
* 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 = 23;
/**
* 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 = 24;
/**
* 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 = 25;
/**
* 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 = 26;
/**
* 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 = 27;
/**
* 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 = 28;
/**
* 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 = 29;
/**
* 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 = 30;
/**
* 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 = 31;
/**
* 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 = 32;
/**
* 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 = 33;
/**
* 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 = 34;
/**
* 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 = 35;
/**
* 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 = 36;
/**
* 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 = 37;
/**
* 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 = 38;
/**
* 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 = 39;
/**
* 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 = 40;
/**
* 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 = 41;
/**
* 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 = 42;
/**
* 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 = 43;
/**
* 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 = 44;
/**
* 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.InterpretationImpl Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInterpretation()
* @generated
*/
int INTERPRETATION = 45;
/**
* The feature id for the 'Body' containment reference.
*
*
* @generated
* @ordered
*/
int INTERPRETATION__BODY = STATEMENT_FEATURE_COUNT + 0;
/**
* The feature id for the 'Range' containment reference.
*
*
* @generated
* @ordered
*/
int INTERPRETATION__RANGE = STATEMENT_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Interpretation' class.
*
*
* @generated
* @ordered
*/
int INTERPRETATION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl Variable}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getVariable()
* @generated
*/
int VARIABLE = 46;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int VARIABLE__NAME = NAMED_ELEMENT__NAME;
/**
* The feature id for the 'Type' reference.
*
*
* @generated
* @ordered
*/
int VARIABLE__TYPE = NAMED_ELEMENT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Variable' class.
*
*
* @generated
* @ordered
*/
int VARIABLE_FEATURE_COUNT = NAMED_ELEMENT_FEATURE_COUNT + 1;
/**
* 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 = 47;
/**
* 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 = 48;
/**
* 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 = 49;
/**
* 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 = 50;
/**
* 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 = 51;
/**
* 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.CastExpressionImpl Cast Expression}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.CastExpressionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCastExpression()
* @generated
*/
int CAST_EXPRESSION = 52;
/**
* The feature id for the 'Body' containment reference.
*
*
* @generated
* @ordered
*/
int CAST_EXPRESSION__BODY = EXPRESSION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Type' reference.
*
*
* @generated
* @ordered
*/
int CAST_EXPRESSION__TYPE = EXPRESSION_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Cast Expression' class.
*
*
* @generated
* @ordered
*/
int CAST_EXPRESSION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 2;
/**
* 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 = 53;
/**
* 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.impl.NodeImpl Node}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.NodeImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNode()
* @generated
*/
int NODE = 54;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int NODE__NAME = NAMED_ELEMENT__NAME;
/**
* The feature id for the 'With Id' attribute.
*
*
* @generated
* @ordered
*/
int NODE__WITH_ID = NAMED_ELEMENT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Node' class.
*
*
* @generated
* @ordered
*/
int NODE_FEATURE_COUNT = NAMED_ELEMENT_FEATURE_COUNT + 1;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FunctorImpl Functor}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.FunctorImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFunctor()
* @generated
*/
int FUNCTOR = 55;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int FUNCTOR__NAME = NAMED_ELEMENT__NAME;
/**
* The feature id for the 'Parameters' reference list.
*
*
* @generated
* @ordered
*/
int FUNCTOR__PARAMETERS = NAMED_ELEMENT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Functor' class.
*
*
* @generated
* @ordered
*/
int FUNCTOR_FEATURE_COUNT = NAMED_ELEMENT_FEATURE_COUNT + 1;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl Predicate}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicate()
* @generated
*/
int PREDICATE = 56;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int PREDICATE__NAME = FUNCTOR__NAME;
/**
* The feature id for the 'Parameters' reference list.
*
*
* @generated
* @ordered
*/
int PREDICATE__PARAMETERS = FUNCTOR__PARAMETERS;
/**
* The number of structural features of the 'Predicate' class.
*
*
* @generated
* @ordered
*/
int PREDICATE_FEATURE_COUNT = FUNCTOR_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MetricImpl Metric}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.MetricImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMetric()
* @generated
*/
int METRIC = 57;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int METRIC__NAME = FUNCTOR__NAME;
/**
* The feature id for the 'Parameters' reference list.
*
*
* @generated
* @ordered
*/
int METRIC__PARAMETERS = FUNCTOR__PARAMETERS;
/**
* The feature id for the 'Return Type' reference.
*
*
* @generated
* @ordered
*/
int METRIC__RETURN_TYPE = FUNCTOR_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Metric' class.
*
*
* @generated
* @ordered
*/
int METRIC_FEATURE_COUNT = FUNCTOR_FEATURE_COUNT + 1;
/**
* 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 = 58;
/**
* 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 = 59;
/**
* 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 = 60;
/**
* 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 = 61;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.Quantifier Quantifier}' enum.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.Quantifier
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getQuantifier()
* @generated
*/
int QUANTIFIER = 62;
/**
* 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.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 reference '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getType Type}'.
*
*
* @return the meta object for the reference 'Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getType()
* @see #getMetricDefinition()
* @generated
*/
EReference getMetricDefinition_Type();
/**
* 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 attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition#getName()
* @see #getExternPredicateDefinition()
* @generated
*/
EAttribute getExternPredicateDefinition_Name();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition#getArgumentList Argument List}'.
*
*
* @return the meta object for the containment reference 'Argument List'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition#getArgumentList()
* @see #getExternPredicateDefinition()
* @generated
*/
EReference getExternPredicateDefinition_ArgumentList();
/**
* 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 reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getType Type}'.
*
*
* @return the meta object for the reference 'Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getType()
* @see #getExternMetricDefinition()
* @generated
*/
EReference getExternMetricDefinition_Type();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getName()
* @see #getExternMetricDefinition()
* @generated
*/
EAttribute getExternMetricDefinition_Name();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getArgumentList Argument List}'.
*
*
* @return the meta object for the containment reference 'Argument List'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getArgumentList()
* @see #getExternMetricDefinition()
* @generated
*/
EReference getExternMetricDefinition_ArgumentList();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition Extern Aggregator Definition}'.
*
*
* @return the meta object for class 'Extern Aggregator Definition'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition
* @generated
*/
EClass getExternAggregatorDefinition();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition#getType Type}'.
*
*
* @return the meta object for the reference 'Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition#getType()
* @see #getExternAggregatorDefinition()
* @generated
*/
EReference getExternAggregatorDefinition_Type();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition#getName()
* @see #getExternAggregatorDefinition()
* @generated
*/
EAttribute getExternAggregatorDefinition_Name();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition#getInputType Input Type}'.
*
*
* @return the meta object for the reference 'Input Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition#getInputType()
* @see #getExternAggregatorDefinition()
* @generated
*/
EReference getExternAggregatorDefinition_InputType();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternDatatypeDefinition Extern Datatype Definition}'.
*
*
* @return the meta object for class 'Extern Datatype Definition'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternDatatypeDefinition
* @generated
*/
EClass getExternDatatypeDefinition();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternDatatypeDefinition#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternDatatypeDefinition#getName()
* @see #getExternDatatypeDefinition()
* @generated
*/
EAttribute getExternDatatypeDefinition_Name();
/**
* Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternDatatypeDefinition#getSupertypes Supertypes}'.
*
*
* @return the meta object for the reference list 'Supertypes'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternDatatypeDefinition#getSupertypes()
* @see #getExternDatatypeDefinition()
* @generated
*/
EReference getExternDatatypeDefinition_Supertypes();
/**
* 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.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#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 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 class '{@link org.eclipse.viatra.solver.language.solverLanguage.Let Let}'.
*
*
* @return the meta object for class 'Let'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Let
* @generated
*/
EClass getLet();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Let#getBindings Bindings}'.
*
*
* @return the meta object for the containment reference list 'Bindings'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Let#getBindings()
* @see #getLet()
* @generated
*/
EReference getLet_Bindings();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Let#getBody Body}'.
*
*
* @return the meta object for the containment reference 'Body'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Let#getBody()
* @see #getLet()
* @generated
*/
EReference getLet_Body();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.LetBinding Let Binding}'.
*
*
* @return the meta object for class 'Let Binding'.
* @see org.eclipse.viatra.solver.language.solverLanguage.LetBinding
* @generated
*/
EClass getLetBinding();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.LetBinding#getVariable Variable}'.
*
*
* @return the meta object for the containment reference 'Variable'.
* @see org.eclipse.viatra.solver.language.solverLanguage.LetBinding#getVariable()
* @see #getLetBinding()
* @generated
*/
EReference getLetBinding_Variable();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.LetBinding#getValue Value}'.
*
*
* @return the meta object for the containment reference 'Value'.
* @see org.eclipse.viatra.solver.language.solverLanguage.LetBinding#getValue()
* @see #getLetBinding()
* @generated
*/
EReference getLetBinding_Value();
/**
* 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#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 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 class '{@link org.eclipse.viatra.solver.language.solverLanguage.LocalVariables Local Variables}'.
*
*
* @return the meta object for class 'Local Variables'.
* @see org.eclipse.viatra.solver.language.solverLanguage.LocalVariables
* @generated
*/
EClass getLocalVariables();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.LocalVariables#getVariables Variables}'.
*
*
* @return the meta object for the containment reference list 'Variables'.
* @see org.eclipse.viatra.solver.language.solverLanguage.LocalVariables#getVariables()
* @see #getLocalVariables()
* @generated
*/
EReference getLocalVariables_Variables();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression Quantified Expression}'.
*
*
* @return the meta object for class 'Quantified Expression'.
* @see org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression
* @generated
*/
EClass getQuantifiedExpression();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression#getLocalVariables Local Variables}'.
*
*
* @return the meta object for the containment reference 'Local Variables'.
* @see org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression#getLocalVariables()
* @see #getQuantifiedExpression()
* @generated
*/
EReference getQuantifiedExpression_LocalVariables();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression#getBody Body}'.
*
*
* @return the meta object for the containment reference 'Body'.
* @see org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression#getBody()
* @see #getQuantifiedExpression()
* @generated
*/
EReference getQuantifiedExpression_Body();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression#getQuantifier Quantifier}'.
*
*
* @return the meta object for the attribute 'Quantifier'.
* @see org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression#getQuantifier()
* @see #getQuantifiedExpression()
* @generated
*/
EAttribute getQuantifiedExpression_Quantifier();
/**
* 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 reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getOp Op}'.
*
*
* @return the meta object for the reference 'Op'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getOp()
* @see #getAggregation()
* @generated
*/
EReference getAggregation_Op();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getLocalVariables Local Variables}'.
*
*
* @return the meta object for the containment reference 'Local Variables'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getLocalVariables()
* @see #getAggregation()
* @generated
*/
EReference getAggregation_LocalVariables();
/**
* 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.Interpretation Interpretation}'.
*
*
* @return the meta object for class 'Interpretation'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Interpretation
* @generated
*/
EClass getInterpretation();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Interpretation#getBody Body}'.
*
*
* @return the meta object for the containment reference 'Body'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Interpretation#getBody()
* @see #getInterpretation()
* @generated
*/
EReference getInterpretation_Body();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Interpretation#getRange Range}'.
*
*
* @return the meta object for the containment reference 'Range'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Interpretation#getRange()
* @see #getInterpretation()
* @generated
*/
EReference getInterpretation_Range();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Variable Variable}'.
*
*
* @return the meta object for class 'Variable'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Variable
* @generated
*/
EClass getVariable();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Variable#getType Type}'.
*
*
* @return the meta object for the reference 'Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Variable#getType()
* @see #getVariable()
* @generated
*/
EReference getVariable_Type();
/**
* 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.CastExpression Cast Expression}'.
*
*
* @return the meta object for class 'Cast Expression'.
* @see org.eclipse.viatra.solver.language.solverLanguage.CastExpression
* @generated
*/
EClass getCastExpression();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.CastExpression#getBody Body}'.
*
*
* @return the meta object for the containment reference 'Body'.
* @see org.eclipse.viatra.solver.language.solverLanguage.CastExpression#getBody()
* @see #getCastExpression()
* @generated
*/
EReference getCastExpression_Body();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.CastExpression#getType Type}'.
*
*
* @return the meta object for the reference 'Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.CastExpression#getType()
* @see #getCastExpression()
* @generated
*/
EReference getCastExpression_Type();
/**
* 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 class '{@link org.eclipse.viatra.solver.language.solverLanguage.Node Node}'.
*
*
* @return the meta object for class 'Node'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Node
* @generated
*/
EClass getNode();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Node#isWithId With Id}'.
*
*
* @return the meta object for the attribute 'With Id'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Node#isWithId()
* @see #getNode()
* @generated
*/
EAttribute getNode_WithId();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Functor Functor}'.
*
*
* @return the meta object for class 'Functor'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Functor
* @generated
*/
EClass getFunctor();
/**
* Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Functor#getParameters Parameters}'.
*
*
* @return the meta object for the reference list 'Parameters'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Functor#getParameters()
* @see #getFunctor()
* @generated
*/
EReference getFunctor_Parameters();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate Predicate}'.
*
*
* @return the meta object for class 'Predicate'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Predicate
* @generated
*/
EClass getPredicate();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Metric Metric}'.
*
*
* @return the meta object for class 'Metric'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Metric
* @generated
*/
EClass getMetric();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Metric#getReturnType Return Type}'.
*
*
* @return the meta object for the reference 'Return Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Metric#getReturnType()
* @see #getMetric()
* @generated
*/
EReference getMetric_ReturnType();
/**
* 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.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 meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.Quantifier Quantifier}'.
*
*
* @return the meta object for enum 'Quantifier'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Quantifier
* @generated
*/
EEnum getQuantifier();
/**
* 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.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' reference feature.
*
*
* @generated
*/
EReference METRIC_DEFINITION__TYPE = eINSTANCE.getMetricDefinition_Type();
/**
* 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 'Name' attribute feature.
*
*
* @generated
*/
EAttribute EXTERN_PREDICATE_DEFINITION__NAME = eINSTANCE.getExternPredicateDefinition_Name();
/**
* The meta object literal for the 'Argument List' containment reference feature.
*
*
* @generated
*/
EReference EXTERN_PREDICATE_DEFINITION__ARGUMENT_LIST = eINSTANCE.getExternPredicateDefinition_ArgumentList();
/**
* 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' reference feature.
*
*
* @generated
*/
EReference EXTERN_METRIC_DEFINITION__TYPE = eINSTANCE.getExternMetricDefinition_Type();
/**
* The meta object literal for the 'Name' attribute feature.
*
*
* @generated
*/
EAttribute EXTERN_METRIC_DEFINITION__NAME = eINSTANCE.getExternMetricDefinition_Name();
/**
* The meta object literal for the 'Argument List' containment reference feature.
*
*
* @generated
*/
EReference EXTERN_METRIC_DEFINITION__ARGUMENT_LIST = eINSTANCE.getExternMetricDefinition_ArgumentList();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternAggregatorDefinitionImpl Extern Aggregator Definition}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternAggregatorDefinitionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternAggregatorDefinition()
* @generated
*/
EClass EXTERN_AGGREGATOR_DEFINITION = eINSTANCE.getExternAggregatorDefinition();
/**
* The meta object literal for the 'Type' reference feature.
*
*
* @generated
*/
EReference EXTERN_AGGREGATOR_DEFINITION__TYPE = eINSTANCE.getExternAggregatorDefinition_Type();
/**
* The meta object literal for the 'Name' attribute feature.
*
*
* @generated
*/
EAttribute EXTERN_AGGREGATOR_DEFINITION__NAME = eINSTANCE.getExternAggregatorDefinition_Name();
/**
* The meta object literal for the 'Input Type' reference feature.
*
*
* @generated
*/
EReference EXTERN_AGGREGATOR_DEFINITION__INPUT_TYPE = eINSTANCE.getExternAggregatorDefinition_InputType();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternDatatypeDefinitionImpl Extern Datatype Definition}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternDatatypeDefinitionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternDatatypeDefinition()
* @generated
*/
EClass EXTERN_DATATYPE_DEFINITION = eINSTANCE.getExternDatatypeDefinition();
/**
* The meta object literal for the 'Name' attribute feature.
*
*
* @generated
*/
EAttribute EXTERN_DATATYPE_DEFINITION__NAME = eINSTANCE.getExternDatatypeDefinition_Name();
/**
* The meta object literal for the 'Supertypes' reference list feature.
*
*
* @generated
*/
EReference EXTERN_DATATYPE_DEFINITION__SUPERTYPES = eINSTANCE.getExternDatatypeDefinition_Supertypes();
/**
* 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.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 '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 'Condition' containment reference feature.
*
*
* @generated
*/
EReference IF_ELSE__CONDITION = eINSTANCE.getIfElse_Condition();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LetImpl Let}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.LetImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLet()
* @generated
*/
EClass LET = eINSTANCE.getLet();
/**
* The meta object literal for the 'Bindings' containment reference list feature.
*
*
* @generated
*/
EReference LET__BINDINGS = eINSTANCE.getLet_Bindings();
/**
* The meta object literal for the 'Body' containment reference feature.
*
*
* @generated
*/
EReference LET__BODY = eINSTANCE.getLet_Body();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LetBindingImpl Let Binding}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.LetBindingImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLetBinding()
* @generated
*/
EClass LET_BINDING = eINSTANCE.getLetBinding();
/**
* The meta object literal for the 'Variable' containment reference feature.
*
*
* @generated
*/
EReference LET_BINDING__VARIABLE = eINSTANCE.getLetBinding_Variable();
/**
* The meta object literal for the 'Value' containment reference feature.
*
*
* @generated
*/
EReference LET_BINDING__VALUE = eINSTANCE.getLetBinding_Value();
/**
* 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 'Body' containment reference feature.
*
*
* @generated
*/
EReference CASE__BODY = eINSTANCE.getCase_Body();
/**
* The meta object literal for the 'Condition' containment reference feature.
*
*
* @generated
*/
EReference CASE__CONDITION = eINSTANCE.getCase_Condition();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LocalVariablesImpl Local Variables}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.LocalVariablesImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLocalVariables()
* @generated
*/
EClass LOCAL_VARIABLES = eINSTANCE.getLocalVariables();
/**
* The meta object literal for the 'Variables' containment reference list feature.
*
*
* @generated
*/
EReference LOCAL_VARIABLES__VARIABLES = eINSTANCE.getLocalVariables_Variables();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.QuantifiedExpressionImpl Quantified Expression}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.QuantifiedExpressionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getQuantifiedExpression()
* @generated
*/
EClass QUANTIFIED_EXPRESSION = eINSTANCE.getQuantifiedExpression();
/**
* The meta object literal for the 'Local Variables' containment reference feature.
*
*
* @generated
*/
EReference QUANTIFIED_EXPRESSION__LOCAL_VARIABLES = eINSTANCE.getQuantifiedExpression_LocalVariables();
/**
* The meta object literal for the 'Body' containment reference feature.
*
*
* @generated
*/
EReference QUANTIFIED_EXPRESSION__BODY = eINSTANCE.getQuantifiedExpression_Body();
/**
* The meta object literal for the 'Quantifier' attribute feature.
*
*
* @generated
*/
EAttribute QUANTIFIED_EXPRESSION__QUANTIFIER = eINSTANCE.getQuantifiedExpression_Quantifier();
/**
* 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' reference feature.
*
*
* @generated
*/
EReference AGGREGATION__OP = eINSTANCE.getAggregation_Op();
/**
* The meta object literal for the 'Local Variables' containment reference feature.
*
*
* @generated
*/
EReference AGGREGATION__LOCAL_VARIABLES = eINSTANCE.getAggregation_LocalVariables();
/**
* 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.InterpretationImpl Interpretation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInterpretation()
* @generated
*/
EClass INTERPRETATION = eINSTANCE.getInterpretation();
/**
* The meta object literal for the 'Body' containment reference feature.
*
*
* @generated
*/
EReference INTERPRETATION__BODY = eINSTANCE.getInterpretation_Body();
/**
* The meta object literal for the 'Range' containment reference feature.
*
*
* @generated
*/
EReference INTERPRETATION__RANGE = eINSTANCE.getInterpretation_Range();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl Variable}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getVariable()
* @generated
*/
EClass VARIABLE = eINSTANCE.getVariable();
/**
* The meta object literal for the 'Type' reference feature.
*
*
* @generated
*/
EReference VARIABLE__TYPE = eINSTANCE.getVariable_Type();
/**
* 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.CastExpressionImpl Cast Expression}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.CastExpressionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCastExpression()
* @generated
*/
EClass CAST_EXPRESSION = eINSTANCE.getCastExpression();
/**
* The meta object literal for the 'Body' containment reference feature.
*
*
* @generated
*/
EReference CAST_EXPRESSION__BODY = eINSTANCE.getCastExpression_Body();
/**
* The meta object literal for the 'Type' reference feature.
*
*
* @generated
*/
EReference CAST_EXPRESSION__TYPE = eINSTANCE.getCastExpression_Type();
/**
* 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.impl.NodeImpl Node}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.NodeImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNode()
* @generated
*/
EClass NODE = eINSTANCE.getNode();
/**
* The meta object literal for the 'With Id' attribute feature.
*
*
* @generated
*/
EAttribute NODE__WITH_ID = eINSTANCE.getNode_WithId();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FunctorImpl Functor}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.FunctorImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFunctor()
* @generated
*/
EClass FUNCTOR = eINSTANCE.getFunctor();
/**
* The meta object literal for the 'Parameters' reference list feature.
*
*
* @generated
*/
EReference FUNCTOR__PARAMETERS = eINSTANCE.getFunctor_Parameters();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl Predicate}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicate()
* @generated
*/
EClass PREDICATE = eINSTANCE.getPredicate();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MetricImpl Metric}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.MetricImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMetric()
* @generated
*/
EClass METRIC = eINSTANCE.getMetric();
/**
* The meta object literal for the 'Return Type' reference feature.
*
*
* @generated
*/
EReference METRIC__RETURN_TYPE = eINSTANCE.getMetric_ReturnType();
/**
* 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.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();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.Quantifier Quantifier}' enum.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.Quantifier
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getQuantifier()
* @generated
*/
EEnum QUANTIFIER = eINSTANCE.getQuantifier();
}
} //SolverLanguagePackage