1 files changed, 248 insertions, 248 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java
index a2c3d17b..ba872400 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java
@@ -1,248 +1,248 @@
-/**
+/**
- * generated by Xtext 2.21.0
+ * generated by Xtext 2.21.0
- */
+ */
-package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
-import java.util.Arrays;
+import java.util.Arrays;
-import java.util.Collections;
+import java.util.Collections;
-import java.util.List;
+import java.util.List;
-import org.eclipse.emf.common.util.Enumerator;
+import org.eclipse.emf.common.util.Enumerator;
-/**
+/**
- * <!-- begin-user-doc -->
+ * <!-- begin-user-doc -->
- * A representation of the literals of the enumeration '<em><b>Solver</b></em>',
+ * A representation of the literals of the enumeration '<em><b>Solver</b></em>',
- * and utility methods for working with them.
+ * and utility methods for working with them.
- * <!-- end-user-doc -->
+ * <!-- end-user-doc -->
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getSolver()
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getSolver()
- * @model
+ * @model
- * @generated
+ * @generated
- */
+ */
-public enum Solver implements Enumerator
+public enum Solver implements Enumerator
-{
+{
-  /**
+  /**
-   * The '<em><b>SMT Solver</b></em>' literal object.
+   * The '<em><b>SMT Solver</b></em>' literal object.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @see #SMT_SOLVER_VALUE
+   * @see #SMT_SOLVER_VALUE
-   * @generated
+   * @generated
-   * @ordered
+   * @ordered
-   */
+   */
-  SMT_SOLVER(0, "SMTSolver", "SMTSolver"),
+  SMT_SOLVER(0, "SMTSolver", "SMTSolver"),
-  /**
+  /**
-   * The '<em><b>Alloy Solver</b></em>' literal object.
+   * The '<em><b>Alloy Solver</b></em>' literal object.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @see #ALLOY_SOLVER_VALUE
+   * @see #ALLOY_SOLVER_VALUE
-   * @generated
+   * @generated
-   * @ordered
+   * @ordered
-   */
+   */
-  ALLOY_SOLVER(1, "AlloySolver", "AlloySolver"),
+  ALLOY_SOLVER(1, "AlloySolver", "AlloySolver"),
-  /**
+  /**
-   * The '<em><b>Viatra Solver</b></em>' literal object.
+   * The '<em><b>Viatra Solver</b></em>' literal object.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @see #VIATRA_SOLVER_VALUE
+   * @see #VIATRA_SOLVER_VALUE
-   * @generated
+   * @generated
-   * @ordered
+   * @ordered
-   */
+   */
-  VIATRA_SOLVER(2, "ViatraSolver", "ViatraSolver");
+  VIATRA_SOLVER(2, "ViatraSolver", "ViatraSolver");
-  /**
+  /**
-   * The '<em><b>SMT Solver</b></em>' literal value.
+   * The '<em><b>SMT Solver</b></em>' literal value.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @see #SMT_SOLVER
+   * @see #SMT_SOLVER
-   * @model name="SMTSolver"
+   * @model name="SMTSolver"
-   * @generated
+   * @generated
-   * @ordered
+   * @ordered
-   */
+   */
-  public static final int SMT_SOLVER_VALUE = 0;
+  public static final int SMT_SOLVER_VALUE = 0;
-  /**
+  /**
-   * The '<em><b>Alloy Solver</b></em>' literal value.
+   * The '<em><b>Alloy Solver</b></em>' literal value.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @see #ALLOY_SOLVER
+   * @see #ALLOY_SOLVER
-   * @model name="AlloySolver"
+   * @model name="AlloySolver"
-   * @generated
+   * @generated
-   * @ordered
+   * @ordered
-   */
+   */
-  public static final int ALLOY_SOLVER_VALUE = 1;
+  public static final int ALLOY_SOLVER_VALUE = 1;
-  /**
+  /**
-   * The '<em><b>Viatra Solver</b></em>' literal value.
+   * The '<em><b>Viatra Solver</b></em>' literal value.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @see #VIATRA_SOLVER
+   * @see #VIATRA_SOLVER
-   * @model name="ViatraSolver"
+   * @model name="ViatraSolver"
-   * @generated
+   * @generated
-   * @ordered
+   * @ordered
-   */
+   */
-  public static final int VIATRA_SOLVER_VALUE = 2;
+  public static final int VIATRA_SOLVER_VALUE = 2;
-  /**
+  /**
-   * An array of all the '<em><b>Solver</b></em>' enumerators.
+   * An array of all the '<em><b>Solver</b></em>' enumerators.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @generated
+   * @generated
-   */
+   */
-  private static final Solver[] VALUES_ARRAY =
+  private static final Solver[] VALUES_ARRAY =
-    new Solver[]
+    new Solver[]
-    {
+    {
-      SMT_SOLVER,
+      SMT_SOLVER,
-      ALLOY_SOLVER,
+      ALLOY_SOLVER,
-      VIATRA_SOLVER,
+      VIATRA_SOLVER,
-    };
+    };
-  /**
+  /**
-   * A public read-only list of all the '<em><b>Solver</b></em>' enumerators.
+   * A public read-only list of all the '<em><b>Solver</b></em>' enumerators.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @generated
+   * @generated
-   */
+   */
-  public static final List<Solver> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY));
+  public static final List<Solver> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY));
-  /**
+  /**
-   * Returns the '<em><b>Solver</b></em>' literal with the specified literal value.
+   * Returns the '<em><b>Solver</b></em>' literal with the specified literal value.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @param literal the literal.
+   * @param literal the literal.
-   * @return the matching enumerator or <code>null</code>.
+   * @return the matching enumerator or <code>null</code>.
-   * @generated
+   * @generated
-   */
+   */
-  public static Solver get(String literal)
+  public static Solver get(String literal)
-  {
+  {
-    for (int i = 0; i < VALUES_ARRAY.length; ++i)
+    for (int i = 0; i < VALUES_ARRAY.length; ++i)
-    {
+    {
-      Solver result = VALUES_ARRAY[i];
+      Solver result = VALUES_ARRAY[i];
-      if (result.toString().equals(literal))
+      if (result.toString().equals(literal))
-      {
+      {
-        return result;
+        return result;
-      }
+      }
-    }
+    }
-    return null;
+    return null;
-  }
+  }
-  /**
+  /**
-   * Returns the '<em><b>Solver</b></em>' literal with the specified name.
+   * Returns the '<em><b>Solver</b></em>' literal with the specified name.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @param name the name.
+   * @param name the name.
-   * @return the matching enumerator or <code>null</code>.
+   * @return the matching enumerator or <code>null</code>.
-   * @generated
+   * @generated
-   */
+   */
-  public static Solver getByName(String name)
+  public static Solver getByName(String name)
-  {
+  {
-    for (int i = 0; i < VALUES_ARRAY.length; ++i)
+    for (int i = 0; i < VALUES_ARRAY.length; ++i)
-    {
+    {
-      Solver result = VALUES_ARRAY[i];
+      Solver result = VALUES_ARRAY[i];
-      if (result.getName().equals(name))
+      if (result.getName().equals(name))
-      {
+      {
-        return result;
+        return result;
-      }
+      }
-    }
+    }
-    return null;
+    return null;
-  }
+  }
-  /**
+  /**
-   * Returns the '<em><b>Solver</b></em>' literal with the specified integer value.
+   * Returns the '<em><b>Solver</b></em>' literal with the specified integer value.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @param value the integer value.
+   * @param value the integer value.
-   * @return the matching enumerator or <code>null</code>.
+   * @return the matching enumerator or <code>null</code>.
-   * @generated
+   * @generated
-   */
+   */
-  public static Solver get(int value)
+  public static Solver get(int value)
-  {
+  {
-    switch (value)
+    switch (value)
-    {
+    {
-      case SMT_SOLVER_VALUE: return SMT_SOLVER;
+      case SMT_SOLVER_VALUE: return SMT_SOLVER;
-      case ALLOY_SOLVER_VALUE: return ALLOY_SOLVER;
+      case ALLOY_SOLVER_VALUE: return ALLOY_SOLVER;
-      case VIATRA_SOLVER_VALUE: return VIATRA_SOLVER;
+      case VIATRA_SOLVER_VALUE: return VIATRA_SOLVER;
-    }
+    }
-    return null;
+    return null;
-  }
+  }
-  /**
+  /**
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @generated
+   * @generated
-   */
+   */
-  private final int value;
+  private final int value;
-  /**
+  /**
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @generated
+   * @generated
-   */
+   */
-  private final String name;
+  private final String name;
-  /**
+  /**
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @generated
+   * @generated
-   */
+   */
-  private final String literal;
+  private final String literal;
-  /**
+  /**
-   * Only this class can construct instances.
+   * Only this class can construct instances.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @generated
+   * @generated
-   */
+   */
-  private Solver(int value, String name, String literal)
+  private Solver(int value, String name, String literal)
-  {
+  {
-    this.value = value;
+    this.value = value;
-    this.name = name;
+    this.name = name;
-    this.literal = literal;
+    this.literal = literal;
-  }
+  }
-  /**
+  /**
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @generated
+   * @generated
-   */
+   */
-  @Override
+  @Override
-  public int getValue()
+  public int getValue()
-  {
+  {
-    return value;
+    return value;
-  }
+  }
-  /**
+  /**
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @generated
+   * @generated
-   */
+   */
-  @Override
+  @Override
-  public String getName()
+  public String getName()
-  {
+  {
-    return name;
+    return name;
-  }
+  }
-  /**
+  /**
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @generated
+   * @generated
-   */
+   */
-  @Override
+  @Override
-  public String getLiteral()
+  public String getLiteral()
-  {
+  {
-    return literal;
+    return literal;
-  }
+  }
-  /**
+  /**
-   * Returns the literal value of the enumerator, which is its string representation.
+   * Returns the literal value of the enumerator, which is its string representation.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @generated
+   * @generated
-   */
+   */
-  @Override
+  @Override
-  public String toString()
+  public String toString()
-  {
+  {
-    return literal;
+    return literal;
-  }
+  }
-  
+  
-} //Solver
+} //Solver

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java index a2c3d17b..ba872400 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java
@@ -1,248 +1,248 @@
1	/**	1	/**
2	* generated by Xtext 2.21.0	2	* generated by Xtext 2.21.0
3	*/	3	*/
4	package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;	4	package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
5		5
6	import java.util.Arrays;	6	import java.util.Arrays;
7	import java.util.Collections;	7	import java.util.Collections;
8	import java.util.List;	8	import java.util.List;
9		9
10	import org.eclipse.emf.common.util.Enumerator;	10	import org.eclipse.emf.common.util.Enumerator;
11		11
12	/**	12	/**
13	* <!-- begin-user-doc -->	13	* <!-- begin-user-doc -->
14	* A representation of the literals of the enumeration '<em><b>Solver</b></em>',	14	* A representation of the literals of the enumeration '<em><b>Solver</b></em>',
15	* and utility methods for working with them.	15	* and utility methods for working with them.
16	* <!-- end-user-doc -->	16	* <!-- end-user-doc -->
17	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getSolver()	17	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getSolver()
18	* @model	18	* @model
19	* @generated	19	* @generated
20	*/	20	*/
21	public enum Solver implements Enumerator	21	public enum Solver implements Enumerator
22	{	22	{
23	/**	23	/**
24	* The '<em><b>SMT Solver</b></em>' literal object.	24	* The '<em><b>SMT Solver</b></em>' literal object.
25	* <!-- begin-user-doc -->	25	* <!-- begin-user-doc -->
26	* <!-- end-user-doc -->	26	* <!-- end-user-doc -->
27	* @see #SMT_SOLVER_VALUE	27	* @see #SMT_SOLVER_VALUE
28	* @generated	28	* @generated
29	* @ordered	29	* @ordered
30	*/	30	*/
31	SMT_SOLVER(0, "SMTSolver", "SMTSolver"),	31	SMT_SOLVER(0, "SMTSolver", "SMTSolver"),
32		32
33	/**	33	/**
34	* The '<em><b>Alloy Solver</b></em>' literal object.	34	* The '<em><b>Alloy Solver</b></em>' literal object.
35	* <!-- begin-user-doc -->	35	* <!-- begin-user-doc -->
36	* <!-- end-user-doc -->	36	* <!-- end-user-doc -->
37	* @see #ALLOY_SOLVER_VALUE	37	* @see #ALLOY_SOLVER_VALUE
38	* @generated	38	* @generated
39	* @ordered	39	* @ordered
40	*/	40	*/
41	ALLOY_SOLVER(1, "AlloySolver", "AlloySolver"),	41	ALLOY_SOLVER(1, "AlloySolver", "AlloySolver"),
42		42
43	/**	43	/**
44	* The '<em><b>Viatra Solver</b></em>' literal object.	44	* The '<em><b>Viatra Solver</b></em>' literal object.
45	* <!-- begin-user-doc -->	45	* <!-- begin-user-doc -->
46	* <!-- end-user-doc -->	46	* <!-- end-user-doc -->
47	* @see #VIATRA_SOLVER_VALUE	47	* @see #VIATRA_SOLVER_VALUE
48	* @generated	48	* @generated
49	* @ordered	49	* @ordered
50	*/	50	*/
51	VIATRA_SOLVER(2, "ViatraSolver", "ViatraSolver");	51	VIATRA_SOLVER(2, "ViatraSolver", "ViatraSolver");
52		52
53	/**	53	/**
54	* The '<em><b>SMT Solver</b></em>' literal value.	54	* The '<em><b>SMT Solver</b></em>' literal value.
55	* <!-- begin-user-doc -->	55	* <!-- begin-user-doc -->
56	* <!-- end-user-doc -->	56	* <!-- end-user-doc -->
57	* @see #SMT_SOLVER	57	* @see #SMT_SOLVER
58	* @model name="SMTSolver"	58	* @model name="SMTSolver"
59	* @generated	59	* @generated
60	* @ordered	60	* @ordered
61	*/	61	*/
62	public static final int SMT_SOLVER_VALUE = 0;	62	public static final int SMT_SOLVER_VALUE = 0;
63		63
64	/**	64	/**
65	* The '<em><b>Alloy Solver</b></em>' literal value.	65	* The '<em><b>Alloy Solver</b></em>' literal value.
66	* <!-- begin-user-doc -->	66	* <!-- begin-user-doc -->
67	* <!-- end-user-doc -->	67	* <!-- end-user-doc -->
68	* @see #ALLOY_SOLVER	68	* @see #ALLOY_SOLVER
69	* @model name="AlloySolver"	69	* @model name="AlloySolver"
70	* @generated	70	* @generated
71	* @ordered	71	* @ordered
72	*/	72	*/
73	public static final int ALLOY_SOLVER_VALUE = 1;	73	public static final int ALLOY_SOLVER_VALUE = 1;
74		74
75	/**	75	/**
76	* The '<em><b>Viatra Solver</b></em>' literal value.	76	* The '<em><b>Viatra Solver</b></em>' literal value.
77	* <!-- begin-user-doc -->	77	* <!-- begin-user-doc -->
78	* <!-- end-user-doc -->	78	* <!-- end-user-doc -->
79	* @see #VIATRA_SOLVER	79	* @see #VIATRA_SOLVER
80	* @model name="ViatraSolver"	80	* @model name="ViatraSolver"
81	* @generated	81	* @generated
82	* @ordered	82	* @ordered
83	*/	83	*/
84	public static final int VIATRA_SOLVER_VALUE = 2;	84	public static final int VIATRA_SOLVER_VALUE = 2;
85		85
86	/**	86	/**
87	* An array of all the '<em><b>Solver</b></em>' enumerators.	87	* An array of all the '<em><b>Solver</b></em>' enumerators.
88	* <!-- begin-user-doc -->	88	* <!-- begin-user-doc -->
89	* <!-- end-user-doc -->	89	* <!-- end-user-doc -->
90	* @generated	90	* @generated
91	*/	91	*/
92	private static final Solver[] VALUES_ARRAY =	92	private static final Solver[] VALUES_ARRAY =
93	new Solver[]	93	new Solver[]
94	{	94	{
95	SMT_SOLVER,	95	SMT_SOLVER,
96	ALLOY_SOLVER,	96	ALLOY_SOLVER,
97	VIATRA_SOLVER,	97	VIATRA_SOLVER,
98	};	98	};
99		99
100	/**	100	/**
101	* A public read-only list of all the '<em><b>Solver</b></em>' enumerators.	101	* A public read-only list of all the '<em><b>Solver</b></em>' enumerators.
102	* <!-- begin-user-doc -->	102	* <!-- begin-user-doc -->
103	* <!-- end-user-doc -->	103	* <!-- end-user-doc -->
104	* @generated	104	* @generated
105	*/	105	*/
106	public static final List<Solver> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY));	106	public static final List<Solver> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY));
107		107
108	/**	108	/**
109	* Returns the '<em><b>Solver</b></em>' literal with the specified literal value.	109	* Returns the '<em><b>Solver</b></em>' literal with the specified literal value.
110	* <!-- begin-user-doc -->	110	* <!-- begin-user-doc -->
111	* <!-- end-user-doc -->	111	* <!-- end-user-doc -->
112	* @param literal the literal.	112	* @param literal the literal.
113	* @return the matching enumerator or <code>null</code>.	113	* @return the matching enumerator or <code>null</code>.
114	* @generated	114	* @generated
115	*/	115	*/
116	public static Solver get(String literal)	116	public static Solver get(String literal)
117	{	117	{
118	for (int i = 0; i < VALUES_ARRAY.length; ++i)	118	for (int i = 0; i < VALUES_ARRAY.length; ++i)
119	{	119	{
120	Solver result = VALUES_ARRAY[i];	120	Solver result = VALUES_ARRAY[i];
121	if (result.toString().equals(literal))	121	if (result.toString().equals(literal))
122	{	122	{
123	return result;	123	return result;
124	}	124	}
125	}	125	}
126	return null;	126	return null;
127	}	127	}
128		128
129	/**	129	/**
130	* Returns the '<em><b>Solver</b></em>' literal with the specified name.	130	* Returns the '<em><b>Solver</b></em>' literal with the specified name.
131	* <!-- begin-user-doc -->	131	* <!-- begin-user-doc -->
132	* <!-- end-user-doc -->	132	* <!-- end-user-doc -->
133	* @param name the name.	133	* @param name the name.
134	* @return the matching enumerator or <code>null</code>.	134	* @return the matching enumerator or <code>null</code>.
135	* @generated	135	* @generated
136	*/	136	*/
137	public static Solver getByName(String name)	137	public static Solver getByName(String name)
138	{	138	{
139	for (int i = 0; i < VALUES_ARRAY.length; ++i)	139	for (int i = 0; i < VALUES_ARRAY.length; ++i)
140	{	140	{
141	Solver result = VALUES_ARRAY[i];	141	Solver result = VALUES_ARRAY[i];
142	if (result.getName().equals(name))	142	if (result.getName().equals(name))
143	{	143	{
144	return result;	144	return result;
145	}	145	}
146	}	146	}
147	return null;	147	return null;
148	}	148	}
149		149
150	/**	150	/**
151	* Returns the '<em><b>Solver</b></em>' literal with the specified integer value.	151	* Returns the '<em><b>Solver</b></em>' literal with the specified integer value.
152	* <!-- begin-user-doc -->	152	* <!-- begin-user-doc -->
153	* <!-- end-user-doc -->	153	* <!-- end-user-doc -->
154	* @param value the integer value.	154	* @param value the integer value.
155	* @return the matching enumerator or <code>null</code>.	155	* @return the matching enumerator or <code>null</code>.
156	* @generated	156	* @generated
157	*/	157	*/
158	public static Solver get(int value)	158	public static Solver get(int value)
159	{	159	{
160	switch (value)	160	switch (value)
161	{	161	{
162	case SMT_SOLVER_VALUE: return SMT_SOLVER;	162	case SMT_SOLVER_VALUE: return SMT_SOLVER;
163	case ALLOY_SOLVER_VALUE: return ALLOY_SOLVER;	163	case ALLOY_SOLVER_VALUE: return ALLOY_SOLVER;
164	case VIATRA_SOLVER_VALUE: return VIATRA_SOLVER;	164	case VIATRA_SOLVER_VALUE: return VIATRA_SOLVER;
165	}	165	}
166	return null;	166	return null;
167	}	167	}
168		168
169	/**	169	/**
170	* <!-- begin-user-doc -->	170	* <!-- begin-user-doc -->
171	* <!-- end-user-doc -->	171	* <!-- end-user-doc -->
172	* @generated	172	* @generated
173	*/	173	*/
174	private final int value;	174	private final int value;
175		175
176	/**	176	/**
177	* <!-- begin-user-doc -->	177	* <!-- begin-user-doc -->
178	* <!-- end-user-doc -->	178	* <!-- end-user-doc -->
179	* @generated	179	* @generated
180	*/	180	*/
181	private final String name;	181	private final String name;
182		182
183	/**	183	/**
184	* <!-- begin-user-doc -->	184	* <!-- begin-user-doc -->
185	* <!-- end-user-doc -->	185	* <!-- end-user-doc -->
186	* @generated	186	* @generated
187	*/	187	*/
188	private final String literal;	188	private final String literal;
189		189
190	/**	190	/**
191	* Only this class can construct instances.	191	* Only this class can construct instances.
192	* <!-- begin-user-doc -->	192	* <!-- begin-user-doc -->
193	* <!-- end-user-doc -->	193	* <!-- end-user-doc -->
194	* @generated	194	* @generated
195	*/	195	*/
196	private Solver(int value, String name, String literal)	196	private Solver(int value, String name, String literal)
197	{	197	{
198	this.value = value;	198	this.value = value;
199	this.name = name;	199	this.name = name;
200	this.literal = literal;	200	this.literal = literal;
201	}	201	}
202		202
203	/**	203	/**
204	* <!-- begin-user-doc -->	204	* <!-- begin-user-doc -->
205	* <!-- end-user-doc -->	205	* <!-- end-user-doc -->
206	* @generated	206	* @generated
207	*/	207	*/
208	@Override	208	@Override
209	public int getValue()	209	public int getValue()
210	{	210	{
211	return value;	211	return value;
212	}	212	}
213		213
214	/**	214	/**
215	* <!-- begin-user-doc -->	215	* <!-- begin-user-doc -->
216	* <!-- end-user-doc -->	216	* <!-- end-user-doc -->
217	* @generated	217	* @generated
218	*/	218	*/
219	@Override	219	@Override
220	public String getName()	220	public String getName()
221	{	221	{
222	return name;	222	return name;
223	}	223	}
224		224
225	/**	225	/**
226	* <!-- begin-user-doc -->	226	* <!-- begin-user-doc -->
227	* <!-- end-user-doc -->	227	* <!-- end-user-doc -->
228	* @generated	228	* @generated
229	*/	229	*/
230	@Override	230	@Override
231	public String getLiteral()	231	public String getLiteral()
232	{	232	{
233	return literal;	233	return literal;
234	}	234	}
235		235
236	/**	236	/**
237	* Returns the literal value of the enumerator, which is its string representation.	237	* Returns the literal value of the enumerator, which is its string representation.
238	* <!-- begin-user-doc -->	238	* <!-- begin-user-doc -->
239	* <!-- end-user-doc -->	239	* <!-- end-user-doc -->
240	* @generated	240	* @generated
241	*/	241	*/
242	@Override	242	@Override
243	public String toString()	243	public String toString()
244	{	244	{
245	return literal;	245	return literal;
246	}	246	}
247		247
248	} //Solver	248	} //Solver