1 files changed, 25 insertions, 17 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java
index 47166823..cdcafecb 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java
@@ -1,5 +1,5 @@
 /*

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

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

 

@@ -1471,7 +1471,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 //ClassReference

                 public RuleCall getTypeClassReferenceParserRuleCall_1_0() { return cTypeClassReferenceParserRuleCall_1_0; }

                 

-                //setsNew?='+=' | setsSum?='='

+                //(setsNew?='+=' | setsSum?='=')

                 public Alternatives getAlternatives_2() { return cAlternatives_2; }

                 

                 //setsNew?='+='

@@ -1486,7 +1486,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 //'='

                 public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; }

                 

-                //number=ExactNumber | number=IntervallNumber

+                //(number=ExactNumber | number=IntervallNumber)

                 public Alternatives getAlternatives_3() { return cAlternatives_3; }

                 

                 //number=ExactNumber

@@ -1534,7 +1534,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 //ObjectReference

                 public RuleCall getTypeObjectReferenceParserRuleCall_1_0() { return cTypeObjectReferenceParserRuleCall_1_0; }

                 

-                //setsNew?='+=' | setsSum?='='

+                //(setsNew?='+=' | setsSum?='=')

                 public Alternatives getAlternatives_2() { return cAlternatives_2; }

                 

                 //setsNew?='+='

@@ -1549,7 +1549,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 //'='

                 public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; }

                 

-                //number=ExactNumber | number=IntervallNumber

+                //(number=ExactNumber | number=IntervallNumber)

                 public Alternatives getAlternatives_3() { return cAlternatives_3; }

                 

                 //number=ExactNumber

@@ -1601,7 +1601,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 //IntegerReference

                 public RuleCall getTypeIntegerReferenceParserRuleCall_1_0() { return cTypeIntegerReferenceParserRuleCall_1_0; }

                 

-                //setsNew?='+=' | setsSum?='='

+                //(setsNew?='+=' | setsSum?='=')

                 public Alternatives getAlternatives_2() { return cAlternatives_2; }

                 

                 //setsNew?='+='

@@ -1616,7 +1616,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 //'='

                 public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; }

                 

-                //number=ExactNumber | number=IntervallNumber | number=IntEnumberation

+                //(number=ExactNumber | number=IntervallNumber | number=IntEnumberation)

                 public Alternatives getAlternatives_3() { return cAlternatives_3; }

                 

                 //number=ExactNumber

@@ -1674,7 +1674,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 //RealReference

                 public RuleCall getTypeRealReferenceParserRuleCall_1_0() { return cTypeRealReferenceParserRuleCall_1_0; }

                 

-                //setsNew?='+=' | setsSum?='='

+                //(setsNew?='+=' | setsSum?='=')

                 public Alternatives getAlternatives_2() { return cAlternatives_2; }

                 

                 //setsNew?='+='

@@ -1689,7 +1689,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 //'='

                 public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; }

                 

-                //number=ExactNumber | number=IntervallNumber | number=RealEnumeration

+                //(number=ExactNumber | number=IntervallNumber | number=RealEnumeration)

                 public Alternatives getAlternatives_3() { return cAlternatives_3; }

                 

                 //number=ExactNumber

@@ -1747,7 +1747,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 //StringReference

                 public RuleCall getTypeStringReferenceParserRuleCall_1_0() { return cTypeStringReferenceParserRuleCall_1_0; }

                 

-                //setsNew?='+=' | setsSum?='='

+                //(setsNew?='+=' | setsSum?='=')

                 public Alternatives getAlternatives_2() { return cAlternatives_2; }

                 

                 //setsNew?='+='

@@ -1762,7 +1762,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 //'='

                 public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; }

                 

-                //number=ExactNumber | number=IntervallNumber | number=StringEnumeration

+                //(number=ExactNumber | number=IntervallNumber | number=StringEnumeration)

                 public Alternatives getAlternatives_3() { return cAlternatives_3; }

                 

                 //number=ExactNumber

@@ -2003,7 +2003,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 //'..'

                 public Keyword getFullStopFullStopKeyword_1() { return cFullStopFullStopKeyword_1; }

                 

-                //maxNumber=INT | maxUnlimited?='*'

+                //(maxNumber=INT | maxUnlimited?='*')

                 public Alternatives getAlternatives_2() { return cAlternatives_2; }

                 

                 //maxNumber=INT

@@ -2346,11 +2346,11 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 //'{'

                 public Keyword getLeftCurlyBracketKeyword_2() { return cLeftCurlyBracketKeyword_2; }

                 

-                //('metamodel' '=' metamodel=Metamodel)? & ('partial-model' '=' partialModel=PartialModel)? & ('constraints' '='

+                //(('metamodel' '=' metamodel=Metamodel)? & ('partial-model' '=' partialModel=PartialModel)? & ('constraints' '='

                 //patterns=GraphPattern)? & ('scope' '=' scope=Scope)? & (numberSpecified?='number' '=' number=INT)? &

                 //(runSpecified?='runs' '=' runs=INT)? & ('solver' '=' solver=Solver)? & ('config' '=' config=Config)? & ('debug' '='

                 //debugFolder=File)? & ('log' '=' targetLogFile=File)? & ('statistics' '=' targetStatisticsFile=File)? & ('output' '='

-                //tagetFolder=File)?

+                //tagetFolder=File)?)

                 public UnorderedGroup getUnorderedGroup_3() { return cUnorderedGroup_3; }

                 

                 //('metamodel' '=' metamodel=Metamodel)?

@@ -2587,12 +2587,14 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 private final Keyword cAlloySolverAlloySolverKeyword_1_0 = (Keyword)cAlloySolverEnumLiteralDeclaration_1.eContents().get(0);

                 private final EnumLiteralDeclaration cViatraSolverEnumLiteralDeclaration_2 = (EnumLiteralDeclaration)cAlternatives.eContents().get(2);

                 private final Keyword cViatraSolverViatraSolverKeyword_2_0 = (Keyword)cViatraSolverEnumLiteralDeclaration_2.eContents().get(0);

+                private final EnumLiteralDeclaration cTPTPSolverEnumLiteralDeclaration_3 = (EnumLiteralDeclaration)cAlternatives.eContents().get(3);

+                private final Keyword cTPTPSolverTPTPSolverKeyword_3_0 = (Keyword)cTPTPSolverEnumLiteralDeclaration_3.eContents().get(0);

                 

                 //enum Solver:

-                //      SMTSolver | AlloySolver | ViatraSolver;

+                //      SMTSolver | AlloySolver | ViatraSolver | TPTPSolver;

                 public EnumRule getRule() { return rule; }

                 

-                //SMTSolver | AlloySolver | ViatraSolver

+                //SMTSolver | AlloySolver | ViatraSolver | TPTPSolver

                 public Alternatives getAlternatives() { return cAlternatives; }

                 

                 //SMTSolver

@@ -2612,6 +2614,12 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 

                 //"ViatraSolver"

                 public Keyword getViatraSolverViatraSolverKeyword_2_0() { return cViatraSolverViatraSolverKeyword_2_0; }

+                

+                //TPTPSolver

+                public EnumLiteralDeclaration getTPTPSolverEnumLiteralDeclaration_3() { return cTPTPSolverEnumLiteralDeclaration_3; }

+                

+                //"TPTPSolver"

+                public Keyword getTPTPSolverTPTPSolverKeyword_3_0() { return cTPTPSolverTPTPSolverKeyword_3_0; }

         }

         

         private final ConfigurationScriptElements pConfigurationScript;

@@ -3263,7 +3271,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
         }

         

         //enum Solver:

-        //      SMTSolver | AlloySolver | ViatraSolver;

+        //      SMTSolver | AlloySolver | ViatraSolver | TPTPSolver;

         public SolverElements getSolverAccess() {

                 return eSolver;

         }