/** */ package org.eclipse.viatra.solver.language.solverLanguage; import org.eclipse.emf.ecore.EAttribute; import org.eclipse.emf.ecore.EClass; import org.eclipse.emf.ecore.EEnum; import org.eclipse.emf.ecore.EPackage; import org.eclipse.emf.ecore.EReference; /** * * The Package for the model. * It contains accessors for the meta objects to represent * * * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguageFactory * @model kind="package" * @generated */ public interface SolverLanguagePackage extends EPackage { /** * The package name. * * * @generated */ String eNAME = "solverLanguage"; /** * The package namespace URI. * * * @generated */ String eNS_URI = "http://www.eclipse.org/viatra/solver/language/SolverLanguage"; /** * The package namespace name. * * * @generated */ String eNS_PREFIX = "solverLanguage"; /** * The singleton instance of the package. * * * @generated */ SolverLanguagePackage eINSTANCE = org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl .init(); /** * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.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 * * * @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