blob: 1da7a17259dd107814265bb18c72547cc92461e0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
|
<?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 createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//Predicate/isError"/>
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Predicate/symbol"/>
<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#//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>
|
