1 files changed, 435 insertions, 0 deletions

diff --git a/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/BinaryOperator.java b/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/BinaryOperator.java
new file mode 100644
index 00000000..58d01fd7
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.model/src-gen/org/eclipse/viatra/solver/language/solverLanguage/BinaryOperator.java
@@ -0,0 +1,435 @@
+/**
+ */
+package org.eclipse.viatra.solver.language.solverLanguage;
+
+import java.util.Arrays;
+import java.util.Collections;
+import java.util.List;
+
+import org.eclipse.emf.common.util.Enumerator;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the literals of the enumeration '<em><b>Binary Operator</b></em>',
+ * and utility methods for working with them.
+ * <!-- end-user-doc -->
+ * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getBinaryOperator()
+ * @model
+ * @generated
+ */
+public enum BinaryOperator implements Enumerator {
+        /**
+         * The '<em><b>PLUS</b></em>' literal object.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #PLUS_VALUE
+         * @generated
+         * @ordered
+         */
+        PLUS(0, "PLUS", "PLUS"),
+
+        /**
+         * The '<em><b>MINUS</b></em>' literal object.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #MINUS_VALUE
+         * @generated
+         * @ordered
+         */
+        MINUS(1, "MINUS", "MINUS"),
+
+        /**
+         * The '<em><b>MULTIPLY</b></em>' literal object.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #MULTIPLY_VALUE
+         * @generated
+         * @ordered
+         */
+        MULTIPLY(2, "MULTIPLY", "MULTIPLY"),
+
+        /**
+         * The '<em><b>DIVIDE</b></em>' literal object.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #DIVIDE_VALUE
+         * @generated
+         * @ordered
+         */
+        DIVIDE(3, "DIVIDE", "DIVIDE"),
+
+        /**
+         * The '<em><b>POW</b></em>' literal object.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #POW_VALUE
+         * @generated
+         * @ordered
+         */
+        POW(4, "POW", "POW"),
+
+        /**
+         * The '<em><b>IN</b></em>' literal object.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #IN_VALUE
+         * @generated
+         * @ordered
+         */
+        IN(5, "IN", "IN"),
+
+        /**
+         * The '<em><b>EQUALS</b></em>' literal object.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #EQUALS_VALUE
+         * @generated
+         * @ordered
+         */
+        EQUALS(6, "EQUALS", "EQUALS"),
+
+        /**
+         * The '<em><b>NOT EQUALS</b></em>' literal object.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #NOT_EQUALS_VALUE
+         * @generated
+         * @ordered
+         */
+        NOT_EQUALS(7, "NOT_EQUALS", "NOT_EQUALS"),
+
+        /**
+         * The '<em><b>LESS</b></em>' literal object.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #LESS_VALUE
+         * @generated
+         * @ordered
+         */
+        LESS(8, "LESS", "LESS"),
+
+        /**
+         * The '<em><b>LESS EQUALS</b></em>' literal object.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #LESS_EQUALS_VALUE
+         * @generated
+         * @ordered
+         */
+        LESS_EQUALS(9, "LESS_EQUALS", "LESS_EQUALS"),
+
+        /**
+         * The '<em><b>GREATER</b></em>' literal object.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #GREATER_VALUE
+         * @generated
+         * @ordered
+         */
+        GREATER(10, "GREATER", "GREATER"),
+
+        /**
+         * The '<em><b>GREATER EQUALS</b></em>' literal object.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #GREATER_EQUALS_VALUE
+         * @generated
+         * @ordered
+         */
+        GREATER_EQUALS(11, "GREATER_EQUALS", "GREATER_EQUALS");
+
+        /**
+         * The '<em><b>PLUS</b></em>' literal value.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #PLUS
+         * @model
+         * @generated
+         * @ordered
+         */
+        public static final int PLUS_VALUE = 0;
+
+        /**
+         * The '<em><b>MINUS</b></em>' literal value.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #MINUS
+         * @model
+         * @generated
+         * @ordered
+         */
+        public static final int MINUS_VALUE = 1;
+
+        /**
+         * The '<em><b>MULTIPLY</b></em>' literal value.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #MULTIPLY
+         * @model
+         * @generated
+         * @ordered
+         */
+        public static final int MULTIPLY_VALUE = 2;
+
+        /**
+         * The '<em><b>DIVIDE</b></em>' literal value.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #DIVIDE
+         * @model
+         * @generated
+         * @ordered
+         */
+        public static final int DIVIDE_VALUE = 3;
+
+        /**
+         * The '<em><b>POW</b></em>' literal value.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #POW
+         * @model
+         * @generated
+         * @ordered
+         */
+        public static final int POW_VALUE = 4;
+
+        /**
+         * The '<em><b>IN</b></em>' literal value.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #IN
+         * @model
+         * @generated
+         * @ordered
+         */
+        public static final int IN_VALUE = 5;
+
+        /**
+         * The '<em><b>EQUALS</b></em>' literal value.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #EQUALS
+         * @model
+         * @generated
+         * @ordered
+         */
+        public static final int EQUALS_VALUE = 6;
+
+        /**
+         * The '<em><b>NOT EQUALS</b></em>' literal value.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #NOT_EQUALS
+         * @model
+         * @generated
+         * @ordered
+         */
+        public static final int NOT_EQUALS_VALUE = 7;
+
+        /**
+         * The '<em><b>LESS</b></em>' literal value.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #LESS
+         * @model
+         * @generated
+         * @ordered
+         */
+        public static final int LESS_VALUE = 8;
+
+        /**
+         * The '<em><b>LESS EQUALS</b></em>' literal value.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #LESS_EQUALS
+         * @model
+         * @generated
+         * @ordered
+         */
+        public static final int LESS_EQUALS_VALUE = 9;
+
+        /**
+         * The '<em><b>GREATER</b></em>' literal value.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #GREATER
+         * @model
+         * @generated
+         * @ordered
+         */
+        public static final int GREATER_VALUE = 10;
+
+        /**
+         * The '<em><b>GREATER EQUALS</b></em>' literal value.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #GREATER_EQUALS
+         * @model
+         * @generated
+         * @ordered
+         */
+        public static final int GREATER_EQUALS_VALUE = 11;
+
+        /**
+         * An array of all the '<em><b>Binary Operator</b></em>' enumerators.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private static final BinaryOperator[] VALUES_ARRAY = new BinaryOperator[] { PLUS, MINUS, MULTIPLY, DIVIDE, POW, IN,
+                        EQUALS, NOT_EQUALS, LESS, LESS_EQUALS, GREATER, GREATER_EQUALS, };
+
+        /**
+         * A public read-only list of all the '<em><b>Binary Operator</b></em>' enumerators.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public static final List<BinaryOperator> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY));
+
+        /**
+         * Returns the '<em><b>Binary Operator</b></em>' literal with the specified literal value.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param literal the literal.
+         * @return the matching enumerator or <code>null</code>.
+         * @generated
+         */
+        public static BinaryOperator get(String literal) {
+                for (int i = 0; i < VALUES_ARRAY.length; ++i) {
+                        BinaryOperator result = VALUES_ARRAY[i];
+                        if (result.toString().equals(literal)) {
+                                return result;
+                        }
+                }
+                return null;
+        }
+
+        /**
+         * Returns the '<em><b>Binary Operator</b></em>' literal with the specified name.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param name the name.
+         * @return the matching enumerator or <code>null</code>.
+         * @generated
+         */
+        public static BinaryOperator getByName(String name) {
+                for (int i = 0; i < VALUES_ARRAY.length; ++i) {
+                        BinaryOperator result = VALUES_ARRAY[i];
+                        if (result.getName().equals(name)) {
+                                return result;
+                        }
+                }
+                return null;
+        }
+
+        /**
+         * Returns the '<em><b>Binary Operator</b></em>' literal with the specified integer value.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the integer value.
+         * @return the matching enumerator or <code>null</code>.
+         * @generated
+         */
+        public static BinaryOperator get(int value) {
+                switch (value) {
+                case PLUS_VALUE:
+                        return PLUS;
+                case MINUS_VALUE:
+                        return MINUS;
+                case MULTIPLY_VALUE:
+                        return MULTIPLY;
+                case DIVIDE_VALUE:
+                        return DIVIDE;
+                case POW_VALUE:
+                        return POW;
+                case IN_VALUE:
+                        return IN;
+                case EQUALS_VALUE:
+                        return EQUALS;
+                case NOT_EQUALS_VALUE:
+                        return NOT_EQUALS;
+                case LESS_VALUE:
+                        return LESS;
+                case LESS_EQUALS_VALUE:
+                        return LESS_EQUALS;
+                case GREATER_VALUE:
+                        return GREATER;
+                case GREATER_EQUALS_VALUE:
+                        return GREATER_EQUALS;
+                }
+                return null;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private final int value;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private final String name;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private final String literal;
+
+        /**
+         * Only this class can construct instances.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private BinaryOperator(int value, String name, String literal) {
+                this.value = value;
+                this.name = name;
+                this.literal = literal;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public int getValue() {
+                return value;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public String getName() {
+                return name;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public String getLiteral() {
+                return literal;
+        }
+
+        /**
+         * Returns the literal value of the enumerator, which is its string representation.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public String toString() {
+                return literal;
+        }
+
+} //BinaryOperator