1 files changed, 28 insertions, 14 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 e2750467..3830e0eb 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,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;

 

@@ -48,15 +48,21 @@ public enum Solver implements Enumerator
    * @generated

    * @ordered

    */

-  VIATRA_SOLVER(2, "ViatraSolver", "ViatraSolver");

+  VIATRA_SOLVER(2, "ViatraSolver", "ViatraSolver"),

+

+  /**

+   * The '<em><b>TPTP Solver</b></em>' literal object.

+   * <!-- begin-user-doc -->

+   * <!-- end-user-doc -->

+   * @see #TPTP_SOLVER_VALUE

+   * @generated

+   * @ordered

+   */

+  TPTP_SOLVER(3, "TPTPSolver", "TPTPSolver");

 

   /**

    * The '<em><b>SMT Solver</b></em>' literal value.

    * <!-- begin-user-doc -->

-   * <p>

-   * If the meaning of '<em><b>SMT Solver</b></em>' literal object isn't clear,

-   * there really should be more of a description here...

-   * </p>

    * <!-- end-user-doc -->

    * @see #SMT_SOLVER

    * @model name="SMTSolver"

@@ -68,10 +74,6 @@ public enum Solver implements Enumerator
   /**

    * The '<em><b>Alloy Solver</b></em>' literal value.

    * <!-- begin-user-doc -->

-   * <p>

-   * If the meaning of '<em><b>Alloy Solver</b></em>' literal object isn't clear,

-   * there really should be more of a description here...

-   * </p>

    * <!-- end-user-doc -->

    * @see #ALLOY_SOLVER

    * @model name="AlloySolver"

@@ -83,10 +85,6 @@ public enum Solver implements Enumerator
   /**

    * The '<em><b>Viatra Solver</b></em>' literal value.

    * <!-- begin-user-doc -->

-   * <p>

-   * If the meaning of '<em><b>Viatra Solver</b></em>' literal object isn't clear,

-   * there really should be more of a description here...

-   * </p>

    * <!-- end-user-doc -->

    * @see #VIATRA_SOLVER

    * @model name="ViatraSolver"

@@ -96,6 +94,17 @@ public enum Solver implements Enumerator
   public static final int VIATRA_SOLVER_VALUE = 2;

 

   /**

+   * The '<em><b>TPTP Solver</b></em>' literal value.

+   * <!-- begin-user-doc -->

+   * <!-- end-user-doc -->

+   * @see #TPTP_SOLVER

+   * @model name="TPTPSolver"

+   * @generated

+   * @ordered

+   */

+  public static final int TPTP_SOLVER_VALUE = 3;

+

+  /**

    * An array of all the '<em><b>Solver</b></em>' enumerators.

    * <!-- begin-user-doc -->

    * <!-- end-user-doc -->

@@ -107,6 +116,7 @@ public enum Solver implements Enumerator
       SMT_SOLVER,

       ALLOY_SOLVER,

       VIATRA_SOLVER,

+      TPTP_SOLVER,

     };

 

   /**

@@ -174,6 +184,7 @@ public enum Solver implements Enumerator
       case SMT_SOLVER_VALUE: return SMT_SOLVER;

       case ALLOY_SOLVER_VALUE: return ALLOY_SOLVER;

       case VIATRA_SOLVER_VALUE: return VIATRA_SOLVER;

+      case TPTP_SOLVER_VALUE: return TPTP_SOLVER;

     }

     return null;

   }

@@ -217,6 +228,7 @@ public enum Solver implements Enumerator
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public int getValue()

   {

     return value;

@@ -227,6 +239,7 @@ public enum Solver implements Enumerator
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public String getName()

   {

     return name;

@@ -237,6 +250,7 @@ public enum Solver implements Enumerator
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public String getLiteral()

   {

     return literal;