1 files changed, 129 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..ef216fb7
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel
@@ -0,0 +1,129 @@
+<?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.14.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.14">
+  <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/confirmations"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VampireModel/formulas"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VampireModel/tfformulas"/>
+    </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#//VLSConfirmations"/>
+    <genClasses ecoreClass="VampireLanguage.ecore#//VLSSatisfiable"/>
+    <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#//VLSTffFormula">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSTffFormula/name"/>
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSTffFormula/fofRole"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTffFormula/fofFormula"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTffFormula/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#//VLSFunctionAsTerm">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFunctionAsTerm/functor"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFunctionAsTerm/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>

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..ef216fb7 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel
@@ -0,0 +1,129 @@
	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.14.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.14">
	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/confirmations"/>
	13	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VampireModel/formulas"/>
	14	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VampireModel/tfformulas"/>
	15	</genClasses>
	16	<genClasses ecoreClass="VampireLanguage.ecore#//VLSInclude">
	17	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSInclude/fileName"/>
	18	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSInclude/names"/>
	19	</genClasses>
	20	<genClasses ecoreClass="VampireLanguage.ecore#//VLSName">
	21	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSName/name"/>
	22	</genClasses>
	23	<genClasses ecoreClass="VampireLanguage.ecore#//VLSComment">
	24	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSComment/comment"/>
	25	</genClasses>
	26	<genClasses ecoreClass="VampireLanguage.ecore#//VLSConfirmations"/>
	27	<genClasses ecoreClass="VampireLanguage.ecore#//VLSSatisfiable"/>
	28	<genClasses ecoreClass="VampireLanguage.ecore#//VLSFofFormula">
	29	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/name"/>
	30	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/fofRole"/>
	31	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFofFormula/fofFormula"/>
	32	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFofFormula/annotations"/>
	33	</genClasses>
	34	<genClasses ecoreClass="VampireLanguage.ecore#//VLSTffFormula">
	35	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSTffFormula/name"/>
	36	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSTffFormula/fofRole"/>
	37	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTffFormula/fofFormula"/>
	38	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTffFormula/annotations"/>
	39	</genClasses>
	40	<genClasses ecoreClass="VampireLanguage.ecore#//VLSAnnotation">
	41	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSAnnotation/name"/>
	42	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnnotation/followup"/>
	43	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnnotation/terms"/>
	44	</genClasses>
	45	<genClasses ecoreClass="VampireLanguage.ecore#//VLSTerm"/>
	46	<genClasses ecoreClass="VampireLanguage.ecore#//VLSVariable">
	47	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSVariable/name"/>
	48	</genClasses>
	49	<genClasses ecoreClass="VampireLanguage.ecore#//VLSFunctionAsTerm">
	50	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFunctionAsTerm/functor"/>
	51	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFunctionAsTerm/terms"/>
	52	</genClasses>
	53	<genClasses ecoreClass="VampireLanguage.ecore#//VLSDefinedTerm">
	54	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSDefinedTerm/value"/>
	55	</genClasses>
	56	<genClasses ecoreClass="VampireLanguage.ecore#//VLSEquivalent">
	57	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquivalent/left"/>
	58	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquivalent/right"/>
	59	</genClasses>
	60	<genClasses ecoreClass="VampireLanguage.ecore#//VLSImplies">
	61	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSImplies/left"/>
	62	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSImplies/right"/>
	63	</genClasses>
	64	<genClasses ecoreClass="VampireLanguage.ecore#//VLSRevImplies">
	65	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSRevImplies/left"/>
	66	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSRevImplies/right"/>
	67	</genClasses>
	68	<genClasses ecoreClass="VampireLanguage.ecore#//VLSXnor">
	69	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSXnor/left"/>
	70	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSXnor/right"/>
	71	</genClasses>
	72	<genClasses ecoreClass="VampireLanguage.ecore#//VLSNor">
	73	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNor/left"/>
	74	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNor/right"/>
	75	</genClasses>
	76	<genClasses ecoreClass="VampireLanguage.ecore#//VLSNand">
	77	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNand/left"/>
	78	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNand/right"/>
	79	</genClasses>
	80	<genClasses ecoreClass="VampireLanguage.ecore#//VLSAnd">
	81	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnd/left"/>
	82	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnd/right"/>
	83	</genClasses>
	84	<genClasses ecoreClass="VampireLanguage.ecore#//VLSOr">
	85	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSOr/left"/>
	86	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSOr/right"/>
	87	</genClasses>
	88	<genClasses ecoreClass="VampireLanguage.ecore#//VLSUniversalQuantifier">
	89	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSUniversalQuantifier/variables"/>
	90	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSUniversalQuantifier/operand"/>
	91	</genClasses>
	92	<genClasses ecoreClass="VampireLanguage.ecore#//VLSExistentialQuantifier">
	93	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSExistentialQuantifier/variables"/>
	94	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSExistentialQuantifier/operand"/>
	95	</genClasses>
	96	<genClasses ecoreClass="VampireLanguage.ecore#//VLSUnaryNegation">
	97	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSUnaryNegation/operand"/>
	98	</genClasses>
	99	<genClasses ecoreClass="VampireLanguage.ecore#//VLSInequality">
	100	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSInequality/left"/>
	101	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSInequality/right"/>
	102	</genClasses>
	103	<genClasses ecoreClass="VampireLanguage.ecore#//VLSEquality">
	104	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquality/left"/>
	105	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquality/right"/>
	106	</genClasses>
	107	<genClasses ecoreClass="VampireLanguage.ecore#//VLSAssignment">
	108	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAssignment/left"/>
	109	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAssignment/right"/>
	110	</genClasses>
	111	<genClasses ecoreClass="VampireLanguage.ecore#//VLSConstant">
	112	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSConstant/name"/>
	113	</genClasses>
	114	<genClasses ecoreClass="VampireLanguage.ecore#//VLSTrue"/>
	115	<genClasses ecoreClass="VampireLanguage.ecore#//VLSFalse"/>
	116	<genClasses ecoreClass="VampireLanguage.ecore#//VLSFunction">
	117	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFunction/constant"/>
	118	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFunction/terms"/>
	119	</genClasses>
	120	<genClasses ecoreClass="VampireLanguage.ecore#//VLSLess">
	121	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSLess/name"/>
	122	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSLess/terms"/>
	123	</genClasses>
	124	<genClasses ecoreClass="VampireLanguage.ecore#//VLSInt"/>
	125	<genClasses ecoreClass="VampireLanguage.ecore#//VLSReal"/>
	126	<genClasses ecoreClass="VampireLanguage.ecore#//VLSRational"/>
	127	<genClasses ecoreClass="VampireLanguage.ecore#//VLSDoubleQuote"/>
	128	</genPackages>
	129	</genmodel:GenModel>