diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore | 156 |
1 files changed, 156 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore new file mode 100644 index 00000000..9b26faa3 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore | |||
@@ -0,0 +1,156 @@ | |||
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="solverLanguage" nsURI="http://www.eclipse.org/viatra/solver/language/SolverLanguage" | ||
4 | nsPrefix="solverLanguage"> | ||
5 | <eClassifiers xsi:type="ecore:EClass" name="Problem"> | ||
6 | <eStructuralFeatures xsi:type="ecore:EReference" name="statements" upperBound="-1" | ||
7 | eType="#//Statement" containment="true"/> | ||
8 | </eClassifiers> | ||
9 | <eClassifiers xsi:type="ecore:EClass" name="Statement"/> | ||
10 | <eClassifiers xsi:type="ecore:EClass" name="BooleanValue"/> | ||
11 | <eClassifiers xsi:type="ecore:EClass" name="TruthValue"/> | ||
12 | <eClassifiers xsi:type="ecore:EClass" name="Interpretation" eSuperTypes="#//Statement"/> | ||
13 | <eClassifiers xsi:type="ecore:EClass" name="BasicInterpretation" eSuperTypes="#//Interpretation"> | ||
14 | <eStructuralFeatures xsi:type="ecore:EReference" name="symbol" eType="#//Symbol" | ||
15 | containment="true"/> | ||
16 | <eStructuralFeatures xsi:type="ecore:EReference" name="objects" upperBound="-1" | ||
17 | eType="#//ComplexObject" containment="true"/> | ||
18 | <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="#//TruthValue" | ||
19 | containment="true"/> | ||
20 | </eClassifiers> | ||
21 | <eClassifiers xsi:type="ecore:EClass" name="Symbol"/> | ||
22 | <eClassifiers xsi:type="ecore:EClass" name="ModelSymbol" eSuperTypes="#//Symbol"> | ||
23 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
24 | </eClassifiers> | ||
25 | <eClassifiers xsi:type="ecore:EClass" name="PartialitySymbol" eSuperTypes="#//Symbol"/> | ||
26 | <eClassifiers xsi:type="ecore:EClass" name="ExistSymbol" eSuperTypes="#//PartialitySymbol"/> | ||
27 | <eClassifiers xsi:type="ecore:EClass" name="EqualsSymbol" eSuperTypes="#//PartialitySymbol"/> | ||
28 | <eClassifiers xsi:type="ecore:EClass" name="DataSymbol" eSuperTypes="#//Symbol"/> | ||
29 | <eClassifiers xsi:type="ecore:EClass" name="BooleanSymbol" eSuperTypes="#//DataSymbol"/> | ||
30 | <eClassifiers xsi:type="ecore:EClass" name="IntegerSymbol" eSuperTypes="#//DataSymbol"/> | ||
31 | <eClassifiers xsi:type="ecore:EClass" name="RealSymbol" eSuperTypes="#//DataSymbol"/> | ||
32 | <eClassifiers xsi:type="ecore:EClass" name="StringSymbol" eSuperTypes="#//DataSymbol"/> | ||
33 | <eClassifiers xsi:type="ecore:EClass" name="ComplexObject"/> | ||
34 | <eClassifiers xsi:type="ecore:EClass" name="Object" eSuperTypes="#//ComplexObject"/> | ||
35 | <eClassifiers xsi:type="ecore:EClass" name="NamedObject" eSuperTypes="#//Object"> | ||
36 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
37 | </eClassifiers> | ||
38 | <eClassifiers xsi:type="ecore:EClass" name="UnnamedObject" eSuperTypes="#//Object"> | ||
39 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
40 | </eClassifiers> | ||
41 | <eClassifiers xsi:type="ecore:EClass" name="DataObject" eSuperTypes="#//Object #//Literal"/> | ||
42 | <eClassifiers xsi:type="ecore:EClass" name="BooleanObject" eSuperTypes="#//DataObject"> | ||
43 | <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="#//BooleanValue" | ||
44 | containment="true"/> | ||
45 | </eClassifiers> | ||
46 | <eClassifiers xsi:type="ecore:EClass" name="IntObject" eSuperTypes="#//DataObject"> | ||
47 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
48 | </eClassifiers> | ||
49 | <eClassifiers xsi:type="ecore:EClass" name="RealObject" eSuperTypes="#//DataObject"> | ||
50 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBigDecimal"/> | ||
51 | </eClassifiers> | ||
52 | <eClassifiers xsi:type="ecore:EClass" name="StringObject" eSuperTypes="#//DataObject"> | ||
53 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
54 | </eClassifiers> | ||
55 | <eClassifiers xsi:type="ecore:EClass" name="Predicate" eSuperTypes="#//Statement"> | ||
56 | <eStructuralFeatures xsi:type="ecore:EReference" name="parameters" upperBound="-1" | ||
57 | eType="#//Parameter" containment="true"/> | ||
58 | <eStructuralFeatures xsi:type="ecore:EReference" name="bodies" upperBound="-1" | ||
59 | eType="#//PatternBody" containment="true"/> | ||
60 | </eClassifiers> | ||
61 | <eClassifiers xsi:type="ecore:EClass" name="PredicateSymbol" eSuperTypes="#//Predicate"> | ||
62 | <eStructuralFeatures xsi:type="ecore:EReference" name="symbol" eType="#//ModelSymbol" | ||
63 | containment="true"/> | ||
64 | </eClassifiers> | ||
65 | <eClassifiers xsi:type="ecore:EClass" name="ErrorPredicate" eSuperTypes="#//Predicate"> | ||
66 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
67 | </eClassifiers> | ||
68 | <eClassifiers xsi:type="ecore:EClass" name="Parameter"> | ||
69 | <eStructuralFeatures xsi:type="ecore:EReference" name="variable" eType="#//Variable" | ||
70 | containment="true"/> | ||
71 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//Symbol" | ||
72 | containment="true"/> | ||
73 | </eClassifiers> | ||
74 | <eClassifiers xsi:type="ecore:EClass" name="PatternBody"> | ||
75 | <eStructuralFeatures xsi:type="ecore:EReference" name="constraints" upperBound="-1" | ||
76 | eType="#//Constraint" containment="true"/> | ||
77 | </eClassifiers> | ||
78 | <eClassifiers xsi:type="ecore:EClass" name="Polarity"/> | ||
79 | <eClassifiers xsi:type="ecore:EClass" name="Constraint"> | ||
80 | <eStructuralFeatures xsi:type="ecore:EReference" name="polarity" eType="#//Polarity" | ||
81 | containment="true"/> | ||
82 | <eStructuralFeatures xsi:type="ecore:EReference" name="symbol" eType="#//ModelSymbol" | ||
83 | containment="true"/> | ||
84 | <eStructuralFeatures xsi:type="ecore:EReference" name="params" upperBound="-1" | ||
85 | eType="#//Literal" containment="true"/> | ||
86 | <eStructuralFeatures xsi:type="ecore:EReference" name="closureType" eType="#//ClosureType" | ||
87 | containment="true"/> | ||
88 | </eClassifiers> | ||
89 | <eClassifiers xsi:type="ecore:EClass" name="ClosureType"/> | ||
90 | <eClassifiers xsi:type="ecore:EClass" name="Literal"/> | ||
91 | <eClassifiers xsi:type="ecore:EClass" name="Variable" eSuperTypes="#//Literal"> | ||
92 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
93 | </eClassifiers> | ||
94 | <eClassifiers xsi:type="ecore:EClass" name="AllInstances" eSuperTypes="#//ComplexObject"> | ||
95 | <eStructuralFeatures xsi:type="ecore:EReference" name="symbol" eType="#//Symbol" | ||
96 | containment="true"/> | ||
97 | </eClassifiers> | ||
98 | <eClassifiers xsi:type="ecore:EClass" name="AllObjects" eSuperTypes="#//ComplexObject"/> | ||
99 | <eClassifiers xsi:type="ecore:EClass" name="DefaultInterpretation" eSuperTypes="#//Interpretation"> | ||
100 | <eStructuralFeatures xsi:type="ecore:EReference" name="interpretation" eType="#//BasicInterpretation" | ||
101 | containment="true"/> | ||
102 | </eClassifiers> | ||
103 | <eClassifiers xsi:type="ecore:EClass" name="CDInterpretation" eSuperTypes="#//Interpretation"/> | ||
104 | <eClassifiers xsi:type="ecore:EClass" name="ClassInterpretation" eSuperTypes="#//CDInterpretation"> | ||
105 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="abstract" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | ||
106 | <eStructuralFeatures xsi:type="ecore:EReference" name="symbol" eType="#//ModelSymbol" | ||
107 | containment="true"/> | ||
108 | <eStructuralFeatures xsi:type="ecore:EReference" name="supertypes" upperBound="-1" | ||
109 | eType="#//ModelSymbol" containment="true"/> | ||
110 | <eStructuralFeatures xsi:type="ecore:EReference" name="fielt" upperBound="-1" | ||
111 | eType="#//FieldRelationInterpretation" containment="true"/> | ||
112 | </eClassifiers> | ||
113 | <eClassifiers xsi:type="ecore:EClass" name="EnumInterpretation" eSuperTypes="#//CDInterpretation"> | ||
114 | <eStructuralFeatures xsi:type="ecore:EReference" name="Symbol" eType="#//ModelSymbol" | ||
115 | containment="true"/> | ||
116 | <eStructuralFeatures xsi:type="ecore:EReference" name="objects" upperBound="-1" | ||
117 | eType="#//NamedObject" containment="true"/> | ||
118 | </eClassifiers> | ||
119 | <eClassifiers xsi:type="ecore:EClass" name="FieldRelationInterpretation"> | ||
120 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="containment" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | ||
121 | <eStructuralFeatures xsi:type="ecore:EReference" name="symbol" eType="#//ModelSymbol" | ||
122 | containment="true"/> | ||
123 | <eStructuralFeatures xsi:type="ecore:EReference" name="multiplicity" eType="#//MultiplicityDefinition" | ||
124 | containment="true"/> | ||
125 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" eType="#//Symbol" | ||
126 | containment="true"/> | ||
127 | </eClassifiers> | ||
128 | <eClassifiers xsi:type="ecore:EClass" name="GlobalRelationInterpretation" eSuperTypes="#//CDInterpretation"> | ||
129 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="containment" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | ||
130 | <eStructuralFeatures xsi:type="ecore:EReference" name="symbol" eType="#//ModelSymbol" | ||
131 | containment="true"/> | ||
132 | <eStructuralFeatures xsi:type="ecore:EReference" name="sourceMultiplicity" eType="#//MultiplicityDefinition" | ||
133 | containment="true"/> | ||
134 | <eStructuralFeatures xsi:type="ecore:EReference" name="source" eType="#//Symbol" | ||
135 | containment="true"/> | ||
136 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetMultiplicity" eType="#//MultiplicityDefinition" | ||
137 | containment="true"/> | ||
138 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" eType="#//Symbol" | ||
139 | containment="true"/> | ||
140 | </eClassifiers> | ||
141 | <eClassifiers xsi:type="ecore:EClass" name="MultiplicityDefinition"> | ||
142 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="lower" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
143 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="upper" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
144 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="unlimitedUpper" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | ||
145 | </eClassifiers> | ||
146 | <eClassifiers xsi:type="ecore:EClass" name="BooleanTrue" eSuperTypes="#//BooleanValue"/> | ||
147 | <eClassifiers xsi:type="ecore:EClass" name="BooleanFalse" eSuperTypes="#//BooleanValue"/> | ||
148 | <eClassifiers xsi:type="ecore:EClass" name="True" eSuperTypes="#//TruthValue"/> | ||
149 | <eClassifiers xsi:type="ecore:EClass" name="False" eSuperTypes="#//TruthValue"/> | ||
150 | <eClassifiers xsi:type="ecore:EClass" name="Unknown" eSuperTypes="#//TruthValue"/> | ||
151 | <eClassifiers xsi:type="ecore:EClass" name="Error" eSuperTypes="#//TruthValue"/> | ||
152 | <eClassifiers xsi:type="ecore:EClass" name="Positive" eSuperTypes="#//Polarity"/> | ||
153 | <eClassifiers xsi:type="ecore:EClass" name="Negative" eSuperTypes="#//Polarity"/> | ||
154 | <eClassifiers xsi:type="ecore:EClass" name="ReflexiveClosure" eSuperTypes="#//ClosureType"/> | ||
155 | <eClassifiers xsi:type="ecore:EClass" name="IrreflexiveClosure" eSuperTypes="#//ClosureType"/> | ||
156 | </ecore:EPackage> | ||