diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-04 17:31:16 -0500 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:18:56 -0400 |
| commit | 9643b7b7a735afc408ca6a172e2719653553627a (patch) | |
| tree | a608396a89759a3d3d6ead5b659c23612ff9d56c /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated | |
| parent | complete vsconfig files #19 (diff) | |
| download | VIATRA-Generator-9643b7b7a735afc408ca6a172e2719653553627a.tar.gz VIATRA-Generator-9643b7b7a735afc408ca6a172e2719653553627a.tar.zst VIATRA-Generator-9643b7b7a735afc408ca6a172e2719653553627a.zip | |
Begin handing of scope and fix type definitions.
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated')
2 files changed, 0 insertions, 8 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore index fcfb84c7..ff954f57 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore | |||
| @@ -27,10 +27,6 @@ | |||
| 27 | </eClassifiers> | 27 | </eClassifiers> |
| 28 | <eClassifiers xsi:type="ecore:EClass" name="VLSConfirmations"/> | 28 | <eClassifiers xsi:type="ecore:EClass" name="VLSConfirmations"/> |
| 29 | <eClassifiers xsi:type="ecore:EClass" name="VLSSatisfiable" eSuperTypes="#//VLSConfirmations"/> | 29 | <eClassifiers xsi:type="ecore:EClass" name="VLSSatisfiable" eSuperTypes="#//VLSConfirmations"/> |
| 30 | <eClassifiers xsi:type="ecore:EClass" name="VLSTrying"> | ||
| 31 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
| 32 | </eClassifiers> | ||
| 33 | <eClassifiers xsi:type="ecore:EClass" name="VLSFiniteModel"/> | ||
| 34 | <eClassifiers xsi:type="ecore:EClass" name="VLSFofFormula"> | 30 | <eClassifiers xsi:type="ecore:EClass" name="VLSFofFormula"> |
| 35 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | 31 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| 36 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="fofRole" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | 32 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="fofRole" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
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"/> |