2 files changed, 4 insertions, 2 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore
index 6b321279..f6425407 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore
@@ -130,6 +130,7 @@
     <eLiterals name="SMTSolver" literal="SMTSolver"/>

     <eLiterals name="AlloySolver" value="1" literal="AlloySolver"/>

     <eLiterals name="ViatraSolver" value="2" literal="ViatraSolver"/>

+    <eLiterals name="TPTPSolver" value="3" literal="TPTPSolver"/>

   </eClassifiers>

   <eClassifiers xsi:type="ecore:EClass" name="ScopeSpecification" eSuperTypes="#//Scope">

     <eStructuralFeatures xsi:type="ecore:EReference" name="scopes" upperBound="-1"

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel
index fd7f0686..93500b66 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel
@@ -1,9 +1,9 @@
 <?xml version="1.0" encoding="UTF-8"?>

 <genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"

-    xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" copyrightText="generated by Xtext 2.12.0" modelDirectory="/hu.bme.mit.inf.dslreasoner.application/src-gen"

+    xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" copyrightText="generated by Xtext 2.21.0" modelDirectory="/hu.bme.mit.inf.dslreasoner.application/src-gen"

     modelPluginID="hu.bme.mit.inf.dslreasoner.application" forceOverwrite="true" modelName="ApplicationConfiguration"

     updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"

-    complianceLevel="6.0" copyrightFields="false" runtimeVersion="2.13" usedGenPackages="platform:/resource/org.eclipse.emf.ecore/model/Ecore.genmodel#//ecore platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.genmodel#//vql">

+    complianceLevel="8.0" copyrightFields="false" runtimeVersion="2.20" usedGenPackages="platform:/resource/org.eclipse.emf.ecore/model/Ecore.genmodel#//ecore platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.genmodel#//vql">

   <genPackages prefix="ApplicationConfiguration" basePackage="hu.bme.mit.inf.dslreasoner.application"

       disposableProviderFactory="true" fileExtensions="vsconfig" ecorePackage="ApplicationConfiguration.ecore#/">

     <genEnums typeSafeEnumCompatible="false" ecoreEnum="ApplicationConfiguration.ecore#//DocumentLevelSpecification">

@@ -15,6 +15,7 @@
       <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/SMTSolver"/>

       <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/AlloySolver"/>

       <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/ViatraSolver"/>

+      <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/TPTPSolver"/>

     </genEnums>

     <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigurationScript">

       <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigurationScript/imports"/>