aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore152
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel119
2 files changed, 271 insertions, 0 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
new file mode 100644
index 00000000..8c6c8233
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore
@@ -0,0 +1,152 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
3 xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="vampireLanguage" nsURI="http://www.mcgill.ca/ecse/dslreasoner/VampireLanguage"
4 nsPrefix="vampireLanguage">
5 <eClassifiers xsi:type="ecore:EClass" name="VampireModel">
6 <eStructuralFeatures xsi:type="ecore:EReference" name="includes" upperBound="-1"
7 eType="#//VLSInclude" containment="true"/>
8 <eStructuralFeatures xsi:type="ecore:EReference" name="comments" upperBound="-1"
9 eType="#//VLSComment" containment="true"/>
10 <eStructuralFeatures xsi:type="ecore:EReference" name="formulas" upperBound="-1"
11 eType="#//VLSFofFormula" containment="true"/>
12 </eClassifiers>
13 <eClassifiers xsi:type="ecore:EClass" name="VLSInclude">
14 <eStructuralFeatures xsi:type="ecore:EAttribute" name="fileName" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
15 <eStructuralFeatures xsi:type="ecore:EReference" name="names" upperBound="-1"
16 eType="#//VLSName" containment="true"/>
17 </eClassifiers>
18 <eClassifiers xsi:type="ecore:EClass" name="VLSName">
19 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
20 </eClassifiers>
21 <eClassifiers xsi:type="ecore:EClass" name="VLSComment">
22 <eStructuralFeatures xsi:type="ecore:EAttribute" name="comment" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
23 </eClassifiers>
24 <eClassifiers xsi:type="ecore:EClass" name="VLSFofFormula">
25 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
26 <eStructuralFeatures xsi:type="ecore:EAttribute" name="fofRole" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
27 <eStructuralFeatures xsi:type="ecore:EReference" name="fofFormula" eType="#//VLSTerm"
28 containment="true"/>
29 <eStructuralFeatures xsi:type="ecore:EReference" name="annotations" eType="#//VLSAnnotation"
30 containment="true"/>
31 </eClassifiers>
32 <eClassifiers xsi:type="ecore:EClass" name="VLSAnnotation">
33 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
34 <eStructuralFeatures xsi:type="ecore:EReference" name="followup" eType="#//VLSAnnotation"
35 containment="true"/>
36 <eStructuralFeatures xsi:type="ecore:EReference" name="terms" upperBound="-1"
37 eType="#//VLSAnnotation" containment="true"/>
38 </eClassifiers>
39 <eClassifiers xsi:type="ecore:EClass" name="VLSTerm"/>
40 <eClassifiers xsi:type="ecore:EClass" name="VLSVariable" eSuperTypes="#//VLSTerm">
41 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
42 </eClassifiers>
43 <eClassifiers xsi:type="ecore:EClass" name="VLSFunctionFof" eSuperTypes="#//VLSTerm">
44 <eStructuralFeatures xsi:type="ecore:EAttribute" name="functor" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
45 <eStructuralFeatures xsi:type="ecore:EReference" name="terms" upperBound="-1"
46 eType="#//VLSTerm" containment="true"/>
47 </eClassifiers>
48 <eClassifiers xsi:type="ecore:EClass" name="VLSDefinedTerm" eSuperTypes="#//VLSTerm">
49 <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
50 </eClassifiers>
51 <eClassifiers xsi:type="ecore:EClass" name="VLSEquivalent" eSuperTypes="#//VLSTerm">
52 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
53 containment="true"/>
54 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
55 containment="true"/>
56 </eClassifiers>
57 <eClassifiers xsi:type="ecore:EClass" name="VLSImplies" eSuperTypes="#//VLSTerm">
58 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
59 containment="true"/>
60 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
61 containment="true"/>
62 </eClassifiers>
63 <eClassifiers xsi:type="ecore:EClass" name="VLSRevImplies" eSuperTypes="#//VLSTerm">
64 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
65 containment="true"/>
66 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
67 containment="true"/>
68 </eClassifiers>
69 <eClassifiers xsi:type="ecore:EClass" name="VLSXnor" eSuperTypes="#//VLSTerm">
70 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
71 containment="true"/>
72 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
73 containment="true"/>
74 </eClassifiers>
75 <eClassifiers xsi:type="ecore:EClass" name="VLSNor" eSuperTypes="#//VLSTerm">
76 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
77 containment="true"/>
78 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
79 containment="true"/>
80 </eClassifiers>
81 <eClassifiers xsi:type="ecore:EClass" name="VLSNand" eSuperTypes="#//VLSTerm">
82 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
83 containment="true"/>
84 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
85 containment="true"/>
86 </eClassifiers>
87 <eClassifiers xsi:type="ecore:EClass" name="VLSAnd" eSuperTypes="#//VLSTerm">
88 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
89 containment="true"/>
90 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
91 containment="true"/>
92 </eClassifiers>
93 <eClassifiers xsi:type="ecore:EClass" name="VLSOr" eSuperTypes="#//VLSTerm">
94 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
95 containment="true"/>
96 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
97 containment="true"/>
98 </eClassifiers>
99 <eClassifiers xsi:type="ecore:EClass" name="VLSUniversalQuantifier" eSuperTypes="#//VLSTerm">
100 <eStructuralFeatures xsi:type="ecore:EReference" name="variables" upperBound="-1"
101 eType="#//VLSVariable" containment="true"/>
102 <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//VLSTerm"
103 containment="true"/>
104 </eClassifiers>
105 <eClassifiers xsi:type="ecore:EClass" name="VLSExistentialQuantifier" eSuperTypes="#//VLSTerm">
106 <eStructuralFeatures xsi:type="ecore:EReference" name="variables" upperBound="-1"
107 eType="#//VLSVariable" containment="true"/>
108 <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//VLSTerm"
109 containment="true"/>
110 </eClassifiers>
111 <eClassifiers xsi:type="ecore:EClass" name="VLSUnaryNegation" eSuperTypes="#//VLSTerm">
112 <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//VLSTerm"
113 containment="true"/>
114 </eClassifiers>
115 <eClassifiers xsi:type="ecore:EClass" name="VLSInequality" eSuperTypes="#//VLSTerm">
116 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
117 containment="true"/>
118 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
119 containment="true"/>
120 </eClassifiers>
121 <eClassifiers xsi:type="ecore:EClass" name="VLSEquality" eSuperTypes="#//VLSTerm">
122 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
123 containment="true"/>
124 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
125 containment="true"/>
126 </eClassifiers>
127 <eClassifiers xsi:type="ecore:EClass" name="VLSAssignment" eSuperTypes="#//VLSTerm">
128 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
129 containment="true"/>
130 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
131 containment="true"/>
132 </eClassifiers>
133 <eClassifiers xsi:type="ecore:EClass" name="VLSConstant" eSuperTypes="#//VLSTerm">
134 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
135 </eClassifiers>
136 <eClassifiers xsi:type="ecore:EClass" name="VLSTrue" eSuperTypes="#//VLSTerm"/>
137 <eClassifiers xsi:type="ecore:EClass" name="VLSFalse" eSuperTypes="#//VLSTerm"/>
138 <eClassifiers xsi:type="ecore:EClass" name="VLSFunction" eSuperTypes="#//VLSTerm">
139 <eStructuralFeatures xsi:type="ecore:EAttribute" name="constant" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
140 <eStructuralFeatures xsi:type="ecore:EReference" name="terms" upperBound="-1"
141 eType="#//VLSTerm" containment="true"/>
142 </eClassifiers>
143 <eClassifiers xsi:type="ecore:EClass" name="VLSLess" eSuperTypes="#//VLSTerm">
144 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
145 <eStructuralFeatures xsi:type="ecore:EReference" name="terms" upperBound="-1"
146 eType="#//VLSTerm" containment="true"/>
147 </eClassifiers>
148 <eClassifiers xsi:type="ecore:EClass" name="VLSInt" eSuperTypes="#//VLSDefinedTerm"/>
149 <eClassifiers xsi:type="ecore:EClass" name="VLSReal" eSuperTypes="#//VLSDefinedTerm"/>
150 <eClassifiers xsi:type="ecore:EClass" name="VLSRational" eSuperTypes="#//VLSDefinedTerm"/>
151 <eClassifiers xsi:type="ecore:EClass" name="VLSDoubleQuote" eSuperTypes="#//VLSDefinedTerm"/>
152</ecore:EPackage>
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
new file mode 100644
index 00000000..0dc38d95
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel
@@ -0,0 +1,119 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
3 xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" copyrightText="generated by Xtext 2.12.0" modelDirectory="/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen"
4 modelPluginID="ca.mcgill.ecse.dslreasoner.vampire.language" forceOverwrite="true"
5 modelName="VampireLanguage" updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
6 complianceLevel="6.0" copyrightFields="false" runtimeVersion="2.13">
7 <genPackages prefix="VampireLanguage" basePackage="ca.mcgill.ecse.dslreasoner" disposableProviderFactory="true"
8 fileExtensions="tptp" ecorePackage="VampireLanguage.ecore#/">
9 <genClasses ecoreClass="VampireLanguage.ecore#//VampireModel">
10 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VampireModel/includes"/>
11 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VampireModel/comments"/>
12 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VampireModel/formulas"/>
13 </genClasses>
14 <genClasses ecoreClass="VampireLanguage.ecore#//VLSInclude">
15 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSInclude/fileName"/>
16 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSInclude/names"/>
17 </genClasses>
18 <genClasses ecoreClass="VampireLanguage.ecore#//VLSName">
19 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSName/name"/>
20 </genClasses>
21 <genClasses ecoreClass="VampireLanguage.ecore#//VLSComment">
22 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSComment/comment"/>
23 </genClasses>
24 <genClasses ecoreClass="VampireLanguage.ecore#//VLSFofFormula">
25 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/name"/>
26 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/fofRole"/>
27 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFofFormula/fofFormula"/>
28 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFofFormula/annotations"/>
29 </genClasses>
30 <genClasses ecoreClass="VampireLanguage.ecore#//VLSAnnotation">
31 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSAnnotation/name"/>
32 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnnotation/followup"/>
33 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnnotation/terms"/>
34 </genClasses>
35 <genClasses ecoreClass="VampireLanguage.ecore#//VLSTerm"/>
36 <genClasses ecoreClass="VampireLanguage.ecore#//VLSVariable">
37 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSVariable/name"/>
38 </genClasses>
39 <genClasses ecoreClass="VampireLanguage.ecore#//VLSFunctionFof">
40 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFunctionFof/functor"/>
41 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFunctionFof/terms"/>
42 </genClasses>
43 <genClasses ecoreClass="VampireLanguage.ecore#//VLSDefinedTerm">
44 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSDefinedTerm/value"/>
45 </genClasses>
46 <genClasses ecoreClass="VampireLanguage.ecore#//VLSEquivalent">
47 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquivalent/left"/>
48 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquivalent/right"/>
49 </genClasses>
50 <genClasses ecoreClass="VampireLanguage.ecore#//VLSImplies">
51 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSImplies/left"/>
52 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSImplies/right"/>
53 </genClasses>
54 <genClasses ecoreClass="VampireLanguage.ecore#//VLSRevImplies">
55 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSRevImplies/left"/>
56 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSRevImplies/right"/>
57 </genClasses>
58 <genClasses ecoreClass="VampireLanguage.ecore#//VLSXnor">
59 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSXnor/left"/>
60 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSXnor/right"/>
61 </genClasses>
62 <genClasses ecoreClass="VampireLanguage.ecore#//VLSNor">
63 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNor/left"/>
64 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNor/right"/>
65 </genClasses>
66 <genClasses ecoreClass="VampireLanguage.ecore#//VLSNand">
67 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNand/left"/>
68 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNand/right"/>
69 </genClasses>
70 <genClasses ecoreClass="VampireLanguage.ecore#//VLSAnd">
71 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnd/left"/>
72 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnd/right"/>
73 </genClasses>
74 <genClasses ecoreClass="VampireLanguage.ecore#//VLSOr">
75 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSOr/left"/>
76 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSOr/right"/>
77 </genClasses>
78 <genClasses ecoreClass="VampireLanguage.ecore#//VLSUniversalQuantifier">
79 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSUniversalQuantifier/variables"/>
80 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSUniversalQuantifier/operand"/>
81 </genClasses>
82 <genClasses ecoreClass="VampireLanguage.ecore#//VLSExistentialQuantifier">
83 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSExistentialQuantifier/variables"/>
84 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSExistentialQuantifier/operand"/>
85 </genClasses>
86 <genClasses ecoreClass="VampireLanguage.ecore#//VLSUnaryNegation">
87 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSUnaryNegation/operand"/>
88 </genClasses>
89 <genClasses ecoreClass="VampireLanguage.ecore#//VLSInequality">
90 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSInequality/left"/>
91 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSInequality/right"/>
92 </genClasses>
93 <genClasses ecoreClass="VampireLanguage.ecore#//VLSEquality">
94 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquality/left"/>
95 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquality/right"/>
96 </genClasses>
97 <genClasses ecoreClass="VampireLanguage.ecore#//VLSAssignment">
98 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAssignment/left"/>
99 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAssignment/right"/>
100 </genClasses>
101 <genClasses ecoreClass="VampireLanguage.ecore#//VLSConstant">
102 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSConstant/name"/>
103 </genClasses>
104 <genClasses ecoreClass="VampireLanguage.ecore#//VLSTrue"/>
105 <genClasses ecoreClass="VampireLanguage.ecore#//VLSFalse"/>
106 <genClasses ecoreClass="VampireLanguage.ecore#//VLSFunction">
107 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFunction/constant"/>
108 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFunction/terms"/>
109 </genClasses>
110 <genClasses ecoreClass="VampireLanguage.ecore#//VLSLess">
111 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSLess/name"/>
112 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSLess/terms"/>
113 </genClasses>
114 <genClasses ecoreClass="VampireLanguage.ecore#//VLSInt"/>
115 <genClasses ecoreClass="VampireLanguage.ecore#//VLSReal"/>
116 <genClasses ecoreClass="VampireLanguage.ecore#//VLSRational"/>
117 <genClasses ecoreClass="VampireLanguage.ecore#//VLSDoubleQuote"/>
118 </genPackages>
119</genmodel:GenModel>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-08 22:00:17 +0000