1 files changed, 1 insertions, 0 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.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 @@
130	<eLiterals name="SMTSolver" literal="SMTSolver"/>	130	<eLiterals name="SMTSolver" literal="SMTSolver"/>
131	<eLiterals name="AlloySolver" value="1" literal="AlloySolver"/>	131	<eLiterals name="AlloySolver" value="1" literal="AlloySolver"/>
132	<eLiterals name="ViatraSolver" value="2" literal="ViatraSolver"/>	132	<eLiterals name="ViatraSolver" value="2" literal="ViatraSolver"/>
		133	<eLiterals name="TPTPSolver" value="3" literal="TPTPSolver"/>
133	</eClassifiers>	134	</eClassifiers>
134	<eClassifiers xsi:type="ecore:EClass" name="ScopeSpecification" eSuperTypes="#//Scope">	135	<eClassifiers xsi:type="ecore:EClass" name="ScopeSpecification" eSuperTypes="#//Scope">
135	<eStructuralFeatures xsi:type="ecore:EReference" name="scopes" upperBound="-1"	136	<eStructuralFeatures xsi:type="ecore:EReference" name="scopes" upperBound="-1"