diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-14 19:38:40 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-14 19:38:40 -0400 |
| commit | 3997c2408f192e22f809cd96faa5bc552530289d (patch) | |
| tree | 6d9134700977b29a5d67206c1e3f587d468e34fa /Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore | |
| parent | remove Alloy solver copy (diff) | |
| download | VIATRA-Generator-3997c2408f192e22f809cd96faa5bc552530289d.tar.gz VIATRA-Generator-3997c2408f192e22f809cd96faa5bc552530289d.tar.zst VIATRA-Generator-3997c2408f192e22f809cd96faa5bc552530289d.zip | |
This branch is ready to be merged into masterVampire-New
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore')
| -rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore | 1 |
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 @@ | |||
| 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" |