blob: bb97cbc96057542a1483c5153a00883f4d58af6d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
|
/**
*/
package org.eclipse.viatra.solver.language.model.problem;
import org.eclipse.emf.ecore.EFactory;
/**
* <!-- begin-user-doc -->
* The <b>Factory</b> for the model.
* It provides a create method for each non-abstract class of the model.
* <!-- end-user-doc -->
* @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage
* @generated
*/
public interface ProblemFactory extends EFactory {
/**
* The singleton instance of the factory.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
ProblemFactory eINSTANCE = org.eclipse.viatra.solver.language.model.problem.impl.ProblemFactoryImpl.init();
/**
* Returns a new object of class '<em>Problem</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Problem</em>'.
* @generated
*/
Problem createProblem();
/**
* Returns a new object of class '<em>Class Declaration</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Class Declaration</em>'.
* @generated
*/
ClassDeclaration createClassDeclaration();
/**
* Returns a new object of class '<em>Reference Declaration</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Reference Declaration</em>'.
* @generated
*/
ReferenceDeclaration createReferenceDeclaration();
/**
* Returns a new object of class '<em>Predicate Definition</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Predicate Definition</em>'.
* @generated
*/
PredicateDefinition createPredicateDefinition();
/**
* Returns a new object of class '<em>Parameter</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Parameter</em>'.
* @generated
*/
Parameter createParameter();
/**
* Returns a new object of class '<em>Conjunction</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Conjunction</em>'.
* @generated
*/
Conjunction createConjunction();
/**
* Returns a new object of class '<em>Atom</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Atom</em>'.
* @generated
*/
Atom createAtom();
/**
* Returns a new object of class '<em>Implicit Variable</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Implicit Variable</em>'.
* @generated
*/
ImplicitVariable createImplicitVariable();
/**
* Returns a new object of class '<em>Negative Literal</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Negative Literal</em>'.
* @generated
*/
NegativeLiteral createNegativeLiteral();
/**
* Returns a new object of class '<em>Assertion</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Assertion</em>'.
* @generated
*/
Assertion createAssertion();
/**
* Returns a new object of class '<em>Node</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Node</em>'.
* @generated
*/
Node createNode();
/**
* Returns a new object of class '<em>Scope Declaration</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Scope Declaration</em>'.
* @generated
*/
ScopeDeclaration createScopeDeclaration();
/**
* Returns a new object of class '<em>Type Scope</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Type Scope</em>'.
* @generated
*/
TypeScope createTypeScope();
/**
* Returns a new object of class '<em>Range Multiplicity</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Range Multiplicity</em>'.
* @generated
*/
RangeMultiplicity createRangeMultiplicity();
/**
* Returns a new object of class '<em>Exact Multiplicity</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Exact Multiplicity</em>'.
* @generated
*/
ExactMultiplicity createExactMultiplicity();
/**
* Returns a new object of class '<em>Unbounded Multiplicity</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Unbounded Multiplicity</em>'.
* @generated
*/
UnboundedMultiplicity createUnboundedMultiplicity();
/**
* Returns a new object of class '<em>Variable Or Node Argument</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Variable Or Node Argument</em>'.
* @generated
*/
VariableOrNodeArgument createVariableOrNodeArgument();
/**
* Returns a new object of class '<em>Enum Declaration</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Enum Declaration</em>'.
* @generated
*/
EnumDeclaration createEnumDeclaration();
/**
* Returns a new object of class '<em>Int Constant</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Int Constant</em>'.
* @generated
*/
IntConstant createIntConstant();
/**
* Returns a new object of class '<em>Real Constant</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Real Constant</em>'.
* @generated
*/
RealConstant createRealConstant();
/**
* Returns a new object of class '<em>String Constant</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>String Constant</em>'.
* @generated
*/
StringConstant createStringConstant();
/**
* Returns a new object of class '<em>Constant Argument</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Constant Argument</em>'.
* @generated
*/
ConstantArgument createConstantArgument();
/**
* Returns a new object of class '<em>Node Assertion Argument</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Node Assertion Argument</em>'.
* @generated
*/
NodeAssertionArgument createNodeAssertionArgument();
/**
* Returns a new object of class '<em>Constant Assertion Argument</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Constant Assertion Argument</em>'.
* @generated
*/
ConstantAssertionArgument createConstantAssertionArgument();
/**
* Returns a new object of class '<em>Node Value Assertion</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>Node Value Assertion</em>'.
* @generated
*/
NodeValueAssertion createNodeValueAssertion();
/**
* Returns the package supported by this factory.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return the package supported by this factory.
* @generated
*/
ProblemPackage getProblemPackage();
} //ProblemFactory
|
