Initial workspace setup

author: ArenBabikian <aren.babikian@mail.mcgill.ca> 2019-01-15 12:44:33 -0500
committer: ArenBabikian <aren.babikian@mail.mcgill.ca> 2019-01-15 12:44:33 -0500
commit: 20f131a3f09edf8e1455f20b4f486629147e7eff (patch)
tree: 690ee30b62caf76bdc7d45f183382965e4e7bf05 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel
parent: ViatraSolver as default (diff)
download: VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.tar.gz
VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.tar.zst
VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.zip
1 files changed, 119 insertions, 0 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
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 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
+    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"
+    modelPluginID="ca.mcgill.ecse.dslreasoner.vampire.language" forceOverwrite="true"
+    modelName="VampireLanguage" updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
+    complianceLevel="6.0" copyrightFields="false" runtimeVersion="2.13">
+  <genPackages prefix="VampireLanguage" basePackage="ca.mcgill.ecse.dslreasoner" disposableProviderFactory="true"
+      fileExtensions="tptp" ecorePackage="VampireLanguage.ecore#/">
+    <genClasses ecoreClass="VampireLanguage.ecore#//VampireModel">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VampireModel/includes"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VampireModel/comments"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VampireModel/formulas"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSInclude">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSInclude/fileName"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSInclude/names"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSName">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSName/name"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSComment">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSComment/comment"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSFofFormula">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/name"/>
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/fofRole"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFofFormula/fofFormula"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFofFormula/annotations"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSAnnotation">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSAnnotation/name"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnnotation/followup"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnnotation/terms"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSTerm"/>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSVariable">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSVariable/name"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSFunctionFof">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFunctionFof/functor"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFunctionFof/terms"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSDefinedTerm">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSDefinedTerm/value"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSEquivalent">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquivalent/left"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquivalent/right"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSImplies">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSImplies/left"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSImplies/right"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSRevImplies">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSRevImplies/left"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSRevImplies/right"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSXnor">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSXnor/left"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSXnor/right"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSNor">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNor/left"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNor/right"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSNand">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNand/left"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNand/right"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSAnd">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnd/left"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnd/right"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSOr">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSOr/left"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSOr/right"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSUniversalQuantifier">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSUniversalQuantifier/variables"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSUniversalQuantifier/operand"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSExistentialQuantifier">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSExistentialQuantifier/variables"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSExistentialQuantifier/operand"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSUnaryNegation">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSUnaryNegation/operand"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSInequality">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSInequality/left"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSInequality/right"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSEquality">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquality/left"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquality/right"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSAssignment">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAssignment/left"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAssignment/right"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSConstant">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSConstant/name"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSTrue"/>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSFalse"/>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSFunction">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFunction/constant"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFunction/terms"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSLess">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSLess/name"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSLess/terms"/>
+    </genClasses>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSInt"/>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSReal"/>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSRational"/>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSDoubleQuote"/>
+  </genPackages>
+</genmodel:GenModel>
author	ArenBabikian <aren.babikian@mail.mcgill.ca>	2019-01-15 12:44:33 -0500
committer	ArenBabikian <aren.babikian@mail.mcgill.ca>	2019-01-15 12:44:33 -0500
commit	20f131a3f09edf8e1455f20b4f486629147e7eff (patch)
tree	690ee30b62caf76bdc7d45f183382965e4e7bf05 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel
parent	ViatraSolver as default (diff)
download	VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.tar.gz VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.tar.zst VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.zip

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>