diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-08-29 06:26:02 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-08-29 06:26:02 -0400 |
commit | 9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b (patch) | |
tree | 0dd50253bffe482ae15f5b8c5fc46bbbad45f0e4 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java | |
parent | VAMPIRE: integrate local Vampire executeable #32 (diff) | |
download | VIATRA-Generator-9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b.tar.gz VIATRA-Generator-9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b.tar.zst VIATRA-Generator-9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b.zip |
VAMPIRE: adapt grammar to Vampire solution + get model from text
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java | 1110 |
1 files changed, 760 insertions, 350 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java index 60061aee..3ef777f8 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java | |||
@@ -68,22 +68,13 @@ public interface VampireLanguagePackage extends EPackage | |||
68 | int VAMPIRE_MODEL = 0; | 68 | int VAMPIRE_MODEL = 0; |
69 | 69 | ||
70 | /** | 70 | /** |
71 | * The feature id for the '<em><b>Includes</b></em>' containment reference list. | ||
72 | * <!-- begin-user-doc --> | ||
73 | * <!-- end-user-doc --> | ||
74 | * @generated | ||
75 | * @ordered | ||
76 | */ | ||
77 | int VAMPIRE_MODEL__INCLUDES = 0; | ||
78 | |||
79 | /** | ||
80 | * The feature id for the '<em><b>Comments</b></em>' containment reference list. | 71 | * The feature id for the '<em><b>Comments</b></em>' containment reference list. |
81 | * <!-- begin-user-doc --> | 72 | * <!-- begin-user-doc --> |
82 | * <!-- end-user-doc --> | 73 | * <!-- end-user-doc --> |
83 | * @generated | 74 | * @generated |
84 | * @ordered | 75 | * @ordered |
85 | */ | 76 | */ |
86 | int VAMPIRE_MODEL__COMMENTS = 1; | 77 | int VAMPIRE_MODEL__COMMENTS = 0; |
87 | 78 | ||
88 | /** | 79 | /** |
89 | * The feature id for the '<em><b>Confirmations</b></em>' containment reference list. | 80 | * The feature id for the '<em><b>Confirmations</b></em>' containment reference list. |
@@ -92,7 +83,7 @@ public interface VampireLanguagePackage extends EPackage | |||
92 | * @generated | 83 | * @generated |
93 | * @ordered | 84 | * @ordered |
94 | */ | 85 | */ |
95 | int VAMPIRE_MODEL__CONFIRMATIONS = 2; | 86 | int VAMPIRE_MODEL__CONFIRMATIONS = 1; |
96 | 87 | ||
97 | /** | 88 | /** |
98 | * The feature id for the '<em><b>Formulas</b></em>' containment reference list. | 89 | * The feature id for the '<em><b>Formulas</b></em>' containment reference list. |
@@ -101,7 +92,7 @@ public interface VampireLanguagePackage extends EPackage | |||
101 | * @generated | 92 | * @generated |
102 | * @ordered | 93 | * @ordered |
103 | */ | 94 | */ |
104 | int VAMPIRE_MODEL__FORMULAS = 3; | 95 | int VAMPIRE_MODEL__FORMULAS = 2; |
105 | 96 | ||
106 | /** | 97 | /** |
107 | * The feature id for the '<em><b>Tfformulas</b></em>' containment reference list. | 98 | * The feature id for the '<em><b>Tfformulas</b></em>' containment reference list. |
@@ -110,7 +101,7 @@ public interface VampireLanguagePackage extends EPackage | |||
110 | * @generated | 101 | * @generated |
111 | * @ordered | 102 | * @ordered |
112 | */ | 103 | */ |
113 | int VAMPIRE_MODEL__TFFORMULAS = 4; | 104 | int VAMPIRE_MODEL__TFFORMULAS = 3; |
114 | 105 | ||
115 | /** | 106 | /** |
116 | * The number of structural features of the '<em>Vampire Model</em>' class. | 107 | * The number of structural features of the '<em>Vampire Model</em>' class. |
@@ -119,54 +110,64 @@ public interface VampireLanguagePackage extends EPackage | |||
119 | * @generated | 110 | * @generated |
120 | * @ordered | 111 | * @ordered |
121 | */ | 112 | */ |
122 | int VAMPIRE_MODEL_FEATURE_COUNT = 5; | 113 | int VAMPIRE_MODEL_FEATURE_COUNT = 4; |
123 | 114 | ||
124 | /** | 115 | /** |
125 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIncludeImpl <em>VLS Include</em>}' class. | 116 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSCommentImpl <em>VLS Comment</em>}' class. |
126 | * <!-- begin-user-doc --> | 117 | * <!-- begin-user-doc --> |
127 | * <!-- end-user-doc --> | 118 | * <!-- end-user-doc --> |
128 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIncludeImpl | 119 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSCommentImpl |
129 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInclude() | 120 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSComment() |
130 | * @generated | 121 | * @generated |
131 | */ | 122 | */ |
132 | int VLS_INCLUDE = 1; | 123 | int VLS_COMMENT = 1; |
133 | 124 | ||
134 | /** | 125 | /** |
135 | * The feature id for the '<em><b>File Name</b></em>' attribute. | 126 | * The feature id for the '<em><b>Comment</b></em>' attribute. |
136 | * <!-- begin-user-doc --> | 127 | * <!-- begin-user-doc --> |
137 | * <!-- end-user-doc --> | 128 | * <!-- end-user-doc --> |
138 | * @generated | 129 | * @generated |
139 | * @ordered | 130 | * @ordered |
140 | */ | 131 | */ |
141 | int VLS_INCLUDE__FILE_NAME = 0; | 132 | int VLS_COMMENT__COMMENT = 0; |
142 | 133 | ||
143 | /** | 134 | /** |
144 | * The feature id for the '<em><b>Names</b></em>' containment reference list. | 135 | * The number of structural features of the '<em>VLS Comment</em>' class. |
145 | * <!-- begin-user-doc --> | 136 | * <!-- begin-user-doc --> |
146 | * <!-- end-user-doc --> | 137 | * <!-- end-user-doc --> |
147 | * @generated | 138 | * @generated |
148 | * @ordered | 139 | * @ordered |
149 | */ | 140 | */ |
150 | int VLS_INCLUDE__NAMES = 1; | 141 | int VLS_COMMENT_FEATURE_COUNT = 1; |
151 | 142 | ||
152 | /** | 143 | /** |
153 | * The number of structural features of the '<em>VLS Include</em>' class. | 144 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSConfirmationsImpl <em>VLS Confirmations</em>}' class. |
145 | * <!-- begin-user-doc --> | ||
146 | * <!-- end-user-doc --> | ||
147 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSConfirmationsImpl | ||
148 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSConfirmations() | ||
149 | * @generated | ||
150 | */ | ||
151 | int VLS_CONFIRMATIONS = 2; | ||
152 | |||
153 | /** | ||
154 | * The number of structural features of the '<em>VLS Confirmations</em>' class. | ||
154 | * <!-- begin-user-doc --> | 155 | * <!-- begin-user-doc --> |
155 | * <!-- end-user-doc --> | 156 | * <!-- end-user-doc --> |
156 | * @generated | 157 | * @generated |
157 | * @ordered | 158 | * @ordered |
158 | */ | 159 | */ |
159 | int VLS_INCLUDE_FEATURE_COUNT = 2; | 160 | int VLS_CONFIRMATIONS_FEATURE_COUNT = 0; |
160 | 161 | ||
161 | /** | 162 | /** |
162 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNameImpl <em>VLS Name</em>}' class. | 163 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl <em>VLS Fof Formula</em>}' class. |
163 | * <!-- begin-user-doc --> | 164 | * <!-- begin-user-doc --> |
164 | * <!-- end-user-doc --> | 165 | * <!-- end-user-doc --> |
165 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNameImpl | 166 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl |
166 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSName() | 167 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFofFormula() |
167 | * @generated | 168 | * @generated |
168 | */ | 169 | */ |
169 | int VLS_NAME = 2; | 170 | int VLS_FOF_FORMULA = 3; |
170 | 171 | ||
171 | /** | 172 | /** |
172 | * The feature id for the '<em><b>Name</b></em>' attribute. | 173 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -175,238 +176,275 @@ public interface VampireLanguagePackage extends EPackage | |||
175 | * @generated | 176 | * @generated |
176 | * @ordered | 177 | * @ordered |
177 | */ | 178 | */ |
178 | int VLS_NAME__NAME = 0; | 179 | int VLS_FOF_FORMULA__NAME = 0; |
179 | 180 | ||
180 | /** | 181 | /** |
181 | * The number of structural features of the '<em>VLS Name</em>' class. | 182 | * The feature id for the '<em><b>Fof Role</b></em>' attribute. |
182 | * <!-- begin-user-doc --> | 183 | * <!-- begin-user-doc --> |
183 | * <!-- end-user-doc --> | 184 | * <!-- end-user-doc --> |
184 | * @generated | 185 | * @generated |
185 | * @ordered | 186 | * @ordered |
186 | */ | 187 | */ |
187 | int VLS_NAME_FEATURE_COUNT = 1; | 188 | int VLS_FOF_FORMULA__FOF_ROLE = 1; |
188 | 189 | ||
189 | /** | 190 | /** |
190 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSCommentImpl <em>VLS Comment</em>}' class. | 191 | * The feature id for the '<em><b>Fof Formula</b></em>' containment reference. |
191 | * <!-- begin-user-doc --> | 192 | * <!-- begin-user-doc --> |
192 | * <!-- end-user-doc --> | 193 | * <!-- end-user-doc --> |
193 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSCommentImpl | ||
194 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSComment() | ||
195 | * @generated | 194 | * @generated |
195 | * @ordered | ||
196 | */ | 196 | */ |
197 | int VLS_COMMENT = 3; | 197 | int VLS_FOF_FORMULA__FOF_FORMULA = 2; |
198 | 198 | ||
199 | /** | 199 | /** |
200 | * The feature id for the '<em><b>Comment</b></em>' attribute. | 200 | * The feature id for the '<em><b>Annotations</b></em>' containment reference. |
201 | * <!-- begin-user-doc --> | 201 | * <!-- begin-user-doc --> |
202 | * <!-- end-user-doc --> | 202 | * <!-- end-user-doc --> |
203 | * @generated | 203 | * @generated |
204 | * @ordered | 204 | * @ordered |
205 | */ | 205 | */ |
206 | int VLS_COMMENT__COMMENT = 0; | 206 | int VLS_FOF_FORMULA__ANNOTATIONS = 3; |
207 | 207 | ||
208 | /** | 208 | /** |
209 | * The number of structural features of the '<em>VLS Comment</em>' class. | 209 | * The number of structural features of the '<em>VLS Fof Formula</em>' class. |
210 | * <!-- begin-user-doc --> | 210 | * <!-- begin-user-doc --> |
211 | * <!-- end-user-doc --> | 211 | * <!-- end-user-doc --> |
212 | * @generated | 212 | * @generated |
213 | * @ordered | 213 | * @ordered |
214 | */ | 214 | */ |
215 | int VLS_COMMENT_FEATURE_COUNT = 1; | 215 | int VLS_FOF_FORMULA_FEATURE_COUNT = 4; |
216 | 216 | ||
217 | /** | 217 | /** |
218 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSConfirmationsImpl <em>VLS Confirmations</em>}' class. | 218 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl <em>VLS Tff Formula</em>}' class. |
219 | * <!-- begin-user-doc --> | 219 | * <!-- begin-user-doc --> |
220 | * <!-- end-user-doc --> | 220 | * <!-- end-user-doc --> |
221 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSConfirmationsImpl | 221 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl |
222 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSConfirmations() | 222 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTffFormula() |
223 | * @generated | 223 | * @generated |
224 | */ | 224 | */ |
225 | int VLS_CONFIRMATIONS = 4; | 225 | int VLS_TFF_FORMULA = 4; |
226 | 226 | ||
227 | /** | 227 | /** |
228 | * The number of structural features of the '<em>VLS Confirmations</em>' class. | 228 | * The feature id for the '<em><b>Name</b></em>' attribute. |
229 | * <!-- begin-user-doc --> | 229 | * <!-- begin-user-doc --> |
230 | * <!-- end-user-doc --> | 230 | * <!-- end-user-doc --> |
231 | * @generated | 231 | * @generated |
232 | * @ordered | 232 | * @ordered |
233 | */ | 233 | */ |
234 | int VLS_CONFIRMATIONS_FEATURE_COUNT = 0; | 234 | int VLS_TFF_FORMULA__NAME = 0; |
235 | 235 | ||
236 | /** | 236 | /** |
237 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSSatisfiableImpl <em>VLS Satisfiable</em>}' class. | 237 | * The feature id for the '<em><b>Tff Role</b></em>' attribute. |
238 | * <!-- begin-user-doc --> | 238 | * <!-- begin-user-doc --> |
239 | * <!-- end-user-doc --> | 239 | * <!-- end-user-doc --> |
240 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSSatisfiableImpl | ||
241 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSSatisfiable() | ||
242 | * @generated | 240 | * @generated |
241 | * @ordered | ||
243 | */ | 242 | */ |
244 | int VLS_SATISFIABLE = 5; | 243 | int VLS_TFF_FORMULA__TFF_ROLE = 1; |
245 | 244 | ||
246 | /** | 245 | /** |
247 | * The number of structural features of the '<em>VLS Satisfiable</em>' class. | 246 | * The feature id for the '<em><b>Fof Formula</b></em>' containment reference. |
248 | * <!-- begin-user-doc --> | 247 | * <!-- begin-user-doc --> |
249 | * <!-- end-user-doc --> | 248 | * <!-- end-user-doc --> |
250 | * @generated | 249 | * @generated |
251 | * @ordered | 250 | * @ordered |
252 | */ | 251 | */ |
253 | int VLS_SATISFIABLE_FEATURE_COUNT = VLS_CONFIRMATIONS_FEATURE_COUNT + 0; | 252 | int VLS_TFF_FORMULA__FOF_FORMULA = 2; |
254 | 253 | ||
255 | /** | 254 | /** |
256 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl <em>VLS Fof Formula</em>}' class. | 255 | * The feature id for the '<em><b>Annotations</b></em>' containment reference. |
257 | * <!-- begin-user-doc --> | 256 | * <!-- begin-user-doc --> |
258 | * <!-- end-user-doc --> | 257 | * <!-- end-user-doc --> |
259 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl | ||
260 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFofFormula() | ||
261 | * @generated | 258 | * @generated |
259 | * @ordered | ||
262 | */ | 260 | */ |
263 | int VLS_FOF_FORMULA = 6; | 261 | int VLS_TFF_FORMULA__ANNOTATIONS = 3; |
264 | 262 | ||
265 | /** | 263 | /** |
266 | * The feature id for the '<em><b>Name</b></em>' attribute. | 264 | * The number of structural features of the '<em>VLS Tff Formula</em>' class. |
267 | * <!-- begin-user-doc --> | 265 | * <!-- begin-user-doc --> |
268 | * <!-- end-user-doc --> | 266 | * <!-- end-user-doc --> |
269 | * @generated | 267 | * @generated |
270 | * @ordered | 268 | * @ordered |
271 | */ | 269 | */ |
272 | int VLS_FOF_FORMULA__NAME = 0; | 270 | int VLS_TFF_FORMULA_FEATURE_COUNT = 4; |
273 | 271 | ||
274 | /** | 272 | /** |
275 | * The feature id for the '<em><b>Fof Role</b></em>' attribute. | 273 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAnnotationImpl <em>VLS Annotation</em>}' class. |
274 | * <!-- begin-user-doc --> | ||
275 | * <!-- end-user-doc --> | ||
276 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAnnotationImpl | ||
277 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnnotation() | ||
278 | * @generated | ||
279 | */ | ||
280 | int VLS_ANNOTATION = 5; | ||
281 | |||
282 | /** | ||
283 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
276 | * <!-- begin-user-doc --> | 284 | * <!-- begin-user-doc --> |
277 | * <!-- end-user-doc --> | 285 | * <!-- end-user-doc --> |
278 | * @generated | 286 | * @generated |
279 | * @ordered | 287 | * @ordered |
280 | */ | 288 | */ |
281 | int VLS_FOF_FORMULA__FOF_ROLE = 1; | 289 | int VLS_ANNOTATION__NAME = 0; |
282 | 290 | ||
283 | /** | 291 | /** |
284 | * The feature id for the '<em><b>Fof Formula</b></em>' containment reference. | 292 | * The feature id for the '<em><b>Followup</b></em>' containment reference. |
285 | * <!-- begin-user-doc --> | 293 | * <!-- begin-user-doc --> |
286 | * <!-- end-user-doc --> | 294 | * <!-- end-user-doc --> |
287 | * @generated | 295 | * @generated |
288 | * @ordered | 296 | * @ordered |
289 | */ | 297 | */ |
290 | int VLS_FOF_FORMULA__FOF_FORMULA = 2; | 298 | int VLS_ANNOTATION__FOLLOWUP = 1; |
291 | 299 | ||
292 | /** | 300 | /** |
293 | * The feature id for the '<em><b>Annotations</b></em>' containment reference. | 301 | * The feature id for the '<em><b>Terms</b></em>' containment reference list. |
294 | * <!-- begin-user-doc --> | 302 | * <!-- begin-user-doc --> |
295 | * <!-- end-user-doc --> | 303 | * <!-- end-user-doc --> |
296 | * @generated | 304 | * @generated |
297 | * @ordered | 305 | * @ordered |
298 | */ | 306 | */ |
299 | int VLS_FOF_FORMULA__ANNOTATIONS = 3; | 307 | int VLS_ANNOTATION__TERMS = 2; |
300 | 308 | ||
301 | /** | 309 | /** |
302 | * The number of structural features of the '<em>VLS Fof Formula</em>' class. | 310 | * The number of structural features of the '<em>VLS Annotation</em>' class. |
303 | * <!-- begin-user-doc --> | 311 | * <!-- begin-user-doc --> |
304 | * <!-- end-user-doc --> | 312 | * <!-- end-user-doc --> |
305 | * @generated | 313 | * @generated |
306 | * @ordered | 314 | * @ordered |
307 | */ | 315 | */ |
308 | int VLS_FOF_FORMULA_FEATURE_COUNT = 4; | 316 | int VLS_ANNOTATION_FEATURE_COUNT = 3; |
309 | 317 | ||
310 | /** | 318 | /** |
311 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl <em>VLS Tff Formula</em>}' class. | 319 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffTermImpl <em>VLS Tff Term</em>}' class. |
312 | * <!-- begin-user-doc --> | 320 | * <!-- begin-user-doc --> |
313 | * <!-- end-user-doc --> | 321 | * <!-- end-user-doc --> |
314 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl | 322 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffTermImpl |
315 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTffFormula() | 323 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTffTerm() |
316 | * @generated | 324 | * @generated |
317 | */ | 325 | */ |
318 | int VLS_TFF_FORMULA = 7; | 326 | int VLS_TFF_TERM = 6; |
319 | 327 | ||
320 | /** | 328 | /** |
321 | * The feature id for the '<em><b>Name</b></em>' attribute. | 329 | * The number of structural features of the '<em>VLS Tff Term</em>' class. |
322 | * <!-- begin-user-doc --> | 330 | * <!-- begin-user-doc --> |
323 | * <!-- end-user-doc --> | 331 | * <!-- end-user-doc --> |
324 | * @generated | 332 | * @generated |
325 | * @ordered | 333 | * @ordered |
326 | */ | 334 | */ |
327 | int VLS_TFF_FORMULA__NAME = 0; | 335 | int VLS_TFF_TERM_FEATURE_COUNT = 0; |
328 | 336 | ||
329 | /** | 337 | /** |
330 | * The feature id for the '<em><b>Fof Role</b></em>' attribute. | 338 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDeclarationImpl <em>VLS Declaration</em>}' class. |
331 | * <!-- begin-user-doc --> | 339 | * <!-- begin-user-doc --> |
332 | * <!-- end-user-doc --> | 340 | * <!-- end-user-doc --> |
341 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDeclarationImpl | ||
342 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDeclaration() | ||
333 | * @generated | 343 | * @generated |
334 | * @ordered | ||
335 | */ | 344 | */ |
336 | int VLS_TFF_FORMULA__FOF_ROLE = 1; | 345 | int VLS_DECLARATION = 7; |
337 | 346 | ||
338 | /** | 347 | /** |
339 | * The feature id for the '<em><b>Fof Formula</b></em>' containment reference. | 348 | * The number of structural features of the '<em>VLS Declaration</em>' class. |
340 | * <!-- begin-user-doc --> | 349 | * <!-- begin-user-doc --> |
341 | * <!-- end-user-doc --> | 350 | * <!-- end-user-doc --> |
342 | * @generated | 351 | * @generated |
343 | * @ordered | 352 | * @ordered |
344 | */ | 353 | */ |
345 | int VLS_TFF_FORMULA__FOF_FORMULA = 2; | 354 | int VLS_DECLARATION_FEATURE_COUNT = VLS_TFF_TERM_FEATURE_COUNT + 0; |
346 | 355 | ||
347 | /** | 356 | /** |
348 | * The feature id for the '<em><b>Annotations</b></em>' containment reference. | 357 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOtherDeclarationImpl <em>VLS Other Declaration</em>}' class. |
358 | * <!-- begin-user-doc --> | ||
359 | * <!-- end-user-doc --> | ||
360 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOtherDeclarationImpl | ||
361 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSOtherDeclaration() | ||
362 | * @generated | ||
363 | */ | ||
364 | int VLS_OTHER_DECLARATION = 8; | ||
365 | |||
366 | /** | ||
367 | * The number of structural features of the '<em>VLS Other Declaration</em>' class. | ||
349 | * <!-- begin-user-doc --> | 368 | * <!-- begin-user-doc --> |
350 | * <!-- end-user-doc --> | 369 | * <!-- end-user-doc --> |
351 | * @generated | 370 | * @generated |
352 | * @ordered | 371 | * @ordered |
353 | */ | 372 | */ |
354 | int VLS_TFF_FORMULA__ANNOTATIONS = 3; | 373 | int VLS_OTHER_DECLARATION_FEATURE_COUNT = VLS_DECLARATION_FEATURE_COUNT + 0; |
355 | 374 | ||
356 | /** | 375 | /** |
357 | * The number of structural features of the '<em>VLS Tff Formula</em>' class. | 376 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableDeclarationImpl <em>VLS Variable Declaration</em>}' class. |
377 | * <!-- begin-user-doc --> | ||
378 | * <!-- end-user-doc --> | ||
379 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableDeclarationImpl | ||
380 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariableDeclaration() | ||
381 | * @generated | ||
382 | */ | ||
383 | int VLS_VARIABLE_DECLARATION = 9; | ||
384 | |||
385 | /** | ||
386 | * The number of structural features of the '<em>VLS Variable Declaration</em>' class. | ||
358 | * <!-- begin-user-doc --> | 387 | * <!-- begin-user-doc --> |
359 | * <!-- end-user-doc --> | 388 | * <!-- end-user-doc --> |
360 | * @generated | 389 | * @generated |
361 | * @ordered | 390 | * @ordered |
362 | */ | 391 | */ |
363 | int VLS_TFF_FORMULA_FEATURE_COUNT = 4; | 392 | int VLS_VARIABLE_DECLARATION_FEATURE_COUNT = VLS_DECLARATION_FEATURE_COUNT + 0; |
364 | 393 | ||
365 | /** | 394 | /** |
366 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAnnotationImpl <em>VLS Annotation</em>}' class. | 395 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl <em>VLS Type Def</em>}' class. |
367 | * <!-- begin-user-doc --> | 396 | * <!-- begin-user-doc --> |
368 | * <!-- end-user-doc --> | 397 | * <!-- end-user-doc --> |
369 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAnnotationImpl | 398 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl |
370 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnnotation() | 399 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTypeDef() |
371 | * @generated | 400 | * @generated |
372 | */ | 401 | */ |
373 | int VLS_ANNOTATION = 8; | 402 | int VLS_TYPE_DEF = 10; |
374 | 403 | ||
375 | /** | 404 | /** |
376 | * The feature id for the '<em><b>Name</b></em>' attribute. | 405 | * The feature id for the '<em><b>Type Sig</b></em>' containment reference. |
377 | * <!-- begin-user-doc --> | 406 | * <!-- begin-user-doc --> |
378 | * <!-- end-user-doc --> | 407 | * <!-- end-user-doc --> |
379 | * @generated | 408 | * @generated |
380 | * @ordered | 409 | * @ordered |
381 | */ | 410 | */ |
382 | int VLS_ANNOTATION__NAME = 0; | 411 | int VLS_TYPE_DEF__TYPE_SIG = 0; |
383 | 412 | ||
384 | /** | 413 | /** |
385 | * The feature id for the '<em><b>Followup</b></em>' containment reference. | 414 | * The feature id for the '<em><b>Maps To</b></em>' containment reference. |
386 | * <!-- begin-user-doc --> | 415 | * <!-- begin-user-doc --> |
387 | * <!-- end-user-doc --> | 416 | * <!-- end-user-doc --> |
388 | * @generated | 417 | * @generated |
389 | * @ordered | 418 | * @ordered |
390 | */ | 419 | */ |
391 | int VLS_ANNOTATION__FOLLOWUP = 1; | 420 | int VLS_TYPE_DEF__MAPS_TO = 1; |
392 | 421 | ||
393 | /** | 422 | /** |
394 | * The feature id for the '<em><b>Terms</b></em>' containment reference list. | 423 | * The feature id for the '<em><b>Init Type</b></em>' containment reference. |
395 | * <!-- begin-user-doc --> | 424 | * <!-- begin-user-doc --> |
396 | * <!-- end-user-doc --> | 425 | * <!-- end-user-doc --> |
397 | * @generated | 426 | * @generated |
398 | * @ordered | 427 | * @ordered |
399 | */ | 428 | */ |
400 | int VLS_ANNOTATION__TERMS = 2; | 429 | int VLS_TYPE_DEF__INIT_TYPE = 2; |
401 | 430 | ||
402 | /** | 431 | /** |
403 | * The number of structural features of the '<em>VLS Annotation</em>' class. | 432 | * The feature id for the '<em><b>Next Type</b></em>' containment reference. |
404 | * <!-- begin-user-doc --> | 433 | * <!-- begin-user-doc --> |
405 | * <!-- end-user-doc --> | 434 | * <!-- end-user-doc --> |
406 | * @generated | 435 | * @generated |
407 | * @ordered | 436 | * @ordered |
408 | */ | 437 | */ |
409 | int VLS_ANNOTATION_FEATURE_COUNT = 3; | 438 | int VLS_TYPE_DEF__NEXT_TYPE = 3; |
439 | |||
440 | /** | ||
441 | * The number of structural features of the '<em>VLS Type Def</em>' class. | ||
442 | * <!-- begin-user-doc --> | ||
443 | * <!-- end-user-doc --> | ||
444 | * @generated | ||
445 | * @ordered | ||
446 | */ | ||
447 | int VLS_TYPE_DEF_FEATURE_COUNT = 4; | ||
410 | 448 | ||
411 | /** | 449 | /** |
412 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl <em>VLS Term</em>}' class. | 450 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl <em>VLS Term</em>}' class. |
@@ -416,7 +454,16 @@ public interface VampireLanguagePackage extends EPackage | |||
416 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTerm() | 454 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTerm() |
417 | * @generated | 455 | * @generated |
418 | */ | 456 | */ |
419 | int VLS_TERM = 9; | 457 | int VLS_TERM = 11; |
458 | |||
459 | /** | ||
460 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
461 | * <!-- begin-user-doc --> | ||
462 | * <!-- end-user-doc --> | ||
463 | * @generated | ||
464 | * @ordered | ||
465 | */ | ||
466 | int VLS_TERM__TYPE = VLS_TFF_TERM_FEATURE_COUNT + 0; | ||
420 | 467 | ||
421 | /** | 468 | /** |
422 | * The number of structural features of the '<em>VLS Term</em>' class. | 469 | * The number of structural features of the '<em>VLS Term</em>' class. |
@@ -425,7 +472,7 @@ public interface VampireLanguagePackage extends EPackage | |||
425 | * @generated | 472 | * @generated |
426 | * @ordered | 473 | * @ordered |
427 | */ | 474 | */ |
428 | int VLS_TERM_FEATURE_COUNT = 0; | 475 | int VLS_TERM_FEATURE_COUNT = VLS_TFF_TERM_FEATURE_COUNT + 1; |
429 | 476 | ||
430 | /** | 477 | /** |
431 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class. | 478 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class. |
@@ -435,7 +482,16 @@ public interface VampireLanguagePackage extends EPackage | |||
435 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariable() | 482 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariable() |
436 | * @generated | 483 | * @generated |
437 | */ | 484 | */ |
438 | int VLS_VARIABLE = 10; | 485 | int VLS_VARIABLE = 12; |
486 | |||
487 | /** | ||
488 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
489 | * <!-- begin-user-doc --> | ||
490 | * <!-- end-user-doc --> | ||
491 | * @generated | ||
492 | * @ordered | ||
493 | */ | ||
494 | int VLS_VARIABLE__TYPE = VLS_VARIABLE_DECLARATION_FEATURE_COUNT + 0; | ||
439 | 495 | ||
440 | /** | 496 | /** |
441 | * The feature id for the '<em><b>Name</b></em>' attribute. | 497 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -444,7 +500,7 @@ public interface VampireLanguagePackage extends EPackage | |||
444 | * @generated | 500 | * @generated |
445 | * @ordered | 501 | * @ordered |
446 | */ | 502 | */ |
447 | int VLS_VARIABLE__NAME = VLS_TERM_FEATURE_COUNT + 0; | 503 | int VLS_VARIABLE__NAME = VLS_VARIABLE_DECLARATION_FEATURE_COUNT + 1; |
448 | 504 | ||
449 | /** | 505 | /** |
450 | * The number of structural features of the '<em>VLS Variable</em>' class. | 506 | * The number of structural features of the '<em>VLS Variable</em>' class. |
@@ -453,7 +509,7 @@ public interface VampireLanguagePackage extends EPackage | |||
453 | * @generated | 509 | * @generated |
454 | * @ordered | 510 | * @ordered |
455 | */ | 511 | */ |
456 | int VLS_VARIABLE_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 1; | 512 | int VLS_VARIABLE_FEATURE_COUNT = VLS_VARIABLE_DECLARATION_FEATURE_COUNT + 2; |
457 | 513 | ||
458 | /** | 514 | /** |
459 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionAsTermImpl <em>VLS Function As Term</em>}' class. | 515 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionAsTermImpl <em>VLS Function As Term</em>}' class. |
@@ -463,7 +519,16 @@ public interface VampireLanguagePackage extends EPackage | |||
463 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunctionAsTerm() | 519 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunctionAsTerm() |
464 | * @generated | 520 | * @generated |
465 | */ | 521 | */ |
466 | int VLS_FUNCTION_AS_TERM = 11; | 522 | int VLS_FUNCTION_AS_TERM = 13; |
523 | |||
524 | /** | ||
525 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
526 | * <!-- begin-user-doc --> | ||
527 | * <!-- end-user-doc --> | ||
528 | * @generated | ||
529 | * @ordered | ||
530 | */ | ||
531 | int VLS_FUNCTION_AS_TERM__TYPE = VLS_TERM__TYPE; | ||
467 | 532 | ||
468 | /** | 533 | /** |
469 | * The feature id for the '<em><b>Functor</b></em>' attribute. | 534 | * The feature id for the '<em><b>Functor</b></em>' attribute. |
@@ -500,7 +565,16 @@ public interface VampireLanguagePackage extends EPackage | |||
500 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDefinedTerm() | 565 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDefinedTerm() |
501 | * @generated | 566 | * @generated |
502 | */ | 567 | */ |
503 | int VLS_DEFINED_TERM = 12; | 568 | int VLS_DEFINED_TERM = 14; |
569 | |||
570 | /** | ||
571 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
572 | * <!-- begin-user-doc --> | ||
573 | * <!-- end-user-doc --> | ||
574 | * @generated | ||
575 | * @ordered | ||
576 | */ | ||
577 | int VLS_DEFINED_TERM__TYPE = VLS_TERM__TYPE; | ||
504 | 578 | ||
505 | /** | 579 | /** |
506 | * The feature id for the '<em><b>Value</b></em>' attribute. | 580 | * The feature id for the '<em><b>Value</b></em>' attribute. |
@@ -521,6 +595,91 @@ public interface VampireLanguagePackage extends EPackage | |||
521 | int VLS_DEFINED_TERM_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 1; | 595 | int VLS_DEFINED_TERM_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 1; |
522 | 596 | ||
523 | /** | 597 | /** |
598 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSSatisfiableImpl <em>VLS Satisfiable</em>}' class. | ||
599 | * <!-- begin-user-doc --> | ||
600 | * <!-- end-user-doc --> | ||
601 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSSatisfiableImpl | ||
602 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSSatisfiable() | ||
603 | * @generated | ||
604 | */ | ||
605 | int VLS_SATISFIABLE = 15; | ||
606 | |||
607 | /** | ||
608 | * The number of structural features of the '<em>VLS Satisfiable</em>' class. | ||
609 | * <!-- begin-user-doc --> | ||
610 | * <!-- end-user-doc --> | ||
611 | * @generated | ||
612 | * @ordered | ||
613 | */ | ||
614 | int VLS_SATISFIABLE_FEATURE_COUNT = VLS_CONFIRMATIONS_FEATURE_COUNT + 0; | ||
615 | |||
616 | /** | ||
617 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSWarningImpl <em>VLS Warning</em>}' class. | ||
618 | * <!-- begin-user-doc --> | ||
619 | * <!-- end-user-doc --> | ||
620 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSWarningImpl | ||
621 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSWarning() | ||
622 | * @generated | ||
623 | */ | ||
624 | int VLS_WARNING = 16; | ||
625 | |||
626 | /** | ||
627 | * The number of structural features of the '<em>VLS Warning</em>' class. | ||
628 | * <!-- begin-user-doc --> | ||
629 | * <!-- end-user-doc --> | ||
630 | * @generated | ||
631 | * @ordered | ||
632 | */ | ||
633 | int VLS_WARNING_FEATURE_COUNT = VLS_CONFIRMATIONS_FEATURE_COUNT + 0; | ||
634 | |||
635 | /** | ||
636 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl <em>VLS Trying</em>}' class. | ||
637 | * <!-- begin-user-doc --> | ||
638 | * <!-- end-user-doc --> | ||
639 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl | ||
640 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrying() | ||
641 | * @generated | ||
642 | */ | ||
643 | int VLS_TRYING = 17; | ||
644 | |||
645 | /** | ||
646 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
647 | * <!-- begin-user-doc --> | ||
648 | * <!-- end-user-doc --> | ||
649 | * @generated | ||
650 | * @ordered | ||
651 | */ | ||
652 | int VLS_TRYING__NAME = VLS_CONFIRMATIONS_FEATURE_COUNT + 0; | ||
653 | |||
654 | /** | ||
655 | * The number of structural features of the '<em>VLS Trying</em>' class. | ||
656 | * <!-- begin-user-doc --> | ||
657 | * <!-- end-user-doc --> | ||
658 | * @generated | ||
659 | * @ordered | ||
660 | */ | ||
661 | int VLS_TRYING_FEATURE_COUNT = VLS_CONFIRMATIONS_FEATURE_COUNT + 1; | ||
662 | |||
663 | /** | ||
664 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFiniteModelImpl <em>VLS Finite Model</em>}' class. | ||
665 | * <!-- begin-user-doc --> | ||
666 | * <!-- end-user-doc --> | ||
667 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFiniteModelImpl | ||
668 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFiniteModel() | ||
669 | * @generated | ||
670 | */ | ||
671 | int VLS_FINITE_MODEL = 18; | ||
672 | |||
673 | /** | ||
674 | * The number of structural features of the '<em>VLS Finite Model</em>' class. | ||
675 | * <!-- begin-user-doc --> | ||
676 | * <!-- end-user-doc --> | ||
677 | * @generated | ||
678 | * @ordered | ||
679 | */ | ||
680 | int VLS_FINITE_MODEL_FEATURE_COUNT = VLS_CONFIRMATIONS_FEATURE_COUNT + 0; | ||
681 | |||
682 | /** | ||
524 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEquivalentImpl <em>VLS Equivalent</em>}' class. | 683 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEquivalentImpl <em>VLS Equivalent</em>}' class. |
525 | * <!-- begin-user-doc --> | 684 | * <!-- begin-user-doc --> |
526 | * <!-- end-user-doc --> | 685 | * <!-- end-user-doc --> |
@@ -528,7 +687,16 @@ public interface VampireLanguagePackage extends EPackage | |||
528 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquivalent() | 687 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquivalent() |
529 | * @generated | 688 | * @generated |
530 | */ | 689 | */ |
531 | int VLS_EQUIVALENT = 13; | 690 | int VLS_EQUIVALENT = 19; |
691 | |||
692 | /** | ||
693 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
694 | * <!-- begin-user-doc --> | ||
695 | * <!-- end-user-doc --> | ||
696 | * @generated | ||
697 | * @ordered | ||
698 | */ | ||
699 | int VLS_EQUIVALENT__TYPE = VLS_TERM__TYPE; | ||
532 | 700 | ||
533 | /** | 701 | /** |
534 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 702 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -565,7 +733,16 @@ public interface VampireLanguagePackage extends EPackage | |||
565 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSImplies() | 733 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSImplies() |
566 | * @generated | 734 | * @generated |
567 | */ | 735 | */ |
568 | int VLS_IMPLIES = 14; | 736 | int VLS_IMPLIES = 20; |
737 | |||
738 | /** | ||
739 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
740 | * <!-- begin-user-doc --> | ||
741 | * <!-- end-user-doc --> | ||
742 | * @generated | ||
743 | * @ordered | ||
744 | */ | ||
745 | int VLS_IMPLIES__TYPE = VLS_TERM__TYPE; | ||
569 | 746 | ||
570 | /** | 747 | /** |
571 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 748 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -602,7 +779,16 @@ public interface VampireLanguagePackage extends EPackage | |||
602 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRevImplies() | 779 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRevImplies() |
603 | * @generated | 780 | * @generated |
604 | */ | 781 | */ |
605 | int VLS_REV_IMPLIES = 15; | 782 | int VLS_REV_IMPLIES = 21; |
783 | |||
784 | /** | ||
785 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
786 | * <!-- begin-user-doc --> | ||
787 | * <!-- end-user-doc --> | ||
788 | * @generated | ||
789 | * @ordered | ||
790 | */ | ||
791 | int VLS_REV_IMPLIES__TYPE = VLS_TERM__TYPE; | ||
606 | 792 | ||
607 | /** | 793 | /** |
608 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 794 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -639,7 +825,16 @@ public interface VampireLanguagePackage extends EPackage | |||
639 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSXnor() | 825 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSXnor() |
640 | * @generated | 826 | * @generated |
641 | */ | 827 | */ |
642 | int VLS_XNOR = 16; | 828 | int VLS_XNOR = 22; |
829 | |||
830 | /** | ||
831 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
832 | * <!-- begin-user-doc --> | ||
833 | * <!-- end-user-doc --> | ||
834 | * @generated | ||
835 | * @ordered | ||
836 | */ | ||
837 | int VLS_XNOR__TYPE = VLS_TERM__TYPE; | ||
643 | 838 | ||
644 | /** | 839 | /** |
645 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 840 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -676,7 +871,16 @@ public interface VampireLanguagePackage extends EPackage | |||
676 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNor() | 871 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNor() |
677 | * @generated | 872 | * @generated |
678 | */ | 873 | */ |
679 | int VLS_NOR = 17; | 874 | int VLS_NOR = 23; |
875 | |||
876 | /** | ||
877 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
878 | * <!-- begin-user-doc --> | ||
879 | * <!-- end-user-doc --> | ||
880 | * @generated | ||
881 | * @ordered | ||
882 | */ | ||
883 | int VLS_NOR__TYPE = VLS_TERM__TYPE; | ||
680 | 884 | ||
681 | /** | 885 | /** |
682 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 886 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -713,7 +917,16 @@ public interface VampireLanguagePackage extends EPackage | |||
713 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNand() | 917 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNand() |
714 | * @generated | 918 | * @generated |
715 | */ | 919 | */ |
716 | int VLS_NAND = 18; | 920 | int VLS_NAND = 24; |
921 | |||
922 | /** | ||
923 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
924 | * <!-- begin-user-doc --> | ||
925 | * <!-- end-user-doc --> | ||
926 | * @generated | ||
927 | * @ordered | ||
928 | */ | ||
929 | int VLS_NAND__TYPE = VLS_TERM__TYPE; | ||
717 | 930 | ||
718 | /** | 931 | /** |
719 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 932 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -750,7 +963,16 @@ public interface VampireLanguagePackage extends EPackage | |||
750 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnd() | 963 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnd() |
751 | * @generated | 964 | * @generated |
752 | */ | 965 | */ |
753 | int VLS_AND = 19; | 966 | int VLS_AND = 25; |
967 | |||
968 | /** | ||
969 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
970 | * <!-- begin-user-doc --> | ||
971 | * <!-- end-user-doc --> | ||
972 | * @generated | ||
973 | * @ordered | ||
974 | */ | ||
975 | int VLS_AND__TYPE = VLS_TERM__TYPE; | ||
754 | 976 | ||
755 | /** | 977 | /** |
756 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 978 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -787,7 +1009,16 @@ public interface VampireLanguagePackage extends EPackage | |||
787 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSOr() | 1009 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSOr() |
788 | * @generated | 1010 | * @generated |
789 | */ | 1011 | */ |
790 | int VLS_OR = 20; | 1012 | int VLS_OR = 26; |
1013 | |||
1014 | /** | ||
1015 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1016 | * <!-- begin-user-doc --> | ||
1017 | * <!-- end-user-doc --> | ||
1018 | * @generated | ||
1019 | * @ordered | ||
1020 | */ | ||
1021 | int VLS_OR__TYPE = VLS_TERM__TYPE; | ||
791 | 1022 | ||
792 | /** | 1023 | /** |
793 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 1024 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -824,7 +1055,16 @@ public interface VampireLanguagePackage extends EPackage | |||
824 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUniversalQuantifier() | 1055 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUniversalQuantifier() |
825 | * @generated | 1056 | * @generated |
826 | */ | 1057 | */ |
827 | int VLS_UNIVERSAL_QUANTIFIER = 21; | 1058 | int VLS_UNIVERSAL_QUANTIFIER = 27; |
1059 | |||
1060 | /** | ||
1061 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1062 | * <!-- begin-user-doc --> | ||
1063 | * <!-- end-user-doc --> | ||
1064 | * @generated | ||
1065 | * @ordered | ||
1066 | */ | ||
1067 | int VLS_UNIVERSAL_QUANTIFIER__TYPE = VLS_TERM__TYPE; | ||
828 | 1068 | ||
829 | /** | 1069 | /** |
830 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. | 1070 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. |
@@ -861,7 +1101,16 @@ public interface VampireLanguagePackage extends EPackage | |||
861 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSExistentialQuantifier() | 1101 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSExistentialQuantifier() |
862 | * @generated | 1102 | * @generated |
863 | */ | 1103 | */ |
864 | int VLS_EXISTENTIAL_QUANTIFIER = 22; | 1104 | int VLS_EXISTENTIAL_QUANTIFIER = 28; |
1105 | |||
1106 | /** | ||
1107 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1108 | * <!-- begin-user-doc --> | ||
1109 | * <!-- end-user-doc --> | ||
1110 | * @generated | ||
1111 | * @ordered | ||
1112 | */ | ||
1113 | int VLS_EXISTENTIAL_QUANTIFIER__TYPE = VLS_TERM__TYPE; | ||
865 | 1114 | ||
866 | /** | 1115 | /** |
867 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. | 1116 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. |
@@ -898,7 +1147,16 @@ public interface VampireLanguagePackage extends EPackage | |||
898 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUnaryNegation() | 1147 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUnaryNegation() |
899 | * @generated | 1148 | * @generated |
900 | */ | 1149 | */ |
901 | int VLS_UNARY_NEGATION = 23; | 1150 | int VLS_UNARY_NEGATION = 29; |
1151 | |||
1152 | /** | ||
1153 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1154 | * <!-- begin-user-doc --> | ||
1155 | * <!-- end-user-doc --> | ||
1156 | * @generated | ||
1157 | * @ordered | ||
1158 | */ | ||
1159 | int VLS_UNARY_NEGATION__TYPE = VLS_TERM__TYPE; | ||
902 | 1160 | ||
903 | /** | 1161 | /** |
904 | * The feature id for the '<em><b>Operand</b></em>' containment reference. | 1162 | * The feature id for the '<em><b>Operand</b></em>' containment reference. |
@@ -926,7 +1184,16 @@ public interface VampireLanguagePackage extends EPackage | |||
926 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInequality() | 1184 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInequality() |
927 | * @generated | 1185 | * @generated |
928 | */ | 1186 | */ |
929 | int VLS_INEQUALITY = 24; | 1187 | int VLS_INEQUALITY = 30; |
1188 | |||
1189 | /** | ||
1190 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1191 | * <!-- begin-user-doc --> | ||
1192 | * <!-- end-user-doc --> | ||
1193 | * @generated | ||
1194 | * @ordered | ||
1195 | */ | ||
1196 | int VLS_INEQUALITY__TYPE = VLS_TERM__TYPE; | ||
930 | 1197 | ||
931 | /** | 1198 | /** |
932 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 1199 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -963,7 +1230,16 @@ public interface VampireLanguagePackage extends EPackage | |||
963 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquality() | 1230 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquality() |
964 | * @generated | 1231 | * @generated |
965 | */ | 1232 | */ |
966 | int VLS_EQUALITY = 25; | 1233 | int VLS_EQUALITY = 31; |
1234 | |||
1235 | /** | ||
1236 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1237 | * <!-- begin-user-doc --> | ||
1238 | * <!-- end-user-doc --> | ||
1239 | * @generated | ||
1240 | * @ordered | ||
1241 | */ | ||
1242 | int VLS_EQUALITY__TYPE = VLS_TERM__TYPE; | ||
967 | 1243 | ||
968 | /** | 1244 | /** |
969 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 1245 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -1000,7 +1276,16 @@ public interface VampireLanguagePackage extends EPackage | |||
1000 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAssignment() | 1276 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAssignment() |
1001 | * @generated | 1277 | * @generated |
1002 | */ | 1278 | */ |
1003 | int VLS_ASSIGNMENT = 26; | 1279 | int VLS_ASSIGNMENT = 32; |
1280 | |||
1281 | /** | ||
1282 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1283 | * <!-- begin-user-doc --> | ||
1284 | * <!-- end-user-doc --> | ||
1285 | * @generated | ||
1286 | * @ordered | ||
1287 | */ | ||
1288 | int VLS_ASSIGNMENT__TYPE = VLS_TERM__TYPE; | ||
1004 | 1289 | ||
1005 | /** | 1290 | /** |
1006 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 1291 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -1037,7 +1322,16 @@ public interface VampireLanguagePackage extends EPackage | |||
1037 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSConstant() | 1322 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSConstant() |
1038 | * @generated | 1323 | * @generated |
1039 | */ | 1324 | */ |
1040 | int VLS_CONSTANT = 27; | 1325 | int VLS_CONSTANT = 33; |
1326 | |||
1327 | /** | ||
1328 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1329 | * <!-- begin-user-doc --> | ||
1330 | * <!-- end-user-doc --> | ||
1331 | * @generated | ||
1332 | * @ordered | ||
1333 | */ | ||
1334 | int VLS_CONSTANT__TYPE = VLS_TERM__TYPE; | ||
1041 | 1335 | ||
1042 | /** | 1336 | /** |
1043 | * The feature id for the '<em><b>Name</b></em>' attribute. | 1337 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -1065,7 +1359,16 @@ public interface VampireLanguagePackage extends EPackage | |||
1065 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrue() | 1359 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrue() |
1066 | * @generated | 1360 | * @generated |
1067 | */ | 1361 | */ |
1068 | int VLS_TRUE = 28; | 1362 | int VLS_TRUE = 34; |
1363 | |||
1364 | /** | ||
1365 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1366 | * <!-- begin-user-doc --> | ||
1367 | * <!-- end-user-doc --> | ||
1368 | * @generated | ||
1369 | * @ordered | ||
1370 | */ | ||
1371 | int VLS_TRUE__TYPE = VLS_TERM__TYPE; | ||
1069 | 1372 | ||
1070 | /** | 1373 | /** |
1071 | * The number of structural features of the '<em>VLS True</em>' class. | 1374 | * The number of structural features of the '<em>VLS True</em>' class. |
@@ -1084,7 +1387,16 @@ public interface VampireLanguagePackage extends EPackage | |||
1084 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFalse() | 1387 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFalse() |
1085 | * @generated | 1388 | * @generated |
1086 | */ | 1389 | */ |
1087 | int VLS_FALSE = 29; | 1390 | int VLS_FALSE = 35; |
1391 | |||
1392 | /** | ||
1393 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1394 | * <!-- begin-user-doc --> | ||
1395 | * <!-- end-user-doc --> | ||
1396 | * @generated | ||
1397 | * @ordered | ||
1398 | */ | ||
1399 | int VLS_FALSE__TYPE = VLS_TERM__TYPE; | ||
1088 | 1400 | ||
1089 | /** | 1401 | /** |
1090 | * The number of structural features of the '<em>VLS False</em>' class. | 1402 | * The number of structural features of the '<em>VLS False</em>' class. |
@@ -1103,7 +1415,16 @@ public interface VampireLanguagePackage extends EPackage | |||
1103 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunction() | 1415 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunction() |
1104 | * @generated | 1416 | * @generated |
1105 | */ | 1417 | */ |
1106 | int VLS_FUNCTION = 30; | 1418 | int VLS_FUNCTION = 36; |
1419 | |||
1420 | /** | ||
1421 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1422 | * <!-- begin-user-doc --> | ||
1423 | * <!-- end-user-doc --> | ||
1424 | * @generated | ||
1425 | * @ordered | ||
1426 | */ | ||
1427 | int VLS_FUNCTION__TYPE = VLS_TERM__TYPE; | ||
1107 | 1428 | ||
1108 | /** | 1429 | /** |
1109 | * The feature id for the '<em><b>Constant</b></em>' attribute. | 1430 | * The feature id for the '<em><b>Constant</b></em>' attribute. |
@@ -1140,7 +1461,16 @@ public interface VampireLanguagePackage extends EPackage | |||
1140 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSLess() | 1461 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSLess() |
1141 | * @generated | 1462 | * @generated |
1142 | */ | 1463 | */ |
1143 | int VLS_LESS = 31; | 1464 | int VLS_LESS = 37; |
1465 | |||
1466 | /** | ||
1467 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1468 | * <!-- begin-user-doc --> | ||
1469 | * <!-- end-user-doc --> | ||
1470 | * @generated | ||
1471 | * @ordered | ||
1472 | */ | ||
1473 | int VLS_LESS__TYPE = VLS_TERM__TYPE; | ||
1144 | 1474 | ||
1145 | /** | 1475 | /** |
1146 | * The feature id for the '<em><b>Name</b></em>' attribute. | 1476 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -1177,35 +1507,16 @@ public interface VampireLanguagePackage extends EPackage | |||
1177 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInt() | 1507 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInt() |
1178 | * @generated | 1508 | * @generated |
1179 | */ | 1509 | */ |
1180 | int VLS_INT = 32; | 1510 | int VLS_INT = 38; |
1181 | 1511 | ||
1182 | /** | 1512 | /** |
1183 | * The feature id for the '<em><b>Value</b></em>' attribute. | 1513 | * The feature id for the '<em><b>Type</b></em>' containment reference. |
1184 | * <!-- begin-user-doc --> | 1514 | * <!-- begin-user-doc --> |
1185 | * <!-- end-user-doc --> | 1515 | * <!-- end-user-doc --> |
1186 | * @generated | 1516 | * @generated |
1187 | * @ordered | 1517 | * @ordered |
1188 | */ | 1518 | */ |
1189 | int VLS_INT__VALUE = VLS_DEFINED_TERM__VALUE; | 1519 | int VLS_INT__TYPE = VLS_DEFINED_TERM__TYPE; |
1190 | |||
1191 | /** | ||
1192 | * The number of structural features of the '<em>VLS Int</em>' class. | ||
1193 | * <!-- begin-user-doc --> | ||
1194 | * <!-- end-user-doc --> | ||
1195 | * @generated | ||
1196 | * @ordered | ||
1197 | */ | ||
1198 | int VLS_INT_FEATURE_COUNT = VLS_DEFINED_TERM_FEATURE_COUNT + 0; | ||
1199 | |||
1200 | /** | ||
1201 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRealImpl <em>VLS Real</em>}' class. | ||
1202 | * <!-- begin-user-doc --> | ||
1203 | * <!-- end-user-doc --> | ||
1204 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRealImpl | ||
1205 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSReal() | ||
1206 | * @generated | ||
1207 | */ | ||
1208 | int VLS_REAL = 33; | ||
1209 | 1520 | ||
1210 | /** | 1521 | /** |
1211 | * The feature id for the '<em><b>Value</b></em>' attribute. | 1522 | * The feature id for the '<em><b>Value</b></em>' attribute. |
@@ -1214,54 +1525,35 @@ public interface VampireLanguagePackage extends EPackage | |||
1214 | * @generated | 1525 | * @generated |
1215 | * @ordered | 1526 | * @ordered |
1216 | */ | 1527 | */ |
1217 | int VLS_REAL__VALUE = VLS_DEFINED_TERM__VALUE; | 1528 | int VLS_INT__VALUE = VLS_DEFINED_TERM__VALUE; |
1218 | 1529 | ||
1219 | /** | 1530 | /** |
1220 | * The number of structural features of the '<em>VLS Real</em>' class. | 1531 | * The number of structural features of the '<em>VLS Int</em>' class. |
1221 | * <!-- begin-user-doc --> | 1532 | * <!-- begin-user-doc --> |
1222 | * <!-- end-user-doc --> | 1533 | * <!-- end-user-doc --> |
1223 | * @generated | 1534 | * @generated |
1224 | * @ordered | 1535 | * @ordered |
1225 | */ | 1536 | */ |
1226 | int VLS_REAL_FEATURE_COUNT = VLS_DEFINED_TERM_FEATURE_COUNT + 0; | 1537 | int VLS_INT_FEATURE_COUNT = VLS_DEFINED_TERM_FEATURE_COUNT + 0; |
1227 | |||
1228 | /** | ||
1229 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRationalImpl <em>VLS Rational</em>}' class. | ||
1230 | * <!-- begin-user-doc --> | ||
1231 | * <!-- end-user-doc --> | ||
1232 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRationalImpl | ||
1233 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRational() | ||
1234 | * @generated | ||
1235 | */ | ||
1236 | int VLS_RATIONAL = 34; | ||
1237 | 1538 | ||
1238 | /** | 1539 | /** |
1239 | * The feature id for the '<em><b>Value</b></em>' attribute. | 1540 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDoubleQuoteImpl <em>VLS Double Quote</em>}' class. |
1240 | * <!-- begin-user-doc --> | 1541 | * <!-- begin-user-doc --> |
1241 | * <!-- end-user-doc --> | 1542 | * <!-- end-user-doc --> |
1543 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDoubleQuoteImpl | ||
1544 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDoubleQuote() | ||
1242 | * @generated | 1545 | * @generated |
1243 | * @ordered | ||
1244 | */ | 1546 | */ |
1245 | int VLS_RATIONAL__VALUE = VLS_DEFINED_TERM__VALUE; | 1547 | int VLS_DOUBLE_QUOTE = 39; |
1246 | 1548 | ||
1247 | /** | 1549 | /** |
1248 | * The number of structural features of the '<em>VLS Rational</em>' class. | 1550 | * The feature id for the '<em><b>Type</b></em>' containment reference. |
1249 | * <!-- begin-user-doc --> | 1551 | * <!-- begin-user-doc --> |
1250 | * <!-- end-user-doc --> | 1552 | * <!-- end-user-doc --> |
1251 | * @generated | 1553 | * @generated |
1252 | * @ordered | 1554 | * @ordered |
1253 | */ | 1555 | */ |
1254 | int VLS_RATIONAL_FEATURE_COUNT = VLS_DEFINED_TERM_FEATURE_COUNT + 0; | 1556 | int VLS_DOUBLE_QUOTE__TYPE = VLS_DEFINED_TERM__TYPE; |
1255 | |||
1256 | /** | ||
1257 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDoubleQuoteImpl <em>VLS Double Quote</em>}' class. | ||
1258 | * <!-- begin-user-doc --> | ||
1259 | * <!-- end-user-doc --> | ||
1260 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDoubleQuoteImpl | ||
1261 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDoubleQuote() | ||
1262 | * @generated | ||
1263 | */ | ||
1264 | int VLS_DOUBLE_QUOTE = 35; | ||
1265 | 1557 | ||
1266 | /** | 1558 | /** |
1267 | * The feature id for the '<em><b>Value</b></em>' attribute. | 1559 | * The feature id for the '<em><b>Value</b></em>' attribute. |
@@ -1293,17 +1585,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1293 | EClass getVampireModel(); | 1585 | EClass getVampireModel(); |
1294 | 1586 | ||
1295 | /** | 1587 | /** |
1296 | * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getIncludes <em>Includes</em>}'. | ||
1297 | * <!-- begin-user-doc --> | ||
1298 | * <!-- end-user-doc --> | ||
1299 | * @return the meta object for the containment reference list '<em>Includes</em>'. | ||
1300 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getIncludes() | ||
1301 | * @see #getVampireModel() | ||
1302 | * @generated | ||
1303 | */ | ||
1304 | EReference getVampireModel_Includes(); | ||
1305 | |||
1306 | /** | ||
1307 | * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getComments <em>Comments</em>}'. | 1588 | * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getComments <em>Comments</em>}'. |
1308 | * <!-- begin-user-doc --> | 1589 | * <!-- begin-user-doc --> |
1309 | * <!-- end-user-doc --> | 1590 | * <!-- end-user-doc --> |
@@ -1348,59 +1629,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1348 | EReference getVampireModel_Tfformulas(); | 1629 | EReference getVampireModel_Tfformulas(); |
1349 | 1630 | ||
1350 | /** | 1631 | /** |
1351 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude <em>VLS Include</em>}'. | ||
1352 | * <!-- begin-user-doc --> | ||
1353 | * <!-- end-user-doc --> | ||
1354 | * @return the meta object for class '<em>VLS Include</em>'. | ||
1355 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude | ||
1356 | * @generated | ||
1357 | */ | ||
1358 | EClass getVLSInclude(); | ||
1359 | |||
1360 | /** | ||
1361 | * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude#getFileName <em>File Name</em>}'. | ||
1362 | * <!-- begin-user-doc --> | ||
1363 | * <!-- end-user-doc --> | ||
1364 | * @return the meta object for the attribute '<em>File Name</em>'. | ||
1365 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude#getFileName() | ||
1366 | * @see #getVLSInclude() | ||
1367 | * @generated | ||
1368 | */ | ||
1369 | EAttribute getVLSInclude_FileName(); | ||
1370 | |||
1371 | /** | ||
1372 | * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude#getNames <em>Names</em>}'. | ||
1373 | * <!-- begin-user-doc --> | ||
1374 | * <!-- end-user-doc --> | ||
1375 | * @return the meta object for the containment reference list '<em>Names</em>'. | ||
1376 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude#getNames() | ||
1377 | * @see #getVLSInclude() | ||
1378 | * @generated | ||
1379 | */ | ||
1380 | EReference getVLSInclude_Names(); | ||
1381 | |||
1382 | /** | ||
1383 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName <em>VLS Name</em>}'. | ||
1384 | * <!-- begin-user-doc --> | ||
1385 | * <!-- end-user-doc --> | ||
1386 | * @return the meta object for class '<em>VLS Name</em>'. | ||
1387 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName | ||
1388 | * @generated | ||
1389 | */ | ||
1390 | EClass getVLSName(); | ||
1391 | |||
1392 | /** | ||
1393 | * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName#getName <em>Name</em>}'. | ||
1394 | * <!-- begin-user-doc --> | ||
1395 | * <!-- end-user-doc --> | ||
1396 | * @return the meta object for the attribute '<em>Name</em>'. | ||
1397 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName#getName() | ||
1398 | * @see #getVLSName() | ||
1399 | * @generated | ||
1400 | */ | ||
1401 | EAttribute getVLSName_Name(); | ||
1402 | |||
1403 | /** | ||
1404 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment <em>VLS Comment</em>}'. | 1632 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment <em>VLS Comment</em>}'. |
1405 | * <!-- begin-user-doc --> | 1633 | * <!-- begin-user-doc --> |
1406 | * <!-- end-user-doc --> | 1634 | * <!-- end-user-doc --> |
@@ -1432,16 +1660,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1432 | EClass getVLSConfirmations(); | 1660 | EClass getVLSConfirmations(); |
1433 | 1661 | ||
1434 | /** | 1662 | /** |
1435 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable <em>VLS Satisfiable</em>}'. | ||
1436 | * <!-- begin-user-doc --> | ||
1437 | * <!-- end-user-doc --> | ||
1438 | * @return the meta object for class '<em>VLS Satisfiable</em>'. | ||
1439 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable | ||
1440 | * @generated | ||
1441 | */ | ||
1442 | EClass getVLSSatisfiable(); | ||
1443 | |||
1444 | /** | ||
1445 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'. | 1663 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'. |
1446 | * <!-- begin-user-doc --> | 1664 | * <!-- begin-user-doc --> |
1447 | * <!-- end-user-doc --> | 1665 | * <!-- end-user-doc --> |
@@ -1517,15 +1735,15 @@ public interface VampireLanguagePackage extends EPackage | |||
1517 | EAttribute getVLSTffFormula_Name(); | 1735 | EAttribute getVLSTffFormula_Name(); |
1518 | 1736 | ||
1519 | /** | 1737 | /** |
1520 | * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofRole <em>Fof Role</em>}'. | 1738 | * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getTffRole <em>Tff Role</em>}'. |
1521 | * <!-- begin-user-doc --> | 1739 | * <!-- begin-user-doc --> |
1522 | * <!-- end-user-doc --> | 1740 | * <!-- end-user-doc --> |
1523 | * @return the meta object for the attribute '<em>Fof Role</em>'. | 1741 | * @return the meta object for the attribute '<em>Tff Role</em>'. |
1524 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofRole() | 1742 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getTffRole() |
1525 | * @see #getVLSTffFormula() | 1743 | * @see #getVLSTffFormula() |
1526 | * @generated | 1744 | * @generated |
1527 | */ | 1745 | */ |
1528 | EAttribute getVLSTffFormula_FofRole(); | 1746 | EAttribute getVLSTffFormula_TffRole(); |
1529 | 1747 | ||
1530 | /** | 1748 | /** |
1531 | * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofFormula <em>Fof Formula</em>}'. | 1749 | * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofFormula <em>Fof Formula</em>}'. |
@@ -1593,6 +1811,100 @@ public interface VampireLanguagePackage extends EPackage | |||
1593 | EReference getVLSAnnotation_Terms(); | 1811 | EReference getVLSAnnotation_Terms(); |
1594 | 1812 | ||
1595 | /** | 1813 | /** |
1814 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffTerm <em>VLS Tff Term</em>}'. | ||
1815 | * <!-- begin-user-doc --> | ||
1816 | * <!-- end-user-doc --> | ||
1817 | * @return the meta object for class '<em>VLS Tff Term</em>'. | ||
1818 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffTerm | ||
1819 | * @generated | ||
1820 | */ | ||
1821 | EClass getVLSTffTerm(); | ||
1822 | |||
1823 | /** | ||
1824 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration <em>VLS Declaration</em>}'. | ||
1825 | * <!-- begin-user-doc --> | ||
1826 | * <!-- end-user-doc --> | ||
1827 | * @return the meta object for class '<em>VLS Declaration</em>'. | ||
1828 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration | ||
1829 | * @generated | ||
1830 | */ | ||
1831 | EClass getVLSDeclaration(); | ||
1832 | |||
1833 | /** | ||
1834 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration <em>VLS Other Declaration</em>}'. | ||
1835 | * <!-- begin-user-doc --> | ||
1836 | * <!-- end-user-doc --> | ||
1837 | * @return the meta object for class '<em>VLS Other Declaration</em>'. | ||
1838 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration | ||
1839 | * @generated | ||
1840 | */ | ||
1841 | EClass getVLSOtherDeclaration(); | ||
1842 | |||
1843 | /** | ||
1844 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration <em>VLS Variable Declaration</em>}'. | ||
1845 | * <!-- begin-user-doc --> | ||
1846 | * <!-- end-user-doc --> | ||
1847 | * @return the meta object for class '<em>VLS Variable Declaration</em>'. | ||
1848 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration | ||
1849 | * @generated | ||
1850 | */ | ||
1851 | EClass getVLSVariableDeclaration(); | ||
1852 | |||
1853 | /** | ||
1854 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef <em>VLS Type Def</em>}'. | ||
1855 | * <!-- begin-user-doc --> | ||
1856 | * <!-- end-user-doc --> | ||
1857 | * @return the meta object for class '<em>VLS Type Def</em>'. | ||
1858 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef | ||
1859 | * @generated | ||
1860 | */ | ||
1861 | EClass getVLSTypeDef(); | ||
1862 | |||
1863 | /** | ||
1864 | * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getTypeSig <em>Type Sig</em>}'. | ||
1865 | * <!-- begin-user-doc --> | ||
1866 | * <!-- end-user-doc --> | ||
1867 | * @return the meta object for the containment reference '<em>Type Sig</em>'. | ||
1868 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getTypeSig() | ||
1869 | * @see #getVLSTypeDef() | ||
1870 | * @generated | ||
1871 | */ | ||
1872 | EReference getVLSTypeDef_TypeSig(); | ||
1873 | |||
1874 | /** | ||
1875 | * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getMapsTo <em>Maps To</em>}'. | ||
1876 | * <!-- begin-user-doc --> | ||
1877 | * <!-- end-user-doc --> | ||
1878 | * @return the meta object for the containment reference '<em>Maps To</em>'. | ||
1879 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getMapsTo() | ||
1880 | * @see #getVLSTypeDef() | ||
1881 | * @generated | ||
1882 | */ | ||
1883 | EReference getVLSTypeDef_MapsTo(); | ||
1884 | |||
1885 | /** | ||
1886 | * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getInitType <em>Init Type</em>}'. | ||
1887 | * <!-- begin-user-doc --> | ||
1888 | * <!-- end-user-doc --> | ||
1889 | * @return the meta object for the containment reference '<em>Init Type</em>'. | ||
1890 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getInitType() | ||
1891 | * @see #getVLSTypeDef() | ||
1892 | * @generated | ||
1893 | */ | ||
1894 | EReference getVLSTypeDef_InitType(); | ||
1895 | |||
1896 | /** | ||
1897 | * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getNextType <em>Next Type</em>}'. | ||
1898 | * <!-- begin-user-doc --> | ||
1899 | * <!-- end-user-doc --> | ||
1900 | * @return the meta object for the containment reference '<em>Next Type</em>'. | ||
1901 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef#getNextType() | ||
1902 | * @see #getVLSTypeDef() | ||
1903 | * @generated | ||
1904 | */ | ||
1905 | EReference getVLSTypeDef_NextType(); | ||
1906 | |||
1907 | /** | ||
1596 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm <em>VLS Term</em>}'. | 1908 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm <em>VLS Term</em>}'. |
1597 | * <!-- begin-user-doc --> | 1909 | * <!-- begin-user-doc --> |
1598 | * <!-- end-user-doc --> | 1910 | * <!-- end-user-doc --> |
@@ -1603,6 +1915,17 @@ public interface VampireLanguagePackage extends EPackage | |||
1603 | EClass getVLSTerm(); | 1915 | EClass getVLSTerm(); |
1604 | 1916 | ||
1605 | /** | 1917 | /** |
1918 | * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm#getType <em>Type</em>}'. | ||
1919 | * <!-- begin-user-doc --> | ||
1920 | * <!-- end-user-doc --> | ||
1921 | * @return the meta object for the containment reference '<em>Type</em>'. | ||
1922 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm#getType() | ||
1923 | * @see #getVLSTerm() | ||
1924 | * @generated | ||
1925 | */ | ||
1926 | EReference getVLSTerm_Type(); | ||
1927 | |||
1928 | /** | ||
1606 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable <em>VLS Variable</em>}'. | 1929 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable <em>VLS Variable</em>}'. |
1607 | * <!-- begin-user-doc --> | 1930 | * <!-- begin-user-doc --> |
1608 | * <!-- end-user-doc --> | 1931 | * <!-- end-user-doc --> |
@@ -1677,6 +2000,57 @@ public interface VampireLanguagePackage extends EPackage | |||
1677 | EAttribute getVLSDefinedTerm_Value(); | 2000 | EAttribute getVLSDefinedTerm_Value(); |
1678 | 2001 | ||
1679 | /** | 2002 | /** |
2003 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable <em>VLS Satisfiable</em>}'. | ||
2004 | * <!-- begin-user-doc --> | ||
2005 | * <!-- end-user-doc --> | ||
2006 | * @return the meta object for class '<em>VLS Satisfiable</em>'. | ||
2007 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable | ||
2008 | * @generated | ||
2009 | */ | ||
2010 | EClass getVLSSatisfiable(); | ||
2011 | |||
2012 | /** | ||
2013 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSWarning <em>VLS Warning</em>}'. | ||
2014 | * <!-- begin-user-doc --> | ||
2015 | * <!-- end-user-doc --> | ||
2016 | * @return the meta object for class '<em>VLS Warning</em>'. | ||
2017 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSWarning | ||
2018 | * @generated | ||
2019 | */ | ||
2020 | EClass getVLSWarning(); | ||
2021 | |||
2022 | /** | ||
2023 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying <em>VLS Trying</em>}'. | ||
2024 | * <!-- begin-user-doc --> | ||
2025 | * <!-- end-user-doc --> | ||
2026 | * @return the meta object for class '<em>VLS Trying</em>'. | ||
2027 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying | ||
2028 | * @generated | ||
2029 | */ | ||
2030 | EClass getVLSTrying(); | ||
2031 | |||
2032 | /** | ||
2033 | * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying#getName <em>Name</em>}'. | ||
2034 | * <!-- begin-user-doc --> | ||
2035 | * <!-- end-user-doc --> | ||
2036 | * @return the meta object for the attribute '<em>Name</em>'. | ||
2037 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying#getName() | ||
2038 | * @see #getVLSTrying() | ||
2039 | * @generated | ||
2040 | */ | ||
2041 | EAttribute getVLSTrying_Name(); | ||
2042 | |||
2043 | /** | ||
2044 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel <em>VLS Finite Model</em>}'. | ||
2045 | * <!-- begin-user-doc --> | ||
2046 | * <!-- end-user-doc --> | ||
2047 | * @return the meta object for class '<em>VLS Finite Model</em>'. | ||
2048 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel | ||
2049 | * @generated | ||
2050 | */ | ||
2051 | EClass getVLSFiniteModel(); | ||
2052 | |||
2053 | /** | ||
1680 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent <em>VLS Equivalent</em>}'. | 2054 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent <em>VLS Equivalent</em>}'. |
1681 | * <!-- begin-user-doc --> | 2055 | * <!-- begin-user-doc --> |
1682 | * <!-- end-user-doc --> | 2056 | * <!-- end-user-doc --> |
@@ -2229,26 +2603,6 @@ public interface VampireLanguagePackage extends EPackage | |||
2229 | EClass getVLSInt(); | 2603 | EClass getVLSInt(); |
2230 | 2604 | ||
2231 | /** | 2605 | /** |
2232 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal <em>VLS Real</em>}'. | ||
2233 | * <!-- begin-user-doc --> | ||
2234 | * <!-- end-user-doc --> | ||
2235 | * @return the meta object for class '<em>VLS Real</em>'. | ||
2236 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal | ||
2237 | * @generated | ||
2238 | */ | ||
2239 | EClass getVLSReal(); | ||
2240 | |||
2241 | /** | ||
2242 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational <em>VLS Rational</em>}'. | ||
2243 | * <!-- begin-user-doc --> | ||
2244 | * <!-- end-user-doc --> | ||
2245 | * @return the meta object for class '<em>VLS Rational</em>'. | ||
2246 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational | ||
2247 | * @generated | ||
2248 | */ | ||
2249 | EClass getVLSRational(); | ||
2250 | |||
2251 | /** | ||
2252 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote <em>VLS Double Quote</em>}'. | 2606 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote <em>VLS Double Quote</em>}'. |
2253 | * <!-- begin-user-doc --> | 2607 | * <!-- begin-user-doc --> |
2254 | * <!-- end-user-doc --> | 2608 | * <!-- end-user-doc --> |
@@ -2292,14 +2646,6 @@ public interface VampireLanguagePackage extends EPackage | |||
2292 | EClass VAMPIRE_MODEL = eINSTANCE.getVampireModel(); | 2646 | EClass VAMPIRE_MODEL = eINSTANCE.getVampireModel(); |
2293 | 2647 | ||
2294 | /** | 2648 | /** |
2295 | * The meta object literal for the '<em><b>Includes</b></em>' containment reference list feature. | ||
2296 | * <!-- begin-user-doc --> | ||
2297 | * <!-- end-user-doc --> | ||
2298 | * @generated | ||
2299 | */ | ||
2300 | EReference VAMPIRE_MODEL__INCLUDES = eINSTANCE.getVampireModel_Includes(); | ||
2301 | |||
2302 | /** | ||
2303 | * The meta object literal for the '<em><b>Comments</b></em>' containment reference list feature. | 2649 | * The meta object literal for the '<em><b>Comments</b></em>' containment reference list feature. |
2304 | * <!-- begin-user-doc --> | 2650 | * <!-- begin-user-doc --> |
2305 | * <!-- end-user-doc --> | 2651 | * <!-- end-user-doc --> |
@@ -2332,50 +2678,6 @@ public interface VampireLanguagePackage extends EPackage | |||
2332 | EReference VAMPIRE_MODEL__TFFORMULAS = eINSTANCE.getVampireModel_Tfformulas(); | 2678 | EReference VAMPIRE_MODEL__TFFORMULAS = eINSTANCE.getVampireModel_Tfformulas(); |
2333 | 2679 | ||
2334 | /** | 2680 | /** |
2335 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIncludeImpl <em>VLS Include</em>}' class. | ||
2336 | * <!-- begin-user-doc --> | ||
2337 | * <!-- end-user-doc --> | ||
2338 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIncludeImpl | ||
2339 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInclude() | ||
2340 | * @generated | ||
2341 | */ | ||
2342 | EClass VLS_INCLUDE = eINSTANCE.getVLSInclude(); | ||
2343 | |||
2344 | /** | ||
2345 | * The meta object literal for the '<em><b>File Name</b></em>' attribute feature. | ||
2346 | * <!-- begin-user-doc --> | ||
2347 | * <!-- end-user-doc --> | ||
2348 | * @generated | ||
2349 | */ | ||
2350 | EAttribute VLS_INCLUDE__FILE_NAME = eINSTANCE.getVLSInclude_FileName(); | ||
2351 | |||
2352 | /** | ||
2353 | * The meta object literal for the '<em><b>Names</b></em>' containment reference list feature. | ||
2354 | * <!-- begin-user-doc --> | ||
2355 | * <!-- end-user-doc --> | ||
2356 | * @generated | ||
2357 | */ | ||
2358 | EReference VLS_INCLUDE__NAMES = eINSTANCE.getVLSInclude_Names(); | ||
2359 | |||
2360 | /** | ||
2361 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNameImpl <em>VLS Name</em>}' class. | ||
2362 | * <!-- begin-user-doc --> | ||
2363 | * <!-- end-user-doc --> | ||
2364 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNameImpl | ||
2365 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSName() | ||
2366 | * @generated | ||
2367 | */ | ||
2368 | EClass VLS_NAME = eINSTANCE.getVLSName(); | ||
2369 | |||
2370 | /** | ||
2371 | * The meta object literal for the '<em><b>Name</b></em>' attribute feature. | ||
2372 | * <!-- begin-user-doc --> | ||
2373 | * <!-- end-user-doc --> | ||
2374 | * @generated | ||
2375 | */ | ||
2376 | EAttribute VLS_NAME__NAME = eINSTANCE.getVLSName_Name(); | ||
2377 | |||
2378 | /** | ||
2379 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSCommentImpl <em>VLS Comment</em>}' class. | 2681 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSCommentImpl <em>VLS Comment</em>}' class. |
2380 | * <!-- begin-user-doc --> | 2682 | * <!-- begin-user-doc --> |
2381 | * <!-- end-user-doc --> | 2683 | * <!-- end-user-doc --> |
@@ -2404,16 +2706,6 @@ public interface VampireLanguagePackage extends EPackage | |||
2404 | EClass VLS_CONFIRMATIONS = eINSTANCE.getVLSConfirmations(); | 2706 | EClass VLS_CONFIRMATIONS = eINSTANCE.getVLSConfirmations(); |
2405 | 2707 | ||
2406 | /** | 2708 | /** |
2407 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSSatisfiableImpl <em>VLS Satisfiable</em>}' class. | ||
2408 | * <!-- begin-user-doc --> | ||
2409 | * <!-- end-user-doc --> | ||
2410 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSSatisfiableImpl | ||
2411 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSSatisfiable() | ||
2412 | * @generated | ||
2413 | */ | ||
2414 | EClass VLS_SATISFIABLE = eINSTANCE.getVLSSatisfiable(); | ||
2415 | |||
2416 | /** | ||
2417 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl <em>VLS Fof Formula</em>}' class. | 2709 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl <em>VLS Fof Formula</em>}' class. |
2418 | * <!-- begin-user-doc --> | 2710 | * <!-- begin-user-doc --> |
2419 | * <!-- end-user-doc --> | 2711 | * <!-- end-user-doc --> |
@@ -2474,12 +2766,12 @@ public interface VampireLanguagePackage extends EPackage | |||
2474 | EAttribute VLS_TFF_FORMULA__NAME = eINSTANCE.getVLSTffFormula_Name(); | 2766 | EAttribute VLS_TFF_FORMULA__NAME = eINSTANCE.getVLSTffFormula_Name(); |
2475 | 2767 | ||
2476 | /** | 2768 | /** |
2477 | * The meta object literal for the '<em><b>Fof Role</b></em>' attribute feature. | 2769 | * The meta object literal for the '<em><b>Tff Role</b></em>' attribute feature. |
2478 | * <!-- begin-user-doc --> | 2770 | * <!-- begin-user-doc --> |
2479 | * <!-- end-user-doc --> | 2771 | * <!-- end-user-doc --> |
2480 | * @generated | 2772 | * @generated |
2481 | */ | 2773 | */ |
2482 | EAttribute VLS_TFF_FORMULA__FOF_ROLE = eINSTANCE.getVLSTffFormula_FofRole(); | 2774 | EAttribute VLS_TFF_FORMULA__TFF_ROLE = eINSTANCE.getVLSTffFormula_TffRole(); |
2483 | 2775 | ||
2484 | /** | 2776 | /** |
2485 | * The meta object literal for the '<em><b>Fof Formula</b></em>' containment reference feature. | 2777 | * The meta object literal for the '<em><b>Fof Formula</b></em>' containment reference feature. |
@@ -2532,6 +2824,88 @@ public interface VampireLanguagePackage extends EPackage | |||
2532 | EReference VLS_ANNOTATION__TERMS = eINSTANCE.getVLSAnnotation_Terms(); | 2824 | EReference VLS_ANNOTATION__TERMS = eINSTANCE.getVLSAnnotation_Terms(); |
2533 | 2825 | ||
2534 | /** | 2826 | /** |
2827 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffTermImpl <em>VLS Tff Term</em>}' class. | ||
2828 | * <!-- begin-user-doc --> | ||
2829 | * <!-- end-user-doc --> | ||
2830 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffTermImpl | ||
2831 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTffTerm() | ||
2832 | * @generated | ||
2833 | */ | ||
2834 | EClass VLS_TFF_TERM = eINSTANCE.getVLSTffTerm(); | ||
2835 | |||
2836 | /** | ||
2837 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDeclarationImpl <em>VLS Declaration</em>}' class. | ||
2838 | * <!-- begin-user-doc --> | ||
2839 | * <!-- end-user-doc --> | ||
2840 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDeclarationImpl | ||
2841 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDeclaration() | ||
2842 | * @generated | ||
2843 | */ | ||
2844 | EClass VLS_DECLARATION = eINSTANCE.getVLSDeclaration(); | ||
2845 | |||
2846 | /** | ||
2847 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOtherDeclarationImpl <em>VLS Other Declaration</em>}' class. | ||
2848 | * <!-- begin-user-doc --> | ||
2849 | * <!-- end-user-doc --> | ||
2850 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOtherDeclarationImpl | ||
2851 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSOtherDeclaration() | ||
2852 | * @generated | ||
2853 | */ | ||
2854 | EClass VLS_OTHER_DECLARATION = eINSTANCE.getVLSOtherDeclaration(); | ||
2855 | |||
2856 | /** | ||
2857 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableDeclarationImpl <em>VLS Variable Declaration</em>}' class. | ||
2858 | * <!-- begin-user-doc --> | ||
2859 | * <!-- end-user-doc --> | ||
2860 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableDeclarationImpl | ||
2861 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariableDeclaration() | ||
2862 | * @generated | ||
2863 | */ | ||
2864 | EClass VLS_VARIABLE_DECLARATION = eINSTANCE.getVLSVariableDeclaration(); | ||
2865 | |||
2866 | /** | ||
2867 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl <em>VLS Type Def</em>}' class. | ||
2868 | * <!-- begin-user-doc --> | ||
2869 | * <!-- end-user-doc --> | ||
2870 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl | ||
2871 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTypeDef() | ||
2872 | * @generated | ||
2873 | */ | ||
2874 | EClass VLS_TYPE_DEF = eINSTANCE.getVLSTypeDef(); | ||
2875 | |||
2876 | /** | ||
2877 | * The meta object literal for the '<em><b>Type Sig</b></em>' containment reference feature. | ||
2878 | * <!-- begin-user-doc --> | ||
2879 | * <!-- end-user-doc --> | ||
2880 | * @generated | ||
2881 | */ | ||
2882 | EReference VLS_TYPE_DEF__TYPE_SIG = eINSTANCE.getVLSTypeDef_TypeSig(); | ||
2883 | |||
2884 | /** | ||
2885 | * The meta object literal for the '<em><b>Maps To</b></em>' containment reference feature. | ||
2886 | * <!-- begin-user-doc --> | ||
2887 | * <!-- end-user-doc --> | ||
2888 | * @generated | ||
2889 | */ | ||
2890 | EReference VLS_TYPE_DEF__MAPS_TO = eINSTANCE.getVLSTypeDef_MapsTo(); | ||
2891 | |||
2892 | /** | ||
2893 | * The meta object literal for the '<em><b>Init Type</b></em>' containment reference feature. | ||
2894 | * <!-- begin-user-doc --> | ||
2895 | * <!-- end-user-doc --> | ||
2896 | * @generated | ||
2897 | */ | ||
2898 | EReference VLS_TYPE_DEF__INIT_TYPE = eINSTANCE.getVLSTypeDef_InitType(); | ||
2899 | |||
2900 | /** | ||
2901 | * The meta object literal for the '<em><b>Next Type</b></em>' containment reference feature. | ||
2902 | * <!-- begin-user-doc --> | ||
2903 | * <!-- end-user-doc --> | ||
2904 | * @generated | ||
2905 | */ | ||
2906 | EReference VLS_TYPE_DEF__NEXT_TYPE = eINSTANCE.getVLSTypeDef_NextType(); | ||
2907 | |||
2908 | /** | ||
2535 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl <em>VLS Term</em>}' class. | 2909 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl <em>VLS Term</em>}' class. |
2536 | * <!-- begin-user-doc --> | 2910 | * <!-- begin-user-doc --> |
2537 | * <!-- end-user-doc --> | 2911 | * <!-- end-user-doc --> |
@@ -2542,6 +2916,14 @@ public interface VampireLanguagePackage extends EPackage | |||
2542 | EClass VLS_TERM = eINSTANCE.getVLSTerm(); | 2916 | EClass VLS_TERM = eINSTANCE.getVLSTerm(); |
2543 | 2917 | ||
2544 | /** | 2918 | /** |
2919 | * The meta object literal for the '<em><b>Type</b></em>' containment reference feature. | ||
2920 | * <!-- begin-user-doc --> | ||
2921 | * <!-- end-user-doc --> | ||
2922 | * @generated | ||
2923 | */ | ||
2924 | EReference VLS_TERM__TYPE = eINSTANCE.getVLSTerm_Type(); | ||
2925 | |||
2926 | /** | ||
2545 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class. | 2927 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class. |
2546 | * <!-- begin-user-doc --> | 2928 | * <!-- begin-user-doc --> |
2547 | * <!-- end-user-doc --> | 2929 | * <!-- end-user-doc --> |
@@ -2604,6 +2986,54 @@ public interface VampireLanguagePackage extends EPackage | |||
2604 | EAttribute VLS_DEFINED_TERM__VALUE = eINSTANCE.getVLSDefinedTerm_Value(); | 2986 | EAttribute VLS_DEFINED_TERM__VALUE = eINSTANCE.getVLSDefinedTerm_Value(); |
2605 | 2987 | ||
2606 | /** | 2988 | /** |
2989 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSSatisfiableImpl <em>VLS Satisfiable</em>}' class. | ||
2990 | * <!-- begin-user-doc --> | ||
2991 | * <!-- end-user-doc --> | ||
2992 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSSatisfiableImpl | ||
2993 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSSatisfiable() | ||
2994 | * @generated | ||
2995 | */ | ||
2996 | EClass VLS_SATISFIABLE = eINSTANCE.getVLSSatisfiable(); | ||
2997 | |||
2998 | /** | ||
2999 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSWarningImpl <em>VLS Warning</em>}' class. | ||
3000 | * <!-- begin-user-doc --> | ||
3001 | * <!-- end-user-doc --> | ||
3002 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSWarningImpl | ||
3003 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSWarning() | ||
3004 | * @generated | ||
3005 | */ | ||
3006 | EClass VLS_WARNING = eINSTANCE.getVLSWarning(); | ||
3007 | |||
3008 | /** | ||
3009 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl <em>VLS Trying</em>}' class. | ||
3010 | * <!-- begin-user-doc --> | ||
3011 | * <!-- end-user-doc --> | ||
3012 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl | ||
3013 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrying() | ||
3014 | * @generated | ||
3015 | */ | ||
3016 | EClass VLS_TRYING = eINSTANCE.getVLSTrying(); | ||
3017 | |||
3018 | /** | ||
3019 | * The meta object literal for the '<em><b>Name</b></em>' attribute feature. | ||
3020 | * <!-- begin-user-doc --> | ||
3021 | * <!-- end-user-doc --> | ||
3022 | * @generated | ||
3023 | */ | ||
3024 | EAttribute VLS_TRYING__NAME = eINSTANCE.getVLSTrying_Name(); | ||
3025 | |||
3026 | /** | ||
3027 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFiniteModelImpl <em>VLS Finite Model</em>}' class. | ||
3028 | * <!-- begin-user-doc --> | ||
3029 | * <!-- end-user-doc --> | ||
3030 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFiniteModelImpl | ||
3031 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFiniteModel() | ||
3032 | * @generated | ||
3033 | */ | ||
3034 | EClass VLS_FINITE_MODEL = eINSTANCE.getVLSFiniteModel(); | ||
3035 | |||
3036 | /** | ||
2607 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEquivalentImpl <em>VLS Equivalent</em>}' class. | 3037 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEquivalentImpl <em>VLS Equivalent</em>}' class. |
2608 | * <!-- begin-user-doc --> | 3038 | * <!-- begin-user-doc --> |
2609 | * <!-- end-user-doc --> | 3039 | * <!-- end-user-doc --> |
@@ -3060,26 +3490,6 @@ public interface VampireLanguagePackage extends EPackage | |||
3060 | EClass VLS_INT = eINSTANCE.getVLSInt(); | 3490 | EClass VLS_INT = eINSTANCE.getVLSInt(); |
3061 | 3491 | ||
3062 | /** | 3492 | /** |
3063 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRealImpl <em>VLS Real</em>}' class. | ||
3064 | * <!-- begin-user-doc --> | ||
3065 | * <!-- end-user-doc --> | ||
3066 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRealImpl | ||
3067 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSReal() | ||
3068 | * @generated | ||
3069 | */ | ||
3070 | EClass VLS_REAL = eINSTANCE.getVLSReal(); | ||
3071 | |||
3072 | /** | ||
3073 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRationalImpl <em>VLS Rational</em>}' class. | ||
3074 | * <!-- begin-user-doc --> | ||
3075 | * <!-- end-user-doc --> | ||
3076 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRationalImpl | ||
3077 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRational() | ||
3078 | * @generated | ||
3079 | */ | ||
3080 | EClass VLS_RATIONAL = eINSTANCE.getVLSRational(); | ||
3081 | |||
3082 | /** | ||
3083 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDoubleQuoteImpl <em>VLS Double Quote</em>}' class. | 3493 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDoubleQuoteImpl <em>VLS Double Quote</em>}' class. |
3084 | * <!-- begin-user-doc --> | 3494 | * <!-- begin-user-doc --> |
3085 | * <!-- end-user-doc --> | 3495 | * <!-- end-user-doc --> |