aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-02-01 16:03:30 -0500
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-02-01 16:03:30 -0500
commit717916e99b2c8e7965fb31f4448b4336d8c2f19a (patch)
tree074c77b8465f1e47e7a28af2d95f79c1f5abaf86 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl
parentFAM MM transformation works (diff)
downloadVIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.tar.gz
VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.tar.zst
VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.zip
Fix FAM Test. Begin Grammar Fix.
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSConfirmationsImpl.java43
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFiniteModelImpl.java43
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSSatisfiableImpl.java41
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTffFormulaImpl.java394
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTryingImpl.java178
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java60
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java197
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java78
8 files changed, 1033 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSConfirmationsImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSConfirmationsImpl.java
new file mode 100644
index 00000000..fb4bbf82
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSConfirmationsImpl.java
@@ -0,0 +1,43 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
8
9import org.eclipse.emf.ecore.EClass;
10
11import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
12
13/**
14 * <!-- begin-user-doc -->
15 * An implementation of the model object '<em><b>VLS Confirmations</b></em>'.
16 * <!-- end-user-doc -->
17 *
18 * @generated
19 */
20public class VLSConfirmationsImpl extends MinimalEObjectImpl.Container implements VLSConfirmations
21{
22 /**
23 * <!-- begin-user-doc -->
24 * <!-- end-user-doc -->
25 * @generated
26 */
27 protected VLSConfirmationsImpl()
28 {
29 super();
30 }
31
32 /**
33 * <!-- begin-user-doc -->
34 * <!-- end-user-doc -->
35 * @generated
36 */
37 @Override
38 protected EClass eStaticClass()
39 {
40 return VampireLanguagePackage.Literals.VLS_CONFIRMATIONS;
41 }
42
43} //VLSConfirmationsImpl
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFiniteModelImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFiniteModelImpl.java
new file mode 100644
index 00000000..dfbbf6ed
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFiniteModelImpl.java
@@ -0,0 +1,43 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
8
9import org.eclipse.emf.ecore.EClass;
10
11import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
12
13/**
14 * <!-- begin-user-doc -->
15 * An implementation of the model object '<em><b>VLS Finite Model</b></em>'.
16 * <!-- end-user-doc -->
17 *
18 * @generated
19 */
20public class VLSFiniteModelImpl extends MinimalEObjectImpl.Container implements VLSFiniteModel
21{
22 /**
23 * <!-- begin-user-doc -->
24 * <!-- end-user-doc -->
25 * @generated
26 */
27 protected VLSFiniteModelImpl()
28 {
29 super();
30 }
31
32 /**
33 * <!-- begin-user-doc -->
34 * <!-- end-user-doc -->
35 * @generated
36 */
37 @Override
38 protected EClass eStaticClass()
39 {
40 return VampireLanguagePackage.Literals.VLS_FINITE_MODEL;
41 }
42
43} //VLSFiniteModelImpl
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSSatisfiableImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSSatisfiableImpl.java
new file mode 100644
index 00000000..0c591e2f
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSSatisfiableImpl.java
@@ -0,0 +1,41 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
8
9import org.eclipse.emf.ecore.EClass;
10
11/**
12 * <!-- begin-user-doc -->
13 * An implementation of the model object '<em><b>VLS Satisfiable</b></em>'.
14 * <!-- end-user-doc -->
15 *
16 * @generated
17 */
18public class VLSSatisfiableImpl extends VLSConfirmationsImpl implements VLSSatisfiable
19{
20 /**
21 * <!-- begin-user-doc -->
22 * <!-- end-user-doc -->
23 * @generated
24 */
25 protected VLSSatisfiableImpl()
26 {
27 super();
28 }
29
30 /**
31 * <!-- begin-user-doc -->
32 * <!-- end-user-doc -->
33 * @generated
34 */
35 @Override
36 protected EClass eStaticClass()
37 {
38 return VampireLanguagePackage.Literals.VLS_SATISFIABLE;
39 }
40
41} //VLSSatisfiableImpl
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTffFormulaImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTffFormulaImpl.java
new file mode 100644
index 00000000..b20fa91c
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTffFormulaImpl.java
@@ -0,0 +1,394 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula;
9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
10
11import org.eclipse.emf.common.notify.Notification;
12import org.eclipse.emf.common.notify.NotificationChain;
13
14import org.eclipse.emf.ecore.EClass;
15import org.eclipse.emf.ecore.InternalEObject;
16
17import org.eclipse.emf.ecore.impl.ENotificationImpl;
18import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
19
20/**
21 * <!-- begin-user-doc -->
22 * An implementation of the model object '<em><b>VLS Tff Formula</b></em>'.
23 * <!-- end-user-doc -->
24 * <p>
25 * The following features are implemented:
26 * </p>
27 * <ul>
28 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl#getName <em>Name</em>}</li>
29 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl#getFofRole <em>Fof Role</em>}</li>
30 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl#getFofFormula <em>Fof Formula</em>}</li>
31 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl#getAnnotations <em>Annotations</em>}</li>
32 * </ul>
33 *
34 * @generated
35 */
36public class VLSTffFormulaImpl extends MinimalEObjectImpl.Container implements VLSTffFormula
37{
38 /**
39 * The default value of the '{@link #getName() <em>Name</em>}' attribute.
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @see #getName()
43 * @generated
44 * @ordered
45 */
46 protected static final String NAME_EDEFAULT = null;
47
48 /**
49 * The cached value of the '{@link #getName() <em>Name</em>}' attribute.
50 * <!-- begin-user-doc -->
51 * <!-- end-user-doc -->
52 * @see #getName()
53 * @generated
54 * @ordered
55 */
56 protected String name = NAME_EDEFAULT;
57
58 /**
59 * The default value of the '{@link #getFofRole() <em>Fof Role</em>}' attribute.
60 * <!-- begin-user-doc -->
61 * <!-- end-user-doc -->
62 * @see #getFofRole()
63 * @generated
64 * @ordered
65 */
66 protected static final String FOF_ROLE_EDEFAULT = null;
67
68 /**
69 * The cached value of the '{@link #getFofRole() <em>Fof Role</em>}' attribute.
70 * <!-- begin-user-doc -->
71 * <!-- end-user-doc -->
72 * @see #getFofRole()
73 * @generated
74 * @ordered
75 */
76 protected String fofRole = FOF_ROLE_EDEFAULT;
77
78 /**
79 * The cached value of the '{@link #getFofFormula() <em>Fof Formula</em>}' containment reference.
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @see #getFofFormula()
83 * @generated
84 * @ordered
85 */
86 protected VLSTerm fofFormula;
87
88 /**
89 * The cached value of the '{@link #getAnnotations() <em>Annotations</em>}' containment reference.
90 * <!-- begin-user-doc -->
91 * <!-- end-user-doc -->
92 * @see #getAnnotations()
93 * @generated
94 * @ordered
95 */
96 protected VLSAnnotation annotations;
97
98 /**
99 * <!-- begin-user-doc -->
100 * <!-- end-user-doc -->
101 * @generated
102 */
103 protected VLSTffFormulaImpl()
104 {
105 super();
106 }
107
108 /**
109 * <!-- begin-user-doc -->
110 * <!-- end-user-doc -->
111 * @generated
112 */
113 @Override
114 protected EClass eStaticClass()
115 {
116 return VampireLanguagePackage.Literals.VLS_TFF_FORMULA;
117 }
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 public String getName()
125 {
126 return name;
127 }
128
129 /**
130 * <!-- begin-user-doc -->
131 * <!-- end-user-doc -->
132 * @generated
133 */
134 public void setName(String newName)
135 {
136 String oldName = name;
137 name = newName;
138 if (eNotificationRequired())
139 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TFF_FORMULA__NAME, oldName, name));
140 }
141
142 /**
143 * <!-- begin-user-doc -->
144 * <!-- end-user-doc -->
145 * @generated
146 */
147 public String getFofRole()
148 {
149 return fofRole;
150 }
151
152 /**
153 * <!-- begin-user-doc -->
154 * <!-- end-user-doc -->
155 * @generated
156 */
157 public void setFofRole(String newFofRole)
158 {
159 String oldFofRole = fofRole;
160 fofRole = newFofRole;
161 if (eNotificationRequired())
162 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TFF_FORMULA__FOF_ROLE, oldFofRole, fofRole));
163 }
164
165 /**
166 * <!-- begin-user-doc -->
167 * <!-- end-user-doc -->
168 * @generated
169 */
170 public VLSTerm getFofFormula()
171 {
172 return fofFormula;
173 }
174
175 /**
176 * <!-- begin-user-doc -->
177 * <!-- end-user-doc -->
178 * @generated
179 */
180 public NotificationChain basicSetFofFormula(VLSTerm newFofFormula, NotificationChain msgs)
181 {
182 VLSTerm oldFofFormula = fofFormula;
183 fofFormula = newFofFormula;
184 if (eNotificationRequired())
185 {
186 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TFF_FORMULA__FOF_FORMULA, oldFofFormula, newFofFormula);
187 if (msgs == null) msgs = notification; else msgs.add(notification);
188 }
189 return msgs;
190 }
191
192 /**
193 * <!-- begin-user-doc -->
194 * <!-- end-user-doc -->
195 * @generated
196 */
197 public void setFofFormula(VLSTerm newFofFormula)
198 {
199 if (newFofFormula != fofFormula)
200 {
201 NotificationChain msgs = null;
202 if (fofFormula != null)
203 msgs = ((InternalEObject)fofFormula).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_TFF_FORMULA__FOF_FORMULA, null, msgs);
204 if (newFofFormula != null)
205 msgs = ((InternalEObject)newFofFormula).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_TFF_FORMULA__FOF_FORMULA, null, msgs);
206 msgs = basicSetFofFormula(newFofFormula, msgs);
207 if (msgs != null) msgs.dispatch();
208 }
209 else if (eNotificationRequired())
210 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TFF_FORMULA__FOF_FORMULA, newFofFormula, newFofFormula));
211 }
212
213 /**
214 * <!-- begin-user-doc -->
215 * <!-- end-user-doc -->
216 * @generated
217 */
218 public VLSAnnotation getAnnotations()
219 {
220 return annotations;
221 }
222
223 /**
224 * <!-- begin-user-doc -->
225 * <!-- end-user-doc -->
226 * @generated
227 */
228 public NotificationChain basicSetAnnotations(VLSAnnotation newAnnotations, NotificationChain msgs)
229 {
230 VLSAnnotation oldAnnotations = annotations;
231 annotations = newAnnotations;
232 if (eNotificationRequired())
233 {
234 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TFF_FORMULA__ANNOTATIONS, oldAnnotations, newAnnotations);
235 if (msgs == null) msgs = notification; else msgs.add(notification);
236 }
237 return msgs;
238 }
239
240 /**
241 * <!-- begin-user-doc -->
242 * <!-- end-user-doc -->
243 * @generated
244 */
245 public void setAnnotations(VLSAnnotation newAnnotations)
246 {
247 if (newAnnotations != annotations)
248 {
249 NotificationChain msgs = null;
250 if (annotations != null)
251 msgs = ((InternalEObject)annotations).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_TFF_FORMULA__ANNOTATIONS, null, msgs);
252 if (newAnnotations != null)
253 msgs = ((InternalEObject)newAnnotations).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_TFF_FORMULA__ANNOTATIONS, null, msgs);
254 msgs = basicSetAnnotations(newAnnotations, msgs);
255 if (msgs != null) msgs.dispatch();
256 }
257 else if (eNotificationRequired())
258 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TFF_FORMULA__ANNOTATIONS, newAnnotations, newAnnotations));
259 }
260
261 /**
262 * <!-- begin-user-doc -->
263 * <!-- end-user-doc -->
264 * @generated
265 */
266 @Override
267 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
268 {
269 switch (featureID)
270 {
271 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_FORMULA:
272 return basicSetFofFormula(null, msgs);
273 case VampireLanguagePackage.VLS_TFF_FORMULA__ANNOTATIONS:
274 return basicSetAnnotations(null, msgs);
275 }
276 return super.eInverseRemove(otherEnd, featureID, msgs);
277 }
278
279 /**
280 * <!-- begin-user-doc -->
281 * <!-- end-user-doc -->
282 * @generated
283 */
284 @Override
285 public Object eGet(int featureID, boolean resolve, boolean coreType)
286 {
287 switch (featureID)
288 {
289 case VampireLanguagePackage.VLS_TFF_FORMULA__NAME:
290 return getName();
291 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_ROLE:
292 return getFofRole();
293 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_FORMULA:
294 return getFofFormula();
295 case VampireLanguagePackage.VLS_TFF_FORMULA__ANNOTATIONS:
296 return getAnnotations();
297 }
298 return super.eGet(featureID, resolve, coreType);
299 }
300
301 /**
302 * <!-- begin-user-doc -->
303 * <!-- end-user-doc -->
304 * @generated
305 */
306 @Override
307 public void eSet(int featureID, Object newValue)
308 {
309 switch (featureID)
310 {
311 case VampireLanguagePackage.VLS_TFF_FORMULA__NAME:
312 setName((String)newValue);
313 return;
314 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_ROLE:
315 setFofRole((String)newValue);
316 return;
317 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_FORMULA:
318 setFofFormula((VLSTerm)newValue);
319 return;
320 case VampireLanguagePackage.VLS_TFF_FORMULA__ANNOTATIONS:
321 setAnnotations((VLSAnnotation)newValue);
322 return;
323 }
324 super.eSet(featureID, newValue);
325 }
326
327 /**
328 * <!-- begin-user-doc -->
329 * <!-- end-user-doc -->
330 * @generated
331 */
332 @Override
333 public void eUnset(int featureID)
334 {
335 switch (featureID)
336 {
337 case VampireLanguagePackage.VLS_TFF_FORMULA__NAME:
338 setName(NAME_EDEFAULT);
339 return;
340 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_ROLE:
341 setFofRole(FOF_ROLE_EDEFAULT);
342 return;
343 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_FORMULA:
344 setFofFormula((VLSTerm)null);
345 return;
346 case VampireLanguagePackage.VLS_TFF_FORMULA__ANNOTATIONS:
347 setAnnotations((VLSAnnotation)null);
348 return;
349 }
350 super.eUnset(featureID);
351 }
352
353 /**
354 * <!-- begin-user-doc -->
355 * <!-- end-user-doc -->
356 * @generated
357 */
358 @Override
359 public boolean eIsSet(int featureID)
360 {
361 switch (featureID)
362 {
363 case VampireLanguagePackage.VLS_TFF_FORMULA__NAME:
364 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
365 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_ROLE:
366 return FOF_ROLE_EDEFAULT == null ? fofRole != null : !FOF_ROLE_EDEFAULT.equals(fofRole);
367 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_FORMULA:
368 return fofFormula != null;
369 case VampireLanguagePackage.VLS_TFF_FORMULA__ANNOTATIONS:
370 return annotations != null;
371 }
372 return super.eIsSet(featureID);
373 }
374
375 /**
376 * <!-- begin-user-doc -->
377 * <!-- end-user-doc -->
378 * @generated
379 */
380 @Override
381 public String toString()
382 {
383 if (eIsProxy()) return super.toString();
384
385 StringBuffer result = new StringBuffer(super.toString());
386 result.append(" (name: ");
387 result.append(name);
388 result.append(", fofRole: ");
389 result.append(fofRole);
390 result.append(')');
391 return result.toString();
392 }
393
394} //VLSTffFormulaImpl
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTryingImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTryingImpl.java
new file mode 100644
index 00000000..40e62d9e
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTryingImpl.java
@@ -0,0 +1,178 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
8
9import org.eclipse.emf.common.notify.Notification;
10
11import org.eclipse.emf.ecore.EClass;
12
13import org.eclipse.emf.ecore.impl.ENotificationImpl;
14import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
15
16/**
17 * <!-- begin-user-doc -->
18 * An implementation of the model object '<em><b>VLS Trying</b></em>'.
19 * <!-- end-user-doc -->
20 * <p>
21 * The following features are implemented:
22 * </p>
23 * <ul>
24 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl#getName <em>Name</em>}</li>
25 * </ul>
26 *
27 * @generated
28 */
29public class VLSTryingImpl extends MinimalEObjectImpl.Container implements VLSTrying
30{
31 /**
32 * The default value of the '{@link #getName() <em>Name</em>}' attribute.
33 * <!-- begin-user-doc -->
34 * <!-- end-user-doc -->
35 * @see #getName()
36 * @generated
37 * @ordered
38 */
39 protected static final String NAME_EDEFAULT = null;
40
41 /**
42 * The cached value of the '{@link #getName() <em>Name</em>}' attribute.
43 * <!-- begin-user-doc -->
44 * <!-- end-user-doc -->
45 * @see #getName()
46 * @generated
47 * @ordered
48 */
49 protected String name = NAME_EDEFAULT;
50
51 /**
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @generated
55 */
56 protected VLSTryingImpl()
57 {
58 super();
59 }
60
61 /**
62 * <!-- begin-user-doc -->
63 * <!-- end-user-doc -->
64 * @generated
65 */
66 @Override
67 protected EClass eStaticClass()
68 {
69 return VampireLanguagePackage.Literals.VLS_TRYING;
70 }
71
72 /**
73 * <!-- begin-user-doc -->
74 * <!-- end-user-doc -->
75 * @generated
76 */
77 public String getName()
78 {
79 return name;
80 }
81
82 /**
83 * <!-- begin-user-doc -->
84 * <!-- end-user-doc -->
85 * @generated
86 */
87 public void setName(String newName)
88 {
89 String oldName = name;
90 name = newName;
91 if (eNotificationRequired())
92 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TRYING__NAME, oldName, name));
93 }
94
95 /**
96 * <!-- begin-user-doc -->
97 * <!-- end-user-doc -->
98 * @generated
99 */
100 @Override
101 public Object eGet(int featureID, boolean resolve, boolean coreType)
102 {
103 switch (featureID)
104 {
105 case VampireLanguagePackage.VLS_TRYING__NAME:
106 return getName();
107 }
108 return super.eGet(featureID, resolve, coreType);
109 }
110
111 /**
112 * <!-- begin-user-doc -->
113 * <!-- end-user-doc -->
114 * @generated
115 */
116 @Override
117 public void eSet(int featureID, Object newValue)
118 {
119 switch (featureID)
120 {
121 case VampireLanguagePackage.VLS_TRYING__NAME:
122 setName((String)newValue);
123 return;
124 }
125 super.eSet(featureID, newValue);
126 }
127
128 /**
129 * <!-- begin-user-doc -->
130 * <!-- end-user-doc -->
131 * @generated
132 */
133 @Override
134 public void eUnset(int featureID)
135 {
136 switch (featureID)
137 {
138 case VampireLanguagePackage.VLS_TRYING__NAME:
139 setName(NAME_EDEFAULT);
140 return;
141 }
142 super.eUnset(featureID);
143 }
144
145 /**
146 * <!-- begin-user-doc -->
147 * <!-- end-user-doc -->
148 * @generated
149 */
150 @Override
151 public boolean eIsSet(int featureID)
152 {
153 switch (featureID)
154 {
155 case VampireLanguagePackage.VLS_TRYING__NAME:
156 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
157 }
158 return super.eIsSet(featureID);
159 }
160
161 /**
162 * <!-- begin-user-doc -->
163 * <!-- end-user-doc -->
164 * @generated
165 */
166 @Override
167 public String toString()
168 {
169 if (eIsProxy()) return super.toString();
170
171 StringBuffer result = new StringBuffer(super.toString());
172 result.append(" (name: ");
173 result.append(name);
174 result.append(')');
175 return result.toString();
176 }
177
178} //VLSTryingImpl
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java
index 630fa8ce..cd4a7a01 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java
@@ -69,7 +69,12 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
69 case VampireLanguagePackage.VLS_INCLUDE: return createVLSInclude(); 69 case VampireLanguagePackage.VLS_INCLUDE: return createVLSInclude();
70 case VampireLanguagePackage.VLS_NAME: return createVLSName(); 70 case VampireLanguagePackage.VLS_NAME: return createVLSName();
71 case VampireLanguagePackage.VLS_COMMENT: return createVLSComment(); 71 case VampireLanguagePackage.VLS_COMMENT: return createVLSComment();
72 case VampireLanguagePackage.VLS_CONFIRMATIONS: return createVLSConfirmations();
73 case VampireLanguagePackage.VLS_SATISFIABLE: return createVLSSatisfiable();
74 case VampireLanguagePackage.VLS_TRYING: return createVLSTrying();
75 case VampireLanguagePackage.VLS_FINITE_MODEL: return createVLSFiniteModel();
72 case VampireLanguagePackage.VLS_FOF_FORMULA: return createVLSFofFormula(); 76 case VampireLanguagePackage.VLS_FOF_FORMULA: return createVLSFofFormula();
77 case VampireLanguagePackage.VLS_TFF_FORMULA: return createVLSTffFormula();
73 case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation(); 78 case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation();
74 case VampireLanguagePackage.VLS_TERM: return createVLSTerm(); 79 case VampireLanguagePackage.VLS_TERM: return createVLSTerm();
75 case VampireLanguagePackage.VLS_VARIABLE: return createVLSVariable(); 80 case VampireLanguagePackage.VLS_VARIABLE: return createVLSVariable();
@@ -152,6 +157,50 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
152 * <!-- end-user-doc --> 157 * <!-- end-user-doc -->
153 * @generated 158 * @generated
154 */ 159 */
160 public VLSConfirmations createVLSConfirmations()
161 {
162 VLSConfirmationsImpl vlsConfirmations = new VLSConfirmationsImpl();
163 return vlsConfirmations;
164 }
165
166 /**
167 * <!-- begin-user-doc -->
168 * <!-- end-user-doc -->
169 * @generated
170 */
171 public VLSSatisfiable createVLSSatisfiable()
172 {
173 VLSSatisfiableImpl vlsSatisfiable = new VLSSatisfiableImpl();
174 return vlsSatisfiable;
175 }
176
177 /**
178 * <!-- begin-user-doc -->
179 * <!-- end-user-doc -->
180 * @generated
181 */
182 public VLSTrying createVLSTrying()
183 {
184 VLSTryingImpl vlsTrying = new VLSTryingImpl();
185 return vlsTrying;
186 }
187
188 /**
189 * <!-- begin-user-doc -->
190 * <!-- end-user-doc -->
191 * @generated
192 */
193 public VLSFiniteModel createVLSFiniteModel()
194 {
195 VLSFiniteModelImpl vlsFiniteModel = new VLSFiniteModelImpl();
196 return vlsFiniteModel;
197 }
198
199 /**
200 * <!-- begin-user-doc -->
201 * <!-- end-user-doc -->
202 * @generated
203 */
155 public VLSFofFormula createVLSFofFormula() 204 public VLSFofFormula createVLSFofFormula()
156 { 205 {
157 VLSFofFormulaImpl vlsFofFormula = new VLSFofFormulaImpl(); 206 VLSFofFormulaImpl vlsFofFormula = new VLSFofFormulaImpl();
@@ -163,6 +212,17 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
163 * <!-- end-user-doc --> 212 * <!-- end-user-doc -->
164 * @generated 213 * @generated
165 */ 214 */
215 public VLSTffFormula createVLSTffFormula()
216 {
217 VLSTffFormulaImpl vlsTffFormula = new VLSTffFormulaImpl();
218 return vlsTffFormula;
219 }
220
221 /**
222 * <!-- begin-user-doc -->
223 * <!-- end-user-doc -->
224 * @generated
225 */
166 public VLSAnnotation createVLSAnnotation() 226 public VLSAnnotation createVLSAnnotation()
167 { 227 {
168 VLSAnnotationImpl vlsAnnotation = new VLSAnnotationImpl(); 228 VLSAnnotationImpl vlsAnnotation = new VLSAnnotationImpl();
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java
index 86921032..ff71ff74 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java
@@ -7,6 +7,7 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation; 7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment; 8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment;
9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment; 9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment;
10import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations;
10import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant; 11import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant;
11import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm; 12import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm;
12import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote; 13import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote;
@@ -14,6 +15,7 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality;
14import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; 15import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent;
15import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; 16import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier;
16import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; 17import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse;
18import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel;
17import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; 19import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula;
18import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; 20import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction;
19import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof; 21import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof;
@@ -29,8 +31,11 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr;
29import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational; 31import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational;
30import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal; 32import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal;
31import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies; 33import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies;
34import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable;
32import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; 35import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm;
36import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula;
33import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue; 37import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue;
38import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying;
34import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; 39import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation;
35import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; 40import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier;
36import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; 41import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable;
@@ -87,6 +92,34 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
87 * <!-- end-user-doc --> 92 * <!-- end-user-doc -->
88 * @generated 93 * @generated
89 */ 94 */
95 private EClass vlsConfirmationsEClass = null;
96
97 /**
98 * <!-- begin-user-doc -->
99 * <!-- end-user-doc -->
100 * @generated
101 */
102 private EClass vlsSatisfiableEClass = null;
103
104 /**
105 * <!-- begin-user-doc -->
106 * <!-- end-user-doc -->
107 * @generated
108 */
109 private EClass vlsTryingEClass = null;
110
111 /**
112 * <!-- begin-user-doc -->
113 * <!-- end-user-doc -->
114 * @generated
115 */
116 private EClass vlsFiniteModelEClass = null;
117
118 /**
119 * <!-- begin-user-doc -->
120 * <!-- end-user-doc -->
121 * @generated
122 */
90 private EClass vlsFofFormulaEClass = null; 123 private EClass vlsFofFormulaEClass = null;
91 124
92 /** 125 /**
@@ -94,6 +127,13 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
94 * <!-- end-user-doc --> 127 * <!-- end-user-doc -->
95 * @generated 128 * @generated
96 */ 129 */
130 private EClass vlsTffFormulaEClass = null;
131
132 /**
133 * <!-- begin-user-doc -->
134 * <!-- end-user-doc -->
135 * @generated
136 */
97 private EClass vlsAnnotationEClass = null; 137 private EClass vlsAnnotationEClass = null;
98 138
99 /** 139 /**
@@ -383,7 +423,7 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
383 * <!-- end-user-doc --> 423 * <!-- end-user-doc -->
384 * @generated 424 * @generated
385 */ 425 */
386 public EReference getVampireModel_Formulas() 426 public EReference getVampireModel_Confirmations()
387 { 427 {
388 return (EReference)vampireModelEClass.getEStructuralFeatures().get(2); 428 return (EReference)vampireModelEClass.getEStructuralFeatures().get(2);
389 } 429 }
@@ -393,6 +433,26 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
393 * <!-- end-user-doc --> 433 * <!-- end-user-doc -->
394 * @generated 434 * @generated
395 */ 435 */
436 public EReference getVampireModel_Formulas()
437 {
438 return (EReference)vampireModelEClass.getEStructuralFeatures().get(3);
439 }
440
441 /**
442 * <!-- begin-user-doc -->
443 * <!-- end-user-doc -->
444 * @generated
445 */
446 public EReference getVampireModel_Tfformulas()
447 {
448 return (EReference)vampireModelEClass.getEStructuralFeatures().get(4);
449 }
450
451 /**
452 * <!-- begin-user-doc -->
453 * <!-- end-user-doc -->
454 * @generated
455 */
396 public EClass getVLSInclude() 456 public EClass getVLSInclude()
397 { 457 {
398 return vlsIncludeEClass; 458 return vlsIncludeEClass;
@@ -463,6 +523,56 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
463 * <!-- end-user-doc --> 523 * <!-- end-user-doc -->
464 * @generated 524 * @generated
465 */ 525 */
526 public EClass getVLSConfirmations()
527 {
528 return vlsConfirmationsEClass;
529 }
530
531 /**
532 * <!-- begin-user-doc -->
533 * <!-- end-user-doc -->
534 * @generated
535 */
536 public EClass getVLSSatisfiable()
537 {
538 return vlsSatisfiableEClass;
539 }
540
541 /**
542 * <!-- begin-user-doc -->
543 * <!-- end-user-doc -->
544 * @generated
545 */
546 public EClass getVLSTrying()
547 {
548 return vlsTryingEClass;
549 }
550
551 /**
552 * <!-- begin-user-doc -->
553 * <!-- end-user-doc -->
554 * @generated
555 */
556 public EAttribute getVLSTrying_Name()
557 {
558 return (EAttribute)vlsTryingEClass.getEStructuralFeatures().get(0);
559 }
560
561 /**
562 * <!-- begin-user-doc -->
563 * <!-- end-user-doc -->
564 * @generated
565 */
566 public EClass getVLSFiniteModel()
567 {
568 return vlsFiniteModelEClass;
569 }
570
571 /**
572 * <!-- begin-user-doc -->
573 * <!-- end-user-doc -->
574 * @generated
575 */
466 public EClass getVLSFofFormula() 576 public EClass getVLSFofFormula()
467 { 577 {
468 return vlsFofFormulaEClass; 578 return vlsFofFormulaEClass;
@@ -513,6 +623,56 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
513 * <!-- end-user-doc --> 623 * <!-- end-user-doc -->
514 * @generated 624 * @generated
515 */ 625 */
626 public EClass getVLSTffFormula()
627 {
628 return vlsTffFormulaEClass;
629 }
630
631 /**
632 * <!-- begin-user-doc -->
633 * <!-- end-user-doc -->
634 * @generated
635 */
636 public EAttribute getVLSTffFormula_Name()
637 {
638 return (EAttribute)vlsTffFormulaEClass.getEStructuralFeatures().get(0);
639 }
640
641 /**
642 * <!-- begin-user-doc -->
643 * <!-- end-user-doc -->
644 * @generated
645 */
646 public EAttribute getVLSTffFormula_FofRole()
647 {
648 return (EAttribute)vlsTffFormulaEClass.getEStructuralFeatures().get(1);
649 }
650
651 /**
652 * <!-- begin-user-doc -->
653 * <!-- end-user-doc -->
654 * @generated
655 */
656 public EReference getVLSTffFormula_FofFormula()
657 {
658 return (EReference)vlsTffFormulaEClass.getEStructuralFeatures().get(2);
659 }
660
661 /**
662 * <!-- begin-user-doc -->
663 * <!-- end-user-doc -->
664 * @generated
665 */
666 public EReference getVLSTffFormula_Annotations()
667 {
668 return (EReference)vlsTffFormulaEClass.getEStructuralFeatures().get(3);
669 }
670
671 /**
672 * <!-- begin-user-doc -->
673 * <!-- end-user-doc -->
674 * @generated
675 */
516 public EClass getVLSAnnotation() 676 public EClass getVLSAnnotation()
517 { 677 {
518 return vlsAnnotationEClass; 678 return vlsAnnotationEClass;
@@ -1211,7 +1371,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1211 vampireModelEClass = createEClass(VAMPIRE_MODEL); 1371 vampireModelEClass = createEClass(VAMPIRE_MODEL);
1212 createEReference(vampireModelEClass, VAMPIRE_MODEL__INCLUDES); 1372 createEReference(vampireModelEClass, VAMPIRE_MODEL__INCLUDES);
1213 createEReference(vampireModelEClass, VAMPIRE_MODEL__COMMENTS); 1373 createEReference(vampireModelEClass, VAMPIRE_MODEL__COMMENTS);
1374 createEReference(vampireModelEClass, VAMPIRE_MODEL__CONFIRMATIONS);
1214 createEReference(vampireModelEClass, VAMPIRE_MODEL__FORMULAS); 1375 createEReference(vampireModelEClass, VAMPIRE_MODEL__FORMULAS);
1376 createEReference(vampireModelEClass, VAMPIRE_MODEL__TFFORMULAS);
1215 1377
1216 vlsIncludeEClass = createEClass(VLS_INCLUDE); 1378 vlsIncludeEClass = createEClass(VLS_INCLUDE);
1217 createEAttribute(vlsIncludeEClass, VLS_INCLUDE__FILE_NAME); 1379 createEAttribute(vlsIncludeEClass, VLS_INCLUDE__FILE_NAME);
@@ -1223,12 +1385,27 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1223 vlsCommentEClass = createEClass(VLS_COMMENT); 1385 vlsCommentEClass = createEClass(VLS_COMMENT);
1224 createEAttribute(vlsCommentEClass, VLS_COMMENT__COMMENT); 1386 createEAttribute(vlsCommentEClass, VLS_COMMENT__COMMENT);
1225 1387
1388 vlsConfirmationsEClass = createEClass(VLS_CONFIRMATIONS);
1389
1390 vlsSatisfiableEClass = createEClass(VLS_SATISFIABLE);
1391
1392 vlsTryingEClass = createEClass(VLS_TRYING);
1393 createEAttribute(vlsTryingEClass, VLS_TRYING__NAME);
1394
1395 vlsFiniteModelEClass = createEClass(VLS_FINITE_MODEL);
1396
1226 vlsFofFormulaEClass = createEClass(VLS_FOF_FORMULA); 1397 vlsFofFormulaEClass = createEClass(VLS_FOF_FORMULA);
1227 createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__NAME); 1398 createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__NAME);
1228 createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_ROLE); 1399 createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_ROLE);
1229 createEReference(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_FORMULA); 1400 createEReference(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_FORMULA);
1230 createEReference(vlsFofFormulaEClass, VLS_FOF_FORMULA__ANNOTATIONS); 1401 createEReference(vlsFofFormulaEClass, VLS_FOF_FORMULA__ANNOTATIONS);
1231 1402
1403 vlsTffFormulaEClass = createEClass(VLS_TFF_FORMULA);
1404 createEAttribute(vlsTffFormulaEClass, VLS_TFF_FORMULA__NAME);
1405 createEAttribute(vlsTffFormulaEClass, VLS_TFF_FORMULA__FOF_ROLE);
1406 createEReference(vlsTffFormulaEClass, VLS_TFF_FORMULA__FOF_FORMULA);
1407 createEReference(vlsTffFormulaEClass, VLS_TFF_FORMULA__ANNOTATIONS);
1408
1232 vlsAnnotationEClass = createEClass(VLS_ANNOTATION); 1409 vlsAnnotationEClass = createEClass(VLS_ANNOTATION);
1233 createEAttribute(vlsAnnotationEClass, VLS_ANNOTATION__NAME); 1410 createEAttribute(vlsAnnotationEClass, VLS_ANNOTATION__NAME);
1234 createEReference(vlsAnnotationEClass, VLS_ANNOTATION__FOLLOWUP); 1411 createEReference(vlsAnnotationEClass, VLS_ANNOTATION__FOLLOWUP);
@@ -1354,6 +1531,7 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1354 // Set bounds for type parameters 1531 // Set bounds for type parameters
1355 1532
1356 // Add supertypes to classes 1533 // Add supertypes to classes
1534 vlsSatisfiableEClass.getESuperTypes().add(this.getVLSConfirmations());
1357 vlsVariableEClass.getESuperTypes().add(this.getVLSTerm()); 1535 vlsVariableEClass.getESuperTypes().add(this.getVLSTerm());
1358 vlsFunctionFofEClass.getESuperTypes().add(this.getVLSTerm()); 1536 vlsFunctionFofEClass.getESuperTypes().add(this.getVLSTerm());
1359 vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm()); 1537 vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm());
@@ -1385,7 +1563,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1385 initEClass(vampireModelEClass, VampireModel.class, "VampireModel", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1563 initEClass(vampireModelEClass, VampireModel.class, "VampireModel", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1386 initEReference(getVampireModel_Includes(), this.getVLSInclude(), null, "includes", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1564 initEReference(getVampireModel_Includes(), this.getVLSInclude(), null, "includes", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1387 initEReference(getVampireModel_Comments(), this.getVLSComment(), null, "comments", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1565 initEReference(getVampireModel_Comments(), this.getVLSComment(), null, "comments", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1566 initEReference(getVampireModel_Confirmations(), this.getVLSConfirmations(), null, "confirmations", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1388 initEReference(getVampireModel_Formulas(), this.getVLSFofFormula(), null, "formulas", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1567 initEReference(getVampireModel_Formulas(), this.getVLSFofFormula(), null, "formulas", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1568 initEReference(getVampireModel_Tfformulas(), this.getVLSTffFormula(), null, "tfformulas", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1389 1569
1390 initEClass(vlsIncludeEClass, VLSInclude.class, "VLSInclude", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1570 initEClass(vlsIncludeEClass, VLSInclude.class, "VLSInclude", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1391 initEAttribute(getVLSInclude_FileName(), ecorePackage.getEString(), "fileName", null, 0, 1, VLSInclude.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1571 initEAttribute(getVLSInclude_FileName(), ecorePackage.getEString(), "fileName", null, 0, 1, VLSInclude.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
@@ -1397,12 +1577,27 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1397 initEClass(vlsCommentEClass, VLSComment.class, "VLSComment", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1577 initEClass(vlsCommentEClass, VLSComment.class, "VLSComment", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1398 initEAttribute(getVLSComment_Comment(), ecorePackage.getEString(), "comment", null, 0, 1, VLSComment.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1578 initEAttribute(getVLSComment_Comment(), ecorePackage.getEString(), "comment", null, 0, 1, VLSComment.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1399 1579
1580 initEClass(vlsConfirmationsEClass, VLSConfirmations.class, "VLSConfirmations", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1581
1582 initEClass(vlsSatisfiableEClass, VLSSatisfiable.class, "VLSSatisfiable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1583
1584 initEClass(vlsTryingEClass, VLSTrying.class, "VLSTrying", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1585 initEAttribute(getVLSTrying_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSTrying.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1586
1587 initEClass(vlsFiniteModelEClass, VLSFiniteModel.class, "VLSFiniteModel", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1588
1400 initEClass(vlsFofFormulaEClass, VLSFofFormula.class, "VLSFofFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1589 initEClass(vlsFofFormulaEClass, VLSFofFormula.class, "VLSFofFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1401 initEAttribute(getVLSFofFormula_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1590 initEAttribute(getVLSFofFormula_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1402 initEAttribute(getVLSFofFormula_FofRole(), ecorePackage.getEString(), "fofRole", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1591 initEAttribute(getVLSFofFormula_FofRole(), ecorePackage.getEString(), "fofRole", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1403 initEReference(getVLSFofFormula_FofFormula(), this.getVLSTerm(), null, "fofFormula", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1592 initEReference(getVLSFofFormula_FofFormula(), this.getVLSTerm(), null, "fofFormula", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1404 initEReference(getVLSFofFormula_Annotations(), this.getVLSAnnotation(), null, "annotations", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1593 initEReference(getVLSFofFormula_Annotations(), this.getVLSAnnotation(), null, "annotations", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1405 1594
1595 initEClass(vlsTffFormulaEClass, VLSTffFormula.class, "VLSTffFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1596 initEAttribute(getVLSTffFormula_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1597 initEAttribute(getVLSTffFormula_FofRole(), ecorePackage.getEString(), "fofRole", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1598 initEReference(getVLSTffFormula_FofFormula(), this.getVLSTerm(), null, "fofFormula", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1599 initEReference(getVLSTffFormula_Annotations(), this.getVLSAnnotation(), null, "annotations", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1600
1406 initEClass(vlsAnnotationEClass, VLSAnnotation.class, "VLSAnnotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1601 initEClass(vlsAnnotationEClass, VLSAnnotation.class, "VLSAnnotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1407 initEAttribute(getVLSAnnotation_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1602 initEAttribute(getVLSAnnotation_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1408 initEReference(getVLSAnnotation_Followup(), this.getVLSAnnotation(), null, "followup", null, 0, 1, VLSAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1603 initEReference(getVLSAnnotation_Followup(), this.getVLSAnnotation(), null, "followup", null, 0, 1, VLSAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java
index ea3dabc7..05b3086c 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java
@@ -4,8 +4,10 @@
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; 4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5 5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment; 6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; 8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude; 9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude;
10import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula;
9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; 11import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
10import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel; 12import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel;
11 13
@@ -33,7 +35,9 @@ import org.eclipse.emf.ecore.util.InternalEList;
33 * <ul> 35 * <ul>
34 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getIncludes <em>Includes</em>}</li> 36 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getIncludes <em>Includes</em>}</li>
35 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getComments <em>Comments</em>}</li> 37 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getComments <em>Comments</em>}</li>
38 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getConfirmations <em>Confirmations</em>}</li>
36 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getFormulas <em>Formulas</em>}</li> 39 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getFormulas <em>Formulas</em>}</li>
40 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getTfformulas <em>Tfformulas</em>}</li>
37 * </ul> 41 * </ul>
38 * 42 *
39 * @generated 43 * @generated
@@ -61,6 +65,16 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
61 protected EList<VLSComment> comments; 65 protected EList<VLSComment> comments;
62 66
63 /** 67 /**
68 * The cached value of the '{@link #getConfirmations() <em>Confirmations</em>}' containment reference list.
69 * <!-- begin-user-doc -->
70 * <!-- end-user-doc -->
71 * @see #getConfirmations()
72 * @generated
73 * @ordered
74 */
75 protected EList<VLSConfirmations> confirmations;
76
77 /**
64 * The cached value of the '{@link #getFormulas() <em>Formulas</em>}' containment reference list. 78 * The cached value of the '{@link #getFormulas() <em>Formulas</em>}' containment reference list.
65 * <!-- begin-user-doc --> 79 * <!-- begin-user-doc -->
66 * <!-- end-user-doc --> 80 * <!-- end-user-doc -->
@@ -71,6 +85,16 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
71 protected EList<VLSFofFormula> formulas; 85 protected EList<VLSFofFormula> formulas;
72 86
73 /** 87 /**
88 * The cached value of the '{@link #getTfformulas() <em>Tfformulas</em>}' containment reference list.
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @see #getTfformulas()
92 * @generated
93 * @ordered
94 */
95 protected EList<VLSTffFormula> tfformulas;
96
97 /**
74 * <!-- begin-user-doc --> 98 * <!-- begin-user-doc -->
75 * <!-- end-user-doc --> 99 * <!-- end-user-doc -->
76 * @generated 100 * @generated
@@ -124,6 +148,20 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
124 * <!-- end-user-doc --> 148 * <!-- end-user-doc -->
125 * @generated 149 * @generated
126 */ 150 */
151 public EList<VLSConfirmations> getConfirmations()
152 {
153 if (confirmations == null)
154 {
155 confirmations = new EObjectContainmentEList<VLSConfirmations>(VLSConfirmations.class, this, VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS);
156 }
157 return confirmations;
158 }
159
160 /**
161 * <!-- begin-user-doc -->
162 * <!-- end-user-doc -->
163 * @generated
164 */
127 public EList<VLSFofFormula> getFormulas() 165 public EList<VLSFofFormula> getFormulas()
128 { 166 {
129 if (formulas == null) 167 if (formulas == null)
@@ -138,6 +176,20 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
138 * <!-- end-user-doc --> 176 * <!-- end-user-doc -->
139 * @generated 177 * @generated
140 */ 178 */
179 public EList<VLSTffFormula> getTfformulas()
180 {
181 if (tfformulas == null)
182 {
183 tfformulas = new EObjectContainmentEList<VLSTffFormula>(VLSTffFormula.class, this, VampireLanguagePackage.VAMPIRE_MODEL__TFFORMULAS);
184 }
185 return tfformulas;
186 }
187
188 /**
189 * <!-- begin-user-doc -->
190 * <!-- end-user-doc -->
191 * @generated
192 */
141 @Override 193 @Override
142 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) 194 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
143 { 195 {
@@ -147,8 +199,12 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
147 return ((InternalEList<?>)getIncludes()).basicRemove(otherEnd, msgs); 199 return ((InternalEList<?>)getIncludes()).basicRemove(otherEnd, msgs);
148 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS: 200 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
149 return ((InternalEList<?>)getComments()).basicRemove(otherEnd, msgs); 201 return ((InternalEList<?>)getComments()).basicRemove(otherEnd, msgs);
202 case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:
203 return ((InternalEList<?>)getConfirmations()).basicRemove(otherEnd, msgs);
150 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS: 204 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS:
151 return ((InternalEList<?>)getFormulas()).basicRemove(otherEnd, msgs); 205 return ((InternalEList<?>)getFormulas()).basicRemove(otherEnd, msgs);
206 case VampireLanguagePackage.VAMPIRE_MODEL__TFFORMULAS:
207 return ((InternalEList<?>)getTfformulas()).basicRemove(otherEnd, msgs);
152 } 208 }
153 return super.eInverseRemove(otherEnd, featureID, msgs); 209 return super.eInverseRemove(otherEnd, featureID, msgs);
154 } 210 }
@@ -167,8 +223,12 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
167 return getIncludes(); 223 return getIncludes();
168 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS: 224 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
169 return getComments(); 225 return getComments();
226 case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:
227 return getConfirmations();
170 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS: 228 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS:
171 return getFormulas(); 229 return getFormulas();
230 case VampireLanguagePackage.VAMPIRE_MODEL__TFFORMULAS:
231 return getTfformulas();
172 } 232 }
173 return super.eGet(featureID, resolve, coreType); 233 return super.eGet(featureID, resolve, coreType);
174 } 234 }
@@ -192,10 +252,18 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
192 getComments().clear(); 252 getComments().clear();
193 getComments().addAll((Collection<? extends VLSComment>)newValue); 253 getComments().addAll((Collection<? extends VLSComment>)newValue);
194 return; 254 return;
255 case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:
256 getConfirmations().clear();
257 getConfirmations().addAll((Collection<? extends VLSConfirmations>)newValue);
258 return;
195 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS: 259 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS:
196 getFormulas().clear(); 260 getFormulas().clear();
197 getFormulas().addAll((Collection<? extends VLSFofFormula>)newValue); 261 getFormulas().addAll((Collection<? extends VLSFofFormula>)newValue);
198 return; 262 return;
263 case VampireLanguagePackage.VAMPIRE_MODEL__TFFORMULAS:
264 getTfformulas().clear();
265 getTfformulas().addAll((Collection<? extends VLSTffFormula>)newValue);
266 return;
199 } 267 }
200 super.eSet(featureID, newValue); 268 super.eSet(featureID, newValue);
201 } 269 }
@@ -216,9 +284,15 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
216 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS: 284 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
217 getComments().clear(); 285 getComments().clear();
218 return; 286 return;
287 case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:
288 getConfirmations().clear();
289 return;
219 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS: 290 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS:
220 getFormulas().clear(); 291 getFormulas().clear();
221 return; 292 return;
293 case VampireLanguagePackage.VAMPIRE_MODEL__TFFORMULAS:
294 getTfformulas().clear();
295 return;
222 } 296 }
223 super.eUnset(featureID); 297 super.eUnset(featureID);
224 } 298 }
@@ -237,8 +311,12 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
237 return includes != null && !includes.isEmpty(); 311 return includes != null && !includes.isEmpty();
238 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS: 312 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
239 return comments != null && !comments.isEmpty(); 313 return comments != null && !comments.isEmpty();
314 case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:
315 return confirmations != null && !confirmations.isEmpty();
240 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS: 316 case VampireLanguagePackage.VAMPIRE_MODEL__FORMULAS:
241 return formulas != null && !formulas.isEmpty(); 317 return formulas != null && !formulas.isEmpty();
318 case VampireLanguagePackage.VAMPIRE_MODEL__TFFORMULAS:
319 return tfformulas != null && !tfformulas.isEmpty();
242 } 320 }
243 return super.eIsSet(featureID); 321 return super.eIsSet(featureID);
244 } 322 }
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 05:49:46 +0000