diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel')
| -rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel index ce5d9184..655f282b 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel | |||
| @@ -25,10 +25,6 @@ | |||
| 25 | </genClasses> | 25 | </genClasses> |
| 26 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSConfirmations"/> | 26 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSConfirmations"/> |
| 27 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSSatisfiable"/> | 27 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSSatisfiable"/> |
| 28 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSTrying"> | ||
| 29 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSTrying/name"/> | ||
| 30 | </genClasses> | ||
| 31 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSFiniteModel"/> | ||
| 32 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSFofFormula"> | 28 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSFofFormula"> |
| 33 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/name"/> | 29 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/name"/> |
| 34 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/fofRole"/> | 30 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/fofRole"/> |