aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java
diff options
context:
space:
mode:
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java393
1 files changed, 393 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java
new file mode 100644
index 00000000..0d438a05
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java
@@ -0,0 +1,393 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage;
4
5import org.eclipse.emf.ecore.EFactory;
6
7/**
8 * <!-- begin-user-doc -->
9 * The <b>Factory</b> for the model.
10 * It provides a create method for each non-abstract class of the model.
11 * <!-- end-user-doc -->
12 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage
13 * @generated
14 */
15public interface LogiclanguageFactory extends EFactory {
16 /**
17 * The singleton instance of the factory.
18 * <!-- begin-user-doc -->
19 * <!-- end-user-doc -->
20 * @generated
21 */
22 LogiclanguageFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguageFactoryImpl.init();
23
24 /**
25 * Returns a new object of class '<em>Defined Element</em>'.
26 * <!-- begin-user-doc -->
27 * <!-- end-user-doc -->
28 * @return a new object of class '<em>Defined Element</em>'.
29 * @generated
30 */
31 DefinedElement createDefinedElement();
32
33 /**
34 * Returns a new object of class '<em>Type Definition</em>'.
35 * <!-- begin-user-doc -->
36 * <!-- end-user-doc -->
37 * @return a new object of class '<em>Type Definition</em>'.
38 * @generated
39 */
40 TypeDefinition createTypeDefinition();
41
42 /**
43 * Returns a new object of class '<em>Complex Type Reference</em>'.
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @return a new object of class '<em>Complex Type Reference</em>'.
47 * @generated
48 */
49 ComplexTypeReference createComplexTypeReference();
50
51 /**
52 * Returns a new object of class '<em>Int Type Reference</em>'.
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @return a new object of class '<em>Int Type Reference</em>'.
56 * @generated
57 */
58 IntTypeReference createIntTypeReference();
59
60 /**
61 * Returns a new object of class '<em>Bool Type Reference</em>'.
62 * <!-- begin-user-doc -->
63 * <!-- end-user-doc -->
64 * @return a new object of class '<em>Bool Type Reference</em>'.
65 * @generated
66 */
67 BoolTypeReference createBoolTypeReference();
68
69 /**
70 * Returns a new object of class '<em>Real Type Reference</em>'.
71 * <!-- begin-user-doc -->
72 * <!-- end-user-doc -->
73 * @return a new object of class '<em>Real Type Reference</em>'.
74 * @generated
75 */
76 RealTypeReference createRealTypeReference();
77
78 /**
79 * Returns a new object of class '<em>Symbolic Value</em>'.
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @return a new object of class '<em>Symbolic Value</em>'.
83 * @generated
84 */
85 SymbolicValue createSymbolicValue();
86
87 /**
88 * Returns a new object of class '<em>Int Literal</em>'.
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @return a new object of class '<em>Int Literal</em>'.
92 * @generated
93 */
94 IntLiteral createIntLiteral();
95
96 /**
97 * Returns a new object of class '<em>Bool Literal</em>'.
98 * <!-- begin-user-doc -->
99 * <!-- end-user-doc -->
100 * @return a new object of class '<em>Bool Literal</em>'.
101 * @generated
102 */
103 BoolLiteral createBoolLiteral();
104
105 /**
106 * Returns a new object of class '<em>Real Literal</em>'.
107 * <!-- begin-user-doc -->
108 * <!-- end-user-doc -->
109 * @return a new object of class '<em>Real Literal</em>'.
110 * @generated
111 */
112 RealLiteral createRealLiteral();
113
114 /**
115 * Returns a new object of class '<em>Variable</em>'.
116 * <!-- begin-user-doc -->
117 * <!-- end-user-doc -->
118 * @return a new object of class '<em>Variable</em>'.
119 * @generated
120 */
121 Variable createVariable();
122
123 /**
124 * Returns a new object of class '<em>Exists</em>'.
125 * <!-- begin-user-doc -->
126 * <!-- end-user-doc -->
127 * @return a new object of class '<em>Exists</em>'.
128 * @generated
129 */
130 Exists createExists();
131
132 /**
133 * Returns a new object of class '<em>Forall</em>'.
134 * <!-- begin-user-doc -->
135 * <!-- end-user-doc -->
136 * @return a new object of class '<em>Forall</em>'.
137 * @generated
138 */
139 Forall createForall();
140
141 /**
142 * Returns a new object of class '<em>And</em>'.
143 * <!-- begin-user-doc -->
144 * <!-- end-user-doc -->
145 * @return a new object of class '<em>And</em>'.
146 * @generated
147 */
148 And createAnd();
149
150 /**
151 * Returns a new object of class '<em>Or</em>'.
152 * <!-- begin-user-doc -->
153 * <!-- end-user-doc -->
154 * @return a new object of class '<em>Or</em>'.
155 * @generated
156 */
157 Or createOr();
158
159 /**
160 * Returns a new object of class '<em>Impl</em>'.
161 * <!-- begin-user-doc -->
162 * <!-- end-user-doc -->
163 * @return a new object of class '<em>Impl</em>'.
164 * @generated
165 */
166 Impl createImpl();
167
168 /**
169 * Returns a new object of class '<em>Not</em>'.
170 * <!-- begin-user-doc -->
171 * <!-- end-user-doc -->
172 * @return a new object of class '<em>Not</em>'.
173 * @generated
174 */
175 Not createNot();
176
177 /**
178 * Returns a new object of class '<em>Iff</em>'.
179 * <!-- begin-user-doc -->
180 * <!-- end-user-doc -->
181 * @return a new object of class '<em>Iff</em>'.
182 * @generated
183 */
184 Iff createIff();
185
186 /**
187 * Returns a new object of class '<em>Equals</em>'.
188 * <!-- begin-user-doc -->
189 * <!-- end-user-doc -->
190 * @return a new object of class '<em>Equals</em>'.
191 * @generated
192 */
193 Equals createEquals();
194
195 /**
196 * Returns a new object of class '<em>Distinct</em>'.
197 * <!-- begin-user-doc -->
198 * <!-- end-user-doc -->
199 * @return a new object of class '<em>Distinct</em>'.
200 * @generated
201 */
202 Distinct createDistinct();
203
204 /**
205 * Returns a new object of class '<em>Less Than</em>'.
206 * <!-- begin-user-doc -->
207 * <!-- end-user-doc -->
208 * @return a new object of class '<em>Less Than</em>'.
209 * @generated
210 */
211 LessThan createLessThan();
212
213 /**
214 * Returns a new object of class '<em>More Than</em>'.
215 * <!-- begin-user-doc -->
216 * <!-- end-user-doc -->
217 * @return a new object of class '<em>More Than</em>'.
218 * @generated
219 */
220 MoreThan createMoreThan();
221
222 /**
223 * Returns a new object of class '<em>Less Or Equal Than</em>'.
224 * <!-- begin-user-doc -->
225 * <!-- end-user-doc -->
226 * @return a new object of class '<em>Less Or Equal Than</em>'.
227 * @generated
228 */
229 LessOrEqualThan createLessOrEqualThan();
230
231 /**
232 * Returns a new object of class '<em>More Or Equal Than</em>'.
233 * <!-- begin-user-doc -->
234 * <!-- end-user-doc -->
235 * @return a new object of class '<em>More Or Equal Than</em>'.
236 * @generated
237 */
238 MoreOrEqualThan createMoreOrEqualThan();
239
240 /**
241 * Returns a new object of class '<em>Plus</em>'.
242 * <!-- begin-user-doc -->
243 * <!-- end-user-doc -->
244 * @return a new object of class '<em>Plus</em>'.
245 * @generated
246 */
247 Plus createPlus();
248
249 /**
250 * Returns a new object of class '<em>Minus</em>'.
251 * <!-- begin-user-doc -->
252 * <!-- end-user-doc -->
253 * @return a new object of class '<em>Minus</em>'.
254 * @generated
255 */
256 Minus createMinus();
257
258 /**
259 * Returns a new object of class '<em>Multiply</em>'.
260 * <!-- begin-user-doc -->
261 * <!-- end-user-doc -->
262 * @return a new object of class '<em>Multiply</em>'.
263 * @generated
264 */
265 Multiply createMultiply();
266
267 /**
268 * Returns a new object of class '<em>Divison</em>'.
269 * <!-- begin-user-doc -->
270 * <!-- end-user-doc -->
271 * @return a new object of class '<em>Divison</em>'.
272 * @generated
273 */
274 Divison createDivison();
275
276 /**
277 * Returns a new object of class '<em>Mod</em>'.
278 * <!-- begin-user-doc -->
279 * <!-- end-user-doc -->
280 * @return a new object of class '<em>Mod</em>'.
281 * @generated
282 */
283 Mod createMod();
284
285 /**
286 * Returns a new object of class '<em>Assertion</em>'.
287 * <!-- begin-user-doc -->
288 * <!-- end-user-doc -->
289 * @return a new object of class '<em>Assertion</em>'.
290 * @generated
291 */
292 Assertion createAssertion();
293
294 /**
295 * Returns a new object of class '<em>Constant Definition</em>'.
296 * <!-- begin-user-doc -->
297 * <!-- end-user-doc -->
298 * @return a new object of class '<em>Constant Definition</em>'.
299 * @generated
300 */
301 ConstantDefinition createConstantDefinition();
302
303 /**
304 * Returns a new object of class '<em>Relation Definition</em>'.
305 * <!-- begin-user-doc -->
306 * <!-- end-user-doc -->
307 * @return a new object of class '<em>Relation Definition</em>'.
308 * @generated
309 */
310 RelationDefinition createRelationDefinition();
311
312 /**
313 * Returns a new object of class '<em>Function Definition</em>'.
314 * <!-- begin-user-doc -->
315 * <!-- end-user-doc -->
316 * @return a new object of class '<em>Function Definition</em>'.
317 * @generated
318 */
319 FunctionDefinition createFunctionDefinition();
320
321 /**
322 * Returns a new object of class '<em>If Then Else</em>'.
323 * <!-- begin-user-doc -->
324 * <!-- end-user-doc -->
325 * @return a new object of class '<em>If Then Else</em>'.
326 * @generated
327 */
328 IfThenElse createIfThenElse();
329
330 /**
331 * Returns a new object of class '<em>Constant Declaration</em>'.
332 * <!-- begin-user-doc -->
333 * <!-- end-user-doc -->
334 * @return a new object of class '<em>Constant Declaration</em>'.
335 * @generated
336 */
337 ConstantDeclaration createConstantDeclaration();
338
339 /**
340 * Returns a new object of class '<em>Relation Declaration</em>'.
341 * <!-- begin-user-doc -->
342 * <!-- end-user-doc -->
343 * @return a new object of class '<em>Relation Declaration</em>'.
344 * @generated
345 */
346 RelationDeclaration createRelationDeclaration();
347
348 /**
349 * Returns a new object of class '<em>Function Declaration</em>'.
350 * <!-- begin-user-doc -->
351 * <!-- end-user-doc -->
352 * @return a new object of class '<em>Function Declaration</em>'.
353 * @generated
354 */
355 FunctionDeclaration createFunctionDeclaration();
356
357 /**
358 * Returns a new object of class '<em>Type Declaration</em>'.
359 * <!-- begin-user-doc -->
360 * <!-- end-user-doc -->
361 * @return a new object of class '<em>Type Declaration</em>'.
362 * @generated
363 */
364 TypeDeclaration createTypeDeclaration();
365
366 /**
367 * Returns a new object of class '<em>Unknown Because Uninterpreted</em>'.
368 * <!-- begin-user-doc -->
369 * <!-- end-user-doc -->
370 * @return a new object of class '<em>Unknown Because Uninterpreted</em>'.
371 * @generated
372 */
373 UnknownBecauseUninterpreted createUnknownBecauseUninterpreted();
374
375 /**
376 * Returns a new object of class '<em>Instance Of</em>'.
377 * <!-- begin-user-doc -->
378 * <!-- end-user-doc -->
379 * @return a new object of class '<em>Instance Of</em>'.
380 * @generated
381 */
382 InstanceOf createInstanceOf();
383
384 /**
385 * Returns the package supported by this factory.
386 * <!-- begin-user-doc -->
387 * <!-- end-user-doc -->
388 * @return the package supported by this factory.
389 * @generated
390 */
391 LogiclanguagePackage getLogiclanguagePackage();
392
393} //LogiclanguageFactory
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 09:59:41 +0000