1 files changed, 131 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel
new file mode 100644
index 00000000..c593e886
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel
@@ -0,0 +1,131 @@
+<?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.18.0.M3" modelDirectory="/org.eclipse.viatra.solver.language/src-gen"
+    modelPluginID="org.eclipse.viatra.solver.language" forceOverwrite="true" modelName="SolverLanguage"
+    updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
+    complianceLevel="6.0" copyrightFields="false" runtimeVersion="2.18">
+  <genPackages prefix="SolverLanguage" basePackage="org.eclipse.viatra.solver.language"
+      disposableProviderFactory="true" fileExtensions="vsc" ecorePackage="SolverLanguage.ecore#/">
+    <genClasses ecoreClass="SolverLanguage.ecore#//Problem">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Problem/statements"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//Statement"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//BooleanValue"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//TruthValue"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//Interpretation"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//BasicInterpretation">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BasicInterpretation/symbol"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BasicInterpretation/objects"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BasicInterpretation/value"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//Symbol"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//ModelSymbol">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ModelSymbol/name"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//PartialitySymbol"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//ExistSymbol"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//EqualsSymbol"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//DataSymbol"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//BooleanSymbol"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//IntegerSymbol"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//RealSymbol"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//StringSymbol"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//ComplexObject"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//Object"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//NamedObject">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//NamedObject/name"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//UnnamedObject">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//UnnamedObject/name"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//DataObject"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//BooleanObject">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BooleanObject/value"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//IntObject">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//IntObject/value"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//RealObject">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//RealObject/value"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//StringObject">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//StringObject/value"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//Predicate">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Predicate/parameters"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Predicate/bodies"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//PredicateSymbol">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//PredicateSymbol/symbol"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//ErrorPredicate">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ErrorPredicate/name"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//Parameter">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Parameter/variable"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Parameter/type"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//PatternBody">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//PatternBody/constraints"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//Polarity"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//Constraint">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Constraint/polarity"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Constraint/symbol"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Constraint/params"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Constraint/closureType"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//ClosureType"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//Literal"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//Variable">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//Variable/name"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//AllInstances">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//AllInstances/symbol"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//AllObjects"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//DefaultInterpretation">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//DefaultInterpretation/interpretation"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//CDInterpretation"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//ClassInterpretation">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ClassInterpretation/abstract"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ClassInterpretation/symbol"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ClassInterpretation/supertypes"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ClassInterpretation/fielt"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//EnumInterpretation">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//EnumInterpretation/Symbol"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//EnumInterpretation/objects"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//FieldRelationInterpretation">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//FieldRelationInterpretation/containment"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//FieldRelationInterpretation/symbol"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//FieldRelationInterpretation/multiplicity"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//FieldRelationInterpretation/target"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//GlobalRelationInterpretation">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//GlobalRelationInterpretation/containment"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/symbol"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/sourceMultiplicity"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/source"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/targetMultiplicity"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/target"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//MultiplicityDefinition">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//MultiplicityDefinition/lower"/>
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//MultiplicityDefinition/upper"/>
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//MultiplicityDefinition/unlimitedUpper"/>
+    </genClasses>
+    <genClasses ecoreClass="SolverLanguage.ecore#//BooleanTrue"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//BooleanFalse"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//True"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//False"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//Unknown"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//Error"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//Positive"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//Negative"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//ReflexiveClosure"/>
+    <genClasses ecoreClass="SolverLanguage.ecore#//IrreflexiveClosure"/>
+  </genPackages>
+</genmodel:GenModel>

