aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszka@SEMERATH-LAPTOP>2017-08-15 02:20:25 +0200
committerLibravatar OszkarSemerath <oszka@SEMERATH-LAPTOP>2017-08-15 02:20:25 +0200
commit3d05776b1338eb5aa02026a941dcf3111d00109b (patch)
treef92e4372a56d90bc54930994a47ae457c00d59cf /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver
parentGenerated code for the modified logic model (diff)
downloadVIATRA-Generator-3d05776b1338eb5aa02026a941dcf3111d00109b.tar.gz
VIATRA-Generator-3d05776b1338eb5aa02026a941dcf3111d00109b.tar.zst
VIATRA-Generator-3d05776b1338eb5aa02026a941dcf3111d00109b.zip
Added primitive types to the model code
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java190
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java36
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java750
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java412
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java44
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java259
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java147
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java172
8 files changed, 1933 insertions, 77 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java
index 46c85cc8..6c46cdbe 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java
@@ -27,8 +27,16 @@ import org.eclipse.emf.ecore.EObject;
27 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li> 27 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li>
28 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}</li> 28 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}</li>
29 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}</li> 29 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}</li>
30 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototype <em>Open World Element Prototype</em>}</li> 30 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes <em>Open World Element Prototypes</em>}</li>
31 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}</li> 31 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}</li>
32 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement <em>Stringelement</em>}</li>
33 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements <em>Stringelements</em>}</li>
34 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements <em>Realelements</em>}</li>
35 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements <em>Integerelements</em>}</li>
36 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements <em>Booleanelements</em>}</li>
37 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers <em>Max New Integers</em>}</li>
38 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals <em>Max New Reals</em>}</li>
39 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings <em>Max New Strings</em>}</li>
32 * </ul> 40 * </ul>
33 * 41 *
34 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation() 42 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation()
@@ -197,30 +205,20 @@ public interface PartialInterpretation extends EObject {
197 void setMaxNewElements(int value); 205 void setMaxNewElements(int value);
198 206
199 /** 207 /**
200 * Returns the value of the '<em><b>Open World Element Prototype</b></em>' containment reference. 208 * Returns the value of the '<em><b>Open World Element Prototypes</b></em>' containment reference list.
209 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement}.
201 * <!-- begin-user-doc --> 210 * <!-- begin-user-doc -->
202 * <p> 211 * <p>
203 * If the meaning of the '<em>Open World Element Prototype</em>' containment reference isn't clear, 212 * If the meaning of the '<em>Open World Element Prototypes</em>' containment reference list isn't clear,
204 * there really should be more of a description here... 213 * there really should be more of a description here...
205 * </p> 214 * </p>
206 * <!-- end-user-doc --> 215 * <!-- end-user-doc -->
207 * @return the value of the '<em>Open World Element Prototype</em>' containment reference. 216 * @return the value of the '<em>Open World Element Prototypes</em>' containment reference list.
208 * @see #setOpenWorldElementPrototype(DefinedElement) 217 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElementPrototypes()
209 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElementPrototype()
210 * @model containment="true" required="true" 218 * @model containment="true" required="true"
211 * @generated 219 * @generated
212 */ 220 */
213 DefinedElement getOpenWorldElementPrototype(); 221 EList<DefinedElement> getOpenWorldElementPrototypes();
214
215 /**
216 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototype <em>Open World Element Prototype</em>}' containment reference.
217 * <!-- begin-user-doc -->
218 * <!-- end-user-doc -->
219 * @param value the new value of the '<em>Open World Element Prototype</em>' containment reference.
220 * @see #getOpenWorldElementPrototype()
221 * @generated
222 */
223 void setOpenWorldElementPrototype(DefinedElement value);
224 222
225 /** 223 /**
226 * Returns the value of the '<em><b>Problem Conainer</b></em>' containment reference. 224 * Returns the value of the '<em><b>Problem Conainer</b></em>' containment reference.
@@ -248,4 +246,162 @@ public interface PartialInterpretation extends EObject {
248 */ 246 */
249 void setProblemConainer(LogicProblem value); 247 void setProblemConainer(LogicProblem value);
250 248
249 /**
250 * Returns the value of the '<em><b>Stringelement</b></em>' containment reference list.
251 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}.
252 * <!-- begin-user-doc -->
253 * <p>
254 * If the meaning of the '<em>Stringelement</em>' containment reference list isn't clear,
255 * there really should be more of a description here...
256 * </p>
257 * <!-- end-user-doc -->
258 * @return the value of the '<em>Stringelement</em>' containment reference list.
259 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Stringelement()
260 * @model containment="true"
261 * @generated
262 */
263 EList<StringElement> getStringelement();
264
265 /**
266 * Returns the value of the '<em><b>Stringelements</b></em>' containment reference list.
267 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}.
268 * <!-- begin-user-doc -->
269 * <p>
270 * If the meaning of the '<em>Stringelements</em>' containment reference list isn't clear,
271 * there really should be more of a description here...
272 * </p>
273 * <!-- end-user-doc -->
274 * @return the value of the '<em>Stringelements</em>' containment reference list.
275 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Stringelements()
276 * @model containment="true"
277 * @generated
278 */
279 EList<StringElement> getStringelements();
280
281 /**
282 * Returns the value of the '<em><b>Realelements</b></em>' containment reference list.
283 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement}.
284 * <!-- begin-user-doc -->
285 * <p>
286 * If the meaning of the '<em>Realelements</em>' containment reference list isn't clear,
287 * there really should be more of a description here...
288 * </p>
289 * <!-- end-user-doc -->
290 * @return the value of the '<em>Realelements</em>' containment reference list.
291 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Realelements()
292 * @model containment="true"
293 * @generated
294 */
295 EList<RealElement> getRealelements();
296
297 /**
298 * Returns the value of the '<em><b>Integerelements</b></em>' containment reference list.
299 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement}.
300 * <!-- begin-user-doc -->
301 * <p>
302 * If the meaning of the '<em>Integerelements</em>' containment reference list isn't clear,
303 * there really should be more of a description here...
304 * </p>
305 * <!-- end-user-doc -->
306 * @return the value of the '<em>Integerelements</em>' containment reference list.
307 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Integerelements()
308 * @model containment="true"
309 * @generated
310 */
311 EList<IntegerElement> getIntegerelements();
312
313 /**
314 * Returns the value of the '<em><b>Booleanelements</b></em>' containment reference list.
315 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement}.
316 * <!-- begin-user-doc -->
317 * <p>
318 * If the meaning of the '<em>Booleanelements</em>' containment reference list isn't clear,
319 * there really should be more of a description here...
320 * </p>
321 * <!-- end-user-doc -->
322 * @return the value of the '<em>Booleanelements</em>' containment reference list.
323 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Booleanelements()
324 * @model containment="true"
325 * @generated
326 */
327 EList<BooleanElement> getBooleanelements();
328
329 /**
330 * Returns the value of the '<em><b>Max New Integers</b></em>' attribute.
331 * <!-- begin-user-doc -->
332 * <p>
333 * If the meaning of the '<em>Max New Integers</em>' attribute isn't clear,
334 * there really should be more of a description here...
335 * </p>
336 * <!-- end-user-doc -->
337 * @return the value of the '<em>Max New Integers</em>' attribute.
338 * @see #setMaxNewIntegers(int)
339 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewIntegers()
340 * @model required="true"
341 * @generated
342 */
343 int getMaxNewIntegers();
344
345 /**
346 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers <em>Max New Integers</em>}' attribute.
347 * <!-- begin-user-doc -->
348 * <!-- end-user-doc -->
349 * @param value the new value of the '<em>Max New Integers</em>' attribute.
350 * @see #getMaxNewIntegers()
351 * @generated
352 */
353 void setMaxNewIntegers(int value);
354
355 /**
356 * Returns the value of the '<em><b>Max New Reals</b></em>' attribute.
357 * <!-- begin-user-doc -->
358 * <p>
359 * If the meaning of the '<em>Max New Reals</em>' attribute isn't clear,
360 * there really should be more of a description here...
361 * </p>
362 * <!-- end-user-doc -->
363 * @return the value of the '<em>Max New Reals</em>' attribute.
364 * @see #setMaxNewReals(int)
365 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewReals()
366 * @model required="true"
367 * @generated
368 */
369 int getMaxNewReals();
370
371 /**
372 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals <em>Max New Reals</em>}' attribute.
373 * <!-- begin-user-doc -->
374 * <!-- end-user-doc -->
375 * @param value the new value of the '<em>Max New Reals</em>' attribute.
376 * @see #getMaxNewReals()
377 * @generated
378 */
379 void setMaxNewReals(int value);
380
381 /**
382 * Returns the value of the '<em><b>Max New Strings</b></em>' attribute.
383 * <!-- begin-user-doc -->
384 * <p>
385 * If the meaning of the '<em>Max New Strings</em>' attribute isn't clear,
386 * there really should be more of a description here...
387 * </p>
388 * <!-- end-user-doc -->
389 * @return the value of the '<em>Max New Strings</em>' attribute.
390 * @see #setMaxNewStrings(int)
391 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewStrings()
392 * @model required="true"
393 * @generated
394 */
395 int getMaxNewStrings();
396
397 /**
398 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings <em>Max New Strings</em>}' attribute.
399 * <!-- begin-user-doc -->
400 * <!-- end-user-doc -->
401 * @param value the new value of the '<em>Max New Strings</em>' attribute.
402 * @see #getMaxNewStrings()
403 * @generated
404 */
405 void setMaxNewStrings(int value);
406
251} // PartialInterpretation 407} // PartialInterpretation
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java
index 406e2f02..da71e230 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java
@@ -103,6 +103,42 @@ public interface PartialinterpretationFactory extends EFactory {
103 NaryRelationLinkElement createNaryRelationLinkElement(); 103 NaryRelationLinkElement createNaryRelationLinkElement();
104 104
105 /** 105 /**
106 * Returns a new object of class '<em>Boolean Element</em>'.
107 * <!-- begin-user-doc -->
108 * <!-- end-user-doc -->
109 * @return a new object of class '<em>Boolean Element</em>'.
110 * @generated
111 */
112 BooleanElement createBooleanElement();
113
114 /**
115 * Returns a new object of class '<em>Integer Element</em>'.
116 * <!-- begin-user-doc -->
117 * <!-- end-user-doc -->
118 * @return a new object of class '<em>Integer Element</em>'.
119 * @generated
120 */
121 IntegerElement createIntegerElement();
122
123 /**
124 * Returns a new object of class '<em>Real Element</em>'.
125 * <!-- begin-user-doc -->
126 * <!-- end-user-doc -->
127 * @return a new object of class '<em>Real Element</em>'.
128 * @generated
129 */
130 RealElement createRealElement();
131
132 /**
133 * Returns a new object of class '<em>String Element</em>'.
134 * <!-- begin-user-doc -->
135 * <!-- end-user-doc -->
136 * @return a new object of class '<em>String Element</em>'.
137 * @generated
138 */
139 StringElement createStringElement();
140
141 /**
106 * Returns the package supported by this factory. 142 * Returns the package supported by this factory.
107 * <!-- begin-user-doc --> 143 * <!-- begin-user-doc -->
108 * <!-- end-user-doc --> 144 * <!-- end-user-doc -->
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java
index 573500dd..3f2fe479 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java
@@ -2,6 +2,7 @@
2 */ 2 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation; 3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;
4 4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
5import org.eclipse.emf.ecore.EAttribute; 6import org.eclipse.emf.ecore.EAttribute;
6import org.eclipse.emf.ecore.EClass; 7import org.eclipse.emf.ecore.EClass;
7import org.eclipse.emf.ecore.EPackage; 8import org.eclipse.emf.ecore.EPackage;
@@ -139,13 +140,13 @@ public interface PartialinterpretationPackage extends EPackage {
139 int PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = 7; 140 int PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = 7;
140 141
141 /** 142 /**
142 * The feature id for the '<em><b>Open World Element Prototype</b></em>' containment reference. 143 * The feature id for the '<em><b>Open World Element Prototypes</b></em>' containment reference list.
143 * <!-- begin-user-doc --> 144 * <!-- begin-user-doc -->
144 * <!-- end-user-doc --> 145 * <!-- end-user-doc -->
145 * @generated 146 * @generated
146 * @ordered 147 * @ordered
147 */ 148 */
148 int PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE = 8; 149 int PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES = 8;
149 150
150 /** 151 /**
151 * The feature id for the '<em><b>Problem Conainer</b></em>' containment reference. 152 * The feature id for the '<em><b>Problem Conainer</b></em>' containment reference.
@@ -157,13 +158,85 @@ public interface PartialinterpretationPackage extends EPackage {
157 int PARTIAL_INTERPRETATION__PROBLEM_CONAINER = 9; 158 int PARTIAL_INTERPRETATION__PROBLEM_CONAINER = 9;
158 159
159 /** 160 /**
161 * The feature id for the '<em><b>Stringelement</b></em>' containment reference list.
162 * <!-- begin-user-doc -->
163 * <!-- end-user-doc -->
164 * @generated
165 * @ordered
166 */
167 int PARTIAL_INTERPRETATION__STRINGELEMENT = 10;
168
169 /**
170 * The feature id for the '<em><b>Stringelements</b></em>' containment reference list.
171 * <!-- begin-user-doc -->
172 * <!-- end-user-doc -->
173 * @generated
174 * @ordered
175 */
176 int PARTIAL_INTERPRETATION__STRINGELEMENTS = 11;
177
178 /**
179 * The feature id for the '<em><b>Realelements</b></em>' containment reference list.
180 * <!-- begin-user-doc -->
181 * <!-- end-user-doc -->
182 * @generated
183 * @ordered
184 */
185 int PARTIAL_INTERPRETATION__REALELEMENTS = 12;
186
187 /**
188 * The feature id for the '<em><b>Integerelements</b></em>' containment reference list.
189 * <!-- begin-user-doc -->
190 * <!-- end-user-doc -->
191 * @generated
192 * @ordered
193 */
194 int PARTIAL_INTERPRETATION__INTEGERELEMENTS = 13;
195
196 /**
197 * The feature id for the '<em><b>Booleanelements</b></em>' containment reference list.
198 * <!-- begin-user-doc -->
199 * <!-- end-user-doc -->
200 * @generated
201 * @ordered
202 */
203 int PARTIAL_INTERPRETATION__BOOLEANELEMENTS = 14;
204
205 /**
206 * The feature id for the '<em><b>Max New Integers</b></em>' attribute.
207 * <!-- begin-user-doc -->
208 * <!-- end-user-doc -->
209 * @generated
210 * @ordered
211 */
212 int PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS = 15;
213
214 /**
215 * The feature id for the '<em><b>Max New Reals</b></em>' attribute.
216 * <!-- begin-user-doc -->
217 * <!-- end-user-doc -->
218 * @generated
219 * @ordered
220 */
221 int PARTIAL_INTERPRETATION__MAX_NEW_REALS = 16;
222
223 /**
224 * The feature id for the '<em><b>Max New Strings</b></em>' attribute.
225 * <!-- begin-user-doc -->
226 * <!-- end-user-doc -->
227 * @generated
228 * @ordered
229 */
230 int PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = 17;
231
232 /**
160 * The number of structural features of the '<em>Partial Interpretation</em>' class. 233 * The number of structural features of the '<em>Partial Interpretation</em>' class.
161 * <!-- begin-user-doc --> 234 * <!-- begin-user-doc -->
162 * <!-- end-user-doc --> 235 * <!-- end-user-doc -->
163 * @generated 236 * @generated
164 * @ordered 237 * @ordered
165 */ 238 */
166 int PARTIAL_INTERPRETATION_FEATURE_COUNT = 10; 239 int PARTIAL_INTERPRETATION_FEATURE_COUNT = 18;
167 240
168 /** 241 /**
169 * The number of operations of the '<em>Partial Interpretation</em>' class. 242 * The number of operations of the '<em>Partial Interpretation</em>' class.
@@ -554,6 +627,318 @@ public interface PartialinterpretationPackage extends EPackage {
554 627
555 628
556 /** 629 /**
630 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PrimitiveElementImpl <em>Primitive Element</em>}' class.
631 * <!-- begin-user-doc -->
632 * <!-- end-user-doc -->
633 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PrimitiveElementImpl
634 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPrimitiveElement()
635 * @generated
636 */
637 int PRIMITIVE_ELEMENT = 10;
638
639 /**
640 * The feature id for the '<em><b>Name</b></em>' attribute.
641 * <!-- begin-user-doc -->
642 * <!-- end-user-doc -->
643 * @generated
644 * @ordered
645 */
646 int PRIMITIVE_ELEMENT__NAME = LogiclanguagePackage.DEFINED_ELEMENT__NAME;
647
648 /**
649 * The feature id for the '<em><b>Defined In Type</b></em>' reference list.
650 * <!-- begin-user-doc -->
651 * <!-- end-user-doc -->
652 * @generated
653 * @ordered
654 */
655 int PRIMITIVE_ELEMENT__DEFINED_IN_TYPE = LogiclanguagePackage.DEFINED_ELEMENT__DEFINED_IN_TYPE;
656
657 /**
658 * The feature id for the '<em><b>Value Set</b></em>' attribute.
659 * <!-- begin-user-doc -->
660 * <!-- end-user-doc -->
661 * @generated
662 * @ordered
663 */
664 int PRIMITIVE_ELEMENT__VALUE_SET = LogiclanguagePackage.DEFINED_ELEMENT_FEATURE_COUNT + 0;
665
666 /**
667 * The number of structural features of the '<em>Primitive Element</em>' class.
668 * <!-- begin-user-doc -->
669 * <!-- end-user-doc -->
670 * @generated
671 * @ordered
672 */
673 int PRIMITIVE_ELEMENT_FEATURE_COUNT = LogiclanguagePackage.DEFINED_ELEMENT_FEATURE_COUNT + 1;
674
675 /**
676 * The number of operations of the '<em>Primitive Element</em>' class.
677 * <!-- begin-user-doc -->
678 * <!-- end-user-doc -->
679 * @generated
680 * @ordered
681 */
682 int PRIMITIVE_ELEMENT_OPERATION_COUNT = LogiclanguagePackage.DEFINED_ELEMENT_OPERATION_COUNT + 0;
683
684 /**
685 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.BooleanElementImpl <em>Boolean Element</em>}' class.
686 * <!-- begin-user-doc -->
687 * <!-- end-user-doc -->
688 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.BooleanElementImpl
689 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getBooleanElement()
690 * @generated
691 */
692 int BOOLEAN_ELEMENT = 11;
693
694 /**
695 * The feature id for the '<em><b>Name</b></em>' attribute.
696 * <!-- begin-user-doc -->
697 * <!-- end-user-doc -->
698 * @generated
699 * @ordered
700 */
701 int BOOLEAN_ELEMENT__NAME = PRIMITIVE_ELEMENT__NAME;
702
703 /**
704 * The feature id for the '<em><b>Defined In Type</b></em>' reference list.
705 * <!-- begin-user-doc -->
706 * <!-- end-user-doc -->
707 * @generated
708 * @ordered
709 */
710 int BOOLEAN_ELEMENT__DEFINED_IN_TYPE = PRIMITIVE_ELEMENT__DEFINED_IN_TYPE;
711
712 /**
713 * The feature id for the '<em><b>Value Set</b></em>' attribute.
714 * <!-- begin-user-doc -->
715 * <!-- end-user-doc -->
716 * @generated
717 * @ordered
718 */
719 int BOOLEAN_ELEMENT__VALUE_SET = PRIMITIVE_ELEMENT__VALUE_SET;
720
721 /**
722 * The feature id for the '<em><b>Value</b></em>' attribute.
723 * <!-- begin-user-doc -->
724 * <!-- end-user-doc -->
725 * @generated
726 * @ordered
727 */
728 int BOOLEAN_ELEMENT__VALUE = PRIMITIVE_ELEMENT_FEATURE_COUNT + 0;
729
730 /**
731 * The number of structural features of the '<em>Boolean Element</em>' class.
732 * <!-- begin-user-doc -->
733 * <!-- end-user-doc -->
734 * @generated
735 * @ordered
736 */
737 int BOOLEAN_ELEMENT_FEATURE_COUNT = PRIMITIVE_ELEMENT_FEATURE_COUNT + 1;
738
739 /**
740 * The number of operations of the '<em>Boolean Element</em>' class.
741 * <!-- begin-user-doc -->
742 * <!-- end-user-doc -->
743 * @generated
744 * @ordered
745 */
746 int BOOLEAN_ELEMENT_OPERATION_COUNT = PRIMITIVE_ELEMENT_OPERATION_COUNT + 0;
747
748 /**
749 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.IntegerElementImpl <em>Integer Element</em>}' class.
750 * <!-- begin-user-doc -->
751 * <!-- end-user-doc -->
752 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.IntegerElementImpl
753 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getIntegerElement()
754 * @generated
755 */
756 int INTEGER_ELEMENT = 12;
757
758 /**
759 * The feature id for the '<em><b>Name</b></em>' attribute.
760 * <!-- begin-user-doc -->
761 * <!-- end-user-doc -->
762 * @generated
763 * @ordered
764 */
765 int INTEGER_ELEMENT__NAME = PRIMITIVE_ELEMENT__NAME;
766
767 /**
768 * The feature id for the '<em><b>Defined In Type</b></em>' reference list.
769 * <!-- begin-user-doc -->
770 * <!-- end-user-doc -->
771 * @generated
772 * @ordered
773 */
774 int INTEGER_ELEMENT__DEFINED_IN_TYPE = PRIMITIVE_ELEMENT__DEFINED_IN_TYPE;
775
776 /**
777 * The feature id for the '<em><b>Value Set</b></em>' attribute.
778 * <!-- begin-user-doc -->
779 * <!-- end-user-doc -->
780 * @generated
781 * @ordered
782 */
783 int INTEGER_ELEMENT__VALUE_SET = PRIMITIVE_ELEMENT__VALUE_SET;
784
785 /**
786 * The feature id for the '<em><b>Value</b></em>' attribute.
787 * <!-- begin-user-doc -->
788 * <!-- end-user-doc -->
789 * @generated
790 * @ordered
791 */
792 int INTEGER_ELEMENT__VALUE = PRIMITIVE_ELEMENT_FEATURE_COUNT + 0;
793
794 /**
795 * The number of structural features of the '<em>Integer Element</em>' class.
796 * <!-- begin-user-doc -->
797 * <!-- end-user-doc -->
798 * @generated
799 * @ordered
800 */
801 int INTEGER_ELEMENT_FEATURE_COUNT = PRIMITIVE_ELEMENT_FEATURE_COUNT + 1;
802
803 /**
804 * The number of operations of the '<em>Integer Element</em>' class.
805 * <!-- begin-user-doc -->
806 * <!-- end-user-doc -->
807 * @generated
808 * @ordered
809 */
810 int INTEGER_ELEMENT_OPERATION_COUNT = PRIMITIVE_ELEMENT_OPERATION_COUNT + 0;
811
812 /**
813 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RealElementImpl <em>Real Element</em>}' class.
814 * <!-- begin-user-doc -->
815 * <!-- end-user-doc -->
816 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RealElementImpl
817 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getRealElement()
818 * @generated
819 */
820 int REAL_ELEMENT = 13;
821
822 /**
823 * The feature id for the '<em><b>Name</b></em>' attribute.
824 * <!-- begin-user-doc -->
825 * <!-- end-user-doc -->
826 * @generated
827 * @ordered
828 */
829 int REAL_ELEMENT__NAME = PRIMITIVE_ELEMENT__NAME;
830
831 /**
832 * The feature id for the '<em><b>Defined In Type</b></em>' reference list.
833 * <!-- begin-user-doc -->
834 * <!-- end-user-doc -->
835 * @generated
836 * @ordered
837 */
838 int REAL_ELEMENT__DEFINED_IN_TYPE = PRIMITIVE_ELEMENT__DEFINED_IN_TYPE;
839
840 /**
841 * The feature id for the '<em><b>Value Set</b></em>' attribute.
842 * <!-- begin-user-doc -->
843 * <!-- end-user-doc -->
844 * @generated
845 * @ordered
846 */
847 int REAL_ELEMENT__VALUE_SET = PRIMITIVE_ELEMENT__VALUE_SET;
848
849 /**
850 * The feature id for the '<em><b>Value</b></em>' attribute.
851 * <!-- begin-user-doc -->
852 * <!-- end-user-doc -->
853 * @generated
854 * @ordered
855 */
856 int REAL_ELEMENT__VALUE = PRIMITIVE_ELEMENT_FEATURE_COUNT + 0;
857
858 /**
859 * The number of structural features of the '<em>Real Element</em>' class.
860 * <!-- begin-user-doc -->
861 * <!-- end-user-doc -->
862 * @generated
863 * @ordered
864 */
865 int REAL_ELEMENT_FEATURE_COUNT = PRIMITIVE_ELEMENT_FEATURE_COUNT + 1;
866
867 /**
868 * The number of operations of the '<em>Real Element</em>' class.
869 * <!-- begin-user-doc -->
870 * <!-- end-user-doc -->
871 * @generated
872 * @ordered
873 */
874 int REAL_ELEMENT_OPERATION_COUNT = PRIMITIVE_ELEMENT_OPERATION_COUNT + 0;
875
876 /**
877 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.StringElementImpl <em>String Element</em>}' class.
878 * <!-- begin-user-doc -->
879 * <!-- end-user-doc -->
880 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.StringElementImpl
881 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getStringElement()
882 * @generated
883 */
884 int STRING_ELEMENT = 14;
885
886 /**
887 * The feature id for the '<em><b>Name</b></em>' attribute.
888 * <!-- begin-user-doc -->
889 * <!-- end-user-doc -->
890 * @generated
891 * @ordered
892 */
893 int STRING_ELEMENT__NAME = PRIMITIVE_ELEMENT__NAME;
894
895 /**
896 * The feature id for the '<em><b>Defined In Type</b></em>' reference list.
897 * <!-- begin-user-doc -->
898 * <!-- end-user-doc -->
899 * @generated
900 * @ordered
901 */
902 int STRING_ELEMENT__DEFINED_IN_TYPE = PRIMITIVE_ELEMENT__DEFINED_IN_TYPE;
903
904 /**
905 * The feature id for the '<em><b>Value Set</b></em>' attribute.
906 * <!-- begin-user-doc -->
907 * <!-- end-user-doc -->
908 * @generated
909 * @ordered
910 */
911 int STRING_ELEMENT__VALUE_SET = PRIMITIVE_ELEMENT__VALUE_SET;
912
913 /**
914 * The feature id for the '<em><b>Value</b></em>' attribute.
915 * <!-- begin-user-doc -->
916 * <!-- end-user-doc -->
917 * @generated
918 * @ordered
919 */
920 int STRING_ELEMENT__VALUE = PRIMITIVE_ELEMENT_FEATURE_COUNT + 0;
921
922 /**
923 * The number of structural features of the '<em>String Element</em>' class.
924 * <!-- begin-user-doc -->
925 * <!-- end-user-doc -->
926 * @generated
927 * @ordered
928 */
929 int STRING_ELEMENT_FEATURE_COUNT = PRIMITIVE_ELEMENT_FEATURE_COUNT + 1;
930
931 /**
932 * The number of operations of the '<em>String Element</em>' class.
933 * <!-- begin-user-doc -->
934 * <!-- end-user-doc -->
935 * @generated
936 * @ordered
937 */
938 int STRING_ELEMENT_OPERATION_COUNT = PRIMITIVE_ELEMENT_OPERATION_COUNT + 0;
939
940
941 /**
557 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation <em>Partial Interpretation</em>}'. 942 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation <em>Partial Interpretation</em>}'.
558 * <!-- begin-user-doc --> 943 * <!-- begin-user-doc -->
559 * <!-- end-user-doc --> 944 * <!-- end-user-doc -->
@@ -652,15 +1037,15 @@ public interface PartialinterpretationPackage extends EPackage {
652 EAttribute getPartialInterpretation_MaxNewElements(); 1037 EAttribute getPartialInterpretation_MaxNewElements();
653 1038
654 /** 1039 /**
655 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototype <em>Open World Element Prototype</em>}'. 1040 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes <em>Open World Element Prototypes</em>}'.
656 * <!-- begin-user-doc --> 1041 * <!-- begin-user-doc -->
657 * <!-- end-user-doc --> 1042 * <!-- end-user-doc -->
658 * @return the meta object for the containment reference '<em>Open World Element Prototype</em>'. 1043 * @return the meta object for the containment reference list '<em>Open World Element Prototypes</em>'.
659 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototype() 1044 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes()
660 * @see #getPartialInterpretation() 1045 * @see #getPartialInterpretation()
661 * @generated 1046 * @generated
662 */ 1047 */
663 EReference getPartialInterpretation_OpenWorldElementPrototype(); 1048 EReference getPartialInterpretation_OpenWorldElementPrototypes();
664 1049
665 /** 1050 /**
666 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}'. 1051 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}'.
@@ -674,6 +1059,94 @@ public interface PartialinterpretationPackage extends EPackage {
674 EReference getPartialInterpretation_ProblemConainer(); 1059 EReference getPartialInterpretation_ProblemConainer();
675 1060
676 /** 1061 /**
1062 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement <em>Stringelement</em>}'.
1063 * <!-- begin-user-doc -->
1064 * <!-- end-user-doc -->
1065 * @return the meta object for the containment reference list '<em>Stringelement</em>'.
1066 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement()
1067 * @see #getPartialInterpretation()
1068 * @generated
1069 */
1070 EReference getPartialInterpretation_Stringelement();
1071
1072 /**
1073 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements <em>Stringelements</em>}'.
1074 * <!-- begin-user-doc -->
1075 * <!-- end-user-doc -->
1076 * @return the meta object for the containment reference list '<em>Stringelements</em>'.
1077 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements()
1078 * @see #getPartialInterpretation()
1079 * @generated
1080 */
1081 EReference getPartialInterpretation_Stringelements();
1082
1083 /**
1084 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements <em>Realelements</em>}'.
1085 * <!-- begin-user-doc -->
1086 * <!-- end-user-doc -->
1087 * @return the meta object for the containment reference list '<em>Realelements</em>'.
1088 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements()
1089 * @see #getPartialInterpretation()
1090 * @generated
1091 */
1092 EReference getPartialInterpretation_Realelements();
1093
1094 /**
1095 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements <em>Integerelements</em>}'.
1096 * <!-- begin-user-doc -->
1097 * <!-- end-user-doc -->
1098 * @return the meta object for the containment reference list '<em>Integerelements</em>'.
1099 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements()
1100 * @see #getPartialInterpretation()
1101 * @generated
1102 */
1103 EReference getPartialInterpretation_Integerelements();
1104
1105 /**
1106 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements <em>Booleanelements</em>}'.
1107 * <!-- begin-user-doc -->
1108 * <!-- end-user-doc -->
1109 * @return the meta object for the containment reference list '<em>Booleanelements</em>'.
1110 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements()
1111 * @see #getPartialInterpretation()
1112 * @generated
1113 */
1114 EReference getPartialInterpretation_Booleanelements();
1115
1116 /**
1117 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers <em>Max New Integers</em>}'.
1118 * <!-- begin-user-doc -->
1119 * <!-- end-user-doc -->
1120 * @return the meta object for the attribute '<em>Max New Integers</em>'.
1121 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers()
1122 * @see #getPartialInterpretation()
1123 * @generated
1124 */
1125 EAttribute getPartialInterpretation_MaxNewIntegers();
1126
1127 /**
1128 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals <em>Max New Reals</em>}'.
1129 * <!-- begin-user-doc -->
1130 * <!-- end-user-doc -->
1131 * @return the meta object for the attribute '<em>Max New Reals</em>'.
1132 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals()
1133 * @see #getPartialInterpretation()
1134 * @generated
1135 */
1136 EAttribute getPartialInterpretation_MaxNewReals();
1137
1138 /**
1139 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings <em>Max New Strings</em>}'.
1140 * <!-- begin-user-doc -->
1141 * <!-- end-user-doc -->
1142 * @return the meta object for the attribute '<em>Max New Strings</em>'.
1143 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings()
1144 * @see #getPartialInterpretation()
1145 * @generated
1146 */
1147 EAttribute getPartialInterpretation_MaxNewStrings();
1148
1149 /**
677 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation <em>Partial Constant Interpretation</em>}'. 1150 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation <em>Partial Constant Interpretation</em>}'.
678 * <!-- begin-user-doc --> 1151 * <!-- begin-user-doc -->
679 * <!-- end-user-doc --> 1152 * <!-- end-user-doc -->
@@ -918,6 +1391,111 @@ public interface PartialinterpretationPackage extends EPackage {
918 EAttribute getNaryRelationLinkElement_Index(); 1391 EAttribute getNaryRelationLinkElement_Index();
919 1392
920 /** 1393 /**
1394 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement <em>Primitive Element</em>}'.
1395 * <!-- begin-user-doc -->
1396 * <!-- end-user-doc -->
1397 * @return the meta object for class '<em>Primitive Element</em>'.
1398 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement
1399 * @generated
1400 */
1401 EClass getPrimitiveElement();
1402
1403 /**
1404 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement#isValueSet <em>Value Set</em>}'.
1405 * <!-- begin-user-doc -->
1406 * <!-- end-user-doc -->
1407 * @return the meta object for the attribute '<em>Value Set</em>'.
1408 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement#isValueSet()
1409 * @see #getPrimitiveElement()
1410 * @generated
1411 */
1412 EAttribute getPrimitiveElement_ValueSet();
1413
1414 /**
1415 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement <em>Boolean Element</em>}'.
1416 * <!-- begin-user-doc -->
1417 * <!-- end-user-doc -->
1418 * @return the meta object for class '<em>Boolean Element</em>'.
1419 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement
1420 * @generated
1421 */
1422 EClass getBooleanElement();
1423
1424 /**
1425 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement#isValue <em>Value</em>}'.
1426 * <!-- begin-user-doc -->
1427 * <!-- end-user-doc -->
1428 * @return the meta object for the attribute '<em>Value</em>'.
1429 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement#isValue()
1430 * @see #getBooleanElement()
1431 * @generated
1432 */
1433 EAttribute getBooleanElement_Value();
1434
1435 /**
1436 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement <em>Integer Element</em>}'.
1437 * <!-- begin-user-doc -->
1438 * <!-- end-user-doc -->
1439 * @return the meta object for class '<em>Integer Element</em>'.
1440 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement
1441 * @generated
1442 */
1443 EClass getIntegerElement();
1444
1445 /**
1446 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement#getValue <em>Value</em>}'.
1447 * <!-- begin-user-doc -->
1448 * <!-- end-user-doc -->
1449 * @return the meta object for the attribute '<em>Value</em>'.
1450 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement#getValue()
1451 * @see #getIntegerElement()
1452 * @generated
1453 */
1454 EAttribute getIntegerElement_Value();
1455
1456 /**
1457 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement <em>Real Element</em>}'.
1458 * <!-- begin-user-doc -->
1459 * <!-- end-user-doc -->
1460 * @return the meta object for class '<em>Real Element</em>'.
1461 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement
1462 * @generated
1463 */
1464 EClass getRealElement();
1465
1466 /**
1467 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement#getValue <em>Value</em>}'.
1468 * <!-- begin-user-doc -->
1469 * <!-- end-user-doc -->
1470 * @return the meta object for the attribute '<em>Value</em>'.
1471 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement#getValue()
1472 * @see #getRealElement()
1473 * @generated
1474 */
1475 EAttribute getRealElement_Value();
1476
1477 /**
1478 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement <em>String Element</em>}'.
1479 * <!-- begin-user-doc -->
1480 * <!-- end-user-doc -->
1481 * @return the meta object for class '<em>String Element</em>'.
1482 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement
1483 * @generated
1484 */
1485 EClass getStringElement();
1486
1487 /**
1488 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement#getValue <em>Value</em>}'.
1489 * <!-- begin-user-doc -->
1490 * <!-- end-user-doc -->
1491 * @return the meta object for the attribute '<em>Value</em>'.
1492 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement#getValue()
1493 * @see #getStringElement()
1494 * @generated
1495 */
1496 EAttribute getStringElement_Value();
1497
1498 /**
921 * Returns the factory that creates the instances of the model. 1499 * Returns the factory that creates the instances of the model.
922 * <!-- begin-user-doc --> 1500 * <!-- begin-user-doc -->
923 * <!-- end-user-doc --> 1501 * <!-- end-user-doc -->
@@ -1015,12 +1593,12 @@ public interface PartialinterpretationPackage extends EPackage {
1015 EAttribute PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MaxNewElements(); 1593 EAttribute PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MaxNewElements();
1016 1594
1017 /** 1595 /**
1018 * The meta object literal for the '<em><b>Open World Element Prototype</b></em>' containment reference feature. 1596 * The meta object literal for the '<em><b>Open World Element Prototypes</b></em>' containment reference list feature.
1019 * <!-- begin-user-doc --> 1597 * <!-- begin-user-doc -->
1020 * <!-- end-user-doc --> 1598 * <!-- end-user-doc -->
1021 * @generated 1599 * @generated
1022 */ 1600 */
1023 EReference PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE = eINSTANCE.getPartialInterpretation_OpenWorldElementPrototype(); 1601 EReference PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES = eINSTANCE.getPartialInterpretation_OpenWorldElementPrototypes();
1024 1602
1025 /** 1603 /**
1026 * The meta object literal for the '<em><b>Problem Conainer</b></em>' containment reference feature. 1604 * The meta object literal for the '<em><b>Problem Conainer</b></em>' containment reference feature.
@@ -1031,6 +1609,70 @@ public interface PartialinterpretationPackage extends EPackage {
1031 EReference PARTIAL_INTERPRETATION__PROBLEM_CONAINER = eINSTANCE.getPartialInterpretation_ProblemConainer(); 1609 EReference PARTIAL_INTERPRETATION__PROBLEM_CONAINER = eINSTANCE.getPartialInterpretation_ProblemConainer();
1032 1610
1033 /** 1611 /**
1612 * The meta object literal for the '<em><b>Stringelement</b></em>' containment reference list feature.
1613 * <!-- begin-user-doc -->
1614 * <!-- end-user-doc -->
1615 * @generated
1616 */
1617 EReference PARTIAL_INTERPRETATION__STRINGELEMENT = eINSTANCE.getPartialInterpretation_Stringelement();
1618
1619 /**
1620 * The meta object literal for the '<em><b>Stringelements</b></em>' containment reference list feature.
1621 * <!-- begin-user-doc -->
1622 * <!-- end-user-doc -->
1623 * @generated
1624 */
1625 EReference PARTIAL_INTERPRETATION__STRINGELEMENTS = eINSTANCE.getPartialInterpretation_Stringelements();
1626
1627 /**
1628 * The meta object literal for the '<em><b>Realelements</b></em>' containment reference list feature.
1629 * <!-- begin-user-doc -->
1630 * <!-- end-user-doc -->
1631 * @generated
1632 */
1633 EReference PARTIAL_INTERPRETATION__REALELEMENTS = eINSTANCE.getPartialInterpretation_Realelements();
1634
1635 /**
1636 * The meta object literal for the '<em><b>Integerelements</b></em>' containment reference list feature.
1637 * <!-- begin-user-doc -->
1638 * <!-- end-user-doc -->
1639 * @generated
1640 */
1641 EReference PARTIAL_INTERPRETATION__INTEGERELEMENTS = eINSTANCE.getPartialInterpretation_Integerelements();
1642
1643 /**
1644 * The meta object literal for the '<em><b>Booleanelements</b></em>' containment reference list feature.
1645 * <!-- begin-user-doc -->
1646 * <!-- end-user-doc -->
1647 * @generated
1648 */
1649 EReference PARTIAL_INTERPRETATION__BOOLEANELEMENTS = eINSTANCE.getPartialInterpretation_Booleanelements();
1650
1651 /**
1652 * The meta object literal for the '<em><b>Max New Integers</b></em>' attribute feature.
1653 * <!-- begin-user-doc -->
1654 * <!-- end-user-doc -->
1655 * @generated
1656 */
1657 EAttribute PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS = eINSTANCE.getPartialInterpretation_MaxNewIntegers();
1658
1659 /**
1660 * The meta object literal for the '<em><b>Max New Reals</b></em>' attribute feature.
1661 * <!-- begin-user-doc -->
1662 * <!-- end-user-doc -->
1663 * @generated
1664 */
1665 EAttribute PARTIAL_INTERPRETATION__MAX_NEW_REALS = eINSTANCE.getPartialInterpretation_MaxNewReals();
1666
1667 /**
1668 * The meta object literal for the '<em><b>Max New Strings</b></em>' attribute feature.
1669 * <!-- begin-user-doc -->
1670 * <!-- end-user-doc -->
1671 * @generated
1672 */
1673 EAttribute PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = eINSTANCE.getPartialInterpretation_MaxNewStrings();
1674
1675 /**
1034 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialConstantInterpretationImpl <em>Partial Constant Interpretation</em>}' class. 1676 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialConstantInterpretationImpl <em>Partial Constant Interpretation</em>}' class.
1035 * <!-- begin-user-doc --> 1677 * <!-- begin-user-doc -->
1036 * <!-- end-user-doc --> 1678 * <!-- end-user-doc -->
@@ -1232,6 +1874,96 @@ public interface PartialinterpretationPackage extends EPackage {
1232 */ 1874 */
1233 EAttribute NARY_RELATION_LINK_ELEMENT__INDEX = eINSTANCE.getNaryRelationLinkElement_Index(); 1875 EAttribute NARY_RELATION_LINK_ELEMENT__INDEX = eINSTANCE.getNaryRelationLinkElement_Index();
1234 1876
1877 /**
1878 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PrimitiveElementImpl <em>Primitive Element</em>}' class.
1879 * <!-- begin-user-doc -->
1880 * <!-- end-user-doc -->
1881 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PrimitiveElementImpl
1882 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPrimitiveElement()
1883 * @generated
1884 */
1885 EClass PRIMITIVE_ELEMENT = eINSTANCE.getPrimitiveElement();
1886
1887 /**
1888 * The meta object literal for the '<em><b>Value Set</b></em>' attribute feature.
1889 * <!-- begin-user-doc -->
1890 * <!-- end-user-doc -->
1891 * @generated
1892 */
1893 EAttribute PRIMITIVE_ELEMENT__VALUE_SET = eINSTANCE.getPrimitiveElement_ValueSet();
1894
1895 /**
1896 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.BooleanElementImpl <em>Boolean Element</em>}' class.
1897 * <!-- begin-user-doc -->
1898 * <!-- end-user-doc -->
1899 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.BooleanElementImpl
1900 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getBooleanElement()
1901 * @generated
1902 */
1903 EClass BOOLEAN_ELEMENT = eINSTANCE.getBooleanElement();
1904
1905 /**
1906 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
1907 * <!-- begin-user-doc -->
1908 * <!-- end-user-doc -->
1909 * @generated
1910 */
1911 EAttribute BOOLEAN_ELEMENT__VALUE = eINSTANCE.getBooleanElement_Value();
1912
1913 /**
1914 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.IntegerElementImpl <em>Integer Element</em>}' class.
1915 * <!-- begin-user-doc -->
1916 * <!-- end-user-doc -->
1917 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.IntegerElementImpl
1918 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getIntegerElement()
1919 * @generated
1920 */
1921 EClass INTEGER_ELEMENT = eINSTANCE.getIntegerElement();
1922
1923 /**
1924 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
1925 * <!-- begin-user-doc -->
1926 * <!-- end-user-doc -->
1927 * @generated
1928 */
1929 EAttribute INTEGER_ELEMENT__VALUE = eINSTANCE.getIntegerElement_Value();
1930
1931 /**
1932 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RealElementImpl <em>Real Element</em>}' class.
1933 * <!-- begin-user-doc -->
1934 * <!-- end-user-doc -->
1935 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RealElementImpl
1936 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getRealElement()
1937 * @generated
1938 */
1939 EClass REAL_ELEMENT = eINSTANCE.getRealElement();
1940
1941 /**
1942 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
1943 * <!-- begin-user-doc -->
1944 * <!-- end-user-doc -->
1945 * @generated
1946 */
1947 EAttribute REAL_ELEMENT__VALUE = eINSTANCE.getRealElement_Value();
1948
1949 /**
1950 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.StringElementImpl <em>String Element</em>}' class.
1951 * <!-- begin-user-doc -->
1952 * <!-- end-user-doc -->
1953 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.StringElementImpl
1954 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getStringElement()
1955 * @generated
1956 */
1957 EClass STRING_ELEMENT = eINSTANCE.getStringElement();
1958
1959 /**
1960 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
1961 * <!-- begin-user-doc -->
1962 * <!-- end-user-doc -->
1963 * @generated
1964 */
1965 EAttribute STRING_ELEMENT__VALUE = eINSTANCE.getStringElement_Value();
1966
1235 } 1967 }
1236 1968
1237} //PartialinterpretationPackage 1969} //PartialinterpretationPackage
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java
index 09690c79..4b7061ce 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java
@@ -6,6 +6,8 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
6 6
7import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; 7import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
8 8
9import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement;
10import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement;
9import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; 11import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation;
10import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation; 12import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation;
11import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; 13import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation;
@@ -13,6 +15,8 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.par
13import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; 15import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;
14import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; 16import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
15 17
18import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement;
19import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement;
16import java.util.Collection; 20import java.util.Collection;
17 21
18import org.eclipse.emf.common.notify.Notification; 22import org.eclipse.emf.common.notify.Notification;
@@ -45,8 +49,16 @@ import org.eclipse.emf.ecore.util.InternalEList;
45 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li> 49 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li>
46 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMinNewElements <em>Min New Elements</em>}</li> 50 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMinNewElements <em>Min New Elements</em>}</li>
47 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewElements <em>Max New Elements</em>}</li> 51 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewElements <em>Max New Elements</em>}</li>
48 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElementPrototype <em>Open World Element Prototype</em>}</li> 52 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElementPrototypes <em>Open World Element Prototypes</em>}</li>
49 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer <em>Problem Conainer</em>}</li> 53 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer <em>Problem Conainer</em>}</li>
54 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getStringelement <em>Stringelement</em>}</li>
55 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getStringelements <em>Stringelements</em>}</li>
56 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getRealelements <em>Realelements</em>}</li>
57 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getIntegerelements <em>Integerelements</em>}</li>
58 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getBooleanelements <em>Booleanelements</em>}</li>
59 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewIntegers <em>Max New Integers</em>}</li>
60 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewReals <em>Max New Reals</em>}</li>
61 * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewStrings <em>Max New Strings</em>}</li>
50 * </ul> 62 * </ul>
51 * 63 *
52 * @generated 64 * @generated
@@ -153,14 +165,14 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
153 protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT; 165 protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT;
154 166
155 /** 167 /**
156 * The cached value of the '{@link #getOpenWorldElementPrototype() <em>Open World Element Prototype</em>}' containment reference. 168 * The cached value of the '{@link #getOpenWorldElementPrototypes() <em>Open World Element Prototypes</em>}' containment reference list.
157 * <!-- begin-user-doc --> 169 * <!-- begin-user-doc -->
158 * <!-- end-user-doc --> 170 * <!-- end-user-doc -->
159 * @see #getOpenWorldElementPrototype() 171 * @see #getOpenWorldElementPrototypes()
160 * @generated 172 * @generated
161 * @ordered 173 * @ordered
162 */ 174 */
163 protected DefinedElement openWorldElementPrototype; 175 protected EList<DefinedElement> openWorldElementPrototypes;
164 176
165 /** 177 /**
166 * The cached value of the '{@link #getProblemConainer() <em>Problem Conainer</em>}' containment reference. 178 * The cached value of the '{@link #getProblemConainer() <em>Problem Conainer</em>}' containment reference.
@@ -173,6 +185,116 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
173 protected LogicProblem problemConainer; 185 protected LogicProblem problemConainer;
174 186
175 /** 187 /**
188 * The cached value of the '{@link #getStringelement() <em>Stringelement</em>}' containment reference list.
189 * <!-- begin-user-doc -->
190 * <!-- end-user-doc -->
191 * @see #getStringelement()
192 * @generated
193 * @ordered
194 */
195 protected EList<StringElement> stringelement;
196
197 /**
198 * The cached value of the '{@link #getStringelements() <em>Stringelements</em>}' containment reference list.
199 * <!-- begin-user-doc -->
200 * <!-- end-user-doc -->
201 * @see #getStringelements()
202 * @generated
203 * @ordered
204 */
205 protected EList<StringElement> stringelements;
206
207 /**
208 * The cached value of the '{@link #getRealelements() <em>Realelements</em>}' containment reference list.
209 * <!-- begin-user-doc -->
210 * <!-- end-user-doc -->
211 * @see #getRealelements()
212 * @generated
213 * @ordered
214 */
215 protected EList<RealElement> realelements;
216
217 /**
218 * The cached value of the '{@link #getIntegerelements() <em>Integerelements</em>}' containment reference list.
219 * <!-- begin-user-doc -->
220 * <!-- end-user-doc -->
221 * @see #getIntegerelements()
222 * @generated
223 * @ordered
224 */
225 protected EList<IntegerElement> integerelements;
226
227 /**
228 * The cached value of the '{@link #getBooleanelements() <em>Booleanelements</em>}' containment reference list.
229 * <!-- begin-user-doc -->
230 * <!-- end-user-doc -->
231 * @see #getBooleanelements()
232 * @generated
233 * @ordered
234 */
235 protected EList<BooleanElement> booleanelements;
236
237 /**
238 * The default value of the '{@link #getMaxNewIntegers() <em>Max New Integers</em>}' attribute.
239 * <!-- begin-user-doc -->
240 * <!-- end-user-doc -->
241 * @see #getMaxNewIntegers()
242 * @generated
243 * @ordered
244 */
245 protected static final int MAX_NEW_INTEGERS_EDEFAULT = 0;
246
247 /**
248 * The cached value of the '{@link #getMaxNewIntegers() <em>Max New Integers</em>}' attribute.
249 * <!-- begin-user-doc -->
250 * <!-- end-user-doc -->
251 * @see #getMaxNewIntegers()
252 * @generated
253 * @ordered
254 */
255 protected int maxNewIntegers = MAX_NEW_INTEGERS_EDEFAULT;
256
257 /**
258 * The default value of the '{@link #getMaxNewReals() <em>Max New Reals</em>}' attribute.
259 * <!-- begin-user-doc -->
260 * <!-- end-user-doc -->
261 * @see #getMaxNewReals()
262 * @generated
263 * @ordered
264 */
265 protected static final int MAX_NEW_REALS_EDEFAULT = 0;
266
267 /**
268 * The cached value of the '{@link #getMaxNewReals() <em>Max New Reals</em>}' attribute.
269 * <!-- begin-user-doc -->
270 * <!-- end-user-doc -->
271 * @see #getMaxNewReals()
272 * @generated
273 * @ordered
274 */
275 protected int maxNewReals = MAX_NEW_REALS_EDEFAULT;
276
277 /**
278 * The default value of the '{@link #getMaxNewStrings() <em>Max New Strings</em>}' attribute.
279 * <!-- begin-user-doc -->
280 * <!-- end-user-doc -->
281 * @see #getMaxNewStrings()
282 * @generated
283 * @ordered
284 */
285 protected static final int MAX_NEW_STRINGS_EDEFAULT = 0;
286
287 /**
288 * The cached value of the '{@link #getMaxNewStrings() <em>Max New Strings</em>}' attribute.
289 * <!-- begin-user-doc -->
290 * <!-- end-user-doc -->
291 * @see #getMaxNewStrings()
292 * @generated
293 * @ordered
294 */
295 protected int maxNewStrings = MAX_NEW_STRINGS_EDEFAULT;
296
297 /**
176 * <!-- begin-user-doc --> 298 * <!-- begin-user-doc -->
177 * <!-- end-user-doc --> 299 * <!-- end-user-doc -->
178 * @generated 300 * @generated
@@ -336,8 +458,20 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
336 * <!-- end-user-doc --> 458 * <!-- end-user-doc -->
337 * @generated 459 * @generated
338 */ 460 */
339 public DefinedElement getOpenWorldElementPrototype() { 461 public EList<DefinedElement> getOpenWorldElementPrototypes() {
340 return openWorldElementPrototype; 462 if (openWorldElementPrototypes == null) {
463 openWorldElementPrototypes = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES);
464 }
465 return openWorldElementPrototypes;
466 }
467
468 /**
469 * <!-- begin-user-doc -->
470 * <!-- end-user-doc -->
471 * @generated
472 */
473 public LogicProblem getProblemConainer() {
474 return problemConainer;
341 } 475 }
342 476
343 /** 477 /**
@@ -345,11 +479,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
345 * <!-- end-user-doc --> 479 * <!-- end-user-doc -->
346 * @generated 480 * @generated
347 */ 481 */
348 public NotificationChain basicSetOpenWorldElementPrototype(DefinedElement newOpenWorldElementPrototype, NotificationChain msgs) { 482 public NotificationChain basicSetProblemConainer(LogicProblem newProblemConainer, NotificationChain msgs) {
349 DefinedElement oldOpenWorldElementPrototype = openWorldElementPrototype; 483 LogicProblem oldProblemConainer = problemConainer;
350 openWorldElementPrototype = newOpenWorldElementPrototype; 484 problemConainer = newProblemConainer;
351 if (eNotificationRequired()) { 485 if (eNotificationRequired()) {
352 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, oldOpenWorldElementPrototype, newOpenWorldElementPrototype); 486 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, oldProblemConainer, newProblemConainer);
353 if (msgs == null) msgs = notification; else msgs.add(notification); 487 if (msgs == null) msgs = notification; else msgs.add(notification);
354 } 488 }
355 return msgs; 489 return msgs;
@@ -360,18 +494,18 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
360 * <!-- end-user-doc --> 494 * <!-- end-user-doc -->
361 * @generated 495 * @generated
362 */ 496 */
363 public void setOpenWorldElementPrototype(DefinedElement newOpenWorldElementPrototype) { 497 public void setProblemConainer(LogicProblem newProblemConainer) {
364 if (newOpenWorldElementPrototype != openWorldElementPrototype) { 498 if (newProblemConainer != problemConainer) {
365 NotificationChain msgs = null; 499 NotificationChain msgs = null;
366 if (openWorldElementPrototype != null) 500 if (problemConainer != null)
367 msgs = ((InternalEObject)openWorldElementPrototype).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, null, msgs); 501 msgs = ((InternalEObject)problemConainer).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs);
368 if (newOpenWorldElementPrototype != null) 502 if (newProblemConainer != null)
369 msgs = ((InternalEObject)newOpenWorldElementPrototype).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, null, msgs); 503 msgs = ((InternalEObject)newProblemConainer).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs);
370 msgs = basicSetOpenWorldElementPrototype(newOpenWorldElementPrototype, msgs); 504 msgs = basicSetProblemConainer(newProblemConainer, msgs);
371 if (msgs != null) msgs.dispatch(); 505 if (msgs != null) msgs.dispatch();
372 } 506 }
373 else if (eNotificationRequired()) 507 else if (eNotificationRequired())
374 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, newOpenWorldElementPrototype, newOpenWorldElementPrototype)); 508 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, newProblemConainer, newProblemConainer));
375 } 509 }
376 510
377 /** 511 /**
@@ -379,8 +513,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
379 * <!-- end-user-doc --> 513 * <!-- end-user-doc -->
380 * @generated 514 * @generated
381 */ 515 */
382 public LogicProblem getProblemConainer() { 516 public EList<StringElement> getStringelement() {
383 return problemConainer; 517 if (stringelement == null) {
518 stringelement = new EObjectContainmentEList<StringElement>(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT);
519 }
520 return stringelement;
384 } 521 }
385 522
386 /** 523 /**
@@ -388,14 +525,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
388 * <!-- end-user-doc --> 525 * <!-- end-user-doc -->
389 * @generated 526 * @generated
390 */ 527 */
391 public NotificationChain basicSetProblemConainer(LogicProblem newProblemConainer, NotificationChain msgs) { 528 public EList<StringElement> getStringelements() {
392 LogicProblem oldProblemConainer = problemConainer; 529 if (stringelements == null) {
393 problemConainer = newProblemConainer; 530 stringelements = new EObjectContainmentEList<StringElement>(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS);
394 if (eNotificationRequired()) {
395 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, oldProblemConainer, newProblemConainer);
396 if (msgs == null) msgs = notification; else msgs.add(notification);
397 } 531 }
398 return msgs; 532 return stringelements;
399 } 533 }
400 534
401 /** 535 /**
@@ -403,18 +537,98 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
403 * <!-- end-user-doc --> 537 * <!-- end-user-doc -->
404 * @generated 538 * @generated
405 */ 539 */
406 public void setProblemConainer(LogicProblem newProblemConainer) { 540 public EList<RealElement> getRealelements() {
407 if (newProblemConainer != problemConainer) { 541 if (realelements == null) {
408 NotificationChain msgs = null; 542 realelements = new EObjectContainmentEList<RealElement>(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS);
409 if (problemConainer != null)
410 msgs = ((InternalEObject)problemConainer).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs);
411 if (newProblemConainer != null)
412 msgs = ((InternalEObject)newProblemConainer).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs);
413 msgs = basicSetProblemConainer(newProblemConainer, msgs);
414 if (msgs != null) msgs.dispatch();
415 } 543 }
416 else if (eNotificationRequired()) 544 return realelements;
417 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, newProblemConainer, newProblemConainer)); 545 }
546
547 /**
548 * <!-- begin-user-doc -->
549 * <!-- end-user-doc -->
550 * @generated
551 */
552 public EList<IntegerElement> getIntegerelements() {
553 if (integerelements == null) {
554 integerelements = new EObjectContainmentEList<IntegerElement>(IntegerElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS);
555 }
556 return integerelements;
557 }
558
559 /**
560 * <!-- begin-user-doc -->
561 * <!-- end-user-doc -->
562 * @generated
563 */
564 public EList<BooleanElement> getBooleanelements() {
565 if (booleanelements == null) {
566 booleanelements = new EObjectContainmentEList<BooleanElement>(BooleanElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS);
567 }
568 return booleanelements;
569 }
570
571 /**
572 * <!-- begin-user-doc -->
573 * <!-- end-user-doc -->
574 * @generated
575 */
576 public int getMaxNewIntegers() {
577 return maxNewIntegers;
578 }
579
580 /**
581 * <!-- begin-user-doc -->
582 * <!-- end-user-doc -->
583 * @generated
584 */
585 public void setMaxNewIntegers(int newMaxNewIntegers) {
586 int oldMaxNewIntegers = maxNewIntegers;
587 maxNewIntegers = newMaxNewIntegers;
588 if (eNotificationRequired())
589 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS, oldMaxNewIntegers, maxNewIntegers));
590 }
591
592 /**
593 * <!-- begin-user-doc -->
594 * <!-- end-user-doc -->
595 * @generated
596 */
597 public int getMaxNewReals() {
598 return maxNewReals;
599 }
600
601 /**
602 * <!-- begin-user-doc -->
603 * <!-- end-user-doc -->
604 * @generated
605 */
606 public void setMaxNewReals(int newMaxNewReals) {
607 int oldMaxNewReals = maxNewReals;
608 maxNewReals = newMaxNewReals;
609 if (eNotificationRequired())
610 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS, oldMaxNewReals, maxNewReals));
611 }
612
613 /**
614 * <!-- begin-user-doc -->
615 * <!-- end-user-doc -->
616 * @generated
617 */
618 public int getMaxNewStrings() {
619 return maxNewStrings;
620 }
621
622 /**
623 * <!-- begin-user-doc -->
624 * <!-- end-user-doc -->
625 * @generated
626 */
627 public void setMaxNewStrings(int newMaxNewStrings) {
628 int oldMaxNewStrings = maxNewStrings;
629 maxNewStrings = newMaxNewStrings;
630 if (eNotificationRequired())
631 eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS, oldMaxNewStrings, maxNewStrings));
418 } 632 }
419 633
420 /** 634 /**
@@ -435,10 +649,20 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
435 return ((InternalEList<?>)getNewElements()).basicRemove(otherEnd, msgs); 649 return ((InternalEList<?>)getNewElements()).basicRemove(otherEnd, msgs);
436 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: 650 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
437 return ((InternalEList<?>)getPartialtypeinterpratation()).basicRemove(otherEnd, msgs); 651 return ((InternalEList<?>)getPartialtypeinterpratation()).basicRemove(otherEnd, msgs);
438 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: 652 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
439 return basicSetOpenWorldElementPrototype(null, msgs); 653 return ((InternalEList<?>)getOpenWorldElementPrototypes()).basicRemove(otherEnd, msgs);
440 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: 654 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
441 return basicSetProblemConainer(null, msgs); 655 return basicSetProblemConainer(null, msgs);
656 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
657 return ((InternalEList<?>)getStringelement()).basicRemove(otherEnd, msgs);
658 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
659 return ((InternalEList<?>)getStringelements()).basicRemove(otherEnd, msgs);
660 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
661 return ((InternalEList<?>)getRealelements()).basicRemove(otherEnd, msgs);
662 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
663 return ((InternalEList<?>)getIntegerelements()).basicRemove(otherEnd, msgs);
664 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
665 return ((InternalEList<?>)getBooleanelements()).basicRemove(otherEnd, msgs);
442 } 666 }
443 return super.eInverseRemove(otherEnd, featureID, msgs); 667 return super.eInverseRemove(otherEnd, featureID, msgs);
444 } 668 }
@@ -468,10 +692,26 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
468 return getMinNewElements(); 692 return getMinNewElements();
469 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: 693 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
470 return getMaxNewElements(); 694 return getMaxNewElements();
471 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: 695 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
472 return getOpenWorldElementPrototype(); 696 return getOpenWorldElementPrototypes();
473 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: 697 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
474 return getProblemConainer(); 698 return getProblemConainer();
699 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
700 return getStringelement();
701 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
702 return getStringelements();
703 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
704 return getRealelements();
705 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
706 return getIntegerelements();
707 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
708 return getBooleanelements();
709 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
710 return getMaxNewIntegers();
711 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
712 return getMaxNewReals();
713 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
714 return getMaxNewStrings();
475 } 715 }
476 return super.eGet(featureID, resolve, coreType); 716 return super.eGet(featureID, resolve, coreType);
477 } 717 }
@@ -514,12 +754,42 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
514 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: 754 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
515 setMaxNewElements((Integer)newValue); 755 setMaxNewElements((Integer)newValue);
516 return; 756 return;
517 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: 757 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
518 setOpenWorldElementPrototype((DefinedElement)newValue); 758 getOpenWorldElementPrototypes().clear();
759 getOpenWorldElementPrototypes().addAll((Collection<? extends DefinedElement>)newValue);
519 return; 760 return;
520 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: 761 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
521 setProblemConainer((LogicProblem)newValue); 762 setProblemConainer((LogicProblem)newValue);
522 return; 763 return;
764 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
765 getStringelement().clear();
766 getStringelement().addAll((Collection<? extends StringElement>)newValue);
767 return;
768 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
769 getStringelements().clear();
770 getStringelements().addAll((Collection<? extends StringElement>)newValue);
771 return;
772 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
773 getRealelements().clear();
774 getRealelements().addAll((Collection<? extends RealElement>)newValue);
775 return;
776 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
777 getIntegerelements().clear();
778 getIntegerelements().addAll((Collection<? extends IntegerElement>)newValue);
779 return;
780 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
781 getBooleanelements().clear();
782 getBooleanelements().addAll((Collection<? extends BooleanElement>)newValue);
783 return;
784 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
785 setMaxNewIntegers((Integer)newValue);
786 return;
787 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
788 setMaxNewReals((Integer)newValue);
789 return;
790 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
791 setMaxNewStrings((Integer)newValue);
792 return;
523 } 793 }
524 super.eSet(featureID, newValue); 794 super.eSet(featureID, newValue);
525 } 795 }
@@ -556,12 +826,36 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
556 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: 826 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
557 setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT); 827 setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT);
558 return; 828 return;
559 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: 829 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
560 setOpenWorldElementPrototype((DefinedElement)null); 830 getOpenWorldElementPrototypes().clear();
561 return; 831 return;
562 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: 832 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
563 setProblemConainer((LogicProblem)null); 833 setProblemConainer((LogicProblem)null);
564 return; 834 return;
835 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
836 getStringelement().clear();
837 return;
838 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
839 getStringelements().clear();
840 return;
841 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
842 getRealelements().clear();
843 return;
844 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
845 getIntegerelements().clear();
846 return;
847 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
848 getBooleanelements().clear();
849 return;
850 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
851 setMaxNewIntegers(MAX_NEW_INTEGERS_EDEFAULT);
852 return;
853 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
854 setMaxNewReals(MAX_NEW_REALS_EDEFAULT);
855 return;
856 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
857 setMaxNewStrings(MAX_NEW_STRINGS_EDEFAULT);
858 return;
565 } 859 }
566 super.eUnset(featureID); 860 super.eUnset(featureID);
567 } 861 }
@@ -590,10 +884,26 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
590 return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT; 884 return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT;
591 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: 885 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
592 return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT; 886 return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT;
593 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: 887 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
594 return openWorldElementPrototype != null; 888 return openWorldElementPrototypes != null && !openWorldElementPrototypes.isEmpty();
595 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: 889 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
596 return problemConainer != null; 890 return problemConainer != null;
891 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
892 return stringelement != null && !stringelement.isEmpty();
893 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
894 return stringelements != null && !stringelements.isEmpty();
895 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
896 return realelements != null && !realelements.isEmpty();
897 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
898 return integerelements != null && !integerelements.isEmpty();
899 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
900 return booleanelements != null && !booleanelements.isEmpty();
901 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
902 return maxNewIntegers != MAX_NEW_INTEGERS_EDEFAULT;
903 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
904 return maxNewReals != MAX_NEW_REALS_EDEFAULT;
905 case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
906 return maxNewStrings != MAX_NEW_STRINGS_EDEFAULT;
597 } 907 }
598 return super.eIsSet(featureID); 908 return super.eIsSet(featureID);
599 } 909 }
@@ -612,6 +922,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
612 result.append(minNewElements); 922 result.append(minNewElements);
613 result.append(", maxNewElements: "); 923 result.append(", maxNewElements: ");
614 result.append(maxNewElements); 924 result.append(maxNewElements);
925 result.append(", maxNewIntegers: ");
926 result.append(maxNewIntegers);
927 result.append(", maxNewReals: ");
928 result.append(maxNewReals);
929 result.append(", maxNewStrings: ");
930 result.append(maxNewStrings);
615 result.append(')'); 931 result.append(')');
616 return result.toString(); 932 return result.toString();
617 } 933 }
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java
index 99ab7830..ebd70a97 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java
@@ -65,6 +65,10 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa
65 case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK: return createBinaryElementRelationLink(); 65 case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK: return createBinaryElementRelationLink();
66 case PartialinterpretationPackage.NARY_RELATION_LINK: return createNaryRelationLink(); 66 case PartialinterpretationPackage.NARY_RELATION_LINK: return createNaryRelationLink();
67 case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT: return createNaryRelationLinkElement(); 67 case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT: return createNaryRelationLinkElement();
68 case PartialinterpretationPackage.BOOLEAN_ELEMENT: return createBooleanElement();
69 case PartialinterpretationPackage.INTEGER_ELEMENT: return createIntegerElement();
70 case PartialinterpretationPackage.REAL_ELEMENT: return createRealElement();
71 case PartialinterpretationPackage.STRING_ELEMENT: return createStringElement();
68 default: 72 default:
69 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); 73 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
70 } 74 }
@@ -165,6 +169,46 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa
165 * <!-- end-user-doc --> 169 * <!-- end-user-doc -->
166 * @generated 170 * @generated
167 */ 171 */
172 public BooleanElement createBooleanElement() {
173 BooleanElementImpl booleanElement = new BooleanElementImpl();
174 return booleanElement;
175 }
176
177 /**
178 * <!-- begin-user-doc -->
179 * <!-- end-user-doc -->
180 * @generated
181 */
182 public IntegerElement createIntegerElement() {
183 IntegerElementImpl integerElement = new IntegerElementImpl();
184 return integerElement;
185 }
186
187 /**
188 * <!-- begin-user-doc -->
189 * <!-- end-user-doc -->
190 * @generated
191 */
192 public RealElement createRealElement() {
193 RealElementImpl realElement = new RealElementImpl();
194 return realElement;
195 }
196
197 /**
198 * <!-- begin-user-doc -->
199 * <!-- end-user-doc -->
200 * @generated
201 */
202 public StringElement createStringElement() {
203 StringElementImpl stringElement = new StringElementImpl();
204 return stringElement;
205 }
206
207 /**
208 * <!-- begin-user-doc -->
209 * <!-- end-user-doc -->
210 * @generated
211 */
168 public PartialinterpretationPackage getPartialinterpretationPackage() { 212 public PartialinterpretationPackage getPartialinterpretationPackage() {
169 return (PartialinterpretationPackage)getEPackage(); 213 return (PartialinterpretationPackage)getEPackage();
170 } 214 }
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java
index 65d73721..9493cc9a 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java
@@ -7,6 +7,8 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage
7import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; 7import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
8 8
9import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BinaryElementRelationLink; 9import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BinaryElementRelationLink;
10import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement;
11import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement;
10import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLink; 12import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLink;
11import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement; 13import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement;
12import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; 14import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation;
@@ -16,7 +18,10 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.par
16import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; 18import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;
17import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationFactory; 19import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationFactory;
18import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; 20import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
21import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement;
22import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement;
19import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink; 23import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink;
24import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement;
20import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.UnaryElementRelationLink; 25import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.UnaryElementRelationLink;
21 26
22import org.eclipse.emf.ecore.EAttribute; 27import org.eclipse.emf.ecore.EAttribute;
@@ -104,6 +109,41 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
104 private EClass naryRelationLinkElementEClass = null; 109 private EClass naryRelationLinkElementEClass = null;
105 110
106 /** 111 /**
112 * <!-- begin-user-doc -->
113 * <!-- end-user-doc -->
114 * @generated
115 */
116 private EClass primitiveElementEClass = null;
117
118 /**
119 * <!-- begin-user-doc -->
120 * <!-- end-user-doc -->
121 * @generated
122 */
123 private EClass booleanElementEClass = null;
124
125 /**
126 * <!-- begin-user-doc -->
127 * <!-- end-user-doc -->
128 * @generated
129 */
130 private EClass integerElementEClass = null;
131
132 /**
133 * <!-- begin-user-doc -->
134 * <!-- end-user-doc -->
135 * @generated
136 */
137 private EClass realElementEClass = null;
138
139 /**
140 * <!-- begin-user-doc -->
141 * <!-- end-user-doc -->
142 * @generated
143 */
144 private EClass stringElementEClass = null;
145
146 /**
107 * Creates an instance of the model <b>Package</b>, registered with 147 * Creates an instance of the model <b>Package</b>, registered with
108 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package 148 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
109 * package URI value. 149 * package URI value.
@@ -254,7 +294,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
254 * <!-- end-user-doc --> 294 * <!-- end-user-doc -->
255 * @generated 295 * @generated
256 */ 296 */
257 public EReference getPartialInterpretation_OpenWorldElementPrototype() { 297 public EReference getPartialInterpretation_OpenWorldElementPrototypes() {
258 return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(8); 298 return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(8);
259 } 299 }
260 300
@@ -272,6 +312,78 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
272 * <!-- end-user-doc --> 312 * <!-- end-user-doc -->
273 * @generated 313 * @generated
274 */ 314 */
315 public EReference getPartialInterpretation_Stringelement() {
316 return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(10);
317 }
318
319 /**
320 * <!-- begin-user-doc -->
321 * <!-- end-user-doc -->
322 * @generated
323 */
324 public EReference getPartialInterpretation_Stringelements() {
325 return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(11);
326 }
327
328 /**
329 * <!-- begin-user-doc -->
330 * <!-- end-user-doc -->
331 * @generated
332 */
333 public EReference getPartialInterpretation_Realelements() {
334 return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(12);
335 }
336
337 /**
338 * <!-- begin-user-doc -->
339 * <!-- end-user-doc -->
340 * @generated
341 */
342 public EReference getPartialInterpretation_Integerelements() {
343 return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(13);
344 }
345
346 /**
347 * <!-- begin-user-doc -->
348 * <!-- end-user-doc -->
349 * @generated
350 */
351 public EReference getPartialInterpretation_Booleanelements() {
352 return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(14);
353 }
354
355 /**
356 * <!-- begin-user-doc -->
357 * <!-- end-user-doc -->
358 * @generated
359 */
360 public EAttribute getPartialInterpretation_MaxNewIntegers() {
361 return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(15);
362 }
363
364 /**
365 * <!-- begin-user-doc -->
366 * <!-- end-user-doc -->
367 * @generated
368 */
369 public EAttribute getPartialInterpretation_MaxNewReals() {
370 return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(16);
371 }
372
373 /**
374 * <!-- begin-user-doc -->
375 * <!-- end-user-doc -->
376 * @generated
377 */
378 public EAttribute getPartialInterpretation_MaxNewStrings() {
379 return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(17);
380 }
381
382 /**
383 * <!-- begin-user-doc -->
384 * <!-- end-user-doc -->
385 * @generated
386 */
275 public EClass getPartialConstantInterpretation() { 387 public EClass getPartialConstantInterpretation() {
276 return partialConstantInterpretationEClass; 388 return partialConstantInterpretationEClass;
277 } 389 }
@@ -479,6 +591,96 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
479 * <!-- end-user-doc --> 591 * <!-- end-user-doc -->
480 * @generated 592 * @generated
481 */ 593 */
594 public EClass getPrimitiveElement() {
595 return primitiveElementEClass;
596 }
597
598 /**
599 * <!-- begin-user-doc -->
600 * <!-- end-user-doc -->
601 * @generated
602 */
603 public EAttribute getPrimitiveElement_ValueSet() {
604 return (EAttribute)primitiveElementEClass.getEStructuralFeatures().get(0);
605 }
606
607 /**
608 * <!-- begin-user-doc -->
609 * <!-- end-user-doc -->
610 * @generated
611 */
612 public EClass getBooleanElement() {
613 return booleanElementEClass;
614 }
615
616 /**
617 * <!-- begin-user-doc -->
618 * <!-- end-user-doc -->
619 * @generated
620 */
621 public EAttribute getBooleanElement_Value() {
622 return (EAttribute)booleanElementEClass.getEStructuralFeatures().get(0);
623 }
624
625 /**
626 * <!-- begin-user-doc -->
627 * <!-- end-user-doc -->
628 * @generated
629 */
630 public EClass getIntegerElement() {
631 return integerElementEClass;
632 }
633
634 /**
635 * <!-- begin-user-doc -->
636 * <!-- end-user-doc -->
637 * @generated
638 */
639 public EAttribute getIntegerElement_Value() {
640 return (EAttribute)integerElementEClass.getEStructuralFeatures().get(0);
641 }
642
643 /**
644 * <!-- begin-user-doc -->
645 * <!-- end-user-doc -->
646 * @generated
647 */
648 public EClass getRealElement() {
649 return realElementEClass;
650 }
651
652 /**
653 * <!-- begin-user-doc -->
654 * <!-- end-user-doc -->
655 * @generated
656 */
657 public EAttribute getRealElement_Value() {
658 return (EAttribute)realElementEClass.getEStructuralFeatures().get(0);
659 }
660
661 /**
662 * <!-- begin-user-doc -->
663 * <!-- end-user-doc -->
664 * @generated
665 */
666 public EClass getStringElement() {
667 return stringElementEClass;
668 }
669
670 /**
671 * <!-- begin-user-doc -->
672 * <!-- end-user-doc -->
673 * @generated
674 */
675 public EAttribute getStringElement_Value() {
676 return (EAttribute)stringElementEClass.getEStructuralFeatures().get(0);
677 }
678
679 /**
680 * <!-- begin-user-doc -->
681 * <!-- end-user-doc -->
682 * @generated
683 */
482 public PartialinterpretationFactory getPartialinterpretationFactory() { 684 public PartialinterpretationFactory getPartialinterpretationFactory() {
483 return (PartialinterpretationFactory)getEFactoryInstance(); 685 return (PartialinterpretationFactory)getEFactoryInstance();
484 } 686 }
@@ -511,8 +713,16 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
511 createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION); 713 createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION);
512 createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS); 714 createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS);
513 createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS); 715 createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS);
514 createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE); 716 createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES);
515 createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PROBLEM_CONAINER); 717 createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PROBLEM_CONAINER);
718 createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__STRINGELEMENT);
719 createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__STRINGELEMENTS);
720 createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__REALELEMENTS);
721 createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__INTEGERELEMENTS);
722 createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__BOOLEANELEMENTS);
723 createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS);
724 createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_REALS);
725 createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_STRINGS);
516 726
517 partialConstantInterpretationEClass = createEClass(PARTIAL_CONSTANT_INTERPRETATION); 727 partialConstantInterpretationEClass = createEClass(PARTIAL_CONSTANT_INTERPRETATION);
518 createEReference(partialConstantInterpretationEClass, PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF); 728 createEReference(partialConstantInterpretationEClass, PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF);
@@ -545,6 +755,21 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
545 755
546 naryRelationLinkElementEClass = createEClass(NARY_RELATION_LINK_ELEMENT); 756 naryRelationLinkElementEClass = createEClass(NARY_RELATION_LINK_ELEMENT);
547 createEAttribute(naryRelationLinkElementEClass, NARY_RELATION_LINK_ELEMENT__INDEX); 757 createEAttribute(naryRelationLinkElementEClass, NARY_RELATION_LINK_ELEMENT__INDEX);
758
759 primitiveElementEClass = createEClass(PRIMITIVE_ELEMENT);
760 createEAttribute(primitiveElementEClass, PRIMITIVE_ELEMENT__VALUE_SET);
761
762 booleanElementEClass = createEClass(BOOLEAN_ELEMENT);
763 createEAttribute(booleanElementEClass, BOOLEAN_ELEMENT__VALUE);
764
765 integerElementEClass = createEClass(INTEGER_ELEMENT);
766 createEAttribute(integerElementEClass, INTEGER_ELEMENT__VALUE);
767
768 realElementEClass = createEClass(REAL_ELEMENT);
769 createEAttribute(realElementEClass, REAL_ELEMENT__VALUE);
770
771 stringElementEClass = createEClass(STRING_ELEMENT);
772 createEAttribute(stringElementEClass, STRING_ELEMENT__VALUE);
548 } 773 }
549 774
550 /** 775 /**
@@ -582,6 +807,11 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
582 unaryElementRelationLinkEClass.getESuperTypes().add(this.getRelationLink()); 807 unaryElementRelationLinkEClass.getESuperTypes().add(this.getRelationLink());
583 binaryElementRelationLinkEClass.getESuperTypes().add(this.getRelationLink()); 808 binaryElementRelationLinkEClass.getESuperTypes().add(this.getRelationLink());
584 naryRelationLinkEClass.getESuperTypes().add(this.getRelationLink()); 809 naryRelationLinkEClass.getESuperTypes().add(this.getRelationLink());
810 primitiveElementEClass.getESuperTypes().add(theLogiclanguagePackage.getDefinedElement());
811 booleanElementEClass.getESuperTypes().add(this.getPrimitiveElement());
812 integerElementEClass.getESuperTypes().add(this.getPrimitiveElement());
813 realElementEClass.getESuperTypes().add(this.getPrimitiveElement());
814 stringElementEClass.getESuperTypes().add(this.getPrimitiveElement());
585 815
586 // Initialize classes, features, and operations; add parameters 816 // Initialize classes, features, and operations; add parameters
587 initEClass(partialInterpretationEClass, PartialInterpretation.class, "PartialInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 817 initEClass(partialInterpretationEClass, PartialInterpretation.class, "PartialInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
@@ -593,8 +823,16 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
593 initEReference(getPartialInterpretation_Partialtypeinterpratation(), this.getPartialTypeInterpratation(), null, "partialtypeinterpratation", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 823 initEReference(getPartialInterpretation_Partialtypeinterpratation(), this.getPartialTypeInterpratation(), null, "partialtypeinterpratation", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
594 initEAttribute(getPartialInterpretation_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 824 initEAttribute(getPartialInterpretation_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
595 initEAttribute(getPartialInterpretation_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 825 initEAttribute(getPartialInterpretation_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
596 initEReference(getPartialInterpretation_OpenWorldElementPrototype(), theLogiclanguagePackage.getDefinedElement(), null, "openWorldElementPrototype", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 826 initEReference(getPartialInterpretation_OpenWorldElementPrototypes(), theLogiclanguagePackage.getDefinedElement(), null, "openWorldElementPrototypes", null, 1, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
597 initEReference(getPartialInterpretation_ProblemConainer(), theLogicproblemPackage.getLogicProblem(), null, "problemConainer", null, 0, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 827 initEReference(getPartialInterpretation_ProblemConainer(), theLogicproblemPackage.getLogicProblem(), null, "problemConainer", null, 0, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
828 initEReference(getPartialInterpretation_Stringelement(), this.getStringElement(), null, "stringelement", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
829 initEReference(getPartialInterpretation_Stringelements(), this.getStringElement(), null, "stringelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
830 initEReference(getPartialInterpretation_Realelements(), this.getRealElement(), null, "realelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
831 initEReference(getPartialInterpretation_Integerelements(), this.getIntegerElement(), null, "integerelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
832 initEReference(getPartialInterpretation_Booleanelements(), this.getBooleanElement(), null, "booleanelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
833 initEAttribute(getPartialInterpretation_MaxNewIntegers(), ecorePackage.getEInt(), "maxNewIntegers", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
834 initEAttribute(getPartialInterpretation_MaxNewReals(), ecorePackage.getEInt(), "maxNewReals", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
835 initEAttribute(getPartialInterpretation_MaxNewStrings(), ecorePackage.getEInt(), "maxNewStrings", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
598 836
599 initEClass(partialConstantInterpretationEClass, PartialConstantInterpretation.class, "PartialConstantInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 837 initEClass(partialConstantInterpretationEClass, PartialConstantInterpretation.class, "PartialConstantInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
600 initEReference(getPartialConstantInterpretation_InterpretationOf(), theLogiclanguagePackage.getConstantDeclaration(), null, "interpretationOf", null, 1, 1, PartialConstantInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 838 initEReference(getPartialConstantInterpretation_InterpretationOf(), theLogiclanguagePackage.getConstantDeclaration(), null, "interpretationOf", null, 1, 1, PartialConstantInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
@@ -628,6 +866,21 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
628 initEClass(naryRelationLinkElementEClass, NaryRelationLinkElement.class, "NaryRelationLinkElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 866 initEClass(naryRelationLinkElementEClass, NaryRelationLinkElement.class, "NaryRelationLinkElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
629 initEAttribute(getNaryRelationLinkElement_Index(), ecorePackage.getEInt(), "index", null, 0, 1, NaryRelationLinkElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 867 initEAttribute(getNaryRelationLinkElement_Index(), ecorePackage.getEInt(), "index", null, 0, 1, NaryRelationLinkElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
630 868
869 initEClass(primitiveElementEClass, PrimitiveElement.class, "PrimitiveElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
870 initEAttribute(getPrimitiveElement_ValueSet(), ecorePackage.getEBoolean(), "valueSet", null, 1, 1, PrimitiveElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
871
872 initEClass(booleanElementEClass, BooleanElement.class, "BooleanElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
873 initEAttribute(getBooleanElement_Value(), ecorePackage.getEBoolean(), "value", null, 1, 1, BooleanElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
874
875 initEClass(integerElementEClass, IntegerElement.class, "IntegerElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
876 initEAttribute(getIntegerElement_Value(), ecorePackage.getEInt(), "value", null, 1, 1, IntegerElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
877
878 initEClass(realElementEClass, RealElement.class, "RealElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
879 initEAttribute(getRealElement_Value(), ecorePackage.getEBigDecimal(), "value", null, 1, 1, RealElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
880
881 initEClass(stringElementEClass, StringElement.class, "StringElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
882 initEAttribute(getStringElement_Value(), ecorePackage.getEString(), "value", null, 1, 1, StringElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
883
631 // Create resource 884 // Create resource
632 createResource(eNS_URI); 885 createResource(eNS_URI);
633 } 886 }
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java
index 628d56eb..27b88b7a 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java
@@ -2,6 +2,9 @@
2 */ 2 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util; 3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util;
4 4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
6import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration;
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription;
5import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*; 8import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*;
6 9
7import org.eclipse.emf.common.notify.Adapter; 10import org.eclipse.emf.common.notify.Adapter;
@@ -108,6 +111,38 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl {
108 return createNaryRelationLinkElementAdapter(); 111 return createNaryRelationLinkElementAdapter();
109 } 112 }
110 @Override 113 @Override
114 public Adapter casePrimitiveElement(PrimitiveElement object) {
115 return createPrimitiveElementAdapter();
116 }
117 @Override
118 public Adapter caseBooleanElement(BooleanElement object) {
119 return createBooleanElementAdapter();
120 }
121 @Override
122 public Adapter caseIntegerElement(IntegerElement object) {
123 return createIntegerElementAdapter();
124 }
125 @Override
126 public Adapter caseRealElement(RealElement object) {
127 return createRealElementAdapter();
128 }
129 @Override
130 public Adapter caseStringElement(StringElement object) {
131 return createStringElementAdapter();
132 }
133 @Override
134 public Adapter caseTermDescription(TermDescription object) {
135 return createTermDescriptionAdapter();
136 }
137 @Override
138 public Adapter caseSymbolicDeclaration(SymbolicDeclaration object) {
139 return createSymbolicDeclarationAdapter();
140 }
141 @Override
142 public Adapter caseDefinedElement(DefinedElement object) {
143 return createDefinedElementAdapter();
144 }
145 @Override
111 public Adapter defaultCase(EObject object) { 146 public Adapter defaultCase(EObject object) {
112 return createEObjectAdapter(); 147 return createEObjectAdapter();
113 } 148 }
@@ -268,6 +303,118 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl {
268 } 303 }
269 304
270 /** 305 /**
306 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement <em>Primitive Element</em>}'.
307 * <!-- begin-user-doc -->
308 * This default implementation returns null so that we can easily ignore cases;
309 * it's useful to ignore a case when inheritance will catch all the cases anyway.
310 * <!-- end-user-doc -->
311 * @return the new adapter.
312 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement
313 * @generated
314 */
315 public Adapter createPrimitiveElementAdapter() {
316 return null;
317 }
318
319 /**
320 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement <em>Boolean Element</em>}'.
321 * <!-- begin-user-doc -->
322 * This default implementation returns null so that we can easily ignore cases;
323 * it's useful to ignore a case when inheritance will catch all the cases anyway.
324 * <!-- end-user-doc -->
325 * @return the new adapter.
326 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement
327 * @generated
328 */
329 public Adapter createBooleanElementAdapter() {
330 return null;
331 }
332
333 /**
334 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement <em>Integer Element</em>}'.
335 * <!-- begin-user-doc -->
336 * This default implementation returns null so that we can easily ignore cases;
337 * it's useful to ignore a case when inheritance will catch all the cases anyway.
338 * <!-- end-user-doc -->
339 * @return the new adapter.
340 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement
341 * @generated
342 */
343 public Adapter createIntegerElementAdapter() {
344 return null;
345 }
346
347 /**
348 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement <em>Real Element</em>}'.
349 * <!-- begin-user-doc -->
350 * This default implementation returns null so that we can easily ignore cases;
351 * it's useful to ignore a case when inheritance will catch all the cases anyway.
352 * <!-- end-user-doc -->
353 * @return the new adapter.
354 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement
355 * @generated
356 */
357 public Adapter createRealElementAdapter() {
358 return null;
359 }
360
361 /**
362 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement <em>String Element</em>}'.
363 * <!-- begin-user-doc -->
364 * This default implementation returns null so that we can easily ignore cases;
365 * it's useful to ignore a case when inheritance will catch all the cases anyway.
366 * <!-- end-user-doc -->
367 * @return the new adapter.
368 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement
369 * @generated
370 */
371 public Adapter createStringElementAdapter() {
372 return null;
373 }
374
375 /**
376 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription <em>Term Description</em>}'.
377 * <!-- begin-user-doc -->
378 * This default implementation returns null so that we can easily ignore cases;
379 * it's useful to ignore a case when inheritance will catch all the cases anyway.
380 * <!-- end-user-doc -->
381 * @return the new adapter.
382 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription
383 * @generated
384 */
385 public Adapter createTermDescriptionAdapter() {
386 return null;
387 }
388
389 /**
390 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration <em>Symbolic Declaration</em>}'.
391 * <!-- begin-user-doc -->
392 * This default implementation returns null so that we can easily ignore cases;
393 * it's useful to ignore a case when inheritance will catch all the cases anyway.
394 * <!-- end-user-doc -->
395 * @return the new adapter.
396 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration
397 * @generated
398 */
399 public Adapter createSymbolicDeclarationAdapter() {
400 return null;
401 }
402
403 /**
404 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement <em>Defined Element</em>}'.
405 * <!-- begin-user-doc -->
406 * This default implementation returns null so that we can easily ignore cases;
407 * it's useful to ignore a case when inheritance will catch all the cases anyway.
408 * <!-- end-user-doc -->
409 * @return the new adapter.
410 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement
411 * @generated
412 */
413 public Adapter createDefinedElementAdapter() {
414 return null;
415 }
416
417 /**
271 * Creates a new adapter for the default case. 418 * Creates a new adapter for the default case.
272 * <!-- begin-user-doc --> 419 * <!-- begin-user-doc -->
273 * This default implementation returns null. 420 * This default implementation returns null.
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
index f99b2d76..364df3c8 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
@@ -2,6 +2,9 @@
2 */ 2 */
3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util; 3package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util;
4 4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
6import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration;
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription;
5import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*; 8import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*;
6 9
7import org.eclipse.emf.ecore.EObject; 10import org.eclipse.emf.ecore.EObject;
@@ -129,6 +132,55 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
129 if (result == null) result = defaultCase(theEObject); 132 if (result == null) result = defaultCase(theEObject);
130 return result; 133 return result;
131 } 134 }
135 case PartialinterpretationPackage.PRIMITIVE_ELEMENT: {
136 PrimitiveElement primitiveElement = (PrimitiveElement)theEObject;
137 T result = casePrimitiveElement(primitiveElement);
138 if (result == null) result = caseDefinedElement(primitiveElement);
139 if (result == null) result = caseSymbolicDeclaration(primitiveElement);
140 if (result == null) result = caseTermDescription(primitiveElement);
141 if (result == null) result = defaultCase(theEObject);
142 return result;
143 }
144 case PartialinterpretationPackage.BOOLEAN_ELEMENT: {
145 BooleanElement booleanElement = (BooleanElement)theEObject;
146 T result = caseBooleanElement(booleanElement);
147 if (result == null) result = casePrimitiveElement(booleanElement);
148 if (result == null) result = caseDefinedElement(booleanElement);
149 if (result == null) result = caseSymbolicDeclaration(booleanElement);
150 if (result == null) result = caseTermDescription(booleanElement);
151 if (result == null) result = defaultCase(theEObject);
152 return result;
153 }
154 case PartialinterpretationPackage.INTEGER_ELEMENT: {
155 IntegerElement integerElement = (IntegerElement)theEObject;
156 T result = caseIntegerElement(integerElement);
157 if (result == null) result = casePrimitiveElement(integerElement);
158 if (result == null) result = caseDefinedElement(integerElement);
159 if (result == null) result = caseSymbolicDeclaration(integerElement);
160 if (result == null) result = caseTermDescription(integerElement);
161 if (result == null) result = defaultCase(theEObject);
162 return result;
163 }
164 case PartialinterpretationPackage.REAL_ELEMENT: {
165 RealElement realElement = (RealElement)theEObject;
166 T result = caseRealElement(realElement);
167 if (result == null) result = casePrimitiveElement(realElement);
168 if (result == null) result = caseDefinedElement(realElement);
169 if (result == null) result = caseSymbolicDeclaration(realElement);
170 if (result == null) result = caseTermDescription(realElement);
171 if (result == null) result = defaultCase(theEObject);
172 return result;
173 }
174 case PartialinterpretationPackage.STRING_ELEMENT: {
175 StringElement stringElement = (StringElement)theEObject;
176 T result = caseStringElement(stringElement);
177 if (result == null) result = casePrimitiveElement(stringElement);
178 if (result == null) result = caseDefinedElement(stringElement);
179 if (result == null) result = caseSymbolicDeclaration(stringElement);
180 if (result == null) result = caseTermDescription(stringElement);
181 if (result == null) result = defaultCase(theEObject);
182 return result;
183 }
132 default: return defaultCase(theEObject); 184 default: return defaultCase(theEObject);
133 } 185 }
134 } 186 }
@@ -284,6 +336,126 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
284 } 336 }
285 337
286 /** 338 /**
339 * Returns the result of interpreting the object as an instance of '<em>Primitive Element</em>'.
340 * <!-- begin-user-doc -->
341 * This implementation returns null;
342 * returning a non-null result will terminate the switch.
343 * <!-- end-user-doc -->
344 * @param object the target of the switch.
345 * @return the result of interpreting the object as an instance of '<em>Primitive Element</em>'.
346 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
347 * @generated
348 */
349 public T casePrimitiveElement(PrimitiveElement object) {
350 return null;
351 }
352
353 /**
354 * Returns the result of interpreting the object as an instance of '<em>Boolean Element</em>'.
355 * <!-- begin-user-doc -->
356 * This implementation returns null;
357 * returning a non-null result will terminate the switch.
358 * <!-- end-user-doc -->
359 * @param object the target of the switch.
360 * @return the result of interpreting the object as an instance of '<em>Boolean Element</em>'.
361 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
362 * @generated
363 */
364 public T caseBooleanElement(BooleanElement object) {
365 return null;
366 }
367
368 /**
369 * Returns the result of interpreting the object as an instance of '<em>Integer Element</em>'.
370 * <!-- begin-user-doc -->
371 * This implementation returns null;
372 * returning a non-null result will terminate the switch.
373 * <!-- end-user-doc -->
374 * @param object the target of the switch.
375 * @return the result of interpreting the object as an instance of '<em>Integer Element</em>'.
376 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
377 * @generated
378 */
379 public T caseIntegerElement(IntegerElement object) {
380 return null;
381 }
382
383 /**
384 * Returns the result of interpreting the object as an instance of '<em>Real Element</em>'.
385 * <!-- begin-user-doc -->
386 * This implementation returns null;
387 * returning a non-null result will terminate the switch.
388 * <!-- end-user-doc -->
389 * @param object the target of the switch.
390 * @return the result of interpreting the object as an instance of '<em>Real Element</em>'.
391 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
392 * @generated
393 */
394 public T caseRealElement(RealElement object) {
395 return null;
396 }
397
398 /**
399 * Returns the result of interpreting the object as an instance of '<em>String Element</em>'.
400 * <!-- begin-user-doc -->
401 * This implementation returns null;
402 * returning a non-null result will terminate the switch.
403 * <!-- end-user-doc -->
404 * @param object the target of the switch.
405 * @return the result of interpreting the object as an instance of '<em>String Element</em>'.
406 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
407 * @generated
408 */
409 public T caseStringElement(StringElement object) {
410 return null;
411 }
412
413 /**
414 * Returns the result of interpreting the object as an instance of '<em>Term Description</em>'.
415 * <!-- begin-user-doc -->
416 * This implementation returns null;
417 * returning a non-null result will terminate the switch.
418 * <!-- end-user-doc -->
419 * @param object the target of the switch.
420 * @return the result of interpreting the object as an instance of '<em>Term Description</em>'.
421 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
422 * @generated
423 */
424 public T caseTermDescription(TermDescription object) {
425 return null;
426 }
427
428 /**
429 * Returns the result of interpreting the object as an instance of '<em>Symbolic Declaration</em>'.
430 * <!-- begin-user-doc -->
431 * This implementation returns null;
432 * returning a non-null result will terminate the switch.
433 * <!-- end-user-doc -->
434 * @param object the target of the switch.
435 * @return the result of interpreting the object as an instance of '<em>Symbolic Declaration</em>'.
436 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
437 * @generated
438 */
439 public T caseSymbolicDeclaration(SymbolicDeclaration object) {
440 return null;
441 }
442
443 /**
444 * Returns the result of interpreting the object as an instance of '<em>Defined Element</em>'.
445 * <!-- begin-user-doc -->
446 * This implementation returns null;
447 * returning a non-null result will terminate the switch.
448 * <!-- end-user-doc -->
449 * @param object the target of the switch.
450 * @return the result of interpreting the object as an instance of '<em>Defined Element</em>'.
451 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
452 * @generated
453 */
454 public T caseDefinedElement(DefinedElement object) {
455 return null;
456 }
457
458 /**
287 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. 459 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
288 * <!-- begin-user-doc --> 460 * <!-- begin-user-doc -->
289 * This implementation returns null; 461 * This implementation returns null;
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-05 18:31:30 +0000