/**
*/
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 operation 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.PathComponentImpl Path Component}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.PathComponentImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPathComponent()
* @generated
*/
int PATH_COMPONENT = 0;
/**
* The feature id for the 'Symbol' reference.
*
*
* @generated
* @ordered
*/
int PATH_COMPONENT__SYMBOL = 0;
/**
* The feature id for the 'Inverse' attribute.
*
*
* @generated
* @ordered
*/
int PATH_COMPONENT__INVERSE = 1;
/**
* The feature id for the 'Transitive Closure' attribute.
*
*
* @generated
* @ordered
*/
int PATH_COMPONENT__TRANSITIVE_CLOSURE = 2;
/**
* The feature id for the 'Reflexive Transitive Closure' attribute.
*
*
* @generated
* @ordered
*/
int PATH_COMPONENT__REFLEXIVE_TRANSITIVE_CLOSURE = 3;
/**
* The number of structural features of the 'Path Component' class.
*
*
* @generated
* @ordered
*/
int PATH_COMPONENT_FEATURE_COUNT = 4;
/**
* The number of operations of the 'Path Component' class.
*
*
* @generated
* @ordered
*/
int PATH_COMPONENT_OPERATION_COUNT = 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.SymbolImpl Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getSymbol()
* @generated
*/
int SYMBOL = 1;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int SYMBOL__NAME = 0;
/**
* The number of structural features of the 'Symbol' class.
*
*
* @generated
* @ordered
*/
int SYMBOL_FEATURE_COUNT = 1;
/**
* The number of operations of the 'Symbol' class.
*
*
* @generated
* @ordered
*/
int SYMBOL_OPERATION_COUNT = 0;
/**
* 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 = 44;
/**
* The number of structural features of the 'Statement' class.
*
*
* @generated
* @ordered
*/
int STATEMENT_FEATURE_COUNT = 0;
/**
* The number of operations of the 'Statement' class.
*
*
* @generated
* @ordered
*/
int STATEMENT_OPERATION_COUNT = 0;
/**
* 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 = 4;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int EXPRESSION__EXISTS_VARIABLES = STATEMENT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Expression' class.
*
*
* @generated
* @ordered
*/
int EXPRESSION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Expression' class.
*
*
* @generated
* @ordered
*/
int EXPRESSION_OPERATION_COUNT = STATEMENT_OPERATION_COUNT + 0;
/**
* 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 = 2;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int CALL__EXISTS_VARIABLES = EXPRESSION__EXISTS_VARIABLES;
/**
* The feature id for the 'Functor' containment reference.
*
*
* @generated
* @ordered
*/
int CALL__FUNCTOR = EXPRESSION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Argument List' containment reference.
*
*
* @generated
* @ordered
*/
int CALL__ARGUMENT_LIST = EXPRESSION_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Call' class.
*
*
* @generated
* @ordered
*/
int CALL_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Call' class.
*
*
* @generated
* @ordered
*/
int CALL_OPERATION_COUNT = EXPRESSION_OPERATION_COUNT + 0;
/**
* 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 = 3;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int REFERENCE__EXISTS_VARIABLES = EXPRESSION__EXISTS_VARIABLES;
/**
* The feature id for the 'Components' containment reference list.
*
*
* @generated
* @ordered
*/
int REFERENCE__COMPONENTS = EXPRESSION_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Reference' class.
*
*
* @generated
* @ordered
*/
int REFERENCE_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Reference' class.
*
*
* @generated
* @ordered
*/
int REFERENCE_OPERATION_COUNT = EXPRESSION_OPERATION_COUNT + 0;
/**
* 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 = 5;
/**
* The number of structural features of the 'Argument' class.
*
*
* @generated
* @ordered
*/
int ARGUMENT_FEATURE_COUNT = 0;
/**
* The number of operations of the 'Argument' class.
*
*
* @generated
* @ordered
*/
int ARGUMENT_OPERATION_COUNT = 0;
/**
* 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 = 6;
/**
* 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 number of operations of the 'Argument List' class.
*
*
* @generated
* @ordered
*/
int ARGUMENT_LIST_OPERATION_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 = 7;
/**
* The feature id for the 'Expression' containment reference.
*
*
* @generated
* @ordered
*/
int EXPRESSION_ARGUMENT__EXPRESSION = 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 number of operations of the 'Expression Argument' class.
*
*
* @generated
* @ordered
*/
int EXPRESSION_ARGUMENT_OPERATION_COUNT = ARGUMENT_OPERATION_COUNT + 0;
/**
* 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 = 8;
/**
* The number of structural features of the 'Star Argument' class.
*
*
* @generated
* @ordered
*/
int STAR_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Star Argument' class.
*
*
* @generated
* @ordered
*/
int STAR_ARGUMENT_OPERATION_COUNT = ARGUMENT_OPERATION_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 = 9;
/**
* The feature id for the 'Type Reference' containment reference.
*
*
* @generated
* @ordered
*/
int TYPED_ARGUMENT__TYPE_REFERENCE = ARGUMENT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Typed Argument' class.
*
*
* @generated
* @ordered
*/
int TYPED_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Typed Argument' class.
*
*
* @generated
* @ordered
*/
int TYPED_ARGUMENT_OPERATION_COUNT = ARGUMENT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MultiaryExpessionImpl Multiary Expession}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.MultiaryExpessionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiaryExpession()
* @generated
*/
int MULTIARY_EXPESSION = 10;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int MULTIARY_EXPESSION__EXISTS_VARIABLES = EXPRESSION__EXISTS_VARIABLES;
/**
* The feature id for the 'Children' containment reference list.
*
*
* @generated
* @ordered
*/
int MULTIARY_EXPESSION__CHILDREN = EXPRESSION_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Multiary Expession' class.
*
*
* @generated
* @ordered
*/
int MULTIARY_EXPESSION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Multiary Expession' class.
*
*
* @generated
* @ordered
*/
int MULTIARY_EXPESSION_OPERATION_COUNT = EXPRESSION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl Variable}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getVariable()
* @generated
*/
int VARIABLE = 11;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int VARIABLE__NAME = SYMBOL__NAME;
/**
* The feature id for the 'Type Reference' containment reference.
*
*
* @generated
* @ordered
*/
int VARIABLE__TYPE_REFERENCE = SYMBOL_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Variable' class.
*
*
* @generated
* @ordered
*/
int VARIABLE_FEATURE_COUNT = SYMBOL_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Variable' class.
*
*
* @generated
* @ordered
*/
int VARIABLE_OPERATION_COUNT = SYMBOL_OPERATION_COUNT + 0;
/**
* 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 = 12;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int UNARY_EXPRESSION__EXISTS_VARIABLES = EXPRESSION__EXISTS_VARIABLES;
/**
* The feature id for the 'Body' containment reference.
*
*
* @generated
* @ordered
*/
int UNARY_EXPRESSION__BODY = EXPRESSION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Op' attribute.
*
*
* @generated
* @ordered
*/
int UNARY_EXPRESSION__OP = 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 number of operations of the 'Unary Expression' class.
*
*
* @generated
* @ordered
*/
int UNARY_EXPRESSION_OPERATION_COUNT = EXPRESSION_OPERATION_COUNT + 0;
/**
* 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 = 13;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int BINARY_EXPRESSION__EXISTS_VARIABLES = EXPRESSION__EXISTS_VARIABLES;
/**
* The feature id for the 'Op' attribute.
*
*
* @generated
* @ordered
*/
int BINARY_EXPRESSION__OP = EXPRESSION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Left' containment reference.
*
*
* @generated
* @ordered
*/
int BINARY_EXPRESSION__LEFT = 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 number of operations of the 'Binary Expression' class.
*
*
* @generated
* @ordered
*/
int BINARY_EXPRESSION_OPERATION_COUNT = EXPRESSION_OPERATION_COUNT + 0;
/**
* 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 = 14;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int DISJUNCTION__EXISTS_VARIABLES = MULTIARY_EXPESSION__EXISTS_VARIABLES;
/**
* The feature id for the 'Children' containment reference list.
*
*
* @generated
* @ordered
*/
int DISJUNCTION__CHILDREN = MULTIARY_EXPESSION__CHILDREN;
/**
* The number of structural features of the 'Disjunction' class.
*
*
* @generated
* @ordered
*/
int DISJUNCTION_FEATURE_COUNT = MULTIARY_EXPESSION_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Disjunction' class.
*
*
* @generated
* @ordered
*/
int DISJUNCTION_OPERATION_COUNT = MULTIARY_EXPESSION_OPERATION_COUNT + 0;
/**
* 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 = 15;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int CONJUNCTION__EXISTS_VARIABLES = MULTIARY_EXPESSION__EXISTS_VARIABLES;
/**
* The feature id for the 'Children' containment reference list.
*
*
* @generated
* @ordered
*/
int CONJUNCTION__CHILDREN = MULTIARY_EXPESSION__CHILDREN;
/**
* The number of structural features of the 'Conjunction' class.
*
*
* @generated
* @ordered
*/
int CONJUNCTION_FEATURE_COUNT = MULTIARY_EXPESSION_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Conjunction' class.
*
*
* @generated
* @ordered
*/
int CONJUNCTION_OPERATION_COUNT = MULTIARY_EXPESSION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ConditionalExpressionImpl Conditional Expression}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ConditionalExpressionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConditionalExpression()
* @generated
*/
int CONDITIONAL_EXPRESSION = 16;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int CONDITIONAL_EXPRESSION__EXISTS_VARIABLES = EXPRESSION__EXISTS_VARIABLES;
/**
* The feature id for the 'Condition' containment reference.
*
*
* @generated
* @ordered
*/
int CONDITIONAL_EXPRESSION__CONDITION = EXPRESSION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Then' containment reference.
*
*
* @generated
* @ordered
*/
int CONDITIONAL_EXPRESSION__THEN = EXPRESSION_FEATURE_COUNT + 1;
/**
* The feature id for the 'Else' containment reference.
*
*
* @generated
* @ordered
*/
int CONDITIONAL_EXPRESSION__ELSE = EXPRESSION_FEATURE_COUNT + 2;
/**
* The number of structural features of the 'Conditional Expression' class.
*
*
* @generated
* @ordered
*/
int CONDITIONAL_EXPRESSION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 3;
/**
* The number of operations of the 'Conditional Expression' class.
*
*
* @generated
* @ordered
*/
int CONDITIONAL_EXPRESSION_OPERATION_COUNT = EXPRESSION_OPERATION_COUNT + 0;
/**
* 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 = 17;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int SWITCH__EXISTS_VARIABLES = EXPRESSION__EXISTS_VARIABLES;
/**
* 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 number of operations of the 'Switch' class.
*
*
* @generated
* @ordered
*/
int SWITCH_OPERATION_COUNT = EXPRESSION_OPERATION_COUNT + 0;
/**
* 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 = 18;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int CASE__EXISTS_VARIABLES = EXPRESSION__EXISTS_VARIABLES;
/**
* The feature id for the 'Condition' containment reference.
*
*
* @generated
* @ordered
*/
int CASE__CONDITION = EXPRESSION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Body' containment reference.
*
*
* @generated
* @ordered
*/
int CASE__BODY = EXPRESSION_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Case' class.
*
*
* @generated
* @ordered
*/
int CASE_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Case' class.
*
*
* @generated
* @ordered
*/
int CASE_OPERATION_COUNT = EXPRESSION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LetExpressionImpl Let Expression}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.LetExpressionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLetExpression()
* @generated
*/
int LET_EXPRESSION = 19;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int LET_EXPRESSION__EXISTS_VARIABLES = EXPRESSION__EXISTS_VARIABLES;
/**
* The feature id for the 'Bindings' containment reference list.
*
*
* @generated
* @ordered
*/
int LET_EXPRESSION__BINDINGS = EXPRESSION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Body' containment reference.
*
*
* @generated
* @ordered
*/
int LET_EXPRESSION__BODY = EXPRESSION_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Let Expression' class.
*
*
* @generated
* @ordered
*/
int LET_EXPRESSION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Let Expression' class.
*
*
* @generated
* @ordered
*/
int LET_EXPRESSION_OPERATION_COUNT = EXPRESSION_OPERATION_COUNT + 0;
/**
* 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 = 20;
/**
* The feature id for the 'Value' containment reference.
*
*
* @generated
* @ordered
*/
int LET_BINDING__VALUE = 0;
/**
* The feature id for the 'Variable' containment reference.
*
*
* @generated
* @ordered
*/
int LET_BINDING__VARIABLE = 1;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int LET_BINDING__NAME = 2;
/**
* The feature id for the 'Type' reference.
*
*
* @generated
* @ordered
*/
int LET_BINDING__TYPE = 3;
/**
* The number of structural features of the 'Let Binding' class.
*
*
* @generated
* @ordered
*/
int LET_BINDING_FEATURE_COUNT = 4;
/**
* The number of operations of the 'Let Binding' class.
*
*
* @generated
* @ordered
*/
int LET_BINDING_OPERATION_COUNT = 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl Literal}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLiteral()
* @generated
*/
int LITERAL = 21;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int LITERAL__EXISTS_VARIABLES = EXPRESSION__EXISTS_VARIABLES;
/**
* The number of structural features of the 'Literal' class.
*
*
* @generated
* @ordered
*/
int LITERAL_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Literal' class.
*
*
* @generated
* @ordered
*/
int LITERAL_OPERATION_COUNT = EXPRESSION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntLiteralImpl Int Literal}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntLiteralImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIntLiteral()
* @generated
*/
int INT_LITERAL = 22;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int INT_LITERAL__EXISTS_VARIABLES = LITERAL__EXISTS_VARIABLES;
/**
* The feature id for the 'Value' attribute.
*
*
* @generated
* @ordered
*/
int INT_LITERAL__VALUE = LITERAL_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Int Literal' class.
*
*
* @generated
* @ordered
*/
int INT_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Int Literal' class.
*
*
* @generated
* @ordered
*/
int INT_LITERAL_OPERATION_COUNT = LITERAL_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.RealLiteralImpl Real Literal}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.RealLiteralImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getRealLiteral()
* @generated
*/
int REAL_LITERAL = 23;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int REAL_LITERAL__EXISTS_VARIABLES = LITERAL__EXISTS_VARIABLES;
/**
* The feature id for the 'Value' attribute.
*
*
* @generated
* @ordered
*/
int REAL_LITERAL__VALUE = LITERAL_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Real Literal' class.
*
*
* @generated
* @ordered
*/
int REAL_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Real Literal' class.
*
*
* @generated
* @ordered
*/
int REAL_LITERAL_OPERATION_COUNT = LITERAL_OPERATION_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 = 24;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int STRING_LITERAL__EXISTS_VARIABLES = LITERAL__EXISTS_VARIABLES;
/**
* 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 number of operations of the 'String Literal' class.
*
*
* @generated
* @ordered
*/
int STRING_LITERAL_OPERATION_COUNT = LITERAL_OPERATION_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 = 25;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int LOGIC_LITERAL__EXISTS_VARIABLES = LITERAL__EXISTS_VARIABLES;
/**
* 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 number of operations of the 'Logic Literal' class.
*
*
* @generated
* @ordered
*/
int LOGIC_LITERAL_OPERATION_COUNT = LITERAL_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EmptyLiteralImpl Empty Literal}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.EmptyLiteralImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEmptyLiteral()
* @generated
*/
int EMPTY_LITERAL = 26;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int EMPTY_LITERAL__EXISTS_VARIABLES = LITERAL__EXISTS_VARIABLES;
/**
* The number of structural features of the 'Empty Literal' class.
*
*
* @generated
* @ordered
*/
int EMPTY_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Empty Literal' class.
*
*
* @generated
* @ordered
*/
int EMPTY_LITERAL_OPERATION_COUNT = LITERAL_OPERATION_COUNT + 0;
/**
* 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 = 27;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int CAST_EXPRESSION__EXISTS_VARIABLES = EXPRESSION__EXISTS_VARIABLES;
/**
* The feature id for the 'Body' containment reference.
*
*
* @generated
* @ordered
*/
int CAST_EXPRESSION__BODY = EXPRESSION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Target Type' reference.
*
*
* @generated
* @ordered
*/
int CAST_EXPRESSION__TARGET_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 number of operations of the 'Cast Expression' class.
*
*
* @generated
* @ordered
*/
int CAST_EXPRESSION_OPERATION_COUNT = EXPRESSION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AggregateExpressionImpl Aggregate Expression}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.AggregateExpressionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAggregateExpression()
* @generated
*/
int AGGREGATE_EXPRESSION = 28;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int AGGREGATE_EXPRESSION__EXISTS_VARIABLES = EXPRESSION__EXISTS_VARIABLES;
/**
* The feature id for the 'Forall Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int AGGREGATE_EXPRESSION__FORALL_VARIABLES = EXPRESSION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Condition' containment reference.
*
*
* @generated
* @ordered
*/
int AGGREGATE_EXPRESSION__CONDITION = EXPRESSION_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Aggregate Expression' class.
*
*
* @generated
* @ordered
*/
int AGGREGATE_EXPRESSION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Aggregate Expression' class.
*
*
* @generated
* @ordered
*/
int AGGREGATE_EXPRESSION_OPERATION_COUNT = EXPRESSION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CountImpl Count}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.CountImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCount()
* @generated
*/
int COUNT = 29;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int COUNT__EXISTS_VARIABLES = AGGREGATE_EXPRESSION__EXISTS_VARIABLES;
/**
* The feature id for the 'Forall Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int COUNT__FORALL_VARIABLES = AGGREGATE_EXPRESSION__FORALL_VARIABLES;
/**
* The feature id for the 'Condition' containment reference.
*
*
* @generated
* @ordered
*/
int COUNT__CONDITION = AGGREGATE_EXPRESSION__CONDITION;
/**
* The number of structural features of the 'Count' class.
*
*
* @generated
* @ordered
*/
int COUNT_FEATURE_COUNT = AGGREGATE_EXPRESSION_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Count' class.
*
*
* @generated
* @ordered
*/
int COUNT_OPERATION_COUNT = AGGREGATE_EXPRESSION_OPERATION_COUNT + 0;
/**
* 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 = 30;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int AGGREGATION__EXISTS_VARIABLES = AGGREGATE_EXPRESSION__EXISTS_VARIABLES;
/**
* The feature id for the 'Forall Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int AGGREGATION__FORALL_VARIABLES = AGGREGATE_EXPRESSION__FORALL_VARIABLES;
/**
* The feature id for the 'Condition' containment reference.
*
*
* @generated
* @ordered
*/
int AGGREGATION__CONDITION = AGGREGATE_EXPRESSION__CONDITION;
/**
* The feature id for the 'Value' containment reference.
*
*
* @generated
* @ordered
*/
int AGGREGATION__VALUE = AGGREGATE_EXPRESSION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Op' reference.
*
*
* @generated
* @ordered
*/
int AGGREGATION__OP = AGGREGATE_EXPRESSION_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Aggregation' class.
*
*
* @generated
* @ordered
*/
int AGGREGATION_FEATURE_COUNT = AGGREGATE_EXPRESSION_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Aggregation' class.
*
*
* @generated
* @ordered
*/
int AGGREGATION_OPERATION_COUNT = AGGREGATE_EXPRESSION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ForallImpl Forall}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ForallImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getForall()
* @generated
*/
int FORALL = 31;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int FORALL__EXISTS_VARIABLES = AGGREGATE_EXPRESSION__EXISTS_VARIABLES;
/**
* The feature id for the 'Forall Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int FORALL__FORALL_VARIABLES = AGGREGATE_EXPRESSION__FORALL_VARIABLES;
/**
* The feature id for the 'Condition' containment reference.
*
*
* @generated
* @ordered
*/
int FORALL__CONDITION = AGGREGATE_EXPRESSION__CONDITION;
/**
* The feature id for the 'Body' containment reference.
*
*
* @generated
* @ordered
*/
int FORALL__BODY = AGGREGATE_EXPRESSION_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Forall' class.
*
*
* @generated
* @ordered
*/
int FORALL_FEATURE_COUNT = AGGREGATE_EXPRESSION_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Forall' class.
*
*
* @generated
* @ordered
*/
int FORALL_OPERATION_COUNT = AGGREGATE_EXPRESSION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TypeReferenceImpl Type Reference}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.TypeReferenceImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTypeReference()
* @generated
*/
int TYPE_REFERENCE = 32;
/**
* The feature id for the 'Force Object Type' attribute.
*
*
* @generated
* @ordered
*/
int TYPE_REFERENCE__FORCE_OBJECT_TYPE = 0;
/**
* The feature id for the 'Type' reference.
*
*
* @generated
* @ordered
*/
int TYPE_REFERENCE__TYPE = 1;
/**
* The number of structural features of the 'Type Reference' class.
*
*
* @generated
* @ordered
*/
int TYPE_REFERENCE_FEATURE_COUNT = 2;
/**
* The number of operations of the 'Type Reference' class.
*
*
* @generated
* @ordered
*/
int TYPE_REFERENCE_OPERATION_COUNT = 0;
/**
* 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 = 33;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int INFINITY_LITERAL__EXISTS_VARIABLES = LITERAL__EXISTS_VARIABLES;
/**
* The number of structural features of the 'Infinity Literal' class.
*
*
* @generated
* @ordered
*/
int INFINITY_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Infinity Literal' class.
*
*
* @generated
* @ordered
*/
int INFINITY_LITERAL_OPERATION_COUNT = LITERAL_OPERATION_COUNT + 0;
/**
* 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 = 34;
/**
* The feature id for the 'Exists Variables' containment reference list.
*
*
* @generated
* @ordered
*/
int INTERVAL__EXISTS_VARIABLES = EXPRESSION__EXISTS_VARIABLES;
/**
* 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 number of operations of the 'Interval' class.
*
*
* @generated
* @ordered
*/
int INTERVAL_OPERATION_COUNT = EXPRESSION_OPERATION_COUNT + 0;
/**
* 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 = 35;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int FUNCTOR__NAME = SYMBOL__NAME;
/**
* The feature id for the 'Parameters' containment reference list.
*
*
* @generated
* @ordered
*/
int FUNCTOR__PARAMETERS = SYMBOL_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Functor' class.
*
*
* @generated
* @ordered
*/
int FUNCTOR_FEATURE_COUNT = SYMBOL_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Functor' class.
*
*
* @generated
* @ordered
*/
int FUNCTOR_OPERATION_COUNT = SYMBOL_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.RelationImpl Relation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.RelationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getRelation()
* @generated
*/
int RELATION = 36;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int RELATION__NAME = FUNCTOR__NAME;
/**
* The feature id for the 'Parameters' containment reference list.
*
*
* @generated
* @ordered
*/
int RELATION__PARAMETERS = FUNCTOR__PARAMETERS;
/**
* The number of structural features of the 'Relation' class.
*
*
* @generated
* @ordered
*/
int RELATION_FEATURE_COUNT = FUNCTOR_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Relation' class.
*
*
* @generated
* @ordered
*/
int RELATION_OPERATION_COUNT = FUNCTOR_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BaseRelationImpl Base Relation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.BaseRelationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBaseRelation()
* @generated
*/
int BASE_RELATION = 37;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int BASE_RELATION__NAME = RELATION__NAME;
/**
* The feature id for the 'Parameters' containment reference list.
*
*
* @generated
* @ordered
*/
int BASE_RELATION__PARAMETERS = RELATION__PARAMETERS;
/**
* The number of structural features of the 'Base Relation' class.
*
*
* @generated
* @ordered
*/
int BASE_RELATION_FEATURE_COUNT = RELATION_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Base Relation' class.
*
*
* @generated
* @ordered
*/
int BASE_RELATION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0;
/**
* 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 = 38;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int PREDICATE__NAME = RELATION__NAME;
/**
* The feature id for the 'Parameters' containment reference list.
*
*
* @generated
* @ordered
*/
int PREDICATE__PARAMETERS = RELATION__PARAMETERS;
/**
* The number of structural features of the 'Predicate' class.
*
*
* @generated
* @ordered
*/
int PREDICATE_FEATURE_COUNT = RELATION_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Predicate' class.
*
*
* @generated
* @ordered
*/
int PREDICATE_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DatatypeImpl Datatype}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.DatatypeImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDatatype()
* @generated
*/
int DATATYPE = 39;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int DATATYPE__NAME = RELATION__NAME;
/**
* The feature id for the 'Parameters' containment reference list.
*
*
* @generated
* @ordered
*/
int DATATYPE__PARAMETERS = RELATION__PARAMETERS;
/**
* The number of structural features of the 'Datatype' class.
*
*
* @generated
* @ordered
*/
int DATATYPE_FEATURE_COUNT = RELATION_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Datatype' class.
*
*
* @generated
* @ordered
*/
int DATATYPE_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FunctionImpl Function}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.FunctionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFunction()
* @generated
*/
int FUNCTION = 40;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int FUNCTION__NAME = FUNCTOR__NAME;
/**
* The feature id for the 'Parameters' containment reference list.
*
*
* @generated
* @ordered
*/
int FUNCTION__PARAMETERS = FUNCTOR__PARAMETERS;
/**
* The feature id for the 'Result Type' reference.
*
*
* @generated
* @ordered
*/
int FUNCTION__RESULT_TYPE = FUNCTOR_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Function' class.
*
*
* @generated
* @ordered
*/
int FUNCTION_FEATURE_COUNT = FUNCTOR_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Function' class.
*
*
* @generated
* @ordered
*/
int FUNCTION_OPERATION_COUNT = FUNCTOR_OPERATION_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 = 41;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int METRIC__NAME = FUNCTION__NAME;
/**
* The feature id for the 'Parameters' containment reference list.
*
*
* @generated
* @ordered
*/
int METRIC__PARAMETERS = FUNCTION__PARAMETERS;
/**
* The feature id for the 'Result Type' reference.
*
*
* @generated
* @ordered
*/
int METRIC__RESULT_TYPE = FUNCTION__RESULT_TYPE;
/**
* The number of structural features of the 'Metric' class.
*
*
* @generated
* @ordered
*/
int METRIC_FEATURE_COUNT = FUNCTION_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Metric' class.
*
*
* @generated
* @ordered
*/
int METRIC_OPERATION_COUNT = FUNCTION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.OperatorImpl Operator}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.OperatorImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getOperator()
* @generated
*/
int OPERATOR = 42;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int OPERATOR__NAME = FUNCTION__NAME;
/**
* The feature id for the 'Parameters' containment reference list.
*
*
* @generated
* @ordered
*/
int OPERATOR__PARAMETERS = FUNCTION__PARAMETERS;
/**
* The feature id for the 'Result Type' reference.
*
*
* @generated
* @ordered
*/
int OPERATOR__RESULT_TYPE = FUNCTION__RESULT_TYPE;
/**
* The number of structural features of the 'Operator' class.
*
*
* @generated
* @ordered
*/
int OPERATOR_FEATURE_COUNT = FUNCTION_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Operator' class.
*
*
* @generated
* @ordered
*/
int OPERATOR_OPERATION_COUNT = FUNCTION_OPERATION_COUNT + 0;
/**
* 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 = 43;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int NODE__NAME = SYMBOL__NAME;
/**
* The feature id for the 'Named' attribute.
*
*
* @generated
* @ordered
*/
int NODE__NAMED = SYMBOL_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Node' class.
*
*
* @generated
* @ordered
*/
int NODE_FEATURE_COUNT = SYMBOL_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Node' class.
*
*
* @generated
* @ordered
*/
int NODE_OPERATION_COUNT = SYMBOL_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AbstractAssertionImpl Abstract Assertion}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.AbstractAssertionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAbstractAssertion()
* @generated
*/
int ABSTRACT_ASSERTION = 45;
/**
* The feature id for the 'Expression' containment reference.
*
*
* @generated
* @ordered
*/
int ABSTRACT_ASSERTION__EXPRESSION = STATEMENT_FEATURE_COUNT + 0;
/**
* The feature id for the 'Range' containment reference.
*
*
* @generated
* @ordered
*/
int ABSTRACT_ASSERTION__RANGE = STATEMENT_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Abstract Assertion' class.
*
*
* @generated
* @ordered
*/
int ABSTRACT_ASSERTION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Abstract Assertion' class.
*
*
* @generated
* @ordered
*/
int ABSTRACT_ASSERTION_OPERATION_COUNT = STATEMENT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FunctorDefinitonImpl Functor Definiton}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.FunctorDefinitonImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFunctorDefiniton()
* @generated
*/
int FUNCTOR_DEFINITON = 46;
/**
* The feature id for the 'Head' containment reference.
*
*
* @generated
* @ordered
*/
int FUNCTOR_DEFINITON__HEAD = STATEMENT_FEATURE_COUNT + 0;
/**
* The feature id for the 'Body' containment reference.
*
*
* @generated
* @ordered
*/
int FUNCTOR_DEFINITON__BODY = STATEMENT_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Functor Definiton' class.
*
*
* @generated
* @ordered
*/
int FUNCTOR_DEFINITON_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Functor Definiton' class.
*
*
* @generated
* @ordered
*/
int FUNCTOR_DEFINITON_OPERATION_COUNT = STATEMENT_OPERATION_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 = 47;
/**
* The feature id for the 'Head' containment reference.
*
*
* @generated
* @ordered
*/
int PREDICATE_DEFINITION__HEAD = FUNCTOR_DEFINITON__HEAD;
/**
* The feature id for the 'Body' containment reference.
*
*
* @generated
* @ordered
*/
int PREDICATE_DEFINITION__BODY = FUNCTOR_DEFINITON__BODY;
/**
* The feature id for the 'Error' attribute.
*
*
* @generated
* @ordered
*/
int PREDICATE_DEFINITION__ERROR = FUNCTOR_DEFINITON_FEATURE_COUNT + 0;
/**
* The feature id for the 'Functional' attribute.
*
*
* @generated
* @ordered
*/
int PREDICATE_DEFINITION__FUNCTIONAL = FUNCTOR_DEFINITON_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Predicate Definition' class.
*
*
* @generated
* @ordered
*/
int PREDICATE_DEFINITION_FEATURE_COUNT = FUNCTOR_DEFINITON_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Predicate Definition' class.
*
*
* @generated
* @ordered
*/
int PREDICATE_DEFINITION_OPERATION_COUNT = FUNCTOR_DEFINITON_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FunctionDefinitionImpl Function Definition}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.FunctionDefinitionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFunctionDefinition()
* @generated
*/
int FUNCTION_DEFINITION = 48;
/**
* The feature id for the 'Head' containment reference.
*
*
* @generated
* @ordered
*/
int FUNCTION_DEFINITION__HEAD = FUNCTOR_DEFINITON__HEAD;
/**
* The feature id for the 'Body' containment reference.
*
*
* @generated
* @ordered
*/
int FUNCTION_DEFINITION__BODY = FUNCTOR_DEFINITON__BODY;
/**
* The feature id for the 'Result Type' reference.
*
*
* @generated
* @ordered
*/
int FUNCTION_DEFINITION__RESULT_TYPE = FUNCTOR_DEFINITON_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Function Definition' class.
*
*
* @generated
* @ordered
*/
int FUNCTION_DEFINITION_FEATURE_COUNT = FUNCTOR_DEFINITON_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Function Definition' class.
*
*
* @generated
* @ordered
*/
int FUNCTION_DEFINITION_OPERATION_COUNT = FUNCTOR_DEFINITON_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AttributeImpl Attribute}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.AttributeImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAttribute()
* @generated
*/
int ATTRIBUTE = 49;
/**
* The feature id for the 'Target' reference.
*
*
* @generated
* @ordered
*/
int ATTRIBUTE__TARGET = STATEMENT_FEATURE_COUNT + 0;
/**
* The feature id for the 'Kind' attribute.
*
*
* @generated
* @ordered
*/
int ATTRIBUTE__KIND = STATEMENT_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Attribute' class.
*
*
* @generated
* @ordered
*/
int ATTRIBUTE_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Attribute' class.
*
*
* @generated
* @ordered
*/
int ATTRIBUTE_OPERATION_COUNT = STATEMENT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternDeclarationImpl Extern Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternDeclaration()
* @generated
*/
int EXTERN_DECLARATION = 50;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int EXTERN_DECLARATION__NAME = STATEMENT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Extern Declaration' class.
*
*
* @generated
* @ordered
*/
int EXTERN_DECLARATION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Extern Declaration' class.
*
*
* @generated
* @ordered
*/
int EXTERN_DECLARATION_OPERATION_COUNT = STATEMENT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternFunctorDeclarationImpl Extern Functor Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternFunctorDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternFunctorDeclaration()
* @generated
*/
int EXTERN_FUNCTOR_DECLARATION = 51;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int EXTERN_FUNCTOR_DECLARATION__NAME = EXTERN_DECLARATION__NAME;
/**
* The feature id for the 'Argument List' containment reference.
*
*
* @generated
* @ordered
*/
int EXTERN_FUNCTOR_DECLARATION__ARGUMENT_LIST = EXTERN_DECLARATION_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Extern Functor Declaration' class.
*
*
* @generated
* @ordered
*/
int EXTERN_FUNCTOR_DECLARATION_FEATURE_COUNT = EXTERN_DECLARATION_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Extern Functor Declaration' class.
*
*
* @generated
* @ordered
*/
int EXTERN_FUNCTOR_DECLARATION_OPERATION_COUNT = EXTERN_DECLARATION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternPredicateDeclarationImpl Extern Predicate Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternPredicateDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternPredicateDeclaration()
* @generated
*/
int EXTERN_PREDICATE_DECLARATION = 52;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int EXTERN_PREDICATE_DECLARATION__NAME = EXTERN_FUNCTOR_DECLARATION__NAME;
/**
* The feature id for the 'Argument List' containment reference.
*
*
* @generated
* @ordered
*/
int EXTERN_PREDICATE_DECLARATION__ARGUMENT_LIST = EXTERN_FUNCTOR_DECLARATION__ARGUMENT_LIST;
/**
* The feature id for the 'Error' attribute.
*
*
* @generated
* @ordered
*/
int EXTERN_PREDICATE_DECLARATION__ERROR = EXTERN_FUNCTOR_DECLARATION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Functional' attribute.
*
*
* @generated
* @ordered
*/
int EXTERN_PREDICATE_DECLARATION__FUNCTIONAL = EXTERN_FUNCTOR_DECLARATION_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Extern Predicate Declaration' class.
*
*
* @generated
* @ordered
*/
int EXTERN_PREDICATE_DECLARATION_FEATURE_COUNT = EXTERN_FUNCTOR_DECLARATION_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Extern Predicate Declaration' class.
*
*
* @generated
* @ordered
*/
int EXTERN_PREDICATE_DECLARATION_OPERATION_COUNT = EXTERN_FUNCTOR_DECLARATION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternFunctionDeclarationImpl Extern Function Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternFunctionDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternFunctionDeclaration()
* @generated
*/
int EXTERN_FUNCTION_DECLARATION = 53;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int EXTERN_FUNCTION_DECLARATION__NAME = EXTERN_FUNCTOR_DECLARATION__NAME;
/**
* The feature id for the 'Argument List' containment reference.
*
*
* @generated
* @ordered
*/
int EXTERN_FUNCTION_DECLARATION__ARGUMENT_LIST = EXTERN_FUNCTOR_DECLARATION__ARGUMENT_LIST;
/**
* The feature id for the 'Result Type' reference.
*
*
* @generated
* @ordered
*/
int EXTERN_FUNCTION_DECLARATION__RESULT_TYPE = EXTERN_FUNCTOR_DECLARATION_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Extern Function Declaration' class.
*
*
* @generated
* @ordered
*/
int EXTERN_FUNCTION_DECLARATION_FEATURE_COUNT = EXTERN_FUNCTOR_DECLARATION_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Extern Function Declaration' class.
*
*
* @generated
* @ordered
*/
int EXTERN_FUNCTION_DECLARATION_OPERATION_COUNT = EXTERN_FUNCTOR_DECLARATION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternAggregationOperatorDeclarationImpl Extern Aggregation Operator Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternAggregationOperatorDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternAggregationOperatorDeclaration()
* @generated
*/
int EXTERN_AGGREGATION_OPERATOR_DECLARATION = 54;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int EXTERN_AGGREGATION_OPERATOR_DECLARATION__NAME = EXTERN_DECLARATION__NAME;
/**
* The feature id for the 'Argument Type' reference.
*
*
* @generated
* @ordered
*/
int EXTERN_AGGREGATION_OPERATOR_DECLARATION__ARGUMENT_TYPE = EXTERN_DECLARATION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Result Type' reference.
*
*
* @generated
* @ordered
*/
int EXTERN_AGGREGATION_OPERATOR_DECLARATION__RESULT_TYPE = EXTERN_DECLARATION_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Extern Aggregation Operator Declaration' class.
*
*
* @generated
* @ordered
*/
int EXTERN_AGGREGATION_OPERATOR_DECLARATION_FEATURE_COUNT = EXTERN_DECLARATION_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Extern Aggregation Operator Declaration' class.
*
*
* @generated
* @ordered
*/
int EXTERN_AGGREGATION_OPERATOR_DECLARATION_OPERATION_COUNT = EXTERN_DECLARATION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternDatatypeDeclarationImpl Extern Datatype Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternDatatypeDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternDatatypeDeclaration()
* @generated
*/
int EXTERN_DATATYPE_DECLARATION = 55;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int EXTERN_DATATYPE_DECLARATION__NAME = EXTERN_DECLARATION__NAME;
/**
* The number of structural features of the 'Extern Datatype Declaration' class.
*
*
* @generated
* @ordered
*/
int EXTERN_DATATYPE_DECLARATION_FEATURE_COUNT = EXTERN_DECLARATION_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Extern Datatype Declaration' class.
*
*
* @generated
* @ordered
*/
int EXTERN_DATATYPE_DECLARATION_OPERATION_COUNT = EXTERN_DECLARATION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDeclarationImpl Class Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassDeclaration()
* @generated
*/
int CLASS_DECLARATION = 56;
/**
* The feature id for the 'Fields' containment reference list.
*
*
* @generated
* @ordered
*/
int CLASS_DECLARATION__FIELDS = STATEMENT_FEATURE_COUNT + 0;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int CLASS_DECLARATION__NAME = STATEMENT_FEATURE_COUNT + 1;
/**
* The feature id for the 'Abstract' attribute.
*
*
* @generated
* @ordered
*/
int CLASS_DECLARATION__ABSTRACT = STATEMENT_FEATURE_COUNT + 2;
/**
* The feature id for the 'Supertypes' reference list.
*
*
* @generated
* @ordered
*/
int CLASS_DECLARATION__SUPERTYPES = STATEMENT_FEATURE_COUNT + 3;
/**
* The feature id for the 'Root' attribute.
*
*
* @generated
* @ordered
*/
int CLASS_DECLARATION__ROOT = STATEMENT_FEATURE_COUNT + 4;
/**
* The number of structural features of the 'Class Declaration' class.
*
*
* @generated
* @ordered
*/
int CLASS_DECLARATION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 5;
/**
* The number of operations of the 'Class Declaration' class.
*
*
* @generated
* @ordered
*/
int CLASS_DECLARATION_OPERATION_COUNT = STATEMENT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EnumDeclarationImpl Enum Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.EnumDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEnumDeclaration()
* @generated
*/
int ENUM_DECLARATION = 57;
/**
* The feature id for the 'Literals' containment reference list.
*
*
* @generated
* @ordered
*/
int ENUM_DECLARATION__LITERALS = STATEMENT_FEATURE_COUNT + 0;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int ENUM_DECLARATION__NAME = STATEMENT_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Enum Declaration' class.
*
*
* @generated
* @ordered
*/
int ENUM_DECLARATION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Enum Declaration' class.
*
*
* @generated
* @ordered
*/
int ENUM_DECLARATION_OPERATION_COUNT = STATEMENT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EnumLiteralImpl Enum Literal}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.EnumLiteralImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEnumLiteral()
* @generated
*/
int ENUM_LITERAL = 58;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int ENUM_LITERAL__NAME = 0;
/**
* The number of structural features of the 'Enum Literal' class.
*
*
* @generated
* @ordered
*/
int ENUM_LITERAL_FEATURE_COUNT = 1;
/**
* The number of operations of the 'Enum Literal' class.
*
*
* @generated
* @ordered
*/
int ENUM_LITERAL_OPERATION_COUNT = 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FieldImpl Field}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.FieldImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getField()
* @generated
*/
int FIELD = 59;
/**
* The feature id for the 'Containment' attribute.
*
*
* @generated
* @ordered
*/
int FIELD__CONTAINMENT = 0;
/**
* The feature id for the 'Cross Reference' attribute.
*
*
* @generated
* @ordered
*/
int FIELD__CROSS_REFERENCE = 1;
/**
* The feature id for the 'Opposite' reference.
*
*
* @generated
* @ordered
*/
int FIELD__OPPOSITE = 2;
/**
* The feature id for the 'Multiplicity' containment reference.
*
*
* @generated
* @ordered
*/
int FIELD__MULTIPLICITY = 3;
/**
* The feature id for the 'Type' reference.
*
*
* @generated
* @ordered
*/
int FIELD__TYPE = 4;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int FIELD__NAME = 5;
/**
* The number of structural features of the 'Field' class.
*
*
* @generated
* @ordered
*/
int FIELD_FEATURE_COUNT = 6;
/**
* The number of operations of the 'Field' class.
*
*
* @generated
* @ordered
*/
int FIELD_OPERATION_COUNT = 0;
/**
* 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 = 60;
/**
* The number of structural features of the 'Multiplicity' class.
*
*
* @generated
* @ordered
*/
int MULTIPLICITY_FEATURE_COUNT = 0;
/**
* The number of operations of the 'Multiplicity' class.
*
*
* @generated
* @ordered
*/
int MULTIPLICITY_OPERATION_COUNT = 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultAssertionImpl Default Assertion}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultAssertionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDefaultAssertion()
* @generated
*/
int DEFAULT_ASSERTION = 61;
/**
* The feature id for the 'Expression' containment reference.
*
*
* @generated
* @ordered
*/
int DEFAULT_ASSERTION__EXPRESSION = ABSTRACT_ASSERTION__EXPRESSION;
/**
* The feature id for the 'Range' containment reference.
*
*
* @generated
* @ordered
*/
int DEFAULT_ASSERTION__RANGE = ABSTRACT_ASSERTION__RANGE;
/**
* The number of structural features of the 'Default Assertion' class.
*
*
* @generated
* @ordered
*/
int DEFAULT_ASSERTION_FEATURE_COUNT = ABSTRACT_ASSERTION_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Default Assertion' class.
*
*
* @generated
* @ordered
*/
int DEFAULT_ASSERTION_OPERATION_COUNT = ABSTRACT_ASSERTION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AssertionImpl Assertion}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.AssertionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAssertion()
* @generated
*/
int ASSERTION = 62;
/**
* The feature id for the 'Expression' containment reference.
*
*
* @generated
* @ordered
*/
int ASSERTION__EXPRESSION = ABSTRACT_ASSERTION__EXPRESSION;
/**
* The feature id for the 'Range' containment reference.
*
*
* @generated
* @ordered
*/
int ASSERTION__RANGE = ABSTRACT_ASSERTION__RANGE;
/**
* The number of structural features of the 'Assertion' class.
*
*
* @generated
* @ordered
*/
int ASSERTION_FEATURE_COUNT = ABSTRACT_ASSERTION_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Assertion' class.
*
*
* @generated
* @ordered
*/
int ASSERTION_OPERATION_COUNT = ABSTRACT_ASSERTION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnboundedMultiplicityImpl Unbounded Multiplicity}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnboundedMultiplicityImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnboundedMultiplicity()
* @generated
*/
int UNBOUNDED_MULTIPLICITY = 63;
/**
* The number of structural features of the 'Unbounded Multiplicity' class.
*
*
* @generated
* @ordered
*/
int UNBOUNDED_MULTIPLICITY_FEATURE_COUNT = MULTIPLICITY_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Unbounded Multiplicity' class.
*
*
* @generated
* @ordered
*/
int UNBOUNDED_MULTIPLICITY_OPERATION_COUNT = MULTIPLICITY_OPERATION_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 = 64;
/**
* The feature id for the 'Value' attribute.
*
*
* @generated
* @ordered
*/
int EXACT_MULTIPLICITY__VALUE = 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 number of operations of the 'Exact Multiplicity' class.
*
*
* @generated
* @ordered
*/
int EXACT_MULTIPLICITY_OPERATION_COUNT = MULTIPLICITY_OPERATION_COUNT + 0;
/**
* 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 = 65;
/**
* 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 number of operations of the 'Bounded Multiplicity' class.
*
*
* @generated
* @ordered
*/
int BOUNDED_MULTIPLICITY_OPERATION_COUNT = MULTIPLICITY_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.InlinePredicateAttrributes Inline Predicate Attrributes}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.InlinePredicateAttrributes
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInlinePredicateAttrributes()
* @generated
*/
int INLINE_PREDICATE_ATTRRIBUTES = 66;
/**
* The feature id for the 'Error' attribute.
*
*
* @generated
* @ordered
*/
int INLINE_PREDICATE_ATTRRIBUTES__ERROR = 0;
/**
* The feature id for the 'Functional' attribute.
*
*
* @generated
* @ordered
*/
int INLINE_PREDICATE_ATTRRIBUTES__FUNCTIONAL = 1;
/**
* The number of structural features of the 'Inline Predicate Attrributes' class.
*
*
* @generated
* @ordered
*/
int INLINE_PREDICATE_ATTRRIBUTES_FEATURE_COUNT = 2;
/**
* The number of operations of the 'Inline Predicate Attrributes' class.
*
*
* @generated
* @ordered
*/
int INLINE_PREDICATE_ATTRRIBUTES_OPERATION_COUNT = 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AggregationOperatorImpl Aggregation Operator}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.AggregationOperatorImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAggregationOperator()
* @generated
*/
int AGGREGATION_OPERATOR = 67;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int AGGREGATION_OPERATOR__NAME = SYMBOL__NAME;
/**
* The feature id for the 'Argument Type' reference.
*
*
* @generated
* @ordered
*/
int AGGREGATION_OPERATOR__ARGUMENT_TYPE = SYMBOL_FEATURE_COUNT + 0;
/**
* The feature id for the 'Result Type' reference.
*
*
* @generated
* @ordered
*/
int AGGREGATION_OPERATOR__RESULT_TYPE = SYMBOL_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Aggregation Operator' class.
*
*
* @generated
* @ordered
*/
int AGGREGATION_OPERATOR_FEATURE_COUNT = SYMBOL_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Aggregation Operator' class.
*
*
* @generated
* @ordered
*/
int AGGREGATION_OPERATOR_OPERATION_COUNT = SYMBOL_OPERATION_COUNT + 0;
/**
* 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 = 68;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int PROBLEM__NAME = 0;
/**
* The feature id for the 'Statements' containment reference list.
*
*
* @generated
* @ordered
*/
int PROBLEM__STATEMENTS = 1;
/**
* The feature id for the 'Symbols' containment reference list.
*
*
* @generated
* @ordered
*/
int PROBLEM__SYMBOLS = 2;
/**
* The feature id for the 'Imports' containment reference list.
*
*
* @generated
* @ordered
*/
int PROBLEM__IMPORTS = 3;
/**
* The number of structural features of the 'Problem' class.
*
*
* @generated
* @ordered
*/
int PROBLEM_FEATURE_COUNT = 4;
/**
* The number of operations of the 'Problem' class.
*
*
* @generated
* @ordered
*/
int PROBLEM_OPERATION_COUNT = 0;
/**
* 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 = 69;
/**
* The feature id for the 'Type Reference' containment reference.
*
*
* @generated
* @ordered
*/
int TYPED_STAR_ARGUMENT__TYPE_REFERENCE = TYPED_ARGUMENT__TYPE_REFERENCE;
/**
* The number of structural features of the 'Typed Star Argument' class.
*
*
* @generated
* @ordered
*/
int TYPED_STAR_ARGUMENT_FEATURE_COUNT = TYPED_ARGUMENT_FEATURE_COUNT + 0;
/**
* The number of operations of the 'Typed Star Argument' class.
*
*
* @generated
* @ordered
*/
int TYPED_STAR_ARGUMENT_OPERATION_COUNT = TYPED_ARGUMENT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TypedVariableArgumentImpl Typed Variable Argument}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.TypedVariableArgumentImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTypedVariableArgument()
* @generated
*/
int TYPED_VARIABLE_ARGUMENT = 70;
/**
* The feature id for the 'Type Reference' containment reference.
*
*
* @generated
* @ordered
*/
int TYPED_VARIABLE_ARGUMENT__TYPE_REFERENCE = TYPED_ARGUMENT__TYPE_REFERENCE;
/**
* The feature id for the 'Name' attribute.
*
*
* @generated
* @ordered
*/
int TYPED_VARIABLE_ARGUMENT__NAME = TYPED_ARGUMENT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Typed Variable Argument' class.
*
*
* @generated
* @ordered
*/
int TYPED_VARIABLE_ARGUMENT_FEATURE_COUNT = TYPED_ARGUMENT_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Typed Variable Argument' class.
*
*
* @generated
* @ordered
*/
int TYPED_VARIABLE_ARGUMENT_OPERATION_COUNT = TYPED_ARGUMENT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedErrorPredicateDefintionImpl Unnamed Error Predicate Defintion}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedErrorPredicateDefintionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnnamedErrorPredicateDefintion()
* @generated
*/
int UNNAMED_ERROR_PREDICATE_DEFINTION = 71;
/**
* The feature id for the 'Argument List' containment reference.
*
*
* @generated
* @ordered
*/
int UNNAMED_ERROR_PREDICATE_DEFINTION__ARGUMENT_LIST = STATEMENT_FEATURE_COUNT + 0;
/**
* The feature id for the 'Body' containment reference.
*
*
* @generated
* @ordered
*/
int UNNAMED_ERROR_PREDICATE_DEFINTION__BODY = STATEMENT_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Unnamed Error Predicate Defintion' class.
*
*
* @generated
* @ordered
*/
int UNNAMED_ERROR_PREDICATE_DEFINTION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Unnamed Error Predicate Defintion' class.
*
*
* @generated
* @ordered
*/
int UNNAMED_ERROR_PREDICATE_DEFINTION_OPERATION_COUNT = STATEMENT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectiveDeclarationImpl Objective Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectiveDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveDeclaration()
* @generated
*/
int OBJECTIVE_DECLARATION = 72;
/**
* The feature id for the 'Kind' attribute.
*
*
* @generated
* @ordered
*/
int OBJECTIVE_DECLARATION__KIND = STATEMENT_FEATURE_COUNT + 0;
/**
* The feature id for the 'Objective' containment reference.
*
*
* @generated
* @ordered
*/
int OBJECTIVE_DECLARATION__OBJECTIVE = STATEMENT_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Objective Declaration' class.
*
*
* @generated
* @ordered
*/
int OBJECTIVE_DECLARATION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Objective Declaration' class.
*
*
* @generated
* @ordered
*/
int OBJECTIVE_DECLARATION_OPERATION_COUNT = STATEMENT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ScopeDeclarationImpl Scope Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ScopeDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getScopeDeclaration()
* @generated
*/
int SCOPE_DECLARATION = 73;
/**
* The feature id for the 'Type' reference.
*
*
* @generated
* @ordered
*/
int SCOPE_DECLARATION__TYPE = STATEMENT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Scope Declaration' class.
*
*
* @generated
* @ordered
*/
int SCOPE_DECLARATION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Scope Declaration' class.
*
*
* @generated
* @ordered
*/
int SCOPE_DECLARATION_OPERATION_COUNT = STATEMENT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExactScopeImpl Exact Scope}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExactScopeImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactScope()
* @generated
*/
int EXACT_SCOPE = 74;
/**
* The feature id for the 'Type' reference.
*
*
* @generated
* @ordered
*/
int EXACT_SCOPE__TYPE = SCOPE_DECLARATION__TYPE;
/**
* The feature id for the 'Size' attribute.
*
*
* @generated
* @ordered
*/
int EXACT_SCOPE__SIZE = SCOPE_DECLARATION_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Exact Scope' class.
*
*
* @generated
* @ordered
*/
int EXACT_SCOPE_FEATURE_COUNT = SCOPE_DECLARATION_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Exact Scope' class.
*
*
* @generated
* @ordered
*/
int EXACT_SCOPE_OPERATION_COUNT = SCOPE_DECLARATION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedScopeImpl Bounded Scope}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedScopeImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedScope()
* @generated
*/
int BOUNDED_SCOPE = 75;
/**
* The feature id for the 'Type' reference.
*
*
* @generated
* @ordered
*/
int BOUNDED_SCOPE__TYPE = SCOPE_DECLARATION__TYPE;
/**
* The feature id for the 'Lower Bound' attribute.
*
*
* @generated
* @ordered
*/
int BOUNDED_SCOPE__LOWER_BOUND = SCOPE_DECLARATION_FEATURE_COUNT + 0;
/**
* The feature id for the 'Upper Bound' attribute.
*
*
* @generated
* @ordered
*/
int BOUNDED_SCOPE__UPPER_BOUND = SCOPE_DECLARATION_FEATURE_COUNT + 1;
/**
* The number of structural features of the 'Bounded Scope' class.
*
*
* @generated
* @ordered
*/
int BOUNDED_SCOPE_FEATURE_COUNT = SCOPE_DECLARATION_FEATURE_COUNT + 2;
/**
* The number of operations of the 'Bounded Scope' class.
*
*
* @generated
* @ordered
*/
int BOUNDED_SCOPE_OPERATION_COUNT = SCOPE_DECLARATION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LowerBoundedScopeImpl Lower Bounded Scope}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.LowerBoundedScopeImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLowerBoundedScope()
* @generated
*/
int LOWER_BOUNDED_SCOPE = 76;
/**
* The feature id for the 'Type' reference.
*
*
* @generated
* @ordered
*/
int LOWER_BOUNDED_SCOPE__TYPE = SCOPE_DECLARATION__TYPE;
/**
* The feature id for the 'Lower Bound' attribute.
*
*
* @generated
* @ordered
*/
int LOWER_BOUNDED_SCOPE__LOWER_BOUND = SCOPE_DECLARATION_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Lower Bounded Scope' class.
*
*
* @generated
* @ordered
*/
int LOWER_BOUNDED_SCOPE_FEATURE_COUNT = SCOPE_DECLARATION_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Lower Bounded Scope' class.
*
*
* @generated
* @ordered
*/
int LOWER_BOUNDED_SCOPE_OPERATION_COUNT = SCOPE_DECLARATION_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ImportImpl Import}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ImportImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getImport()
* @generated
*/
int IMPORT = 78;
/**
* The feature id for the 'Alias' attribute.
*
*
* @generated
* @ordered
*/
int IMPORT__ALIAS = 0;
/**
* The number of structural features of the 'Import' class.
*
*
* @generated
* @ordered
*/
int IMPORT_FEATURE_COUNT = 1;
/**
* The number of operations of the 'Import' class.
*
*
* @generated
* @ordered
*/
int IMPORT_OPERATION_COUNT = 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NamespaceImportImpl Namespace Import}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.NamespaceImportImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNamespaceImport()
* @generated
*/
int NAMESPACE_IMPORT = 77;
/**
* The feature id for the 'Alias' attribute.
*
*
* @generated
* @ordered
*/
int NAMESPACE_IMPORT__ALIAS = IMPORT__ALIAS;
/**
* The feature id for the 'Imported Namespace' attribute.
*
*
* @generated
* @ordered
*/
int NAMESPACE_IMPORT__IMPORTED_NAMESPACE = IMPORT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Namespace Import' class.
*
*
* @generated
* @ordered
*/
int NAMESPACE_IMPORT_FEATURE_COUNT = IMPORT_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Namespace Import' class.
*
*
* @generated
* @ordered
*/
int NAMESPACE_IMPORT_OPERATION_COUNT = IMPORT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UriImportImpl Uri Import}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.UriImportImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUriImport()
* @generated
*/
int URI_IMPORT = 79;
/**
* The feature id for the 'Alias' attribute.
*
*
* @generated
* @ordered
*/
int URI_IMPORT__ALIAS = IMPORT__ALIAS;
/**
* The feature id for the 'Uri' attribute.
*
*
* @generated
* @ordered
*/
int URI_IMPORT__URI = IMPORT_FEATURE_COUNT + 0;
/**
* The number of structural features of the 'Uri Import' class.
*
*
* @generated
* @ordered
*/
int URI_IMPORT_FEATURE_COUNT = IMPORT_FEATURE_COUNT + 1;
/**
* The number of operations of the 'Uri Import' class.
*
*
* @generated
* @ordered
*/
int URI_IMPORT_OPERATION_COUNT = IMPORT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryOperator Unary Operator}' enum.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.UnaryOperator
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryOperator()
* @generated
*/
int UNARY_OPERATOR = 80;
/**
* 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 = 81;
/**
* 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 = 82;
/**
* 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 = 83;
/**
* The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.AttributeKind Attribute Kind}' enum.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.AttributeKind
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAttributeKind()
* @generated
*/
int ATTRIBUTE_KIND = 84;
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.PathComponent Path Component}'.
*
*
* @return the meta object for class 'Path Component'.
* @see org.eclipse.viatra.solver.language.solverLanguage.PathComponent
* @generated
*/
EClass getPathComponent();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.PathComponent#getSymbol Symbol}'.
*
*
* @return the meta object for the reference 'Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.PathComponent#getSymbol()
* @see #getPathComponent()
* @generated
*/
EReference getPathComponent_Symbol();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.PathComponent#isInverse Inverse}'.
*
*
* @return the meta object for the attribute 'Inverse'.
* @see org.eclipse.viatra.solver.language.solverLanguage.PathComponent#isInverse()
* @see #getPathComponent()
* @generated
*/
EAttribute getPathComponent_Inverse();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.PathComponent#isTransitiveClosure Transitive Closure}'.
*
*
* @return the meta object for the attribute 'Transitive Closure'.
* @see org.eclipse.viatra.solver.language.solverLanguage.PathComponent#isTransitiveClosure()
* @see #getPathComponent()
* @generated
*/
EAttribute getPathComponent_TransitiveClosure();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.PathComponent#isReflexiveTransitiveClosure Reflexive Transitive Closure}'.
*
*
* @return the meta object for the attribute 'Reflexive Transitive Closure'.
* @see org.eclipse.viatra.solver.language.solverLanguage.PathComponent#isReflexiveTransitiveClosure()
* @see #getPathComponent()
* @generated
*/
EAttribute getPathComponent_ReflexiveTransitiveClosure();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Symbol Symbol}'.
*
*
* @return the meta object for class 'Symbol'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Symbol
* @generated
*/
EClass getSymbol();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Symbol#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Symbol#getName()
* @see #getSymbol()
* @generated
*/
EAttribute getSymbol_Name();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Call Call}'.
*
*
* @return the meta object for class 'Call'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Call
* @generated
*/
EClass getCall();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#getFunctor Functor}'.
*
*
* @return the meta object for the containment reference 'Functor'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Call#getFunctor()
* @see #getCall()
* @generated
*/
EReference getCall_Functor();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#getArgumentList Argument List}'.
*
*
* @return the meta object for the containment reference 'Argument List'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Call#getArgumentList()
* @see #getCall()
* @generated
*/
EReference getCall_ArgumentList();
/**
* Returns the meta object for 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 containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Reference#getComponents Components}'.
*
*
* @return the meta object for the containment reference list 'Components'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Reference#getComponents()
* @see #getReference()
* @generated
*/
EReference getReference_Components();
/**
* 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 the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Expression#getExistsVariables Exists Variables}'.
*
*
* @return the meta object for the containment reference list 'Exists Variables'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Expression#getExistsVariables()
* @see #getExpression()
* @generated
*/
EReference getExpression_ExistsVariables();
/**
* 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.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.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#getExpression Expression}'.
*
*
* @return the meta object for the containment reference 'Expression'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument#getExpression()
* @see #getExpressionArgument()
* @generated
*/
EReference getExpressionArgument_Expression();
/**
* 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 containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedArgument#getTypeReference Type Reference}'.
*
*
* @return the meta object for the containment reference 'Type Reference'.
* @see org.eclipse.viatra.solver.language.solverLanguage.TypedArgument#getTypeReference()
* @see #getTypedArgument()
* @generated
*/
EReference getTypedArgument_TypeReference();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiaryExpession Multiary Expession}'.
*
*
* @return the meta object for class 'Multiary Expession'.
* @see org.eclipse.viatra.solver.language.solverLanguage.MultiaryExpession
* @generated
*/
EClass getMultiaryExpession();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiaryExpession#getChildren Children}'.
*
*
* @return the meta object for the containment reference list 'Children'.
* @see org.eclipse.viatra.solver.language.solverLanguage.MultiaryExpession#getChildren()
* @see #getMultiaryExpession()
* @generated
*/
EReference getMultiaryExpession_Children();
/**
* 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 containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Variable#getTypeReference Type Reference}'.
*
*
* @return the meta object for the containment reference 'Type Reference'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Variable#getTypeReference()
* @see #getVariable()
* @generated
*/
EReference getVariable_TypeReference();
/**
* 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 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 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 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 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#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 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.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 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 class '{@link org.eclipse.viatra.solver.language.solverLanguage.ConditionalExpression Conditional Expression}'.
*
*
* @return the meta object for class 'Conditional Expression'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ConditionalExpression
* @generated
*/
EClass getConditionalExpression();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ConditionalExpression#getCondition Condition}'.
*
*
* @return the meta object for the containment reference 'Condition'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ConditionalExpression#getCondition()
* @see #getConditionalExpression()
* @generated
*/
EReference getConditionalExpression_Condition();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ConditionalExpression#getThen Then}'.
*
*
* @return the meta object for the containment reference 'Then'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ConditionalExpression#getThen()
* @see #getConditionalExpression()
* @generated
*/
EReference getConditionalExpression_Then();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ConditionalExpression#getElse Else}'.
*
*
* @return the meta object for the containment reference 'Else'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ConditionalExpression#getElse()
* @see #getConditionalExpression()
* @generated
*/
EReference getConditionalExpression_Else();
/**
* 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.Case Case}'.
*
*
* @return the meta object for class 'Case'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Case
* @generated
*/
EClass getCase();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Case#getCondition Condition}'.
*
*
* @return the meta object for the containment reference 'Condition'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Case#getCondition()
* @see #getCase()
* @generated
*/
EReference getCase_Condition();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Case#getBody Body}'.
*
*
* @return the meta object for the containment reference 'Body'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Case#getBody()
* @see #getCase()
* @generated
*/
EReference getCase_Body();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.LetExpression Let Expression}'.
*
*
* @return the meta object for class 'Let Expression'.
* @see org.eclipse.viatra.solver.language.solverLanguage.LetExpression
* @generated
*/
EClass getLetExpression();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.LetExpression#getBindings Bindings}'.
*
*
* @return the meta object for the containment reference list 'Bindings'.
* @see org.eclipse.viatra.solver.language.solverLanguage.LetExpression#getBindings()
* @see #getLetExpression()
* @generated
*/
EReference getLetExpression_Bindings();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.LetExpression#getBody Body}'.
*
*
* @return the meta object for the containment reference 'Body'.
* @see org.eclipse.viatra.solver.language.solverLanguage.LetExpression#getBody()
* @see #getLetExpression()
* @generated
*/
EReference getLetExpression_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#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 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 attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.LetBinding#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.LetBinding#getName()
* @see #getLetBinding()
* @generated
*/
EAttribute getLetBinding_Name();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.LetBinding#getType Type}'.
*
*
* @return the meta object for the reference 'Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.LetBinding#getType()
* @see #getLetBinding()
* @generated
*/
EReference getLetBinding_Type();
/**
* 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.IntLiteral Int Literal}'.
*
*
* @return the meta object for class 'Int Literal'.
* @see org.eclipse.viatra.solver.language.solverLanguage.IntLiteral
* @generated
*/
EClass getIntLiteral();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.IntLiteral#getValue Value}'.
*
*
* @return the meta object for the attribute 'Value'.
* @see org.eclipse.viatra.solver.language.solverLanguage.IntLiteral#getValue()
* @see #getIntLiteral()
* @generated
*/
EAttribute getIntLiteral_Value();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.RealLiteral Real Literal}'.
*
*
* @return the meta object for class 'Real Literal'.
* @see org.eclipse.viatra.solver.language.solverLanguage.RealLiteral
* @generated
*/
EClass getRealLiteral();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.RealLiteral#getValue Value}'.
*
*
* @return the meta object for the attribute 'Value'.
* @see org.eclipse.viatra.solver.language.solverLanguage.RealLiteral#getValue()
* @see #getRealLiteral()
* @generated
*/
EAttribute getRealLiteral_Value();
/**
* 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.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.EmptyLiteral Empty Literal}'.
*
*
* @return the meta object for class 'Empty Literal'.
* @see org.eclipse.viatra.solver.language.solverLanguage.EmptyLiteral
* @generated
*/
EClass getEmptyLiteral();
/**
* 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#getTargetType Target Type}'.
*
*
* @return the meta object for the reference 'Target Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.CastExpression#getTargetType()
* @see #getCastExpression()
* @generated
*/
EReference getCastExpression_TargetType();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.AggregateExpression Aggregate Expression}'.
*
*
* @return the meta object for class 'Aggregate Expression'.
* @see org.eclipse.viatra.solver.language.solverLanguage.AggregateExpression
* @generated
*/
EClass getAggregateExpression();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.AggregateExpression#getForallVariables Forall Variables}'.
*
*
* @return the meta object for the containment reference list 'Forall Variables'.
* @see org.eclipse.viatra.solver.language.solverLanguage.AggregateExpression#getForallVariables()
* @see #getAggregateExpression()
* @generated
*/
EReference getAggregateExpression_ForallVariables();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.AggregateExpression#getCondition Condition}'.
*
*
* @return the meta object for the containment reference 'Condition'.
* @see org.eclipse.viatra.solver.language.solverLanguage.AggregateExpression#getCondition()
* @see #getAggregateExpression()
* @generated
*/
EReference getAggregateExpression_Condition();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Count Count}'.
*
*
* @return the meta object for class 'Count'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Count
* @generated
*/
EClass getCount();
/**
* Returns the meta object for 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 containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getValue Value}'.
*
*
* @return the meta object for the containment reference 'Value'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getValue()
* @see #getAggregation()
* @generated
*/
EReference getAggregation_Value();
/**
* 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 class '{@link org.eclipse.viatra.solver.language.solverLanguage.Forall Forall}'.
*
*
* @return the meta object for class 'Forall'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Forall
* @generated
*/
EClass getForall();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Forall#getBody Body}'.
*
*
* @return the meta object for the containment reference 'Body'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Forall#getBody()
* @see #getForall()
* @generated
*/
EReference getForall_Body();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypeReference Type Reference}'.
*
*
* @return the meta object for class 'Type Reference'.
* @see org.eclipse.viatra.solver.language.solverLanguage.TypeReference
* @generated
*/
EClass getTypeReference();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.TypeReference#isForceObjectType Force Object Type}'.
*
*
* @return the meta object for the attribute 'Force Object Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.TypeReference#isForceObjectType()
* @see #getTypeReference()
* @generated
*/
EAttribute getTypeReference_ForceObjectType();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.TypeReference#getType Type}'.
*
*
* @return the meta object for the reference 'Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.TypeReference#getType()
* @see #getTypeReference()
* @generated
*/
EReference getTypeReference_Type();
/**
* 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.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.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 containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Functor#getParameters Parameters}'.
*
*
* @return the meta object for the containment 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.Relation Relation}'.
*
*
* @return the meta object for class 'Relation'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Relation
* @generated
*/
EClass getRelation();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BaseRelation Base Relation}'.
*
*
* @return the meta object for class 'Base Relation'.
* @see org.eclipse.viatra.solver.language.solverLanguage.BaseRelation
* @generated
*/
EClass getBaseRelation();
/**
* 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.Datatype Datatype}'.
*
*
* @return the meta object for class 'Datatype'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Datatype
* @generated
*/
EClass getDatatype();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Function Function}'.
*
*
* @return the meta object for class 'Function'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Function
* @generated
*/
EClass getFunction();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Function#getResultType Result Type}'.
*
*
* @return the meta object for the reference 'Result Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Function#getResultType()
* @see #getFunction()
* @generated
*/
EReference getFunction_ResultType();
/**
* 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 class '{@link org.eclipse.viatra.solver.language.solverLanguage.Operator Operator}'.
*
*
* @return the meta object for class 'Operator'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Operator
* @generated
*/
EClass getOperator();
/**
* 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#isNamed Named}'.
*
*
* @return the meta object for the attribute 'Named'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Node#isNamed()
* @see #getNode()
* @generated
*/
EAttribute getNode_Named();
/**
* 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.AbstractAssertion Abstract Assertion}'.
*
*
* @return the meta object for class 'Abstract Assertion'.
* @see org.eclipse.viatra.solver.language.solverLanguage.AbstractAssertion
* @generated
*/
EClass getAbstractAssertion();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.AbstractAssertion#getExpression Expression}'.
*
*
* @return the meta object for the containment reference 'Expression'.
* @see org.eclipse.viatra.solver.language.solverLanguage.AbstractAssertion#getExpression()
* @see #getAbstractAssertion()
* @generated
*/
EReference getAbstractAssertion_Expression();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.AbstractAssertion#getRange Range}'.
*
*
* @return the meta object for the containment reference 'Range'.
* @see org.eclipse.viatra.solver.language.solverLanguage.AbstractAssertion#getRange()
* @see #getAbstractAssertion()
* @generated
*/
EReference getAbstractAssertion_Range();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.FunctorDefiniton Functor Definiton}'.
*
*
* @return the meta object for class 'Functor Definiton'.
* @see org.eclipse.viatra.solver.language.solverLanguage.FunctorDefiniton
* @generated
*/
EClass getFunctorDefiniton();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.FunctorDefiniton#getHead Head}'.
*
*
* @return the meta object for the containment reference 'Head'.
* @see org.eclipse.viatra.solver.language.solverLanguage.FunctorDefiniton#getHead()
* @see #getFunctorDefiniton()
* @generated
*/
EReference getFunctorDefiniton_Head();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.FunctorDefiniton#getBody Body}'.
*
*
* @return the meta object for the containment reference 'Body'.
* @see org.eclipse.viatra.solver.language.solverLanguage.FunctorDefiniton#getBody()
* @see #getFunctorDefiniton()
* @generated
*/
EReference getFunctorDefiniton_Body();
/**
* 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 class '{@link org.eclipse.viatra.solver.language.solverLanguage.FunctionDefinition Function Definition}'.
*
*
* @return the meta object for class 'Function Definition'.
* @see org.eclipse.viatra.solver.language.solverLanguage.FunctionDefinition
* @generated
*/
EClass getFunctionDefinition();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.FunctionDefinition#getResultType Result Type}'.
*
*
* @return the meta object for the reference 'Result Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.FunctionDefinition#getResultType()
* @see #getFunctionDefinition()
* @generated
*/
EReference getFunctionDefinition_ResultType();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Attribute Attribute}'.
*
*
* @return the meta object for class 'Attribute'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Attribute
* @generated
*/
EClass getAttribute();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Attribute#getTarget Target}'.
*
*
* @return the meta object for the reference 'Target'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Attribute#getTarget()
* @see #getAttribute()
* @generated
*/
EReference getAttribute_Target();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Attribute#getKind Kind}'.
*
*
* @return the meta object for the attribute 'Kind'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Attribute#getKind()
* @see #getAttribute()
* @generated
*/
EAttribute getAttribute_Kind();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternDeclaration Extern Declaration}'.
*
*
* @return the meta object for class 'Extern Declaration'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternDeclaration
* @generated
*/
EClass getExternDeclaration();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternDeclaration#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternDeclaration#getName()
* @see #getExternDeclaration()
* @generated
*/
EAttribute getExternDeclaration_Name();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternFunctorDeclaration Extern Functor Declaration}'.
*
*
* @return the meta object for class 'Extern Functor Declaration'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternFunctorDeclaration
* @generated
*/
EClass getExternFunctorDeclaration();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternFunctorDeclaration#getArgumentList Argument List}'.
*
*
* @return the meta object for the containment reference 'Argument List'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternFunctorDeclaration#getArgumentList()
* @see #getExternFunctorDeclaration()
* @generated
*/
EReference getExternFunctorDeclaration_ArgumentList();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDeclaration Extern Predicate Declaration}'.
*
*
* @return the meta object for class 'Extern Predicate Declaration'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDeclaration
* @generated
*/
EClass getExternPredicateDeclaration();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternFunctionDeclaration Extern Function Declaration}'.
*
*
* @return the meta object for class 'Extern Function Declaration'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternFunctionDeclaration
* @generated
*/
EClass getExternFunctionDeclaration();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternFunctionDeclaration#getResultType Result Type}'.
*
*
* @return the meta object for the reference 'Result Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternFunctionDeclaration#getResultType()
* @see #getExternFunctionDeclaration()
* @generated
*/
EReference getExternFunctionDeclaration_ResultType();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternAggregationOperatorDeclaration Extern Aggregation Operator Declaration}'.
*
*
* @return the meta object for class 'Extern Aggregation Operator Declaration'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternAggregationOperatorDeclaration
* @generated
*/
EClass getExternAggregationOperatorDeclaration();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternAggregationOperatorDeclaration#getArgumentType Argument Type}'.
*
*
* @return the meta object for the reference 'Argument Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternAggregationOperatorDeclaration#getArgumentType()
* @see #getExternAggregationOperatorDeclaration()
* @generated
*/
EReference getExternAggregationOperatorDeclaration_ArgumentType();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternAggregationOperatorDeclaration#getResultType Result Type}'.
*
*
* @return the meta object for the reference 'Result Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternAggregationOperatorDeclaration#getResultType()
* @see #getExternAggregationOperatorDeclaration()
* @generated
*/
EReference getExternAggregationOperatorDeclaration_ResultType();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternDatatypeDeclaration Extern Datatype Declaration}'.
*
*
* @return the meta object for class 'Extern Datatype Declaration'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExternDatatypeDeclaration
* @generated
*/
EClass getExternDatatypeDeclaration();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDeclaration Class Declaration}'.
*
*
* @return the meta object for class 'Class Declaration'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ClassDeclaration
* @generated
*/
EClass getClassDeclaration();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDeclaration#getFields Fields}'.
*
*
* @return the meta object for the containment reference list 'Fields'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ClassDeclaration#getFields()
* @see #getClassDeclaration()
* @generated
*/
EReference getClassDeclaration_Fields();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDeclaration#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ClassDeclaration#getName()
* @see #getClassDeclaration()
* @generated
*/
EAttribute getClassDeclaration_Name();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDeclaration#isAbstract Abstract}'.
*
*
* @return the meta object for the attribute 'Abstract'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ClassDeclaration#isAbstract()
* @see #getClassDeclaration()
* @generated
*/
EAttribute getClassDeclaration_Abstract();
/**
* Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDeclaration#getSupertypes Supertypes}'.
*
*
* @return the meta object for the reference list 'Supertypes'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ClassDeclaration#getSupertypes()
* @see #getClassDeclaration()
* @generated
*/
EReference getClassDeclaration_Supertypes();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDeclaration#isRoot Root}'.
*
*
* @return the meta object for the attribute 'Root'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ClassDeclaration#isRoot()
* @see #getClassDeclaration()
* @generated
*/
EAttribute getClassDeclaration_Root();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumDeclaration Enum Declaration}'.
*
*
* @return the meta object for class 'Enum Declaration'.
* @see org.eclipse.viatra.solver.language.solverLanguage.EnumDeclaration
* @generated
*/
EClass getEnumDeclaration();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumDeclaration#getLiterals Literals}'.
*
*
* @return the meta object for the containment reference list 'Literals'.
* @see org.eclipse.viatra.solver.language.solverLanguage.EnumDeclaration#getLiterals()
* @see #getEnumDeclaration()
* @generated
*/
EReference getEnumDeclaration_Literals();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumDeclaration#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.EnumDeclaration#getName()
* @see #getEnumDeclaration()
* @generated
*/
EAttribute getEnumDeclaration_Name();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumLiteral Enum Literal}'.
*
*
* @return the meta object for class 'Enum Literal'.
* @see org.eclipse.viatra.solver.language.solverLanguage.EnumLiteral
* @generated
*/
EClass getEnumLiteral();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumLiteral#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.EnumLiteral#getName()
* @see #getEnumLiteral()
* @generated
*/
EAttribute getEnumLiteral_Name();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Field Field}'.
*
*
* @return the meta object for class 'Field'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Field
* @generated
*/
EClass getField();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Field#isContainment Containment}'.
*
*
* @return the meta object for the attribute 'Containment'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Field#isContainment()
* @see #getField()
* @generated
*/
EAttribute getField_Containment();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Field#isCrossReference Cross Reference}'.
*
*
* @return the meta object for the attribute 'Cross Reference'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Field#isCrossReference()
* @see #getField()
* @generated
*/
EAttribute getField_CrossReference();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Field#getOpposite Opposite}'.
*
*
* @return the meta object for the reference 'Opposite'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Field#getOpposite()
* @see #getField()
* @generated
*/
EReference getField_Opposite();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Field#getMultiplicity Multiplicity}'.
*
*
* @return the meta object for the containment reference 'Multiplicity'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Field#getMultiplicity()
* @see #getField()
* @generated
*/
EReference getField_Multiplicity();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Field#getType Type}'.
*
*
* @return the meta object for the reference 'Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Field#getType()
* @see #getField()
* @generated
*/
EReference getField_Type();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Field#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Field#getName()
* @see #getField()
* @generated
*/
EAttribute getField_Name();
/**
* 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.DefaultAssertion Default Assertion}'.
*
*
* @return the meta object for class 'Default Assertion'.
* @see org.eclipse.viatra.solver.language.solverLanguage.DefaultAssertion
* @generated
*/
EClass getDefaultAssertion();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Assertion Assertion}'.
*
*
* @return the meta object for class 'Assertion'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Assertion
* @generated
*/
EClass getAssertion();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnboundedMultiplicity Unbounded Multiplicity}'.
*
*
* @return the meta object for class 'Unbounded Multiplicity'.
* @see org.eclipse.viatra.solver.language.solverLanguage.UnboundedMultiplicity
* @generated
*/
EClass getUnboundedMultiplicity();
/**
* 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#getValue Value}'.
*
*
* @return the meta object for the attribute 'Value'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity#getValue()
* @see #getExactMultiplicity()
* @generated
*/
EAttribute getExactMultiplicity_Value();
/**
* 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.InlinePredicateAttrributes Inline Predicate Attrributes}'.
*
*
* @return the meta object for class 'Inline Predicate Attrributes'.
* @see org.eclipse.viatra.solver.language.solverLanguage.InlinePredicateAttrributes
* @generated
*/
EClass getInlinePredicateAttrributes();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.InlinePredicateAttrributes#isError Error}'.
*
*
* @return the meta object for the attribute 'Error'.
* @see org.eclipse.viatra.solver.language.solverLanguage.InlinePredicateAttrributes#isError()
* @see #getInlinePredicateAttrributes()
* @generated
*/
EAttribute getInlinePredicateAttrributes_Error();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.InlinePredicateAttrributes#isFunctional Functional}'.
*
*
* @return the meta object for the attribute 'Functional'.
* @see org.eclipse.viatra.solver.language.solverLanguage.InlinePredicateAttrributes#isFunctional()
* @see #getInlinePredicateAttrributes()
* @generated
*/
EAttribute getInlinePredicateAttrributes_Functional();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.AggregationOperator Aggregation Operator}'.
*
*
* @return the meta object for class 'Aggregation Operator'.
* @see org.eclipse.viatra.solver.language.solverLanguage.AggregationOperator
* @generated
*/
EClass getAggregationOperator();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.AggregationOperator#getArgumentType Argument Type}'.
*
*
* @return the meta object for the reference 'Argument Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.AggregationOperator#getArgumentType()
* @see #getAggregationOperator()
* @generated
*/
EReference getAggregationOperator_ArgumentType();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.AggregationOperator#getResultType Result Type}'.
*
*
* @return the meta object for the reference 'Result Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.AggregationOperator#getResultType()
* @see #getAggregationOperator()
* @generated
*/
EReference getAggregationOperator_ResultType();
/**
* 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 attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Problem#getName()
* @see #getProblem()
* @generated
*/
EAttribute getProblem_Name();
/**
* 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 the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem#getSymbols Symbols}'.
*
*
* @return the meta object for the containment reference list 'Symbols'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Problem#getSymbols()
* @see #getProblem()
* @generated
*/
EReference getProblem_Symbols();
/**
* Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem#getImports Imports}'.
*
*
* @return the meta object for the containment reference list 'Imports'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Problem#getImports()
* @see #getProblem()
* @generated
*/
EReference getProblem_Imports();
/**
* 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 class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedVariableArgument Typed Variable Argument}'.
*
*
* @return the meta object for class 'Typed Variable Argument'.
* @see org.eclipse.viatra.solver.language.solverLanguage.TypedVariableArgument
* @generated
*/
EClass getTypedVariableArgument();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedVariableArgument#getName Name}'.
*
*
* @return the meta object for the attribute 'Name'.
* @see org.eclipse.viatra.solver.language.solverLanguage.TypedVariableArgument#getName()
* @see #getTypedVariableArgument()
* @generated
*/
EAttribute getTypedVariableArgument_Name();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPredicateDefintion Unnamed Error Predicate Defintion}'.
*
*
* @return the meta object for class 'Unnamed Error Predicate Defintion'.
* @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPredicateDefintion
* @generated
*/
EClass getUnnamedErrorPredicateDefintion();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPredicateDefintion#getArgumentList Argument List}'.
*
*
* @return the meta object for the containment reference 'Argument List'.
* @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPredicateDefintion#getArgumentList()
* @see #getUnnamedErrorPredicateDefintion()
* @generated
*/
EReference getUnnamedErrorPredicateDefintion_ArgumentList();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPredicateDefintion#getBody Body}'.
*
*
* @return the meta object for the containment reference 'Body'.
* @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPredicateDefintion#getBody()
* @see #getUnnamedErrorPredicateDefintion()
* @generated
*/
EReference getUnnamedErrorPredicateDefintion_Body();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDeclaration Objective Declaration}'.
*
*
* @return the meta object for class 'Objective Declaration'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDeclaration
* @generated
*/
EClass getObjectiveDeclaration();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDeclaration#getKind Kind}'.
*
*
* @return the meta object for the attribute 'Kind'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDeclaration#getKind()
* @see #getObjectiveDeclaration()
* @generated
*/
EAttribute getObjectiveDeclaration_Kind();
/**
* Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDeclaration#getObjective Objective}'.
*
*
* @return the meta object for the containment reference 'Objective'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDeclaration#getObjective()
* @see #getObjectiveDeclaration()
* @generated
*/
EReference getObjectiveDeclaration_Objective();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ScopeDeclaration Scope Declaration}'.
*
*
* @return the meta object for class 'Scope Declaration'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ScopeDeclaration
* @generated
*/
EClass getScopeDeclaration();
/**
* Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ScopeDeclaration#getType Type}'.
*
*
* @return the meta object for the reference 'Type'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ScopeDeclaration#getType()
* @see #getScopeDeclaration()
* @generated
*/
EReference getScopeDeclaration_Type();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactScope Exact Scope}'.
*
*
* @return the meta object for class 'Exact Scope'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExactScope
* @generated
*/
EClass getExactScope();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactScope#getSize Size}'.
*
*
* @return the meta object for the attribute 'Size'.
* @see org.eclipse.viatra.solver.language.solverLanguage.ExactScope#getSize()
* @see #getExactScope()
* @generated
*/
EAttribute getExactScope_Size();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedScope Bounded Scope}'.
*
*
* @return the meta object for class 'Bounded Scope'.
* @see org.eclipse.viatra.solver.language.solverLanguage.BoundedScope
* @generated
*/
EClass getBoundedScope();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedScope#getLowerBound Lower Bound}'.
*
*
* @return the meta object for the attribute 'Lower Bound'.
* @see org.eclipse.viatra.solver.language.solverLanguage.BoundedScope#getLowerBound()
* @see #getBoundedScope()
* @generated
*/
EAttribute getBoundedScope_LowerBound();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedScope#getUpperBound Upper Bound}'.
*
*
* @return the meta object for the attribute 'Upper Bound'.
* @see org.eclipse.viatra.solver.language.solverLanguage.BoundedScope#getUpperBound()
* @see #getBoundedScope()
* @generated
*/
EAttribute getBoundedScope_UpperBound();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScope Lower Bounded Scope}'.
*
*
* @return the meta object for class 'Lower Bounded Scope'.
* @see org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScope
* @generated
*/
EClass getLowerBoundedScope();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScope#getLowerBound Lower Bound}'.
*
*
* @return the meta object for the attribute 'Lower Bound'.
* @see org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScope#getLowerBound()
* @see #getLowerBoundedScope()
* @generated
*/
EAttribute getLowerBoundedScope_LowerBound();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.NamespaceImport Namespace Import}'.
*
*
* @return the meta object for class 'Namespace Import'.
* @see org.eclipse.viatra.solver.language.solverLanguage.NamespaceImport
* @generated
*/
EClass getNamespaceImport();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.NamespaceImport#getImportedNamespace Imported Namespace}'.
*
*
* @return the meta object for the attribute 'Imported Namespace'.
* @see org.eclipse.viatra.solver.language.solverLanguage.NamespaceImport#getImportedNamespace()
* @see #getNamespaceImport()
* @generated
*/
EAttribute getNamespaceImport_ImportedNamespace();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Import Import}'.
*
*
* @return the meta object for class 'Import'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Import
* @generated
*/
EClass getImport();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Import#getAlias Alias}'.
*
*
* @return the meta object for the attribute 'Alias'.
* @see org.eclipse.viatra.solver.language.solverLanguage.Import#getAlias()
* @see #getImport()
* @generated
*/
EAttribute getImport_Alias();
/**
* Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.UriImport Uri Import}'.
*
*
* @return the meta object for class 'Uri Import'.
* @see org.eclipse.viatra.solver.language.solverLanguage.UriImport
* @generated
*/
EClass getUriImport();
/**
* Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.UriImport#getUri Uri}'.
*
*
* @return the meta object for the attribute 'Uri'.
* @see org.eclipse.viatra.solver.language.solverLanguage.UriImport#getUri()
* @see #getUriImport()
* @generated
*/
EAttribute getUriImport_Uri();
/**
* Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryOperator Unary Operator}'.
*
*
* @return the meta object for enum 'Unary Operator'.
* @see org.eclipse.viatra.solver.language.solverLanguage.UnaryOperator
* @generated
*/
EEnum getUnaryOperator();
/**
* 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.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.AttributeKind Attribute Kind}'.
*
*
* @return the meta object for enum 'Attribute Kind'.
* @see org.eclipse.viatra.solver.language.solverLanguage.AttributeKind
* @generated
*/
EEnum getAttributeKind();
/**
* 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 operation 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.PathComponentImpl Path Component}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.PathComponentImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPathComponent()
* @generated
*/
EClass PATH_COMPONENT = eINSTANCE.getPathComponent();
/**
* The meta object literal for the 'Symbol' reference feature.
*
*
* @generated
*/
EReference PATH_COMPONENT__SYMBOL = eINSTANCE.getPathComponent_Symbol();
/**
* The meta object literal for the 'Inverse' attribute feature.
*
*
* @generated
*/
EAttribute PATH_COMPONENT__INVERSE = eINSTANCE.getPathComponent_Inverse();
/**
* The meta object literal for the 'Transitive Closure' attribute feature.
*
*
* @generated
*/
EAttribute PATH_COMPONENT__TRANSITIVE_CLOSURE = eINSTANCE.getPathComponent_TransitiveClosure();
/**
* The meta object literal for the 'Reflexive Transitive Closure' attribute feature.
*
*
* @generated
*/
EAttribute PATH_COMPONENT__REFLEXIVE_TRANSITIVE_CLOSURE = eINSTANCE
.getPathComponent_ReflexiveTransitiveClosure();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.SymbolImpl Symbol}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SymbolImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getSymbol()
* @generated
*/
EClass SYMBOL = eINSTANCE.getSymbol();
/**
* The meta object literal for the 'Name' attribute feature.
*
*
* @generated
*/
EAttribute SYMBOL__NAME = eINSTANCE.getSymbol_Name();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl Call}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCall()
* @generated
*/
EClass CALL = eINSTANCE.getCall();
/**
* The meta object literal for the 'Functor' containment reference feature.
*
*
* @generated
*/
EReference CALL__FUNCTOR = eINSTANCE.getCall_Functor();
/**
* The meta object literal for the 'Argument List' containment reference feature.
*
*
* @generated
*/
EReference CALL__ARGUMENT_LIST = eINSTANCE.getCall_ArgumentList();
/**
* The meta object literal for the '{@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 'Components' containment reference list feature.
*
*
* @generated
*/
EReference REFERENCE__COMPONENTS = eINSTANCE.getReference_Components();
/**
* 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 'Exists Variables' containment reference list feature.
*
*
* @generated
*/
EReference EXPRESSION__EXISTS_VARIABLES = eINSTANCE.getExpression_ExistsVariables();
/**
* 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.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.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 'Expression' containment reference feature.
*
*
* @generated
*/
EReference EXPRESSION_ARGUMENT__EXPRESSION = eINSTANCE.getExpressionArgument_Expression();
/**
* 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' containment reference feature.
*
*
* @generated
*/
EReference TYPED_ARGUMENT__TYPE_REFERENCE = eINSTANCE.getTypedArgument_TypeReference();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MultiaryExpessionImpl Multiary Expession}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.MultiaryExpessionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiaryExpession()
* @generated
*/
EClass MULTIARY_EXPESSION = eINSTANCE.getMultiaryExpession();
/**
* The meta object literal for the 'Children' containment reference list feature.
*
*
* @generated
*/
EReference MULTIARY_EXPESSION__CHILDREN = eINSTANCE.getMultiaryExpession_Children();
/**
* 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' containment reference feature.
*
*
* @generated
*/
EReference VARIABLE__TYPE_REFERENCE = eINSTANCE.getVariable_TypeReference();
/**
* 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 'Body' containment reference feature.
*
*
* @generated
*/
EReference UNARY_EXPRESSION__BODY = eINSTANCE.getUnaryExpression_Body();
/**
* The meta object literal for the 'Op' attribute feature.
*
*
* @generated
*/
EAttribute UNARY_EXPRESSION__OP = eINSTANCE.getUnaryExpression_Op();
/**
* 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 'Op' attribute feature.
*
*
* @generated
*/
EAttribute BINARY_EXPRESSION__OP = eINSTANCE.getBinaryExpression_Op();
/**
* The meta object literal for the 'Left' containment reference feature.
*
*
* @generated
*/
EReference BINARY_EXPRESSION__LEFT = eINSTANCE.getBinaryExpression_Left();
/**
* 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.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 '{@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 '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ConditionalExpressionImpl Conditional Expression}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ConditionalExpressionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConditionalExpression()
* @generated
*/
EClass CONDITIONAL_EXPRESSION = eINSTANCE.getConditionalExpression();
/**
* The meta object literal for the 'Condition' containment reference feature.
*
*
* @generated
*/
EReference CONDITIONAL_EXPRESSION__CONDITION = eINSTANCE.getConditionalExpression_Condition();
/**
* The meta object literal for the 'Then' containment reference feature.
*
*
* @generated
*/
EReference CONDITIONAL_EXPRESSION__THEN = eINSTANCE.getConditionalExpression_Then();
/**
* The meta object literal for the 'Else' containment reference feature.
*
*
* @generated
*/
EReference CONDITIONAL_EXPRESSION__ELSE = eINSTANCE.getConditionalExpression_Else();
/**
* 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.CaseImpl Case}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.CaseImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCase()
* @generated
*/
EClass CASE = eINSTANCE.getCase();
/**
* The meta object literal for the 'Condition' containment reference feature.
*
*
* @generated
*/
EReference CASE__CONDITION = eINSTANCE.getCase_Condition();
/**
* The meta object literal for the 'Body' containment reference feature.
*
*
* @generated
*/
EReference CASE__BODY = eINSTANCE.getCase_Body();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LetExpressionImpl Let Expression}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.LetExpressionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLetExpression()
* @generated
*/
EClass LET_EXPRESSION = eINSTANCE.getLetExpression();
/**
* The meta object literal for the 'Bindings' containment reference list feature.
*
*
* @generated
*/
EReference LET_EXPRESSION__BINDINGS = eINSTANCE.getLetExpression_Bindings();
/**
* The meta object literal for the 'Body' containment reference feature.
*
*
* @generated
*/
EReference LET_EXPRESSION__BODY = eINSTANCE.getLetExpression_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 'Value' containment reference feature.
*
*
* @generated
*/
EReference LET_BINDING__VALUE = eINSTANCE.getLetBinding_Value();
/**
* The meta object literal for the 'Variable' containment reference feature.
*
*
* @generated
*/
EReference LET_BINDING__VARIABLE = eINSTANCE.getLetBinding_Variable();
/**
* The meta object literal for the 'Name' attribute feature.
*
*
* @generated
*/
EAttribute LET_BINDING__NAME = eINSTANCE.getLetBinding_Name();
/**
* The meta object literal for the 'Type' reference feature.
*
*
* @generated
*/
EReference LET_BINDING__TYPE = eINSTANCE.getLetBinding_Type();
/**
* 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.IntLiteralImpl Int Literal}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntLiteralImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIntLiteral()
* @generated
*/
EClass INT_LITERAL = eINSTANCE.getIntLiteral();
/**
* The meta object literal for the 'Value' attribute feature.
*
*
* @generated
*/
EAttribute INT_LITERAL__VALUE = eINSTANCE.getIntLiteral_Value();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.RealLiteralImpl Real Literal}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.RealLiteralImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getRealLiteral()
* @generated
*/
EClass REAL_LITERAL = eINSTANCE.getRealLiteral();
/**
* The meta object literal for the 'Value' attribute feature.
*
*
* @generated
*/
EAttribute REAL_LITERAL__VALUE = eINSTANCE.getRealLiteral_Value();
/**
* 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.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.EmptyLiteralImpl Empty Literal}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.EmptyLiteralImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEmptyLiteral()
* @generated
*/
EClass EMPTY_LITERAL = eINSTANCE.getEmptyLiteral();
/**
* 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 'Target Type' reference feature.
*
*
* @generated
*/
EReference CAST_EXPRESSION__TARGET_TYPE = eINSTANCE.getCastExpression_TargetType();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AggregateExpressionImpl Aggregate Expression}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.AggregateExpressionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAggregateExpression()
* @generated
*/
EClass AGGREGATE_EXPRESSION = eINSTANCE.getAggregateExpression();
/**
* The meta object literal for the 'Forall Variables' containment reference list feature.
*
*
* @generated
*/
EReference AGGREGATE_EXPRESSION__FORALL_VARIABLES = eINSTANCE.getAggregateExpression_ForallVariables();
/**
* The meta object literal for the 'Condition' containment reference feature.
*
*
* @generated
*/
EReference AGGREGATE_EXPRESSION__CONDITION = eINSTANCE.getAggregateExpression_Condition();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CountImpl Count}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.CountImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCount()
* @generated
*/
EClass COUNT = eINSTANCE.getCount();
/**
* The meta object literal for the '{@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 'Value' containment reference feature.
*
*
* @generated
*/
EReference AGGREGATION__VALUE = eINSTANCE.getAggregation_Value();
/**
* The meta object literal for the 'Op' reference feature.
*
*
* @generated
*/
EReference AGGREGATION__OP = eINSTANCE.getAggregation_Op();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ForallImpl Forall}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ForallImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getForall()
* @generated
*/
EClass FORALL = eINSTANCE.getForall();
/**
* The meta object literal for the 'Body' containment reference feature.
*
*
* @generated
*/
EReference FORALL__BODY = eINSTANCE.getForall_Body();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TypeReferenceImpl Type Reference}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.TypeReferenceImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTypeReference()
* @generated
*/
EClass TYPE_REFERENCE = eINSTANCE.getTypeReference();
/**
* The meta object literal for the 'Force Object Type' attribute feature.
*
*
* @generated
*/
EAttribute TYPE_REFERENCE__FORCE_OBJECT_TYPE = eINSTANCE.getTypeReference_ForceObjectType();
/**
* The meta object literal for the 'Type' reference feature.
*
*
* @generated
*/
EReference TYPE_REFERENCE__TYPE = eINSTANCE.getTypeReference_Type();
/**
* 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.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.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' containment reference list feature.
*
*
* @generated
*/
EReference FUNCTOR__PARAMETERS = eINSTANCE.getFunctor_Parameters();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.RelationImpl Relation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.RelationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getRelation()
* @generated
*/
EClass RELATION = eINSTANCE.getRelation();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BaseRelationImpl Base Relation}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.BaseRelationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBaseRelation()
* @generated
*/
EClass BASE_RELATION = eINSTANCE.getBaseRelation();
/**
* 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.DatatypeImpl Datatype}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.DatatypeImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDatatype()
* @generated
*/
EClass DATATYPE = eINSTANCE.getDatatype();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FunctionImpl Function}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.FunctionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFunction()
* @generated
*/
EClass FUNCTION = eINSTANCE.getFunction();
/**
* The meta object literal for the 'Result Type' reference feature.
*
*
* @generated
*/
EReference FUNCTION__RESULT_TYPE = eINSTANCE.getFunction_ResultType();
/**
* 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 '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.OperatorImpl Operator}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.OperatorImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getOperator()
* @generated
*/
EClass OPERATOR = eINSTANCE.getOperator();
/**
* 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 'Named' attribute feature.
*
*
* @generated
*/
EAttribute NODE__NAMED = eINSTANCE.getNode_Named();
/**
* 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.AbstractAssertionImpl Abstract Assertion}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.AbstractAssertionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAbstractAssertion()
* @generated
*/
EClass ABSTRACT_ASSERTION = eINSTANCE.getAbstractAssertion();
/**
* The meta object literal for the 'Expression' containment reference feature.
*
*
* @generated
*/
EReference ABSTRACT_ASSERTION__EXPRESSION = eINSTANCE.getAbstractAssertion_Expression();
/**
* The meta object literal for the 'Range' containment reference feature.
*
*
* @generated
*/
EReference ABSTRACT_ASSERTION__RANGE = eINSTANCE.getAbstractAssertion_Range();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FunctorDefinitonImpl Functor Definiton}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.FunctorDefinitonImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFunctorDefiniton()
* @generated
*/
EClass FUNCTOR_DEFINITON = eINSTANCE.getFunctorDefiniton();
/**
* The meta object literal for the 'Head' containment reference feature.
*
*
* @generated
*/
EReference FUNCTOR_DEFINITON__HEAD = eINSTANCE.getFunctorDefiniton_Head();
/**
* The meta object literal for the 'Body' containment reference feature.
*
*
* @generated
*/
EReference FUNCTOR_DEFINITON__BODY = eINSTANCE.getFunctorDefiniton_Body();
/**
* 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 '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FunctionDefinitionImpl Function Definition}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.FunctionDefinitionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFunctionDefinition()
* @generated
*/
EClass FUNCTION_DEFINITION = eINSTANCE.getFunctionDefinition();
/**
* The meta object literal for the 'Result Type' reference feature.
*
*
* @generated
*/
EReference FUNCTION_DEFINITION__RESULT_TYPE = eINSTANCE.getFunctionDefinition_ResultType();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AttributeImpl Attribute}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.AttributeImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAttribute()
* @generated
*/
EClass ATTRIBUTE = eINSTANCE.getAttribute();
/**
* The meta object literal for the 'Target' reference feature.
*
*
* @generated
*/
EReference ATTRIBUTE__TARGET = eINSTANCE.getAttribute_Target();
/**
* The meta object literal for the 'Kind' attribute feature.
*
*
* @generated
*/
EAttribute ATTRIBUTE__KIND = eINSTANCE.getAttribute_Kind();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternDeclarationImpl Extern Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternDeclaration()
* @generated
*/
EClass EXTERN_DECLARATION = eINSTANCE.getExternDeclaration();
/**
* The meta object literal for the 'Name' attribute feature.
*
*
* @generated
*/
EAttribute EXTERN_DECLARATION__NAME = eINSTANCE.getExternDeclaration_Name();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternFunctorDeclarationImpl Extern Functor Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternFunctorDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternFunctorDeclaration()
* @generated
*/
EClass EXTERN_FUNCTOR_DECLARATION = eINSTANCE.getExternFunctorDeclaration();
/**
* The meta object literal for the 'Argument List' containment reference feature.
*
*
* @generated
*/
EReference EXTERN_FUNCTOR_DECLARATION__ARGUMENT_LIST = eINSTANCE.getExternFunctorDeclaration_ArgumentList();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternPredicateDeclarationImpl Extern Predicate Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternPredicateDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternPredicateDeclaration()
* @generated
*/
EClass EXTERN_PREDICATE_DECLARATION = eINSTANCE.getExternPredicateDeclaration();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternFunctionDeclarationImpl Extern Function Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternFunctionDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternFunctionDeclaration()
* @generated
*/
EClass EXTERN_FUNCTION_DECLARATION = eINSTANCE.getExternFunctionDeclaration();
/**
* The meta object literal for the 'Result Type' reference feature.
*
*
* @generated
*/
EReference EXTERN_FUNCTION_DECLARATION__RESULT_TYPE = eINSTANCE.getExternFunctionDeclaration_ResultType();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternAggregationOperatorDeclarationImpl Extern Aggregation Operator Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternAggregationOperatorDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternAggregationOperatorDeclaration()
* @generated
*/
EClass EXTERN_AGGREGATION_OPERATOR_DECLARATION = eINSTANCE.getExternAggregationOperatorDeclaration();
/**
* The meta object literal for the 'Argument Type' reference feature.
*
*
* @generated
*/
EReference EXTERN_AGGREGATION_OPERATOR_DECLARATION__ARGUMENT_TYPE = eINSTANCE
.getExternAggregationOperatorDeclaration_ArgumentType();
/**
* The meta object literal for the 'Result Type' reference feature.
*
*
* @generated
*/
EReference EXTERN_AGGREGATION_OPERATOR_DECLARATION__RESULT_TYPE = eINSTANCE
.getExternAggregationOperatorDeclaration_ResultType();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternDatatypeDeclarationImpl Extern Datatype Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternDatatypeDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternDatatypeDeclaration()
* @generated
*/
EClass EXTERN_DATATYPE_DECLARATION = eINSTANCE.getExternDatatypeDeclaration();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDeclarationImpl Class Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassDeclaration()
* @generated
*/
EClass CLASS_DECLARATION = eINSTANCE.getClassDeclaration();
/**
* The meta object literal for the 'Fields' containment reference list feature.
*
*
* @generated
*/
EReference CLASS_DECLARATION__FIELDS = eINSTANCE.getClassDeclaration_Fields();
/**
* The meta object literal for the 'Name' attribute feature.
*
*
* @generated
*/
EAttribute CLASS_DECLARATION__NAME = eINSTANCE.getClassDeclaration_Name();
/**
* The meta object literal for the 'Abstract' attribute feature.
*
*
* @generated
*/
EAttribute CLASS_DECLARATION__ABSTRACT = eINSTANCE.getClassDeclaration_Abstract();
/**
* The meta object literal for the 'Supertypes' reference list feature.
*
*
* @generated
*/
EReference CLASS_DECLARATION__SUPERTYPES = eINSTANCE.getClassDeclaration_Supertypes();
/**
* The meta object literal for the 'Root' attribute feature.
*
*
* @generated
*/
EAttribute CLASS_DECLARATION__ROOT = eINSTANCE.getClassDeclaration_Root();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EnumDeclarationImpl Enum Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.EnumDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEnumDeclaration()
* @generated
*/
EClass ENUM_DECLARATION = eINSTANCE.getEnumDeclaration();
/**
* The meta object literal for the 'Literals' containment reference list feature.
*
*
* @generated
*/
EReference ENUM_DECLARATION__LITERALS = eINSTANCE.getEnumDeclaration_Literals();
/**
* The meta object literal for the 'Name' attribute feature.
*
*
* @generated
*/
EAttribute ENUM_DECLARATION__NAME = eINSTANCE.getEnumDeclaration_Name();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EnumLiteralImpl Enum Literal}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.EnumLiteralImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEnumLiteral()
* @generated
*/
EClass ENUM_LITERAL = eINSTANCE.getEnumLiteral();
/**
* The meta object literal for the 'Name' attribute feature.
*
*
* @generated
*/
EAttribute ENUM_LITERAL__NAME = eINSTANCE.getEnumLiteral_Name();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FieldImpl Field}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.FieldImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getField()
* @generated
*/
EClass FIELD = eINSTANCE.getField();
/**
* The meta object literal for the 'Containment' attribute feature.
*
*
* @generated
*/
EAttribute FIELD__CONTAINMENT = eINSTANCE.getField_Containment();
/**
* The meta object literal for the 'Cross Reference' attribute feature.
*
*
* @generated
*/
EAttribute FIELD__CROSS_REFERENCE = eINSTANCE.getField_CrossReference();
/**
* The meta object literal for the 'Opposite' reference feature.
*
*
* @generated
*/
EReference FIELD__OPPOSITE = eINSTANCE.getField_Opposite();
/**
* The meta object literal for the 'Multiplicity' containment reference feature.
*
*
* @generated
*/
EReference FIELD__MULTIPLICITY = eINSTANCE.getField_Multiplicity();
/**
* The meta object literal for the 'Type' reference feature.
*
*
* @generated
*/
EReference FIELD__TYPE = eINSTANCE.getField_Type();
/**
* The meta object literal for the 'Name' attribute feature.
*
*
* @generated
*/
EAttribute FIELD__NAME = eINSTANCE.getField_Name();
/**
* 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.DefaultAssertionImpl Default Assertion}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultAssertionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDefaultAssertion()
* @generated
*/
EClass DEFAULT_ASSERTION = eINSTANCE.getDefaultAssertion();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AssertionImpl Assertion}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.AssertionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAssertion()
* @generated
*/
EClass ASSERTION = eINSTANCE.getAssertion();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnboundedMultiplicityImpl Unbounded Multiplicity}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnboundedMultiplicityImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnboundedMultiplicity()
* @generated
*/
EClass UNBOUNDED_MULTIPLICITY = eINSTANCE.getUnboundedMultiplicity();
/**
* 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 'Value' attribute feature.
*
*
* @generated
*/
EAttribute EXACT_MULTIPLICITY__VALUE = eINSTANCE.getExactMultiplicity_Value();
/**
* 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.InlinePredicateAttrributes Inline Predicate Attrributes}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.InlinePredicateAttrributes
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInlinePredicateAttrributes()
* @generated
*/
EClass INLINE_PREDICATE_ATTRRIBUTES = eINSTANCE.getInlinePredicateAttrributes();
/**
* The meta object literal for the 'Error' attribute feature.
*
*
* @generated
*/
EAttribute INLINE_PREDICATE_ATTRRIBUTES__ERROR = eINSTANCE.getInlinePredicateAttrributes_Error();
/**
* The meta object literal for the 'Functional' attribute feature.
*
*
* @generated
*/
EAttribute INLINE_PREDICATE_ATTRRIBUTES__FUNCTIONAL = eINSTANCE.getInlinePredicateAttrributes_Functional();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AggregationOperatorImpl Aggregation Operator}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.AggregationOperatorImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAggregationOperator()
* @generated
*/
EClass AGGREGATION_OPERATOR = eINSTANCE.getAggregationOperator();
/**
* The meta object literal for the 'Argument Type' reference feature.
*
*
* @generated
*/
EReference AGGREGATION_OPERATOR__ARGUMENT_TYPE = eINSTANCE.getAggregationOperator_ArgumentType();
/**
* The meta object literal for the 'Result Type' reference feature.
*
*
* @generated
*/
EReference AGGREGATION_OPERATOR__RESULT_TYPE = eINSTANCE.getAggregationOperator_ResultType();
/**
* 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 'Name' attribute feature.
*
*
* @generated
*/
EAttribute PROBLEM__NAME = eINSTANCE.getProblem_Name();
/**
* The meta object literal for the 'Statements' containment reference list feature.
*
*
* @generated
*/
EReference PROBLEM__STATEMENTS = eINSTANCE.getProblem_Statements();
/**
* The meta object literal for the 'Symbols' containment reference list feature.
*
*
* @generated
*/
EReference PROBLEM__SYMBOLS = eINSTANCE.getProblem_Symbols();
/**
* The meta object literal for the 'Imports' containment reference list feature.
*
*
* @generated
*/
EReference PROBLEM__IMPORTS = eINSTANCE.getProblem_Imports();
/**
* 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 '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TypedVariableArgumentImpl Typed Variable Argument}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.TypedVariableArgumentImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTypedVariableArgument()
* @generated
*/
EClass TYPED_VARIABLE_ARGUMENT = eINSTANCE.getTypedVariableArgument();
/**
* The meta object literal for the 'Name' attribute feature.
*
*
* @generated
*/
EAttribute TYPED_VARIABLE_ARGUMENT__NAME = eINSTANCE.getTypedVariableArgument_Name();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedErrorPredicateDefintionImpl Unnamed Error Predicate Defintion}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedErrorPredicateDefintionImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnnamedErrorPredicateDefintion()
* @generated
*/
EClass UNNAMED_ERROR_PREDICATE_DEFINTION = eINSTANCE.getUnnamedErrorPredicateDefintion();
/**
* The meta object literal for the 'Argument List' containment reference feature.
*
*
* @generated
*/
EReference UNNAMED_ERROR_PREDICATE_DEFINTION__ARGUMENT_LIST = eINSTANCE
.getUnnamedErrorPredicateDefintion_ArgumentList();
/**
* The meta object literal for the 'Body' containment reference feature.
*
*
* @generated
*/
EReference UNNAMED_ERROR_PREDICATE_DEFINTION__BODY = eINSTANCE.getUnnamedErrorPredicateDefintion_Body();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectiveDeclarationImpl Objective Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectiveDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveDeclaration()
* @generated
*/
EClass OBJECTIVE_DECLARATION = eINSTANCE.getObjectiveDeclaration();
/**
* The meta object literal for the 'Kind' attribute feature.
*
*
* @generated
*/
EAttribute OBJECTIVE_DECLARATION__KIND = eINSTANCE.getObjectiveDeclaration_Kind();
/**
* The meta object literal for the 'Objective' containment reference feature.
*
*
* @generated
*/
EReference OBJECTIVE_DECLARATION__OBJECTIVE = eINSTANCE.getObjectiveDeclaration_Objective();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ScopeDeclarationImpl Scope Declaration}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ScopeDeclarationImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getScopeDeclaration()
* @generated
*/
EClass SCOPE_DECLARATION = eINSTANCE.getScopeDeclaration();
/**
* The meta object literal for the 'Type' reference feature.
*
*
* @generated
*/
EReference SCOPE_DECLARATION__TYPE = eINSTANCE.getScopeDeclaration_Type();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExactScopeImpl Exact Scope}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExactScopeImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactScope()
* @generated
*/
EClass EXACT_SCOPE = eINSTANCE.getExactScope();
/**
* The meta object literal for the 'Size' attribute feature.
*
*
* @generated
*/
EAttribute EXACT_SCOPE__SIZE = eINSTANCE.getExactScope_Size();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedScopeImpl Bounded Scope}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedScopeImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedScope()
* @generated
*/
EClass BOUNDED_SCOPE = eINSTANCE.getBoundedScope();
/**
* The meta object literal for the 'Lower Bound' attribute feature.
*
*
* @generated
*/
EAttribute BOUNDED_SCOPE__LOWER_BOUND = eINSTANCE.getBoundedScope_LowerBound();
/**
* The meta object literal for the 'Upper Bound' attribute feature.
*
*
* @generated
*/
EAttribute BOUNDED_SCOPE__UPPER_BOUND = eINSTANCE.getBoundedScope_UpperBound();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LowerBoundedScopeImpl Lower Bounded Scope}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.LowerBoundedScopeImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLowerBoundedScope()
* @generated
*/
EClass LOWER_BOUNDED_SCOPE = eINSTANCE.getLowerBoundedScope();
/**
* The meta object literal for the 'Lower Bound' attribute feature.
*
*
* @generated
*/
EAttribute LOWER_BOUNDED_SCOPE__LOWER_BOUND = eINSTANCE.getLowerBoundedScope_LowerBound();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NamespaceImportImpl Namespace Import}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.NamespaceImportImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNamespaceImport()
* @generated
*/
EClass NAMESPACE_IMPORT = eINSTANCE.getNamespaceImport();
/**
* The meta object literal for the 'Imported Namespace' attribute feature.
*
*
* @generated
*/
EAttribute NAMESPACE_IMPORT__IMPORTED_NAMESPACE = eINSTANCE.getNamespaceImport_ImportedNamespace();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ImportImpl Import}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.ImportImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getImport()
* @generated
*/
EClass IMPORT = eINSTANCE.getImport();
/**
* The meta object literal for the 'Alias' attribute feature.
*
*
* @generated
*/
EAttribute IMPORT__ALIAS = eINSTANCE.getImport_Alias();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UriImportImpl Uri Import}' class.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.UriImportImpl
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUriImport()
* @generated
*/
EClass URI_IMPORT = eINSTANCE.getUriImport();
/**
* The meta object literal for the 'Uri' attribute feature.
*
*
* @generated
*/
EAttribute URI_IMPORT__URI = eINSTANCE.getUriImport_Uri();
/**
* The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryOperator Unary Operator}' enum.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.UnaryOperator
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryOperator()
* @generated
*/
EEnum UNARY_OPERATOR = eINSTANCE.getUnaryOperator();
/**
* 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.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.AttributeKind Attribute Kind}' enum.
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.AttributeKind
* @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAttributeKind()
* @generated
*/
EEnum ATTRIBUTE_KIND = eINSTANCE.getAttributeKind();
}
} //SolverLanguagePackage