diff --git a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel new file mode 100644 index 00000000..c593e886 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel
@@ -0,0 +1,131 @@
	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.18.0.M3" modelDirectory="/org.eclipse.viatra.solver.language/src-gen"
	4	modelPluginID="org.eclipse.viatra.solver.language" forceOverwrite="true" modelName="SolverLanguage"
	5	updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
	6	complianceLevel="6.0" copyrightFields="false" runtimeVersion="2.18">
	7	<genPackages prefix="SolverLanguage" basePackage="org.eclipse.viatra.solver.language"
	8	disposableProviderFactory="true" fileExtensions="vsc" ecorePackage="SolverLanguage.ecore#/">
	9	<genClasses ecoreClass="SolverLanguage.ecore#//Problem">
	10	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Problem/statements"/>
	11	</genClasses>
	12	<genClasses ecoreClass="SolverLanguage.ecore#//Statement"/>
	13	<genClasses ecoreClass="SolverLanguage.ecore#//BooleanValue"/>
	14	<genClasses ecoreClass="SolverLanguage.ecore#//TruthValue"/>
	15	<genClasses ecoreClass="SolverLanguage.ecore#//Interpretation"/>
	16	<genClasses ecoreClass="SolverLanguage.ecore#//BasicInterpretation">
	17	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BasicInterpretation/symbol"/>
	18	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BasicInterpretation/objects"/>
	19	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BasicInterpretation/value"/>
	20	</genClasses>
	21	<genClasses ecoreClass="SolverLanguage.ecore#//Symbol"/>
	22	<genClasses ecoreClass="SolverLanguage.ecore#//ModelSymbol">
	23	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ModelSymbol/name"/>
	24	</genClasses>
	25	<genClasses ecoreClass="SolverLanguage.ecore#//PartialitySymbol"/>
	26	<genClasses ecoreClass="SolverLanguage.ecore#//ExistSymbol"/>
	27	<genClasses ecoreClass="SolverLanguage.ecore#//EqualsSymbol"/>
	28	<genClasses ecoreClass="SolverLanguage.ecore#//DataSymbol"/>
	29	<genClasses ecoreClass="SolverLanguage.ecore#//BooleanSymbol"/>
	30	<genClasses ecoreClass="SolverLanguage.ecore#//IntegerSymbol"/>
	31	<genClasses ecoreClass="SolverLanguage.ecore#//RealSymbol"/>
	32	<genClasses ecoreClass="SolverLanguage.ecore#//StringSymbol"/>
	33	<genClasses ecoreClass="SolverLanguage.ecore#//ComplexObject"/>
	34	<genClasses ecoreClass="SolverLanguage.ecore#//Object"/>
	35	<genClasses ecoreClass="SolverLanguage.ecore#//NamedObject">
	36	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//NamedObject/name"/>
	37	</genClasses>
	38	<genClasses ecoreClass="SolverLanguage.ecore#//UnnamedObject">
	39	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//UnnamedObject/name"/>
	40	</genClasses>
	41	<genClasses ecoreClass="SolverLanguage.ecore#//DataObject"/>
	42	<genClasses ecoreClass="SolverLanguage.ecore#//BooleanObject">
	43	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BooleanObject/value"/>
	44	</genClasses>
	45	<genClasses ecoreClass="SolverLanguage.ecore#//IntObject">
	46	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//IntObject/value"/>
	47	</genClasses>
	48	<genClasses ecoreClass="SolverLanguage.ecore#//RealObject">
	49	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//RealObject/value"/>
	50	</genClasses>
	51	<genClasses ecoreClass="SolverLanguage.ecore#//StringObject">
	52	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//StringObject/value"/>
	53	</genClasses>
	54	<genClasses ecoreClass="SolverLanguage.ecore#//Predicate">
	55	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Predicate/parameters"/>
	56	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Predicate/bodies"/>
	57	</genClasses>
	58	<genClasses ecoreClass="SolverLanguage.ecore#//PredicateSymbol">
	59	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//PredicateSymbol/symbol"/>
	60	</genClasses>
	61	<genClasses ecoreClass="SolverLanguage.ecore#//ErrorPredicate">
	62	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ErrorPredicate/name"/>
	63	</genClasses>
	64	<genClasses ecoreClass="SolverLanguage.ecore#//Parameter">
	65	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Parameter/variable"/>
	66	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Parameter/type"/>
	67	</genClasses>
	68	<genClasses ecoreClass="SolverLanguage.ecore#//PatternBody">
	69	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//PatternBody/constraints"/>
	70	</genClasses>
	71	<genClasses ecoreClass="SolverLanguage.ecore#//Polarity"/>
	72	<genClasses ecoreClass="SolverLanguage.ecore#//Constraint">
	73	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Constraint/polarity"/>
	74	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Constraint/symbol"/>
	75	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Constraint/params"/>
	76	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Constraint/closureType"/>
	77	</genClasses>
	78	<genClasses ecoreClass="SolverLanguage.ecore#//ClosureType"/>
	79	<genClasses ecoreClass="SolverLanguage.ecore#//Literal"/>
	80	<genClasses ecoreClass="SolverLanguage.ecore#//Variable">
	81	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//Variable/name"/>
	82	</genClasses>
	83	<genClasses ecoreClass="SolverLanguage.ecore#//AllInstances">
	84	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//AllInstances/symbol"/>
	85	</genClasses>
	86	<genClasses ecoreClass="SolverLanguage.ecore#//AllObjects"/>
	87	<genClasses ecoreClass="SolverLanguage.ecore#//DefaultInterpretation">
	88	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//DefaultInterpretation/interpretation"/>
	89	</genClasses>
	90	<genClasses ecoreClass="SolverLanguage.ecore#//CDInterpretation"/>
	91	<genClasses ecoreClass="SolverLanguage.ecore#//ClassInterpretation">
	92	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ClassInterpretation/abstract"/>
	93	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ClassInterpretation/symbol"/>
	94	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ClassInterpretation/supertypes"/>
	95	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ClassInterpretation/fielt"/>
	96	</genClasses>
	97	<genClasses ecoreClass="SolverLanguage.ecore#//EnumInterpretation">
	98	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//EnumInterpretation/Symbol"/>
	99	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//EnumInterpretation/objects"/>
	100	</genClasses>
	101	<genClasses ecoreClass="SolverLanguage.ecore#//FieldRelationInterpretation">
	102	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//FieldRelationInterpretation/containment"/>
	103	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//FieldRelationInterpretation/symbol"/>
	104	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//FieldRelationInterpretation/multiplicity"/>
	105	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//FieldRelationInterpretation/target"/>
	106	</genClasses>
	107	<genClasses ecoreClass="SolverLanguage.ecore#//GlobalRelationInterpretation">
	108	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//GlobalRelationInterpretation/containment"/>
	109	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/symbol"/>
	110	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/sourceMultiplicity"/>
	111	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/source"/>
	112	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/targetMultiplicity"/>
	113	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/target"/>
	114	</genClasses>
	115	<genClasses ecoreClass="SolverLanguage.ecore#//MultiplicityDefinition">
	116	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//MultiplicityDefinition/lower"/>
	117	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//MultiplicityDefinition/upper"/>
	118	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//MultiplicityDefinition/unlimitedUpper"/>
	119	</genClasses>
	120	<genClasses ecoreClass="SolverLanguage.ecore#//BooleanTrue"/>
	121	<genClasses ecoreClass="SolverLanguage.ecore#//BooleanFalse"/>
	122	<genClasses ecoreClass="SolverLanguage.ecore#//True"/>
	123	<genClasses ecoreClass="SolverLanguage.ecore#//False"/>
	124	<genClasses ecoreClass="SolverLanguage.ecore#//Unknown"/>
	125	<genClasses ecoreClass="SolverLanguage.ecore#//Error"/>
	126	<genClasses ecoreClass="SolverLanguage.ecore#//Positive"/>
	127	<genClasses ecoreClass="SolverLanguage.ecore#//Negative"/>
	128	<genClasses ecoreClass="SolverLanguage.ecore#//ReflexiveClosure"/>
	129	<genClasses ecoreClass="SolverLanguage.ecore#//IrreflexiveClosure"/>
	130	</genPackages>
	131	</genmodel:GenModel>