diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java')
1 files changed, 569 insertions, 345 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java index f95262f9..ba04bca8 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java | |||
@@ -122,31 +122,13 @@ public interface PartialinterpretationPackage extends EPackage { | |||
122 | int PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION = 5; | 122 | int PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION = 5; |
123 | 123 | ||
124 | /** | 124 | /** |
125 | * The feature id for the '<em><b>Min New Elements</b></em>' attribute. | 125 | * The feature id for the '<em><b>Open World Elements</b></em>' containment reference list. |
126 | * <!-- begin-user-doc --> | ||
127 | * <!-- end-user-doc --> | ||
128 | * @generated | ||
129 | * @ordered | ||
130 | */ | ||
131 | int PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS = 6; | ||
132 | |||
133 | /** | ||
134 | * The feature id for the '<em><b>Max New Elements</b></em>' attribute. | ||
135 | * <!-- begin-user-doc --> | ||
136 | * <!-- end-user-doc --> | ||
137 | * @generated | ||
138 | * @ordered | ||
139 | */ | ||
140 | int PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = 7; | ||
141 | |||
142 | /** | ||
143 | * The feature id for the '<em><b>Open World Element Prototypes</b></em>' containment reference list. | ||
144 | * <!-- begin-user-doc --> | 126 | * <!-- begin-user-doc --> |
145 | * <!-- end-user-doc --> | 127 | * <!-- end-user-doc --> |
146 | * @generated | 128 | * @generated |
147 | * @ordered | 129 | * @ordered |
148 | */ | 130 | */ |
149 | int PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES = 8; | 131 | int PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS = 6; |
150 | 132 | ||
151 | /** | 133 | /** |
152 | * The feature id for the '<em><b>Problem Conainer</b></em>' containment reference. | 134 | * The feature id for the '<em><b>Problem Conainer</b></em>' containment reference. |
@@ -155,106 +137,34 @@ public interface PartialinterpretationPackage extends EPackage { | |||
155 | * @generated | 137 | * @generated |
156 | * @ordered | 138 | * @ordered |
157 | */ | 139 | */ |
158 | int PARTIAL_INTERPRETATION__PROBLEM_CONAINER = 9; | 140 | int PARTIAL_INTERPRETATION__PROBLEM_CONAINER = 7; |
159 | |||
160 | /** | ||
161 | * The feature id for the '<em><b>Stringelement</b></em>' containment reference list. | ||
162 | * <!-- begin-user-doc --> | ||
163 | * <!-- end-user-doc --> | ||
164 | * @generated | ||
165 | * @ordered | ||
166 | */ | ||
167 | int PARTIAL_INTERPRETATION__STRINGELEMENT = 10; | ||
168 | |||
169 | /** | ||
170 | * The feature id for the '<em><b>Stringelements</b></em>' containment reference list. | ||
171 | * <!-- begin-user-doc --> | ||
172 | * <!-- end-user-doc --> | ||
173 | * @generated | ||
174 | * @ordered | ||
175 | */ | ||
176 | int PARTIAL_INTERPRETATION__STRINGELEMENTS = 11; | ||
177 | |||
178 | /** | ||
179 | * The feature id for the '<em><b>Realelements</b></em>' containment reference list. | ||
180 | * <!-- begin-user-doc --> | ||
181 | * <!-- end-user-doc --> | ||
182 | * @generated | ||
183 | * @ordered | ||
184 | */ | ||
185 | int PARTIAL_INTERPRETATION__REALELEMENTS = 12; | ||
186 | |||
187 | /** | ||
188 | * The feature id for the '<em><b>Integerelements</b></em>' containment reference list. | ||
189 | * <!-- begin-user-doc --> | ||
190 | * <!-- end-user-doc --> | ||
191 | * @generated | ||
192 | * @ordered | ||
193 | */ | ||
194 | int PARTIAL_INTERPRETATION__INTEGERELEMENTS = 13; | ||
195 | |||
196 | /** | ||
197 | * The feature id for the '<em><b>Booleanelements</b></em>' containment reference list. | ||
198 | * <!-- begin-user-doc --> | ||
199 | * <!-- end-user-doc --> | ||
200 | * @generated | ||
201 | * @ordered | ||
202 | */ | ||
203 | int PARTIAL_INTERPRETATION__BOOLEANELEMENTS = 14; | ||
204 | |||
205 | /** | ||
206 | * The feature id for the '<em><b>Max New Integers</b></em>' attribute. | ||
207 | * <!-- begin-user-doc --> | ||
208 | * <!-- end-user-doc --> | ||
209 | * @generated | ||
210 | * @ordered | ||
211 | */ | ||
212 | int PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS = 15; | ||
213 | 141 | ||
214 | /** | 142 | /** |
215 | * The feature id for the '<em><b>Max New Reals</b></em>' attribute. | 143 | * The feature id for the '<em><b>Scopes</b></em>' containment reference list. |
216 | * <!-- begin-user-doc --> | 144 | * <!-- begin-user-doc --> |
217 | * <!-- end-user-doc --> | 145 | * <!-- end-user-doc --> |
218 | * @generated | 146 | * @generated |
219 | * @ordered | 147 | * @ordered |
220 | */ | 148 | */ |
221 | int PARTIAL_INTERPRETATION__MAX_NEW_REALS = 16; | 149 | int PARTIAL_INTERPRETATION__SCOPES = 8; |
222 | 150 | ||
223 | /** | 151 | /** |
224 | * The feature id for the '<em><b>Max New Strings</b></em>' attribute. | 152 | * The feature id for the '<em><b>Min New Elements</b></em>' attribute. |
225 | * <!-- begin-user-doc --> | ||
226 | * <!-- end-user-doc --> | ||
227 | * @generated | ||
228 | * @ordered | ||
229 | */ | ||
230 | int PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = 17; | ||
231 | |||
232 | /** | ||
233 | * The feature id for the '<em><b>New Strings</b></em>' containment reference list. | ||
234 | * <!-- begin-user-doc --> | ||
235 | * <!-- end-user-doc --> | ||
236 | * @generated | ||
237 | * @ordered | ||
238 | */ | ||
239 | int PARTIAL_INTERPRETATION__NEW_STRINGS = 18; | ||
240 | |||
241 | /** | ||
242 | * The feature id for the '<em><b>New Reals</b></em>' containment reference list. | ||
243 | * <!-- begin-user-doc --> | 153 | * <!-- begin-user-doc --> |
244 | * <!-- end-user-doc --> | 154 | * <!-- end-user-doc --> |
245 | * @generated | 155 | * @generated |
246 | * @ordered | 156 | * @ordered |
247 | */ | 157 | */ |
248 | int PARTIAL_INTERPRETATION__NEW_REALS = 19; | 158 | int PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS = 9; |
249 | 159 | ||
250 | /** | 160 | /** |
251 | * The feature id for the '<em><b>New Integers</b></em>' containment reference list. | 161 | * The feature id for the '<em><b>Max New Elements</b></em>' attribute. |
252 | * <!-- begin-user-doc --> | 162 | * <!-- begin-user-doc --> |
253 | * <!-- end-user-doc --> | 163 | * <!-- end-user-doc --> |
254 | * @generated | 164 | * @generated |
255 | * @ordered | 165 | * @ordered |
256 | */ | 166 | */ |
257 | int PARTIAL_INTERPRETATION__NEW_INTEGERS = 20; | 167 | int PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = 10; |
258 | 168 | ||
259 | /** | 169 | /** |
260 | * The number of structural features of the '<em>Partial Interpretation</em>' class. | 170 | * The number of structural features of the '<em>Partial Interpretation</em>' class. |
@@ -263,7 +173,7 @@ public interface PartialinterpretationPackage extends EPackage { | |||
263 | * @generated | 173 | * @generated |
264 | * @ordered | 174 | * @ordered |
265 | */ | 175 | */ |
266 | int PARTIAL_INTERPRETATION_FEATURE_COUNT = 21; | 176 | int PARTIAL_INTERPRETATION_FEATURE_COUNT = 11; |
267 | 177 | ||
268 | /** | 178 | /** |
269 | * The number of operations of the '<em>Partial Interpretation</em>' class. | 179 | * The number of operations of the '<em>Partial Interpretation</em>' class. |
@@ -423,31 +333,13 @@ public interface PartialinterpretationPackage extends EPackage { | |||
423 | int PARTIAL_TYPE_INTERPRATATION = 4; | 333 | int PARTIAL_TYPE_INTERPRATATION = 4; |
424 | 334 | ||
425 | /** | 335 | /** |
426 | * The feature id for the '<em><b>Interpretation Of</b></em>' reference. | ||
427 | * <!-- begin-user-doc --> | ||
428 | * <!-- end-user-doc --> | ||
429 | * @generated | ||
430 | * @ordered | ||
431 | */ | ||
432 | int PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF = 0; | ||
433 | |||
434 | /** | ||
435 | * The feature id for the '<em><b>Elements</b></em>' reference list. | 336 | * The feature id for the '<em><b>Elements</b></em>' reference list. |
436 | * <!-- begin-user-doc --> | 337 | * <!-- begin-user-doc --> |
437 | * <!-- end-user-doc --> | 338 | * <!-- end-user-doc --> |
438 | * @generated | 339 | * @generated |
439 | * @ordered | 340 | * @ordered |
440 | */ | 341 | */ |
441 | int PARTIAL_TYPE_INTERPRATATION__ELEMENTS = 1; | 342 | int PARTIAL_TYPE_INTERPRATATION__ELEMENTS = 0; |
442 | |||
443 | /** | ||
444 | * The feature id for the '<em><b>Supertype Interpretation</b></em>' reference list. | ||
445 | * <!-- begin-user-doc --> | ||
446 | * <!-- end-user-doc --> | ||
447 | * @generated | ||
448 | * @ordered | ||
449 | */ | ||
450 | int PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION = 2; | ||
451 | 343 | ||
452 | /** | 344 | /** |
453 | * The number of structural features of the '<em>Partial Type Interpratation</em>' class. | 345 | * The number of structural features of the '<em>Partial Type Interpratation</em>' class. |
@@ -456,7 +348,7 @@ public interface PartialinterpretationPackage extends EPackage { | |||
456 | * @generated | 348 | * @generated |
457 | * @ordered | 349 | * @ordered |
458 | */ | 350 | */ |
459 | int PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT = 3; | 351 | int PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT = 1; |
460 | 352 | ||
461 | /** | 353 | /** |
462 | * The number of operations of the '<em>Partial Type Interpratation</em>' class. | 354 | * The number of operations of the '<em>Partial Type Interpratation</em>' class. |
@@ -635,13 +527,22 @@ public interface PartialinterpretationPackage extends EPackage { | |||
635 | int NARY_RELATION_LINK_ELEMENT__INDEX = 0; | 527 | int NARY_RELATION_LINK_ELEMENT__INDEX = 0; |
636 | 528 | ||
637 | /** | 529 | /** |
530 | * The feature id for the '<em><b>Param</b></em>' reference. | ||
531 | * <!-- begin-user-doc --> | ||
532 | * <!-- end-user-doc --> | ||
533 | * @generated | ||
534 | * @ordered | ||
535 | */ | ||
536 | int NARY_RELATION_LINK_ELEMENT__PARAM = 1; | ||
537 | |||
538 | /** | ||
638 | * The number of structural features of the '<em>Nary Relation Link Element</em>' class. | 539 | * The number of structural features of the '<em>Nary Relation Link Element</em>' class. |
639 | * <!-- begin-user-doc --> | 540 | * <!-- begin-user-doc --> |
640 | * <!-- end-user-doc --> | 541 | * <!-- end-user-doc --> |
641 | * @generated | 542 | * @generated |
642 | * @ordered | 543 | * @ordered |
643 | */ | 544 | */ |
644 | int NARY_RELATION_LINK_ELEMENT_FEATURE_COUNT = 1; | 545 | int NARY_RELATION_LINK_ELEMENT_FEATURE_COUNT = 2; |
645 | 546 | ||
646 | /** | 547 | /** |
647 | * The number of operations of the '<em>Nary Relation Link Element</em>' class. | 548 | * The number of operations of the '<em>Nary Relation Link Element</em>' class. |
@@ -966,245 +867,432 @@ public interface PartialinterpretationPackage extends EPackage { | |||
966 | 867 | ||
967 | 868 | ||
968 | /** | 869 | /** |
969 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation <em>Partial Interpretation</em>}'. | 870 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl <em>Scope</em>}' class. |
970 | * <!-- begin-user-doc --> | 871 | * <!-- begin-user-doc --> |
971 | * <!-- end-user-doc --> | 872 | * <!-- end-user-doc --> |
972 | * @return the meta object for class '<em>Partial Interpretation</em>'. | 873 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl |
973 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation | 874 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getScope() |
974 | * @generated | 875 | * @generated |
975 | */ | 876 | */ |
976 | EClass getPartialInterpretation(); | 877 | int SCOPE = 15; |
977 | 878 | ||
978 | /** | 879 | /** |
979 | * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem <em>Problem</em>}'. | 880 | * The feature id for the '<em><b>Min New Elements</b></em>' attribute. |
980 | * <!-- begin-user-doc --> | 881 | * <!-- begin-user-doc --> |
981 | * <!-- end-user-doc --> | 882 | * <!-- end-user-doc --> |
982 | * @return the meta object for the reference '<em>Problem</em>'. | ||
983 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem() | ||
984 | * @see #getPartialInterpretation() | ||
985 | * @generated | 883 | * @generated |
884 | * @ordered | ||
986 | */ | 885 | */ |
987 | EReference getPartialInterpretation_Problem(); | 886 | int SCOPE__MIN_NEW_ELEMENTS = 0; |
988 | 887 | ||
989 | /** | 888 | /** |
990 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialconstantinterpretation <em>Partialconstantinterpretation</em>}'. | 889 | * The feature id for the '<em><b>Max New Elements</b></em>' attribute. |
991 | * <!-- begin-user-doc --> | 890 | * <!-- begin-user-doc --> |
992 | * <!-- end-user-doc --> | 891 | * <!-- end-user-doc --> |
993 | * @return the meta object for the containment reference list '<em>Partialconstantinterpretation</em>'. | ||
994 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialconstantinterpretation() | ||
995 | * @see #getPartialInterpretation() | ||
996 | * @generated | 892 | * @generated |
893 | * @ordered | ||
997 | */ | 894 | */ |
998 | EReference getPartialInterpretation_Partialconstantinterpretation(); | 895 | int SCOPE__MAX_NEW_ELEMENTS = 1; |
999 | 896 | ||
1000 | /** | 897 | /** |
1001 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialrelationinterpretation <em>Partialrelationinterpretation</em>}'. | 898 | * The feature id for the '<em><b>Target Type Interpretation</b></em>' reference. |
1002 | * <!-- begin-user-doc --> | 899 | * <!-- begin-user-doc --> |
1003 | * <!-- end-user-doc --> | 900 | * <!-- end-user-doc --> |
1004 | * @return the meta object for the containment reference list '<em>Partialrelationinterpretation</em>'. | ||
1005 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialrelationinterpretation() | ||
1006 | * @see #getPartialInterpretation() | ||
1007 | * @generated | 901 | * @generated |
902 | * @ordered | ||
1008 | */ | 903 | */ |
1009 | EReference getPartialInterpretation_Partialrelationinterpretation(); | 904 | int SCOPE__TARGET_TYPE_INTERPRETATION = 2; |
1010 | 905 | ||
1011 | /** | 906 | /** |
1012 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation <em>Partialfunctioninterpretation</em>}'. | 907 | * The number of structural features of the '<em>Scope</em>' class. |
1013 | * <!-- begin-user-doc --> | 908 | * <!-- begin-user-doc --> |
1014 | * <!-- end-user-doc --> | 909 | * <!-- end-user-doc --> |
1015 | * @return the meta object for the containment reference list '<em>Partialfunctioninterpretation</em>'. | ||
1016 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation() | ||
1017 | * @see #getPartialInterpretation() | ||
1018 | * @generated | 910 | * @generated |
911 | * @ordered | ||
1019 | */ | 912 | */ |
1020 | EReference getPartialInterpretation_Partialfunctioninterpretation(); | 913 | int SCOPE_FEATURE_COUNT = 3; |
1021 | 914 | ||
1022 | /** | 915 | /** |
1023 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements <em>New Elements</em>}'. | 916 | * The number of operations of the '<em>Scope</em>' class. |
1024 | * <!-- begin-user-doc --> | 917 | * <!-- begin-user-doc --> |
1025 | * <!-- end-user-doc --> | 918 | * <!-- end-user-doc --> |
1026 | * @return the meta object for the containment reference list '<em>New Elements</em>'. | ||
1027 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements() | ||
1028 | * @see #getPartialInterpretation() | ||
1029 | * @generated | 919 | * @generated |
920 | * @ordered | ||
1030 | */ | 921 | */ |
1031 | EReference getPartialInterpretation_NewElements(); | 922 | int SCOPE_OPERATION_COUNT = 0; |
1032 | 923 | ||
1033 | /** | 924 | /** |
1034 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}'. | 925 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialPrimitiveInterpretationImpl <em>Partial Primitive Interpretation</em>}' class. |
1035 | * <!-- begin-user-doc --> | 926 | * <!-- begin-user-doc --> |
1036 | * <!-- end-user-doc --> | 927 | * <!-- end-user-doc --> |
1037 | * @return the meta object for the containment reference list '<em>Partialtypeinterpratation</em>'. | 928 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialPrimitiveInterpretationImpl |
1038 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation() | 929 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialPrimitiveInterpretation() |
1039 | * @see #getPartialInterpretation() | ||
1040 | * @generated | 930 | * @generated |
1041 | */ | 931 | */ |
1042 | EReference getPartialInterpretation_Partialtypeinterpratation(); | 932 | int PARTIAL_PRIMITIVE_INTERPRETATION = 16; |
1043 | 933 | ||
1044 | /** | 934 | /** |
1045 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}'. | 935 | * The feature id for the '<em><b>Elements</b></em>' reference list. |
1046 | * <!-- begin-user-doc --> | 936 | * <!-- begin-user-doc --> |
1047 | * <!-- end-user-doc --> | 937 | * <!-- end-user-doc --> |
1048 | * @return the meta object for the attribute '<em>Min New Elements</em>'. | ||
1049 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements() | ||
1050 | * @see #getPartialInterpretation() | ||
1051 | * @generated | 938 | * @generated |
939 | * @ordered | ||
1052 | */ | 940 | */ |
1053 | EAttribute getPartialInterpretation_MinNewElements(); | 941 | int PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS = PARTIAL_TYPE_INTERPRATATION__ELEMENTS; |
1054 | 942 | ||
1055 | /** | 943 | /** |
1056 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}'. | 944 | * The number of structural features of the '<em>Partial Primitive Interpretation</em>' class. |
1057 | * <!-- begin-user-doc --> | 945 | * <!-- begin-user-doc --> |
1058 | * <!-- end-user-doc --> | 946 | * <!-- end-user-doc --> |
1059 | * @return the meta object for the attribute '<em>Max New Elements</em>'. | ||
1060 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements() | ||
1061 | * @see #getPartialInterpretation() | ||
1062 | * @generated | 947 | * @generated |
948 | * @ordered | ||
1063 | */ | 949 | */ |
1064 | EAttribute getPartialInterpretation_MaxNewElements(); | 950 | int PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT = PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT + 0; |
1065 | 951 | ||
1066 | /** | 952 | /** |
1067 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes <em>Open World Element Prototypes</em>}'. | 953 | * The number of operations of the '<em>Partial Primitive Interpretation</em>' class. |
1068 | * <!-- begin-user-doc --> | 954 | * <!-- begin-user-doc --> |
1069 | * <!-- end-user-doc --> | 955 | * <!-- end-user-doc --> |
1070 | * @return the meta object for the containment reference list '<em>Open World Element Prototypes</em>'. | ||
1071 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes() | ||
1072 | * @see #getPartialInterpretation() | ||
1073 | * @generated | 956 | * @generated |
957 | * @ordered | ||
1074 | */ | 958 | */ |
1075 | EReference getPartialInterpretation_OpenWorldElementPrototypes(); | 959 | int PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT = PARTIAL_TYPE_INTERPRATATION_OPERATION_COUNT + 0; |
1076 | 960 | ||
1077 | /** | 961 | /** |
1078 | * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}'. | 962 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialBooleanInterpretationImpl <em>Partial Boolean Interpretation</em>}' class. |
1079 | * <!-- begin-user-doc --> | 963 | * <!-- begin-user-doc --> |
1080 | * <!-- end-user-doc --> | 964 | * <!-- end-user-doc --> |
1081 | * @return the meta object for the containment reference '<em>Problem Conainer</em>'. | 965 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialBooleanInterpretationImpl |
1082 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer() | 966 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialBooleanInterpretation() |
1083 | * @see #getPartialInterpretation() | ||
1084 | * @generated | 967 | * @generated |
1085 | */ | 968 | */ |
1086 | EReference getPartialInterpretation_ProblemConainer(); | 969 | int PARTIAL_BOOLEAN_INTERPRETATION = 17; |
970 | |||
971 | /** | ||
972 | * The feature id for the '<em><b>Elements</b></em>' reference list. | ||
973 | * <!-- begin-user-doc --> | ||
974 | * <!-- end-user-doc --> | ||
975 | * @generated | ||
976 | * @ordered | ||
977 | */ | ||
978 | int PARTIAL_BOOLEAN_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS; | ||
979 | |||
980 | /** | ||
981 | * The number of structural features of the '<em>Partial Boolean Interpretation</em>' class. | ||
982 | * <!-- begin-user-doc --> | ||
983 | * <!-- end-user-doc --> | ||
984 | * @generated | ||
985 | * @ordered | ||
986 | */ | ||
987 | int PARTIAL_BOOLEAN_INTERPRETATION_FEATURE_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT + 0; | ||
988 | |||
989 | /** | ||
990 | * The number of operations of the '<em>Partial Boolean Interpretation</em>' class. | ||
991 | * <!-- begin-user-doc --> | ||
992 | * <!-- end-user-doc --> | ||
993 | * @generated | ||
994 | * @ordered | ||
995 | */ | ||
996 | int PARTIAL_BOOLEAN_INTERPRETATION_OPERATION_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT + 0; | ||
997 | |||
998 | /** | ||
999 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialIntegerInterpretationImpl <em>Partial Integer Interpretation</em>}' class. | ||
1000 | * <!-- begin-user-doc --> | ||
1001 | * <!-- end-user-doc --> | ||
1002 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialIntegerInterpretationImpl | ||
1003 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialIntegerInterpretation() | ||
1004 | * @generated | ||
1005 | */ | ||
1006 | int PARTIAL_INTEGER_INTERPRETATION = 18; | ||
1007 | |||
1008 | /** | ||
1009 | * The feature id for the '<em><b>Elements</b></em>' reference list. | ||
1010 | * <!-- begin-user-doc --> | ||
1011 | * <!-- end-user-doc --> | ||
1012 | * @generated | ||
1013 | * @ordered | ||
1014 | */ | ||
1015 | int PARTIAL_INTEGER_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS; | ||
1087 | 1016 | ||
1088 | /** | 1017 | /** |
1089 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement <em>Stringelement</em>}'. | 1018 | * The number of structural features of the '<em>Partial Integer Interpretation</em>' class. |
1090 | * <!-- begin-user-doc --> | 1019 | * <!-- begin-user-doc --> |
1091 | * <!-- end-user-doc --> | 1020 | * <!-- end-user-doc --> |
1092 | * @return the meta object for the containment reference list '<em>Stringelement</em>'. | 1021 | * @generated |
1093 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement() | 1022 | * @ordered |
1023 | */ | ||
1024 | int PARTIAL_INTEGER_INTERPRETATION_FEATURE_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT + 0; | ||
1025 | |||
1026 | /** | ||
1027 | * The number of operations of the '<em>Partial Integer Interpretation</em>' class. | ||
1028 | * <!-- begin-user-doc --> | ||
1029 | * <!-- end-user-doc --> | ||
1030 | * @generated | ||
1031 | * @ordered | ||
1032 | */ | ||
1033 | int PARTIAL_INTEGER_INTERPRETATION_OPERATION_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT + 0; | ||
1034 | |||
1035 | /** | ||
1036 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRealInterpretationImpl <em>Partial Real Interpretation</em>}' class. | ||
1037 | * <!-- begin-user-doc --> | ||
1038 | * <!-- end-user-doc --> | ||
1039 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRealInterpretationImpl | ||
1040 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialRealInterpretation() | ||
1041 | * @generated | ||
1042 | */ | ||
1043 | int PARTIAL_REAL_INTERPRETATION = 19; | ||
1044 | |||
1045 | /** | ||
1046 | * The feature id for the '<em><b>Elements</b></em>' reference list. | ||
1047 | * <!-- begin-user-doc --> | ||
1048 | * <!-- end-user-doc --> | ||
1049 | * @generated | ||
1050 | * @ordered | ||
1051 | */ | ||
1052 | int PARTIAL_REAL_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS; | ||
1053 | |||
1054 | /** | ||
1055 | * The number of structural features of the '<em>Partial Real Interpretation</em>' class. | ||
1056 | * <!-- begin-user-doc --> | ||
1057 | * <!-- end-user-doc --> | ||
1058 | * @generated | ||
1059 | * @ordered | ||
1060 | */ | ||
1061 | int PARTIAL_REAL_INTERPRETATION_FEATURE_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT + 0; | ||
1062 | |||
1063 | /** | ||
1064 | * The number of operations of the '<em>Partial Real Interpretation</em>' class. | ||
1065 | * <!-- begin-user-doc --> | ||
1066 | * <!-- end-user-doc --> | ||
1067 | * @generated | ||
1068 | * @ordered | ||
1069 | */ | ||
1070 | int PARTIAL_REAL_INTERPRETATION_OPERATION_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT + 0; | ||
1071 | |||
1072 | /** | ||
1073 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialStringInterpretationImpl <em>Partial String Interpretation</em>}' class. | ||
1074 | * <!-- begin-user-doc --> | ||
1075 | * <!-- end-user-doc --> | ||
1076 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialStringInterpretationImpl | ||
1077 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialStringInterpretation() | ||
1078 | * @generated | ||
1079 | */ | ||
1080 | int PARTIAL_STRING_INTERPRETATION = 20; | ||
1081 | |||
1082 | /** | ||
1083 | * The feature id for the '<em><b>Elements</b></em>' reference list. | ||
1084 | * <!-- begin-user-doc --> | ||
1085 | * <!-- end-user-doc --> | ||
1086 | * @generated | ||
1087 | * @ordered | ||
1088 | */ | ||
1089 | int PARTIAL_STRING_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS; | ||
1090 | |||
1091 | /** | ||
1092 | * The number of structural features of the '<em>Partial String Interpretation</em>' class. | ||
1093 | * <!-- begin-user-doc --> | ||
1094 | * <!-- end-user-doc --> | ||
1095 | * @generated | ||
1096 | * @ordered | ||
1097 | */ | ||
1098 | int PARTIAL_STRING_INTERPRETATION_FEATURE_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT + 0; | ||
1099 | |||
1100 | /** | ||
1101 | * The number of operations of the '<em>Partial String Interpretation</em>' class. | ||
1102 | * <!-- begin-user-doc --> | ||
1103 | * <!-- end-user-doc --> | ||
1104 | * @generated | ||
1105 | * @ordered | ||
1106 | */ | ||
1107 | int PARTIAL_STRING_INTERPRETATION_OPERATION_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT + 0; | ||
1108 | |||
1109 | |||
1110 | /** | ||
1111 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl <em>Partial Complex Type Interpretation</em>}' class. | ||
1112 | * <!-- begin-user-doc --> | ||
1113 | * <!-- end-user-doc --> | ||
1114 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl | ||
1115 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialComplexTypeInterpretation() | ||
1116 | * @generated | ||
1117 | */ | ||
1118 | int PARTIAL_COMPLEX_TYPE_INTERPRETATION = 21; | ||
1119 | |||
1120 | /** | ||
1121 | * The feature id for the '<em><b>Elements</b></em>' reference list. | ||
1122 | * <!-- begin-user-doc --> | ||
1123 | * <!-- end-user-doc --> | ||
1124 | * @generated | ||
1125 | * @ordered | ||
1126 | */ | ||
1127 | int PARTIAL_COMPLEX_TYPE_INTERPRETATION__ELEMENTS = PARTIAL_TYPE_INTERPRATATION__ELEMENTS; | ||
1128 | |||
1129 | /** | ||
1130 | * The feature id for the '<em><b>Supertype Interpretation</b></em>' reference list. | ||
1131 | * <!-- begin-user-doc --> | ||
1132 | * <!-- end-user-doc --> | ||
1133 | * @generated | ||
1134 | * @ordered | ||
1135 | */ | ||
1136 | int PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION = PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT + 0; | ||
1137 | |||
1138 | /** | ||
1139 | * The feature id for the '<em><b>Interpretation Of</b></em>' reference. | ||
1140 | * <!-- begin-user-doc --> | ||
1141 | * <!-- end-user-doc --> | ||
1142 | * @generated | ||
1143 | * @ordered | ||
1144 | */ | ||
1145 | int PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF = PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT + 1; | ||
1146 | |||
1147 | /** | ||
1148 | * The number of structural features of the '<em>Partial Complex Type Interpretation</em>' class. | ||
1149 | * <!-- begin-user-doc --> | ||
1150 | * <!-- end-user-doc --> | ||
1151 | * @generated | ||
1152 | * @ordered | ||
1153 | */ | ||
1154 | int PARTIAL_COMPLEX_TYPE_INTERPRETATION_FEATURE_COUNT = PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT + 2; | ||
1155 | |||
1156 | /** | ||
1157 | * The number of operations of the '<em>Partial Complex Type Interpretation</em>' class. | ||
1158 | * <!-- begin-user-doc --> | ||
1159 | * <!-- end-user-doc --> | ||
1160 | * @generated | ||
1161 | * @ordered | ||
1162 | */ | ||
1163 | int PARTIAL_COMPLEX_TYPE_INTERPRETATION_OPERATION_COUNT = PARTIAL_TYPE_INTERPRATATION_OPERATION_COUNT + 0; | ||
1164 | |||
1165 | |||
1166 | /** | ||
1167 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation <em>Partial Interpretation</em>}'. | ||
1168 | * <!-- begin-user-doc --> | ||
1169 | * <!-- end-user-doc --> | ||
1170 | * @return the meta object for class '<em>Partial Interpretation</em>'. | ||
1171 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation | ||
1172 | * @generated | ||
1173 | */ | ||
1174 | EClass getPartialInterpretation(); | ||
1175 | |||
1176 | /** | ||
1177 | * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem <em>Problem</em>}'. | ||
1178 | * <!-- begin-user-doc --> | ||
1179 | * <!-- end-user-doc --> | ||
1180 | * @return the meta object for the reference '<em>Problem</em>'. | ||
1181 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem() | ||
1094 | * @see #getPartialInterpretation() | 1182 | * @see #getPartialInterpretation() |
1095 | * @generated | 1183 | * @generated |
1096 | */ | 1184 | */ |
1097 | EReference getPartialInterpretation_Stringelement(); | 1185 | EReference getPartialInterpretation_Problem(); |
1098 | 1186 | ||
1099 | /** | 1187 | /** |
1100 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements <em>Stringelements</em>}'. | 1188 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialconstantinterpretation <em>Partialconstantinterpretation</em>}'. |
1101 | * <!-- begin-user-doc --> | 1189 | * <!-- begin-user-doc --> |
1102 | * <!-- end-user-doc --> | 1190 | * <!-- end-user-doc --> |
1103 | * @return the meta object for the containment reference list '<em>Stringelements</em>'. | 1191 | * @return the meta object for the containment reference list '<em>Partialconstantinterpretation</em>'. |
1104 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements() | 1192 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialconstantinterpretation() |
1105 | * @see #getPartialInterpretation() | 1193 | * @see #getPartialInterpretation() |
1106 | * @generated | 1194 | * @generated |
1107 | */ | 1195 | */ |
1108 | EReference getPartialInterpretation_Stringelements(); | 1196 | EReference getPartialInterpretation_Partialconstantinterpretation(); |
1109 | 1197 | ||
1110 | /** | 1198 | /** |
1111 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements <em>Realelements</em>}'. | 1199 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialrelationinterpretation <em>Partialrelationinterpretation</em>}'. |
1112 | * <!-- begin-user-doc --> | 1200 | * <!-- begin-user-doc --> |
1113 | * <!-- end-user-doc --> | 1201 | * <!-- end-user-doc --> |
1114 | * @return the meta object for the containment reference list '<em>Realelements</em>'. | 1202 | * @return the meta object for the containment reference list '<em>Partialrelationinterpretation</em>'. |
1115 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements() | 1203 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialrelationinterpretation() |
1116 | * @see #getPartialInterpretation() | 1204 | * @see #getPartialInterpretation() |
1117 | * @generated | 1205 | * @generated |
1118 | */ | 1206 | */ |
1119 | EReference getPartialInterpretation_Realelements(); | 1207 | EReference getPartialInterpretation_Partialrelationinterpretation(); |
1120 | 1208 | ||
1121 | /** | 1209 | /** |
1122 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements <em>Integerelements</em>}'. | 1210 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation <em>Partialfunctioninterpretation</em>}'. |
1123 | * <!-- begin-user-doc --> | 1211 | * <!-- begin-user-doc --> |
1124 | * <!-- end-user-doc --> | 1212 | * <!-- end-user-doc --> |
1125 | * @return the meta object for the containment reference list '<em>Integerelements</em>'. | 1213 | * @return the meta object for the containment reference list '<em>Partialfunctioninterpretation</em>'. |
1126 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements() | 1214 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation() |
1127 | * @see #getPartialInterpretation() | 1215 | * @see #getPartialInterpretation() |
1128 | * @generated | 1216 | * @generated |
1129 | */ | 1217 | */ |
1130 | EReference getPartialInterpretation_Integerelements(); | 1218 | EReference getPartialInterpretation_Partialfunctioninterpretation(); |
1131 | 1219 | ||
1132 | /** | 1220 | /** |
1133 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements <em>Booleanelements</em>}'. | 1221 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements <em>New Elements</em>}'. |
1134 | * <!-- begin-user-doc --> | 1222 | * <!-- begin-user-doc --> |
1135 | * <!-- end-user-doc --> | 1223 | * <!-- end-user-doc --> |
1136 | * @return the meta object for the containment reference list '<em>Booleanelements</em>'. | 1224 | * @return the meta object for the containment reference list '<em>New Elements</em>'. |
1137 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements() | 1225 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements() |
1138 | * @see #getPartialInterpretation() | 1226 | * @see #getPartialInterpretation() |
1139 | * @generated | 1227 | * @generated |
1140 | */ | 1228 | */ |
1141 | EReference getPartialInterpretation_Booleanelements(); | 1229 | EReference getPartialInterpretation_NewElements(); |
1142 | 1230 | ||
1143 | /** | 1231 | /** |
1144 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers <em>Max New Integers</em>}'. | 1232 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}'. |
1145 | * <!-- begin-user-doc --> | 1233 | * <!-- begin-user-doc --> |
1146 | * <!-- end-user-doc --> | 1234 | * <!-- end-user-doc --> |
1147 | * @return the meta object for the attribute '<em>Max New Integers</em>'. | 1235 | * @return the meta object for the containment reference list '<em>Partialtypeinterpratation</em>'. |
1148 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers() | 1236 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation() |
1149 | * @see #getPartialInterpretation() | 1237 | * @see #getPartialInterpretation() |
1150 | * @generated | 1238 | * @generated |
1151 | */ | 1239 | */ |
1152 | EAttribute getPartialInterpretation_MaxNewIntegers(); | 1240 | EReference getPartialInterpretation_Partialtypeinterpratation(); |
1153 | 1241 | ||
1154 | /** | 1242 | /** |
1155 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals <em>Max New Reals</em>}'. | 1243 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElements <em>Open World Elements</em>}'. |
1156 | * <!-- begin-user-doc --> | 1244 | * <!-- begin-user-doc --> |
1157 | * <!-- end-user-doc --> | 1245 | * <!-- end-user-doc --> |
1158 | * @return the meta object for the attribute '<em>Max New Reals</em>'. | 1246 | * @return the meta object for the containment reference list '<em>Open World Elements</em>'. |
1159 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals() | 1247 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElements() |
1160 | * @see #getPartialInterpretation() | 1248 | * @see #getPartialInterpretation() |
1161 | * @generated | 1249 | * @generated |
1162 | */ | 1250 | */ |
1163 | EAttribute getPartialInterpretation_MaxNewReals(); | 1251 | EReference getPartialInterpretation_OpenWorldElements(); |
1164 | 1252 | ||
1165 | /** | 1253 | /** |
1166 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings <em>Max New Strings</em>}'. | 1254 | * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}'. |
1167 | * <!-- begin-user-doc --> | 1255 | * <!-- begin-user-doc --> |
1168 | * <!-- end-user-doc --> | 1256 | * <!-- end-user-doc --> |
1169 | * @return the meta object for the attribute '<em>Max New Strings</em>'. | 1257 | * @return the meta object for the containment reference '<em>Problem Conainer</em>'. |
1170 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings() | 1258 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer() |
1171 | * @see #getPartialInterpretation() | 1259 | * @see #getPartialInterpretation() |
1172 | * @generated | 1260 | * @generated |
1173 | */ | 1261 | */ |
1174 | EAttribute getPartialInterpretation_MaxNewStrings(); | 1262 | EReference getPartialInterpretation_ProblemConainer(); |
1175 | 1263 | ||
1176 | /** | 1264 | /** |
1177 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings <em>New Strings</em>}'. | 1265 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getScopes <em>Scopes</em>}'. |
1178 | * <!-- begin-user-doc --> | 1266 | * <!-- begin-user-doc --> |
1179 | * <!-- end-user-doc --> | 1267 | * <!-- end-user-doc --> |
1180 | * @return the meta object for the containment reference list '<em>New Strings</em>'. | 1268 | * @return the meta object for the containment reference list '<em>Scopes</em>'. |
1181 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings() | 1269 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getScopes() |
1182 | * @see #getPartialInterpretation() | 1270 | * @see #getPartialInterpretation() |
1183 | * @generated | 1271 | * @generated |
1184 | */ | 1272 | */ |
1185 | EReference getPartialInterpretation_NewStrings(); | 1273 | EReference getPartialInterpretation_Scopes(); |
1186 | 1274 | ||
1187 | /** | 1275 | /** |
1188 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals <em>New Reals</em>}'. | 1276 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}'. |
1189 | * <!-- begin-user-doc --> | 1277 | * <!-- begin-user-doc --> |
1190 | * <!-- end-user-doc --> | 1278 | * <!-- end-user-doc --> |
1191 | * @return the meta object for the containment reference list '<em>New Reals</em>'. | 1279 | * @return the meta object for the attribute '<em>Min New Elements</em>'. |
1192 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals() | 1280 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements() |
1193 | * @see #getPartialInterpretation() | 1281 | * @see #getPartialInterpretation() |
1194 | * @generated | 1282 | * @generated |
1195 | */ | 1283 | */ |
1196 | EReference getPartialInterpretation_NewReals(); | 1284 | EAttribute getPartialInterpretation_MinNewElements(); |
1197 | 1285 | ||
1198 | /** | 1286 | /** |
1199 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers <em>New Integers</em>}'. | 1287 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}'. |
1200 | * <!-- begin-user-doc --> | 1288 | * <!-- begin-user-doc --> |
1201 | * <!-- end-user-doc --> | 1289 | * <!-- end-user-doc --> |
1202 | * @return the meta object for the containment reference list '<em>New Integers</em>'. | 1290 | * @return the meta object for the attribute '<em>Max New Elements</em>'. |
1203 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers() | 1291 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements() |
1204 | * @see #getPartialInterpretation() | 1292 | * @see #getPartialInterpretation() |
1205 | * @generated | 1293 | * @generated |
1206 | */ | 1294 | */ |
1207 | EReference getPartialInterpretation_NewIntegers(); | 1295 | EAttribute getPartialInterpretation_MaxNewElements(); |
1208 | 1296 | ||
1209 | /** | 1297 | /** |
1210 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation <em>Partial Constant Interpretation</em>}'. | 1298 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation <em>Partial Constant Interpretation</em>}'. |
@@ -1313,17 +1401,6 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1313 | EClass getPartialTypeInterpratation(); | 1401 | EClass getPartialTypeInterpratation(); |
1314 | 1402 | ||
1315 | /** | 1403 | /** |
1316 | * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getInterpretationOf <em>Interpretation Of</em>}'. | ||
1317 | * <!-- begin-user-doc --> | ||
1318 | * <!-- end-user-doc --> | ||
1319 | * @return the meta object for the reference '<em>Interpretation Of</em>'. | ||
1320 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getInterpretationOf() | ||
1321 | * @see #getPartialTypeInterpratation() | ||
1322 | * @generated | ||
1323 | */ | ||
1324 | EReference getPartialTypeInterpratation_InterpretationOf(); | ||
1325 | |||
1326 | /** | ||
1327 | * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getElements <em>Elements</em>}'. | 1404 | * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getElements <em>Elements</em>}'. |
1328 | * <!-- begin-user-doc --> | 1405 | * <!-- begin-user-doc --> |
1329 | * <!-- end-user-doc --> | 1406 | * <!-- end-user-doc --> |
@@ -1335,17 +1412,6 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1335 | EReference getPartialTypeInterpratation_Elements(); | 1412 | EReference getPartialTypeInterpratation_Elements(); |
1336 | 1413 | ||
1337 | /** | 1414 | /** |
1338 | * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getSupertypeInterpretation <em>Supertype Interpretation</em>}'. | ||
1339 | * <!-- begin-user-doc --> | ||
1340 | * <!-- end-user-doc --> | ||
1341 | * @return the meta object for the reference list '<em>Supertype Interpretation</em>'. | ||
1342 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getSupertypeInterpretation() | ||
1343 | * @see #getPartialTypeInterpratation() | ||
1344 | * @generated | ||
1345 | */ | ||
1346 | EReference getPartialTypeInterpratation_SupertypeInterpretation(); | ||
1347 | |||
1348 | /** | ||
1349 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink <em>Relation Link</em>}'. | 1415 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink <em>Relation Link</em>}'. |
1350 | * <!-- begin-user-doc --> | 1416 | * <!-- begin-user-doc --> |
1351 | * <!-- end-user-doc --> | 1417 | * <!-- end-user-doc --> |
@@ -1451,6 +1517,17 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1451 | EAttribute getNaryRelationLinkElement_Index(); | 1517 | EAttribute getNaryRelationLinkElement_Index(); |
1452 | 1518 | ||
1453 | /** | 1519 | /** |
1520 | * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement#getParam <em>Param</em>}'. | ||
1521 | * <!-- begin-user-doc --> | ||
1522 | * <!-- end-user-doc --> | ||
1523 | * @return the meta object for the reference '<em>Param</em>'. | ||
1524 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement#getParam() | ||
1525 | * @see #getNaryRelationLinkElement() | ||
1526 | * @generated | ||
1527 | */ | ||
1528 | EReference getNaryRelationLinkElement_Param(); | ||
1529 | |||
1530 | /** | ||
1454 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement <em>Primitive Element</em>}'. | 1531 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement <em>Primitive Element</em>}'. |
1455 | * <!-- begin-user-doc --> | 1532 | * <!-- begin-user-doc --> |
1456 | * <!-- end-user-doc --> | 1533 | * <!-- end-user-doc --> |
@@ -1556,6 +1633,131 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1556 | EAttribute getStringElement_Value(); | 1633 | EAttribute getStringElement_Value(); |
1557 | 1634 | ||
1558 | /** | 1635 | /** |
1636 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope <em>Scope</em>}'. | ||
1637 | * <!-- begin-user-doc --> | ||
1638 | * <!-- end-user-doc --> | ||
1639 | * @return the meta object for class '<em>Scope</em>'. | ||
1640 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope | ||
1641 | * @generated | ||
1642 | */ | ||
1643 | EClass getScope(); | ||
1644 | |||
1645 | /** | ||
1646 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMinNewElements <em>Min New Elements</em>}'. | ||
1647 | * <!-- begin-user-doc --> | ||
1648 | * <!-- end-user-doc --> | ||
1649 | * @return the meta object for the attribute '<em>Min New Elements</em>'. | ||
1650 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMinNewElements() | ||
1651 | * @see #getScope() | ||
1652 | * @generated | ||
1653 | */ | ||
1654 | EAttribute getScope_MinNewElements(); | ||
1655 | |||
1656 | /** | ||
1657 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMaxNewElements <em>Max New Elements</em>}'. | ||
1658 | * <!-- begin-user-doc --> | ||
1659 | * <!-- end-user-doc --> | ||
1660 | * @return the meta object for the attribute '<em>Max New Elements</em>'. | ||
1661 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMaxNewElements() | ||
1662 | * @see #getScope() | ||
1663 | * @generated | ||
1664 | */ | ||
1665 | EAttribute getScope_MaxNewElements(); | ||
1666 | |||
1667 | /** | ||
1668 | * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getTargetTypeInterpretation <em>Target Type Interpretation</em>}'. | ||
1669 | * <!-- begin-user-doc --> | ||
1670 | * <!-- end-user-doc --> | ||
1671 | * @return the meta object for the reference '<em>Target Type Interpretation</em>'. | ||
1672 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getTargetTypeInterpretation() | ||
1673 | * @see #getScope() | ||
1674 | * @generated | ||
1675 | */ | ||
1676 | EReference getScope_TargetTypeInterpretation(); | ||
1677 | |||
1678 | /** | ||
1679 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation <em>Partial Primitive Interpretation</em>}'. | ||
1680 | * <!-- begin-user-doc --> | ||
1681 | * <!-- end-user-doc --> | ||
1682 | * @return the meta object for class '<em>Partial Primitive Interpretation</em>'. | ||
1683 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation | ||
1684 | * @generated | ||
1685 | */ | ||
1686 | EClass getPartialPrimitiveInterpretation(); | ||
1687 | |||
1688 | /** | ||
1689 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation <em>Partial Boolean Interpretation</em>}'. | ||
1690 | * <!-- begin-user-doc --> | ||
1691 | * <!-- end-user-doc --> | ||
1692 | * @return the meta object for class '<em>Partial Boolean Interpretation</em>'. | ||
1693 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation | ||
1694 | * @generated | ||
1695 | */ | ||
1696 | EClass getPartialBooleanInterpretation(); | ||
1697 | |||
1698 | /** | ||
1699 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation <em>Partial Integer Interpretation</em>}'. | ||
1700 | * <!-- begin-user-doc --> | ||
1701 | * <!-- end-user-doc --> | ||
1702 | * @return the meta object for class '<em>Partial Integer Interpretation</em>'. | ||
1703 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation | ||
1704 | * @generated | ||
1705 | */ | ||
1706 | EClass getPartialIntegerInterpretation(); | ||
1707 | |||
1708 | /** | ||
1709 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation <em>Partial Real Interpretation</em>}'. | ||
1710 | * <!-- begin-user-doc --> | ||
1711 | * <!-- end-user-doc --> | ||
1712 | * @return the meta object for class '<em>Partial Real Interpretation</em>'. | ||
1713 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation | ||
1714 | * @generated | ||
1715 | */ | ||
1716 | EClass getPartialRealInterpretation(); | ||
1717 | |||
1718 | /** | ||
1719 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation <em>Partial String Interpretation</em>}'. | ||
1720 | * <!-- begin-user-doc --> | ||
1721 | * <!-- end-user-doc --> | ||
1722 | * @return the meta object for class '<em>Partial String Interpretation</em>'. | ||
1723 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation | ||
1724 | * @generated | ||
1725 | */ | ||
1726 | EClass getPartialStringInterpretation(); | ||
1727 | |||
1728 | /** | ||
1729 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation <em>Partial Complex Type Interpretation</em>}'. | ||
1730 | * <!-- begin-user-doc --> | ||
1731 | * <!-- end-user-doc --> | ||
1732 | * @return the meta object for class '<em>Partial Complex Type Interpretation</em>'. | ||
1733 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation | ||
1734 | * @generated | ||
1735 | */ | ||
1736 | EClass getPartialComplexTypeInterpretation(); | ||
1737 | |||
1738 | /** | ||
1739 | * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getSupertypeInterpretation <em>Supertype Interpretation</em>}'. | ||
1740 | * <!-- begin-user-doc --> | ||
1741 | * <!-- end-user-doc --> | ||
1742 | * @return the meta object for the reference list '<em>Supertype Interpretation</em>'. | ||
1743 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getSupertypeInterpretation() | ||
1744 | * @see #getPartialComplexTypeInterpretation() | ||
1745 | * @generated | ||
1746 | */ | ||
1747 | EReference getPartialComplexTypeInterpretation_SupertypeInterpretation(); | ||
1748 | |||
1749 | /** | ||
1750 | * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getInterpretationOf <em>Interpretation Of</em>}'. | ||
1751 | * <!-- begin-user-doc --> | ||
1752 | * <!-- end-user-doc --> | ||
1753 | * @return the meta object for the reference '<em>Interpretation Of</em>'. | ||
1754 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getInterpretationOf() | ||
1755 | * @see #getPartialComplexTypeInterpretation() | ||
1756 | * @generated | ||
1757 | */ | ||
1758 | EReference getPartialComplexTypeInterpretation_InterpretationOf(); | ||
1759 | |||
1760 | /** | ||
1559 | * Returns the factory that creates the instances of the model. | 1761 | * Returns the factory that creates the instances of the model. |
1560 | * <!-- begin-user-doc --> | 1762 | * <!-- begin-user-doc --> |
1561 | * <!-- end-user-doc --> | 1763 | * <!-- end-user-doc --> |
@@ -1637,28 +1839,12 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1637 | EReference PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION = eINSTANCE.getPartialInterpretation_Partialtypeinterpratation(); | 1839 | EReference PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION = eINSTANCE.getPartialInterpretation_Partialtypeinterpratation(); |
1638 | 1840 | ||
1639 | /** | 1841 | /** |
1640 | * The meta object literal for the '<em><b>Min New Elements</b></em>' attribute feature. | 1842 | * The meta object literal for the '<em><b>Open World Elements</b></em>' containment reference list feature. |
1641 | * <!-- begin-user-doc --> | 1843 | * <!-- begin-user-doc --> |
1642 | * <!-- end-user-doc --> | 1844 | * <!-- end-user-doc --> |
1643 | * @generated | 1845 | * @generated |
1644 | */ | 1846 | */ |
1645 | EAttribute PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MinNewElements(); | 1847 | EReference PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS = eINSTANCE.getPartialInterpretation_OpenWorldElements(); |
1646 | |||
1647 | /** | ||
1648 | * The meta object literal for the '<em><b>Max New Elements</b></em>' attribute feature. | ||
1649 | * <!-- begin-user-doc --> | ||
1650 | * <!-- end-user-doc --> | ||
1651 | * @generated | ||
1652 | */ | ||
1653 | EAttribute PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MaxNewElements(); | ||
1654 | |||
1655 | /** | ||
1656 | * The meta object literal for the '<em><b>Open World Element Prototypes</b></em>' containment reference list feature. | ||
1657 | * <!-- begin-user-doc --> | ||
1658 | * <!-- end-user-doc --> | ||
1659 | * @generated | ||
1660 | */ | ||
1661 | EReference PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES = eINSTANCE.getPartialInterpretation_OpenWorldElementPrototypes(); | ||
1662 | 1848 | ||
1663 | /** | 1849 | /** |
1664 | * The meta object literal for the '<em><b>Problem Conainer</b></em>' containment reference feature. | 1850 | * The meta object literal for the '<em><b>Problem Conainer</b></em>' containment reference feature. |
@@ -1669,92 +1855,28 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1669 | EReference PARTIAL_INTERPRETATION__PROBLEM_CONAINER = eINSTANCE.getPartialInterpretation_ProblemConainer(); | 1855 | EReference PARTIAL_INTERPRETATION__PROBLEM_CONAINER = eINSTANCE.getPartialInterpretation_ProblemConainer(); |
1670 | 1856 | ||
1671 | /** | 1857 | /** |
1672 | * The meta object literal for the '<em><b>Stringelement</b></em>' containment reference list feature. | 1858 | * The meta object literal for the '<em><b>Scopes</b></em>' containment reference list feature. |
1673 | * <!-- begin-user-doc --> | ||
1674 | * <!-- end-user-doc --> | ||
1675 | * @generated | ||
1676 | */ | ||
1677 | EReference PARTIAL_INTERPRETATION__STRINGELEMENT = eINSTANCE.getPartialInterpretation_Stringelement(); | ||
1678 | |||
1679 | /** | ||
1680 | * The meta object literal for the '<em><b>Stringelements</b></em>' containment reference list feature. | ||
1681 | * <!-- begin-user-doc --> | ||
1682 | * <!-- end-user-doc --> | ||
1683 | * @generated | ||
1684 | */ | ||
1685 | EReference PARTIAL_INTERPRETATION__STRINGELEMENTS = eINSTANCE.getPartialInterpretation_Stringelements(); | ||
1686 | |||
1687 | /** | ||
1688 | * The meta object literal for the '<em><b>Realelements</b></em>' containment reference list feature. | ||
1689 | * <!-- begin-user-doc --> | 1859 | * <!-- begin-user-doc --> |
1690 | * <!-- end-user-doc --> | 1860 | * <!-- end-user-doc --> |
1691 | * @generated | 1861 | * @generated |
1692 | */ | 1862 | */ |
1693 | EReference PARTIAL_INTERPRETATION__REALELEMENTS = eINSTANCE.getPartialInterpretation_Realelements(); | 1863 | EReference PARTIAL_INTERPRETATION__SCOPES = eINSTANCE.getPartialInterpretation_Scopes(); |
1694 | 1864 | ||
1695 | /** | 1865 | /** |
1696 | * The meta object literal for the '<em><b>Integerelements</b></em>' containment reference list feature. | 1866 | * The meta object literal for the '<em><b>Min New Elements</b></em>' attribute feature. |
1697 | * <!-- begin-user-doc --> | ||
1698 | * <!-- end-user-doc --> | ||
1699 | * @generated | ||
1700 | */ | ||
1701 | EReference PARTIAL_INTERPRETATION__INTEGERELEMENTS = eINSTANCE.getPartialInterpretation_Integerelements(); | ||
1702 | |||
1703 | /** | ||
1704 | * The meta object literal for the '<em><b>Booleanelements</b></em>' containment reference list feature. | ||
1705 | * <!-- begin-user-doc --> | ||
1706 | * <!-- end-user-doc --> | ||
1707 | * @generated | ||
1708 | */ | ||
1709 | EReference PARTIAL_INTERPRETATION__BOOLEANELEMENTS = eINSTANCE.getPartialInterpretation_Booleanelements(); | ||
1710 | |||
1711 | /** | ||
1712 | * The meta object literal for the '<em><b>Max New Integers</b></em>' attribute feature. | ||
1713 | * <!-- begin-user-doc --> | ||
1714 | * <!-- end-user-doc --> | ||
1715 | * @generated | ||
1716 | */ | ||
1717 | EAttribute PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS = eINSTANCE.getPartialInterpretation_MaxNewIntegers(); | ||
1718 | |||
1719 | /** | ||
1720 | * The meta object literal for the '<em><b>Max New Reals</b></em>' attribute feature. | ||
1721 | * <!-- begin-user-doc --> | ||
1722 | * <!-- end-user-doc --> | ||
1723 | * @generated | ||
1724 | */ | ||
1725 | EAttribute PARTIAL_INTERPRETATION__MAX_NEW_REALS = eINSTANCE.getPartialInterpretation_MaxNewReals(); | ||
1726 | |||
1727 | /** | ||
1728 | * The meta object literal for the '<em><b>Max New Strings</b></em>' attribute feature. | ||
1729 | * <!-- begin-user-doc --> | ||
1730 | * <!-- end-user-doc --> | ||
1731 | * @generated | ||
1732 | */ | ||
1733 | EAttribute PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = eINSTANCE.getPartialInterpretation_MaxNewStrings(); | ||
1734 | |||
1735 | /** | ||
1736 | * The meta object literal for the '<em><b>New Strings</b></em>' containment reference list feature. | ||
1737 | * <!-- begin-user-doc --> | ||
1738 | * <!-- end-user-doc --> | ||
1739 | * @generated | ||
1740 | */ | ||
1741 | EReference PARTIAL_INTERPRETATION__NEW_STRINGS = eINSTANCE.getPartialInterpretation_NewStrings(); | ||
1742 | |||
1743 | /** | ||
1744 | * The meta object literal for the '<em><b>New Reals</b></em>' containment reference list feature. | ||
1745 | * <!-- begin-user-doc --> | 1867 | * <!-- begin-user-doc --> |
1746 | * <!-- end-user-doc --> | 1868 | * <!-- end-user-doc --> |
1747 | * @generated | 1869 | * @generated |
1748 | */ | 1870 | */ |
1749 | EReference PARTIAL_INTERPRETATION__NEW_REALS = eINSTANCE.getPartialInterpretation_NewReals(); | 1871 | EAttribute PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MinNewElements(); |
1750 | 1872 | ||
1751 | /** | 1873 | /** |
1752 | * The meta object literal for the '<em><b>New Integers</b></em>' containment reference list feature. | 1874 | * The meta object literal for the '<em><b>Max New Elements</b></em>' attribute feature. |
1753 | * <!-- begin-user-doc --> | 1875 | * <!-- begin-user-doc --> |
1754 | * <!-- end-user-doc --> | 1876 | * <!-- end-user-doc --> |
1755 | * @generated | 1877 | * @generated |
1756 | */ | 1878 | */ |
1757 | EReference PARTIAL_INTERPRETATION__NEW_INTEGERS = eINSTANCE.getPartialInterpretation_NewIntegers(); | 1879 | EAttribute PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MaxNewElements(); |
1758 | 1880 | ||
1759 | /** | 1881 | /** |
1760 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialConstantInterpretationImpl <em>Partial Constant Interpretation</em>}' class. | 1882 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialConstantInterpretationImpl <em>Partial Constant Interpretation</em>}' class. |
@@ -1845,14 +1967,6 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1845 | EClass PARTIAL_TYPE_INTERPRATATION = eINSTANCE.getPartialTypeInterpratation(); | 1967 | EClass PARTIAL_TYPE_INTERPRATATION = eINSTANCE.getPartialTypeInterpratation(); |
1846 | 1968 | ||
1847 | /** | 1969 | /** |
1848 | * The meta object literal for the '<em><b>Interpretation Of</b></em>' reference feature. | ||
1849 | * <!-- begin-user-doc --> | ||
1850 | * <!-- end-user-doc --> | ||
1851 | * @generated | ||
1852 | */ | ||
1853 | EReference PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF = eINSTANCE.getPartialTypeInterpratation_InterpretationOf(); | ||
1854 | |||
1855 | /** | ||
1856 | * The meta object literal for the '<em><b>Elements</b></em>' reference list feature. | 1970 | * The meta object literal for the '<em><b>Elements</b></em>' reference list feature. |
1857 | * <!-- begin-user-doc --> | 1971 | * <!-- begin-user-doc --> |
1858 | * <!-- end-user-doc --> | 1972 | * <!-- end-user-doc --> |
@@ -1861,14 +1975,6 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1861 | EReference PARTIAL_TYPE_INTERPRATATION__ELEMENTS = eINSTANCE.getPartialTypeInterpratation_Elements(); | 1975 | EReference PARTIAL_TYPE_INTERPRATATION__ELEMENTS = eINSTANCE.getPartialTypeInterpratation_Elements(); |
1862 | 1976 | ||
1863 | /** | 1977 | /** |
1864 | * The meta object literal for the '<em><b>Supertype Interpretation</b></em>' reference list feature. | ||
1865 | * <!-- begin-user-doc --> | ||
1866 | * <!-- end-user-doc --> | ||
1867 | * @generated | ||
1868 | */ | ||
1869 | EReference PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION = eINSTANCE.getPartialTypeInterpratation_SupertypeInterpretation(); | ||
1870 | |||
1871 | /** | ||
1872 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RelationLinkImpl <em>Relation Link</em>}' class. | 1978 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RelationLinkImpl <em>Relation Link</em>}' class. |
1873 | * <!-- begin-user-doc --> | 1979 | * <!-- begin-user-doc --> |
1874 | * <!-- end-user-doc --> | 1980 | * <!-- end-user-doc --> |
@@ -1959,6 +2065,14 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1959 | EAttribute NARY_RELATION_LINK_ELEMENT__INDEX = eINSTANCE.getNaryRelationLinkElement_Index(); | 2065 | EAttribute NARY_RELATION_LINK_ELEMENT__INDEX = eINSTANCE.getNaryRelationLinkElement_Index(); |
1960 | 2066 | ||
1961 | /** | 2067 | /** |
2068 | * The meta object literal for the '<em><b>Param</b></em>' reference feature. | ||
2069 | * <!-- begin-user-doc --> | ||
2070 | * <!-- end-user-doc --> | ||
2071 | * @generated | ||
2072 | */ | ||
2073 | EReference NARY_RELATION_LINK_ELEMENT__PARAM = eINSTANCE.getNaryRelationLinkElement_Param(); | ||
2074 | |||
2075 | /** | ||
1962 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PrimitiveElementImpl <em>Primitive Element</em>}' class. | 2076 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PrimitiveElementImpl <em>Primitive Element</em>}' class. |
1963 | * <!-- begin-user-doc --> | 2077 | * <!-- begin-user-doc --> |
1964 | * <!-- end-user-doc --> | 2078 | * <!-- end-user-doc --> |
@@ -2048,6 +2162,116 @@ public interface PartialinterpretationPackage extends EPackage { | |||
2048 | */ | 2162 | */ |
2049 | EAttribute STRING_ELEMENT__VALUE = eINSTANCE.getStringElement_Value(); | 2163 | EAttribute STRING_ELEMENT__VALUE = eINSTANCE.getStringElement_Value(); |
2050 | 2164 | ||
2165 | /** | ||
2166 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl <em>Scope</em>}' class. | ||
2167 | * <!-- begin-user-doc --> | ||
2168 | * <!-- end-user-doc --> | ||
2169 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl | ||
2170 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getScope() | ||
2171 | * @generated | ||
2172 | */ | ||
2173 | EClass SCOPE = eINSTANCE.getScope(); | ||
2174 | |||
2175 | /** | ||
2176 | * The meta object literal for the '<em><b>Min New Elements</b></em>' attribute feature. | ||
2177 | * <!-- begin-user-doc --> | ||
2178 | * <!-- end-user-doc --> | ||
2179 | * @generated | ||
2180 | */ | ||
2181 | EAttribute SCOPE__MIN_NEW_ELEMENTS = eINSTANCE.getScope_MinNewElements(); | ||
2182 | |||
2183 | /** | ||
2184 | * The meta object literal for the '<em><b>Max New Elements</b></em>' attribute feature. | ||
2185 | * <!-- begin-user-doc --> | ||
2186 | * <!-- end-user-doc --> | ||
2187 | * @generated | ||
2188 | */ | ||
2189 | EAttribute SCOPE__MAX_NEW_ELEMENTS = eINSTANCE.getScope_MaxNewElements(); | ||
2190 | |||
2191 | /** | ||
2192 | * The meta object literal for the '<em><b>Target Type Interpretation</b></em>' reference feature. | ||
2193 | * <!-- begin-user-doc --> | ||
2194 | * <!-- end-user-doc --> | ||
2195 | * @generated | ||
2196 | */ | ||
2197 | EReference SCOPE__TARGET_TYPE_INTERPRETATION = eINSTANCE.getScope_TargetTypeInterpretation(); | ||
2198 | |||
2199 | /** | ||
2200 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialPrimitiveInterpretationImpl <em>Partial Primitive Interpretation</em>}' class. | ||
2201 | * <!-- begin-user-doc --> | ||
2202 | * <!-- end-user-doc --> | ||
2203 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialPrimitiveInterpretationImpl | ||
2204 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialPrimitiveInterpretation() | ||
2205 | * @generated | ||
2206 | */ | ||
2207 | EClass PARTIAL_PRIMITIVE_INTERPRETATION = eINSTANCE.getPartialPrimitiveInterpretation(); | ||
2208 | |||
2209 | /** | ||
2210 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialBooleanInterpretationImpl <em>Partial Boolean Interpretation</em>}' class. | ||
2211 | * <!-- begin-user-doc --> | ||
2212 | * <!-- end-user-doc --> | ||
2213 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialBooleanInterpretationImpl | ||
2214 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialBooleanInterpretation() | ||
2215 | * @generated | ||
2216 | */ | ||
2217 | EClass PARTIAL_BOOLEAN_INTERPRETATION = eINSTANCE.getPartialBooleanInterpretation(); | ||
2218 | |||
2219 | /** | ||
2220 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialIntegerInterpretationImpl <em>Partial Integer Interpretation</em>}' class. | ||
2221 | * <!-- begin-user-doc --> | ||
2222 | * <!-- end-user-doc --> | ||
2223 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialIntegerInterpretationImpl | ||
2224 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialIntegerInterpretation() | ||
2225 | * @generated | ||
2226 | */ | ||
2227 | EClass PARTIAL_INTEGER_INTERPRETATION = eINSTANCE.getPartialIntegerInterpretation(); | ||
2228 | |||
2229 | /** | ||
2230 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRealInterpretationImpl <em>Partial Real Interpretation</em>}' class. | ||
2231 | * <!-- begin-user-doc --> | ||
2232 | * <!-- end-user-doc --> | ||
2233 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRealInterpretationImpl | ||
2234 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialRealInterpretation() | ||
2235 | * @generated | ||
2236 | */ | ||
2237 | EClass PARTIAL_REAL_INTERPRETATION = eINSTANCE.getPartialRealInterpretation(); | ||
2238 | |||
2239 | /** | ||
2240 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialStringInterpretationImpl <em>Partial String Interpretation</em>}' class. | ||
2241 | * <!-- begin-user-doc --> | ||
2242 | * <!-- end-user-doc --> | ||
2243 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialStringInterpretationImpl | ||
2244 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialStringInterpretation() | ||
2245 | * @generated | ||
2246 | */ | ||
2247 | EClass PARTIAL_STRING_INTERPRETATION = eINSTANCE.getPartialStringInterpretation(); | ||
2248 | |||
2249 | /** | ||
2250 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl <em>Partial Complex Type Interpretation</em>}' class. | ||
2251 | * <!-- begin-user-doc --> | ||
2252 | * <!-- end-user-doc --> | ||
2253 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl | ||
2254 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialComplexTypeInterpretation() | ||
2255 | * @generated | ||
2256 | */ | ||
2257 | EClass PARTIAL_COMPLEX_TYPE_INTERPRETATION = eINSTANCE.getPartialComplexTypeInterpretation(); | ||
2258 | |||
2259 | /** | ||
2260 | * The meta object literal for the '<em><b>Supertype Interpretation</b></em>' reference list feature. | ||
2261 | * <!-- begin-user-doc --> | ||
2262 | * <!-- end-user-doc --> | ||
2263 | * @generated | ||
2264 | */ | ||
2265 | EReference PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION = eINSTANCE.getPartialComplexTypeInterpretation_SupertypeInterpretation(); | ||
2266 | |||
2267 | /** | ||
2268 | * The meta object literal for the '<em><b>Interpretation Of</b></em>' reference feature. | ||
2269 | * <!-- begin-user-doc --> | ||
2270 | * <!-- end-user-doc --> | ||
2271 | * @generated | ||
2272 | */ | ||
2273 | EReference PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF = eINSTANCE.getPartialComplexTypeInterpretation_InterpretationOf(); | ||
2274 | |||
2051 | } | 2275 | } |
2052 | 2276 | ||
2053 | } //PartialinterpretationPackage | 2277 | } //PartialinterpretationPackage |