diff options
Diffstat (limited to 'language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java')
-rw-r--r-- | language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java | 763 |
1 files changed, 734 insertions, 29 deletions
diff --git a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java index ec96501d..b711566a 100644 --- a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java +++ b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java | |||
@@ -813,22 +813,22 @@ public interface ProblemPackage extends EPackage { | |||
813 | int ASSERTION__RELATION = STATEMENT_FEATURE_COUNT + 0; | 813 | int ASSERTION__RELATION = STATEMENT_FEATURE_COUNT + 0; |
814 | 814 | ||
815 | /** | 815 | /** |
816 | * The feature id for the '<em><b>Arguments</b></em>' reference list. | 816 | * The feature id for the '<em><b>Value</b></em>' attribute. |
817 | * <!-- begin-user-doc --> | 817 | * <!-- begin-user-doc --> |
818 | * <!-- end-user-doc --> | 818 | * <!-- end-user-doc --> |
819 | * @generated | 819 | * @generated |
820 | * @ordered | 820 | * @ordered |
821 | */ | 821 | */ |
822 | int ASSERTION__ARGUMENTS = STATEMENT_FEATURE_COUNT + 1; | 822 | int ASSERTION__VALUE = STATEMENT_FEATURE_COUNT + 1; |
823 | 823 | ||
824 | /** | 824 | /** |
825 | * The feature id for the '<em><b>Value</b></em>' attribute. | 825 | * The feature id for the '<em><b>Arguments</b></em>' containment reference list. |
826 | * <!-- begin-user-doc --> | 826 | * <!-- begin-user-doc --> |
827 | * <!-- end-user-doc --> | 827 | * <!-- end-user-doc --> |
828 | * @generated | 828 | * @generated |
829 | * @ordered | 829 | * @ordered |
830 | */ | 830 | */ |
831 | int ASSERTION__VALUE = STATEMENT_FEATURE_COUNT + 2; | 831 | int ASSERTION__ARGUMENTS = STATEMENT_FEATURE_COUNT + 2; |
832 | 832 | ||
833 | /** | 833 | /** |
834 | * The number of structural features of the '<em>Assertion</em>' class. | 834 | * The number of structural features of the '<em>Assertion</em>' class. |
@@ -1124,7 +1124,35 @@ public interface ProblemPackage extends EPackage { | |||
1124 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getArgument() | 1124 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getArgument() |
1125 | * @generated | 1125 | * @generated |
1126 | */ | 1126 | */ |
1127 | int ARGUMENT = 23; | 1127 | int ARGUMENT = 31; |
1128 | |||
1129 | /** | ||
1130 | * The number of structural features of the '<em>Argument</em>' class. | ||
1131 | * <!-- begin-user-doc --> | ||
1132 | * <!-- end-user-doc --> | ||
1133 | * @generated | ||
1134 | * @ordered | ||
1135 | */ | ||
1136 | int ARGUMENT_FEATURE_COUNT = 0; | ||
1137 | |||
1138 | /** | ||
1139 | * The number of operations of the '<em>Argument</em>' class. | ||
1140 | * <!-- begin-user-doc --> | ||
1141 | * <!-- end-user-doc --> | ||
1142 | * @generated | ||
1143 | * @ordered | ||
1144 | */ | ||
1145 | int ARGUMENT_OPERATION_COUNT = 0; | ||
1146 | |||
1147 | /** | ||
1148 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeArgumentImpl <em>Variable Or Node Argument</em>}' class. | ||
1149 | * <!-- begin-user-doc --> | ||
1150 | * <!-- end-user-doc --> | ||
1151 | * @see org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeArgumentImpl | ||
1152 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariableOrNodeArgument() | ||
1153 | * @generated | ||
1154 | */ | ||
1155 | int VARIABLE_OR_NODE_ARGUMENT = 23; | ||
1128 | 1156 | ||
1129 | /** | 1157 | /** |
1130 | * The feature id for the '<em><b>Variable Or Node</b></em>' reference. | 1158 | * The feature id for the '<em><b>Variable Or Node</b></em>' reference. |
@@ -1133,7 +1161,7 @@ public interface ProblemPackage extends EPackage { | |||
1133 | * @generated | 1161 | * @generated |
1134 | * @ordered | 1162 | * @ordered |
1135 | */ | 1163 | */ |
1136 | int ARGUMENT__VARIABLE_OR_NODE = 0; | 1164 | int VARIABLE_OR_NODE_ARGUMENT__VARIABLE_OR_NODE = ARGUMENT_FEATURE_COUNT + 0; |
1137 | 1165 | ||
1138 | /** | 1166 | /** |
1139 | * The feature id for the '<em><b>Singleton Variable</b></em>' containment reference. | 1167 | * The feature id for the '<em><b>Singleton Variable</b></em>' containment reference. |
@@ -1142,25 +1170,25 @@ public interface ProblemPackage extends EPackage { | |||
1142 | * @generated | 1170 | * @generated |
1143 | * @ordered | 1171 | * @ordered |
1144 | */ | 1172 | */ |
1145 | int ARGUMENT__SINGLETON_VARIABLE = 1; | 1173 | int VARIABLE_OR_NODE_ARGUMENT__SINGLETON_VARIABLE = ARGUMENT_FEATURE_COUNT + 1; |
1146 | 1174 | ||
1147 | /** | 1175 | /** |
1148 | * The number of structural features of the '<em>Argument</em>' class. | 1176 | * The number of structural features of the '<em>Variable Or Node Argument</em>' class. |
1149 | * <!-- begin-user-doc --> | 1177 | * <!-- begin-user-doc --> |
1150 | * <!-- end-user-doc --> | 1178 | * <!-- end-user-doc --> |
1151 | * @generated | 1179 | * @generated |
1152 | * @ordered | 1180 | * @ordered |
1153 | */ | 1181 | */ |
1154 | int ARGUMENT_FEATURE_COUNT = 2; | 1182 | int VARIABLE_OR_NODE_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 2; |
1155 | 1183 | ||
1156 | /** | 1184 | /** |
1157 | * The number of operations of the '<em>Argument</em>' class. | 1185 | * The number of operations of the '<em>Variable Or Node Argument</em>' class. |
1158 | * <!-- begin-user-doc --> | 1186 | * <!-- begin-user-doc --> |
1159 | * <!-- end-user-doc --> | 1187 | * <!-- end-user-doc --> |
1160 | * @generated | 1188 | * @generated |
1161 | * @ordered | 1189 | * @ordered |
1162 | */ | 1190 | */ |
1163 | int ARGUMENT_OPERATION_COUNT = 0; | 1191 | int VARIABLE_OR_NODE_ARGUMENT_OPERATION_COUNT = ARGUMENT_OPERATION_COUNT + 0; |
1164 | 1192 | ||
1165 | /** | 1193 | /** |
1166 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl <em>Enum Declaration</em>}' class. | 1194 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl <em>Enum Declaration</em>}' class. |
@@ -1209,6 +1237,330 @@ public interface ProblemPackage extends EPackage { | |||
1209 | int ENUM_DECLARATION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0; | 1237 | int ENUM_DECLARATION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0; |
1210 | 1238 | ||
1211 | /** | 1239 | /** |
1240 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConstantImpl <em>Constant</em>}' class. | ||
1241 | * <!-- begin-user-doc --> | ||
1242 | * <!-- end-user-doc --> | ||
1243 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantImpl | ||
1244 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstant() | ||
1245 | * @generated | ||
1246 | */ | ||
1247 | int CONSTANT = 26; | ||
1248 | |||
1249 | /** | ||
1250 | * The number of structural features of the '<em>Constant</em>' class. | ||
1251 | * <!-- begin-user-doc --> | ||
1252 | * <!-- end-user-doc --> | ||
1253 | * @generated | ||
1254 | * @ordered | ||
1255 | */ | ||
1256 | int CONSTANT_FEATURE_COUNT = 0; | ||
1257 | |||
1258 | /** | ||
1259 | * The number of operations of the '<em>Constant</em>' class. | ||
1260 | * <!-- begin-user-doc --> | ||
1261 | * <!-- end-user-doc --> | ||
1262 | * @generated | ||
1263 | * @ordered | ||
1264 | */ | ||
1265 | int CONSTANT_OPERATION_COUNT = 0; | ||
1266 | |||
1267 | /** | ||
1268 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.IntConstantImpl <em>Int Constant</em>}' class. | ||
1269 | * <!-- begin-user-doc --> | ||
1270 | * <!-- end-user-doc --> | ||
1271 | * @see org.eclipse.viatra.solver.language.model.problem.impl.IntConstantImpl | ||
1272 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getIntConstant() | ||
1273 | * @generated | ||
1274 | */ | ||
1275 | int INT_CONSTANT = 27; | ||
1276 | |||
1277 | /** | ||
1278 | * The feature id for the '<em><b>Int Value</b></em>' attribute. | ||
1279 | * <!-- begin-user-doc --> | ||
1280 | * <!-- end-user-doc --> | ||
1281 | * @generated | ||
1282 | * @ordered | ||
1283 | */ | ||
1284 | int INT_CONSTANT__INT_VALUE = CONSTANT_FEATURE_COUNT + 0; | ||
1285 | |||
1286 | /** | ||
1287 | * The number of structural features of the '<em>Int Constant</em>' class. | ||
1288 | * <!-- begin-user-doc --> | ||
1289 | * <!-- end-user-doc --> | ||
1290 | * @generated | ||
1291 | * @ordered | ||
1292 | */ | ||
1293 | int INT_CONSTANT_FEATURE_COUNT = CONSTANT_FEATURE_COUNT + 1; | ||
1294 | |||
1295 | /** | ||
1296 | * The number of operations of the '<em>Int Constant</em>' class. | ||
1297 | * <!-- begin-user-doc --> | ||
1298 | * <!-- end-user-doc --> | ||
1299 | * @generated | ||
1300 | * @ordered | ||
1301 | */ | ||
1302 | int INT_CONSTANT_OPERATION_COUNT = CONSTANT_OPERATION_COUNT + 0; | ||
1303 | |||
1304 | /** | ||
1305 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RealConstantImpl <em>Real Constant</em>}' class. | ||
1306 | * <!-- begin-user-doc --> | ||
1307 | * <!-- end-user-doc --> | ||
1308 | * @see org.eclipse.viatra.solver.language.model.problem.impl.RealConstantImpl | ||
1309 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getRealConstant() | ||
1310 | * @generated | ||
1311 | */ | ||
1312 | int REAL_CONSTANT = 28; | ||
1313 | |||
1314 | /** | ||
1315 | * The feature id for the '<em><b>Real Value</b></em>' attribute. | ||
1316 | * <!-- begin-user-doc --> | ||
1317 | * <!-- end-user-doc --> | ||
1318 | * @generated | ||
1319 | * @ordered | ||
1320 | */ | ||
1321 | int REAL_CONSTANT__REAL_VALUE = CONSTANT_FEATURE_COUNT + 0; | ||
1322 | |||
1323 | /** | ||
1324 | * The number of structural features of the '<em>Real Constant</em>' class. | ||
1325 | * <!-- begin-user-doc --> | ||
1326 | * <!-- end-user-doc --> | ||
1327 | * @generated | ||
1328 | * @ordered | ||
1329 | */ | ||
1330 | int REAL_CONSTANT_FEATURE_COUNT = CONSTANT_FEATURE_COUNT + 1; | ||
1331 | |||
1332 | /** | ||
1333 | * The number of operations of the '<em>Real Constant</em>' class. | ||
1334 | * <!-- begin-user-doc --> | ||
1335 | * <!-- end-user-doc --> | ||
1336 | * @generated | ||
1337 | * @ordered | ||
1338 | */ | ||
1339 | int REAL_CONSTANT_OPERATION_COUNT = CONSTANT_OPERATION_COUNT + 0; | ||
1340 | |||
1341 | /** | ||
1342 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.StringConstantImpl <em>String Constant</em>}' class. | ||
1343 | * <!-- begin-user-doc --> | ||
1344 | * <!-- end-user-doc --> | ||
1345 | * @see org.eclipse.viatra.solver.language.model.problem.impl.StringConstantImpl | ||
1346 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getStringConstant() | ||
1347 | * @generated | ||
1348 | */ | ||
1349 | int STRING_CONSTANT = 29; | ||
1350 | |||
1351 | /** | ||
1352 | * The feature id for the '<em><b>String Value</b></em>' attribute. | ||
1353 | * <!-- begin-user-doc --> | ||
1354 | * <!-- end-user-doc --> | ||
1355 | * @generated | ||
1356 | * @ordered | ||
1357 | */ | ||
1358 | int STRING_CONSTANT__STRING_VALUE = CONSTANT_FEATURE_COUNT + 0; | ||
1359 | |||
1360 | /** | ||
1361 | * The number of structural features of the '<em>String Constant</em>' class. | ||
1362 | * <!-- begin-user-doc --> | ||
1363 | * <!-- end-user-doc --> | ||
1364 | * @generated | ||
1365 | * @ordered | ||
1366 | */ | ||
1367 | int STRING_CONSTANT_FEATURE_COUNT = CONSTANT_FEATURE_COUNT + 1; | ||
1368 | |||
1369 | /** | ||
1370 | * The number of operations of the '<em>String Constant</em>' class. | ||
1371 | * <!-- begin-user-doc --> | ||
1372 | * <!-- end-user-doc --> | ||
1373 | * @generated | ||
1374 | * @ordered | ||
1375 | */ | ||
1376 | int STRING_CONSTANT_OPERATION_COUNT = CONSTANT_OPERATION_COUNT + 0; | ||
1377 | |||
1378 | /** | ||
1379 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConstantArgumentImpl <em>Constant Argument</em>}' class. | ||
1380 | * <!-- begin-user-doc --> | ||
1381 | * <!-- end-user-doc --> | ||
1382 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantArgumentImpl | ||
1383 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstantArgument() | ||
1384 | * @generated | ||
1385 | */ | ||
1386 | int CONSTANT_ARGUMENT = 30; | ||
1387 | |||
1388 | /** | ||
1389 | * The feature id for the '<em><b>Constant</b></em>' containment reference. | ||
1390 | * <!-- begin-user-doc --> | ||
1391 | * <!-- end-user-doc --> | ||
1392 | * @generated | ||
1393 | * @ordered | ||
1394 | */ | ||
1395 | int CONSTANT_ARGUMENT__CONSTANT = ARGUMENT_FEATURE_COUNT + 0; | ||
1396 | |||
1397 | /** | ||
1398 | * The number of structural features of the '<em>Constant Argument</em>' class. | ||
1399 | * <!-- begin-user-doc --> | ||
1400 | * <!-- end-user-doc --> | ||
1401 | * @generated | ||
1402 | * @ordered | ||
1403 | */ | ||
1404 | int CONSTANT_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 1; | ||
1405 | |||
1406 | /** | ||
1407 | * The number of operations of the '<em>Constant Argument</em>' class. | ||
1408 | * <!-- begin-user-doc --> | ||
1409 | * <!-- end-user-doc --> | ||
1410 | * @generated | ||
1411 | * @ordered | ||
1412 | */ | ||
1413 | int CONSTANT_ARGUMENT_OPERATION_COUNT = ARGUMENT_OPERATION_COUNT + 0; | ||
1414 | |||
1415 | /** | ||
1416 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionArgumentImpl <em>Assertion Argument</em>}' class. | ||
1417 | * <!-- begin-user-doc --> | ||
1418 | * <!-- end-user-doc --> | ||
1419 | * @see org.eclipse.viatra.solver.language.model.problem.impl.AssertionArgumentImpl | ||
1420 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getAssertionArgument() | ||
1421 | * @generated | ||
1422 | */ | ||
1423 | int ASSERTION_ARGUMENT = 33; | ||
1424 | |||
1425 | /** | ||
1426 | * The number of structural features of the '<em>Assertion Argument</em>' class. | ||
1427 | * <!-- begin-user-doc --> | ||
1428 | * <!-- end-user-doc --> | ||
1429 | * @generated | ||
1430 | * @ordered | ||
1431 | */ | ||
1432 | int ASSERTION_ARGUMENT_FEATURE_COUNT = 0; | ||
1433 | |||
1434 | /** | ||
1435 | * The number of operations of the '<em>Assertion Argument</em>' class. | ||
1436 | * <!-- begin-user-doc --> | ||
1437 | * <!-- end-user-doc --> | ||
1438 | * @generated | ||
1439 | * @ordered | ||
1440 | */ | ||
1441 | int ASSERTION_ARGUMENT_OPERATION_COUNT = 0; | ||
1442 | |||
1443 | /** | ||
1444 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NodeAssertionArgumentImpl <em>Node Assertion Argument</em>}' class. | ||
1445 | * <!-- begin-user-doc --> | ||
1446 | * <!-- end-user-doc --> | ||
1447 | * @see org.eclipse.viatra.solver.language.model.problem.impl.NodeAssertionArgumentImpl | ||
1448 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNodeAssertionArgument() | ||
1449 | * @generated | ||
1450 | */ | ||
1451 | int NODE_ASSERTION_ARGUMENT = 32; | ||
1452 | |||
1453 | /** | ||
1454 | * The feature id for the '<em><b>Node</b></em>' reference. | ||
1455 | * <!-- begin-user-doc --> | ||
1456 | * <!-- end-user-doc --> | ||
1457 | * @generated | ||
1458 | * @ordered | ||
1459 | */ | ||
1460 | int NODE_ASSERTION_ARGUMENT__NODE = ASSERTION_ARGUMENT_FEATURE_COUNT + 0; | ||
1461 | |||
1462 | /** | ||
1463 | * The number of structural features of the '<em>Node Assertion Argument</em>' class. | ||
1464 | * <!-- begin-user-doc --> | ||
1465 | * <!-- end-user-doc --> | ||
1466 | * @generated | ||
1467 | * @ordered | ||
1468 | */ | ||
1469 | int NODE_ASSERTION_ARGUMENT_FEATURE_COUNT = ASSERTION_ARGUMENT_FEATURE_COUNT + 1; | ||
1470 | |||
1471 | /** | ||
1472 | * The number of operations of the '<em>Node Assertion Argument</em>' class. | ||
1473 | * <!-- begin-user-doc --> | ||
1474 | * <!-- end-user-doc --> | ||
1475 | * @generated | ||
1476 | * @ordered | ||
1477 | */ | ||
1478 | int NODE_ASSERTION_ARGUMENT_OPERATION_COUNT = ASSERTION_ARGUMENT_OPERATION_COUNT + 0; | ||
1479 | |||
1480 | /** | ||
1481 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConstantAssertionArgumentImpl <em>Constant Assertion Argument</em>}' class. | ||
1482 | * <!-- begin-user-doc --> | ||
1483 | * <!-- end-user-doc --> | ||
1484 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantAssertionArgumentImpl | ||
1485 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstantAssertionArgument() | ||
1486 | * @generated | ||
1487 | */ | ||
1488 | int CONSTANT_ASSERTION_ARGUMENT = 34; | ||
1489 | |||
1490 | /** | ||
1491 | * The feature id for the '<em><b>Constant</b></em>' containment reference. | ||
1492 | * <!-- begin-user-doc --> | ||
1493 | * <!-- end-user-doc --> | ||
1494 | * @generated | ||
1495 | * @ordered | ||
1496 | */ | ||
1497 | int CONSTANT_ASSERTION_ARGUMENT__CONSTANT = ASSERTION_ARGUMENT_FEATURE_COUNT + 0; | ||
1498 | |||
1499 | /** | ||
1500 | * The number of structural features of the '<em>Constant Assertion Argument</em>' class. | ||
1501 | * <!-- begin-user-doc --> | ||
1502 | * <!-- end-user-doc --> | ||
1503 | * @generated | ||
1504 | * @ordered | ||
1505 | */ | ||
1506 | int CONSTANT_ASSERTION_ARGUMENT_FEATURE_COUNT = ASSERTION_ARGUMENT_FEATURE_COUNT + 1; | ||
1507 | |||
1508 | /** | ||
1509 | * The number of operations of the '<em>Constant Assertion Argument</em>' class. | ||
1510 | * <!-- begin-user-doc --> | ||
1511 | * <!-- end-user-doc --> | ||
1512 | * @generated | ||
1513 | * @ordered | ||
1514 | */ | ||
1515 | int CONSTANT_ASSERTION_ARGUMENT_OPERATION_COUNT = ASSERTION_ARGUMENT_OPERATION_COUNT + 0; | ||
1516 | |||
1517 | /** | ||
1518 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NodeValueAssertionImpl <em>Node Value Assertion</em>}' class. | ||
1519 | * <!-- begin-user-doc --> | ||
1520 | * <!-- end-user-doc --> | ||
1521 | * @see org.eclipse.viatra.solver.language.model.problem.impl.NodeValueAssertionImpl | ||
1522 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNodeValueAssertion() | ||
1523 | * @generated | ||
1524 | */ | ||
1525 | int NODE_VALUE_ASSERTION = 35; | ||
1526 | |||
1527 | /** | ||
1528 | * The feature id for the '<em><b>Node</b></em>' reference. | ||
1529 | * <!-- begin-user-doc --> | ||
1530 | * <!-- end-user-doc --> | ||
1531 | * @generated | ||
1532 | * @ordered | ||
1533 | */ | ||
1534 | int NODE_VALUE_ASSERTION__NODE = STATEMENT_FEATURE_COUNT + 0; | ||
1535 | |||
1536 | /** | ||
1537 | * The feature id for the '<em><b>Value</b></em>' containment reference. | ||
1538 | * <!-- begin-user-doc --> | ||
1539 | * <!-- end-user-doc --> | ||
1540 | * @generated | ||
1541 | * @ordered | ||
1542 | */ | ||
1543 | int NODE_VALUE_ASSERTION__VALUE = STATEMENT_FEATURE_COUNT + 1; | ||
1544 | |||
1545 | /** | ||
1546 | * The number of structural features of the '<em>Node Value Assertion</em>' class. | ||
1547 | * <!-- begin-user-doc --> | ||
1548 | * <!-- end-user-doc --> | ||
1549 | * @generated | ||
1550 | * @ordered | ||
1551 | */ | ||
1552 | int NODE_VALUE_ASSERTION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2; | ||
1553 | |||
1554 | /** | ||
1555 | * The number of operations of the '<em>Node Value Assertion</em>' class. | ||
1556 | * <!-- begin-user-doc --> | ||
1557 | * <!-- end-user-doc --> | ||
1558 | * @generated | ||
1559 | * @ordered | ||
1560 | */ | ||
1561 | int NODE_VALUE_ASSERTION_OPERATION_COUNT = STATEMENT_OPERATION_COUNT + 0; | ||
1562 | |||
1563 | /** | ||
1212 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}' enum. | 1564 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}' enum. |
1213 | * <!-- begin-user-doc --> | 1565 | * <!-- begin-user-doc --> |
1214 | * <!-- end-user-doc --> | 1566 | * <!-- end-user-doc --> |
@@ -1216,7 +1568,7 @@ public interface ProblemPackage extends EPackage { | |||
1216 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getLogicValue() | 1568 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getLogicValue() |
1217 | * @generated | 1569 | * @generated |
1218 | */ | 1570 | */ |
1219 | int LOGIC_VALUE = 26; | 1571 | int LOGIC_VALUE = 36; |
1220 | 1572 | ||
1221 | /** | 1573 | /** |
1222 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Problem <em>Problem</em>}'. | 1574 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Problem <em>Problem</em>}'. |
@@ -1611,10 +1963,10 @@ public interface ProblemPackage extends EPackage { | |||
1611 | EReference getAssertion_Relation(); | 1963 | EReference getAssertion_Relation(); |
1612 | 1964 | ||
1613 | /** | 1965 | /** |
1614 | * Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getArguments <em>Arguments</em>}'. | 1966 | * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getArguments <em>Arguments</em>}'. |
1615 | * <!-- begin-user-doc --> | 1967 | * <!-- begin-user-doc --> |
1616 | * <!-- end-user-doc --> | 1968 | * <!-- end-user-doc --> |
1617 | * @return the meta object for the reference list '<em>Arguments</em>'. | 1969 | * @return the meta object for the containment reference list '<em>Arguments</em>'. |
1618 | * @see org.eclipse.viatra.solver.language.model.problem.Assertion#getArguments() | 1970 | * @see org.eclipse.viatra.solver.language.model.problem.Assertion#getArguments() |
1619 | * @see #getAssertion() | 1971 | * @see #getAssertion() |
1620 | * @generated | 1972 | * @generated |
@@ -1790,6 +2142,38 @@ public interface ProblemPackage extends EPackage { | |||
1790 | EClass getUnboundedMultiplicity(); | 2142 | EClass getUnboundedMultiplicity(); |
1791 | 2143 | ||
1792 | /** | 2144 | /** |
2145 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument <em>Variable Or Node Argument</em>}'. | ||
2146 | * <!-- begin-user-doc --> | ||
2147 | * <!-- end-user-doc --> | ||
2148 | * @return the meta object for class '<em>Variable Or Node Argument</em>'. | ||
2149 | * @see org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument | ||
2150 | * @generated | ||
2151 | */ | ||
2152 | EClass getVariableOrNodeArgument(); | ||
2153 | |||
2154 | /** | ||
2155 | * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument#getVariableOrNode <em>Variable Or Node</em>}'. | ||
2156 | * <!-- begin-user-doc --> | ||
2157 | * <!-- end-user-doc --> | ||
2158 | * @return the meta object for the reference '<em>Variable Or Node</em>'. | ||
2159 | * @see org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument#getVariableOrNode() | ||
2160 | * @see #getVariableOrNodeArgument() | ||
2161 | * @generated | ||
2162 | */ | ||
2163 | EReference getVariableOrNodeArgument_VariableOrNode(); | ||
2164 | |||
2165 | /** | ||
2166 | * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument#getSingletonVariable <em>Singleton Variable</em>}'. | ||
2167 | * <!-- begin-user-doc --> | ||
2168 | * <!-- end-user-doc --> | ||
2169 | * @return the meta object for the containment reference '<em>Singleton Variable</em>'. | ||
2170 | * @see org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument#getSingletonVariable() | ||
2171 | * @see #getVariableOrNodeArgument() | ||
2172 | * @generated | ||
2173 | */ | ||
2174 | EReference getVariableOrNodeArgument_SingletonVariable(); | ||
2175 | |||
2176 | /** | ||
1793 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Argument <em>Argument</em>}'. | 2177 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Argument <em>Argument</em>}'. |
1794 | * <!-- begin-user-doc --> | 2178 | * <!-- begin-user-doc --> |
1795 | * <!-- end-user-doc --> | 2179 | * <!-- end-user-doc --> |
@@ -1800,26 +2184,88 @@ public interface ProblemPackage extends EPackage { | |||
1800 | EClass getArgument(); | 2184 | EClass getArgument(); |
1801 | 2185 | ||
1802 | /** | 2186 | /** |
1803 | * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.Argument#getVariableOrNode <em>Variable Or Node</em>}'. | 2187 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.NodeAssertionArgument <em>Node Assertion Argument</em>}'. |
1804 | * <!-- begin-user-doc --> | 2188 | * <!-- begin-user-doc --> |
1805 | * <!-- end-user-doc --> | 2189 | * <!-- end-user-doc --> |
1806 | * @return the meta object for the reference '<em>Variable Or Node</em>'. | 2190 | * @return the meta object for class '<em>Node Assertion Argument</em>'. |
1807 | * @see org.eclipse.viatra.solver.language.model.problem.Argument#getVariableOrNode() | 2191 | * @see org.eclipse.viatra.solver.language.model.problem.NodeAssertionArgument |
1808 | * @see #getArgument() | ||
1809 | * @generated | 2192 | * @generated |
1810 | */ | 2193 | */ |
1811 | EReference getArgument_VariableOrNode(); | 2194 | EClass getNodeAssertionArgument(); |
1812 | 2195 | ||
1813 | /** | 2196 | /** |
1814 | * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.Argument#getSingletonVariable <em>Singleton Variable</em>}'. | 2197 | * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.NodeAssertionArgument#getNode <em>Node</em>}'. |
1815 | * <!-- begin-user-doc --> | 2198 | * <!-- begin-user-doc --> |
1816 | * <!-- end-user-doc --> | 2199 | * <!-- end-user-doc --> |
1817 | * @return the meta object for the containment reference '<em>Singleton Variable</em>'. | 2200 | * @return the meta object for the reference '<em>Node</em>'. |
1818 | * @see org.eclipse.viatra.solver.language.model.problem.Argument#getSingletonVariable() | 2201 | * @see org.eclipse.viatra.solver.language.model.problem.NodeAssertionArgument#getNode() |
1819 | * @see #getArgument() | 2202 | * @see #getNodeAssertionArgument() |
1820 | * @generated | 2203 | * @generated |
1821 | */ | 2204 | */ |
1822 | EReference getArgument_SingletonVariable(); | 2205 | EReference getNodeAssertionArgument_Node(); |
2206 | |||
2207 | /** | ||
2208 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.AssertionArgument <em>Assertion Argument</em>}'. | ||
2209 | * <!-- begin-user-doc --> | ||
2210 | * <!-- end-user-doc --> | ||
2211 | * @return the meta object for class '<em>Assertion Argument</em>'. | ||
2212 | * @see org.eclipse.viatra.solver.language.model.problem.AssertionArgument | ||
2213 | * @generated | ||
2214 | */ | ||
2215 | EClass getAssertionArgument(); | ||
2216 | |||
2217 | /** | ||
2218 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ConstantAssertionArgument <em>Constant Assertion Argument</em>}'. | ||
2219 | * <!-- begin-user-doc --> | ||
2220 | * <!-- end-user-doc --> | ||
2221 | * @return the meta object for class '<em>Constant Assertion Argument</em>'. | ||
2222 | * @see org.eclipse.viatra.solver.language.model.problem.ConstantAssertionArgument | ||
2223 | * @generated | ||
2224 | */ | ||
2225 | EClass getConstantAssertionArgument(); | ||
2226 | |||
2227 | /** | ||
2228 | * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.ConstantAssertionArgument#getConstant <em>Constant</em>}'. | ||
2229 | * <!-- begin-user-doc --> | ||
2230 | * <!-- end-user-doc --> | ||
2231 | * @return the meta object for the containment reference '<em>Constant</em>'. | ||
2232 | * @see org.eclipse.viatra.solver.language.model.problem.ConstantAssertionArgument#getConstant() | ||
2233 | * @see #getConstantAssertionArgument() | ||
2234 | * @generated | ||
2235 | */ | ||
2236 | EReference getConstantAssertionArgument_Constant(); | ||
2237 | |||
2238 | /** | ||
2239 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion <em>Node Value Assertion</em>}'. | ||
2240 | * <!-- begin-user-doc --> | ||
2241 | * <!-- end-user-doc --> | ||
2242 | * @return the meta object for class '<em>Node Value Assertion</em>'. | ||
2243 | * @see org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion | ||
2244 | * @generated | ||
2245 | */ | ||
2246 | EClass getNodeValueAssertion(); | ||
2247 | |||
2248 | /** | ||
2249 | * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion#getNode <em>Node</em>}'. | ||
2250 | * <!-- begin-user-doc --> | ||
2251 | * <!-- end-user-doc --> | ||
2252 | * @return the meta object for the reference '<em>Node</em>'. | ||
2253 | * @see org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion#getNode() | ||
2254 | * @see #getNodeValueAssertion() | ||
2255 | * @generated | ||
2256 | */ | ||
2257 | EReference getNodeValueAssertion_Node(); | ||
2258 | |||
2259 | /** | ||
2260 | * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion#getValue <em>Value</em>}'. | ||
2261 | * <!-- begin-user-doc --> | ||
2262 | * <!-- end-user-doc --> | ||
2263 | * @return the meta object for the containment reference '<em>Value</em>'. | ||
2264 | * @see org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion#getValue() | ||
2265 | * @see #getNodeValueAssertion() | ||
2266 | * @generated | ||
2267 | */ | ||
2268 | EReference getNodeValueAssertion_Value(); | ||
1823 | 2269 | ||
1824 | /** | 2270 | /** |
1825 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.EnumDeclaration <em>Enum Declaration</em>}'. | 2271 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.EnumDeclaration <em>Enum Declaration</em>}'. |
@@ -1853,6 +2299,100 @@ public interface ProblemPackage extends EPackage { | |||
1853 | EClass getVariableOrNode(); | 2299 | EClass getVariableOrNode(); |
1854 | 2300 | ||
1855 | /** | 2301 | /** |
2302 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Constant <em>Constant</em>}'. | ||
2303 | * <!-- begin-user-doc --> | ||
2304 | * <!-- end-user-doc --> | ||
2305 | * @return the meta object for class '<em>Constant</em>'. | ||
2306 | * @see org.eclipse.viatra.solver.language.model.problem.Constant | ||
2307 | * @generated | ||
2308 | */ | ||
2309 | EClass getConstant(); | ||
2310 | |||
2311 | /** | ||
2312 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.IntConstant <em>Int Constant</em>}'. | ||
2313 | * <!-- begin-user-doc --> | ||
2314 | * <!-- end-user-doc --> | ||
2315 | * @return the meta object for class '<em>Int Constant</em>'. | ||
2316 | * @see org.eclipse.viatra.solver.language.model.problem.IntConstant | ||
2317 | * @generated | ||
2318 | */ | ||
2319 | EClass getIntConstant(); | ||
2320 | |||
2321 | /** | ||
2322 | * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.IntConstant#getIntValue <em>Int Value</em>}'. | ||
2323 | * <!-- begin-user-doc --> | ||
2324 | * <!-- end-user-doc --> | ||
2325 | * @return the meta object for the attribute '<em>Int Value</em>'. | ||
2326 | * @see org.eclipse.viatra.solver.language.model.problem.IntConstant#getIntValue() | ||
2327 | * @see #getIntConstant() | ||
2328 | * @generated | ||
2329 | */ | ||
2330 | EAttribute getIntConstant_IntValue(); | ||
2331 | |||
2332 | /** | ||
2333 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.RealConstant <em>Real Constant</em>}'. | ||
2334 | * <!-- begin-user-doc --> | ||
2335 | * <!-- end-user-doc --> | ||
2336 | * @return the meta object for class '<em>Real Constant</em>'. | ||
2337 | * @see org.eclipse.viatra.solver.language.model.problem.RealConstant | ||
2338 | * @generated | ||
2339 | */ | ||
2340 | EClass getRealConstant(); | ||
2341 | |||
2342 | /** | ||
2343 | * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.RealConstant#getRealValue <em>Real Value</em>}'. | ||
2344 | * <!-- begin-user-doc --> | ||
2345 | * <!-- end-user-doc --> | ||
2346 | * @return the meta object for the attribute '<em>Real Value</em>'. | ||
2347 | * @see org.eclipse.viatra.solver.language.model.problem.RealConstant#getRealValue() | ||
2348 | * @see #getRealConstant() | ||
2349 | * @generated | ||
2350 | */ | ||
2351 | EAttribute getRealConstant_RealValue(); | ||
2352 | |||
2353 | /** | ||
2354 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.StringConstant <em>String Constant</em>}'. | ||
2355 | * <!-- begin-user-doc --> | ||
2356 | * <!-- end-user-doc --> | ||
2357 | * @return the meta object for class '<em>String Constant</em>'. | ||
2358 | * @see org.eclipse.viatra.solver.language.model.problem.StringConstant | ||
2359 | * @generated | ||
2360 | */ | ||
2361 | EClass getStringConstant(); | ||
2362 | |||
2363 | /** | ||
2364 | * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.StringConstant#getStringValue <em>String Value</em>}'. | ||
2365 | * <!-- begin-user-doc --> | ||
2366 | * <!-- end-user-doc --> | ||
2367 | * @return the meta object for the attribute '<em>String Value</em>'. | ||
2368 | * @see org.eclipse.viatra.solver.language.model.problem.StringConstant#getStringValue() | ||
2369 | * @see #getStringConstant() | ||
2370 | * @generated | ||
2371 | */ | ||
2372 | EAttribute getStringConstant_StringValue(); | ||
2373 | |||
2374 | /** | ||
2375 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ConstantArgument <em>Constant Argument</em>}'. | ||
2376 | * <!-- begin-user-doc --> | ||
2377 | * <!-- end-user-doc --> | ||
2378 | * @return the meta object for class '<em>Constant Argument</em>'. | ||
2379 | * @see org.eclipse.viatra.solver.language.model.problem.ConstantArgument | ||
2380 | * @generated | ||
2381 | */ | ||
2382 | EClass getConstantArgument(); | ||
2383 | |||
2384 | /** | ||
2385 | * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.ConstantArgument#getConstant <em>Constant</em>}'. | ||
2386 | * <!-- begin-user-doc --> | ||
2387 | * <!-- end-user-doc --> | ||
2388 | * @return the meta object for the containment reference '<em>Constant</em>'. | ||
2389 | * @see org.eclipse.viatra.solver.language.model.problem.ConstantArgument#getConstant() | ||
2390 | * @see #getConstantArgument() | ||
2391 | * @generated | ||
2392 | */ | ||
2393 | EReference getConstantArgument_Constant(); | ||
2394 | |||
2395 | /** | ||
1856 | * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}'. | 2396 | * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}'. |
1857 | * <!-- begin-user-doc --> | 2397 | * <!-- begin-user-doc --> |
1858 | * <!-- end-user-doc --> | 2398 | * <!-- end-user-doc --> |
@@ -2212,7 +2752,7 @@ public interface ProblemPackage extends EPackage { | |||
2212 | EReference ASSERTION__RELATION = eINSTANCE.getAssertion_Relation(); | 2752 | EReference ASSERTION__RELATION = eINSTANCE.getAssertion_Relation(); |
2213 | 2753 | ||
2214 | /** | 2754 | /** |
2215 | * The meta object literal for the '<em><b>Arguments</b></em>' reference list feature. | 2755 | * The meta object literal for the '<em><b>Arguments</b></em>' containment reference list feature. |
2216 | * <!-- begin-user-doc --> | 2756 | * <!-- begin-user-doc --> |
2217 | * <!-- end-user-doc --> | 2757 | * <!-- end-user-doc --> |
2218 | * @generated | 2758 | * @generated |
@@ -2364,6 +2904,33 @@ public interface ProblemPackage extends EPackage { | |||
2364 | EClass UNBOUNDED_MULTIPLICITY = eINSTANCE.getUnboundedMultiplicity(); | 2904 | EClass UNBOUNDED_MULTIPLICITY = eINSTANCE.getUnboundedMultiplicity(); |
2365 | 2905 | ||
2366 | /** | 2906 | /** |
2907 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeArgumentImpl <em>Variable Or Node Argument</em>}' class. | ||
2908 | * <!-- begin-user-doc --> | ||
2909 | * <!-- end-user-doc --> | ||
2910 | * @see org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeArgumentImpl | ||
2911 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariableOrNodeArgument() | ||
2912 | * @generated | ||
2913 | */ | ||
2914 | EClass VARIABLE_OR_NODE_ARGUMENT = eINSTANCE.getVariableOrNodeArgument(); | ||
2915 | |||
2916 | /** | ||
2917 | * The meta object literal for the '<em><b>Variable Or Node</b></em>' reference feature. | ||
2918 | * <!-- begin-user-doc --> | ||
2919 | * <!-- end-user-doc --> | ||
2920 | * @generated | ||
2921 | */ | ||
2922 | EReference VARIABLE_OR_NODE_ARGUMENT__VARIABLE_OR_NODE = eINSTANCE.getVariableOrNodeArgument_VariableOrNode(); | ||
2923 | |||
2924 | /** | ||
2925 | * The meta object literal for the '<em><b>Singleton Variable</b></em>' containment reference feature. | ||
2926 | * <!-- begin-user-doc --> | ||
2927 | * <!-- end-user-doc --> | ||
2928 | * @generated | ||
2929 | */ | ||
2930 | EReference VARIABLE_OR_NODE_ARGUMENT__SINGLETON_VARIABLE = eINSTANCE | ||
2931 | .getVariableOrNodeArgument_SingletonVariable(); | ||
2932 | |||
2933 | /** | ||
2367 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ArgumentImpl <em>Argument</em>}' class. | 2934 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ArgumentImpl <em>Argument</em>}' class. |
2368 | * <!-- begin-user-doc --> | 2935 | * <!-- begin-user-doc --> |
2369 | * <!-- end-user-doc --> | 2936 | * <!-- end-user-doc --> |
@@ -2374,20 +2941,76 @@ public interface ProblemPackage extends EPackage { | |||
2374 | EClass ARGUMENT = eINSTANCE.getArgument(); | 2941 | EClass ARGUMENT = eINSTANCE.getArgument(); |
2375 | 2942 | ||
2376 | /** | 2943 | /** |
2377 | * The meta object literal for the '<em><b>Variable Or Node</b></em>' reference feature. | 2944 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NodeAssertionArgumentImpl <em>Node Assertion Argument</em>}' class. |
2378 | * <!-- begin-user-doc --> | 2945 | * <!-- begin-user-doc --> |
2379 | * <!-- end-user-doc --> | 2946 | * <!-- end-user-doc --> |
2947 | * @see org.eclipse.viatra.solver.language.model.problem.impl.NodeAssertionArgumentImpl | ||
2948 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNodeAssertionArgument() | ||
2380 | * @generated | 2949 | * @generated |
2381 | */ | 2950 | */ |
2382 | EReference ARGUMENT__VARIABLE_OR_NODE = eINSTANCE.getArgument_VariableOrNode(); | 2951 | EClass NODE_ASSERTION_ARGUMENT = eINSTANCE.getNodeAssertionArgument(); |
2383 | 2952 | ||
2384 | /** | 2953 | /** |
2385 | * The meta object literal for the '<em><b>Singleton Variable</b></em>' containment reference feature. | 2954 | * The meta object literal for the '<em><b>Node</b></em>' reference feature. |
2955 | * <!-- begin-user-doc --> | ||
2956 | * <!-- end-user-doc --> | ||
2957 | * @generated | ||
2958 | */ | ||
2959 | EReference NODE_ASSERTION_ARGUMENT__NODE = eINSTANCE.getNodeAssertionArgument_Node(); | ||
2960 | |||
2961 | /** | ||
2962 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionArgumentImpl <em>Assertion Argument</em>}' class. | ||
2963 | * <!-- begin-user-doc --> | ||
2964 | * <!-- end-user-doc --> | ||
2965 | * @see org.eclipse.viatra.solver.language.model.problem.impl.AssertionArgumentImpl | ||
2966 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getAssertionArgument() | ||
2967 | * @generated | ||
2968 | */ | ||
2969 | EClass ASSERTION_ARGUMENT = eINSTANCE.getAssertionArgument(); | ||
2970 | |||
2971 | /** | ||
2972 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConstantAssertionArgumentImpl <em>Constant Assertion Argument</em>}' class. | ||
2973 | * <!-- begin-user-doc --> | ||
2974 | * <!-- end-user-doc --> | ||
2975 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantAssertionArgumentImpl | ||
2976 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstantAssertionArgument() | ||
2977 | * @generated | ||
2978 | */ | ||
2979 | EClass CONSTANT_ASSERTION_ARGUMENT = eINSTANCE.getConstantAssertionArgument(); | ||
2980 | |||
2981 | /** | ||
2982 | * The meta object literal for the '<em><b>Constant</b></em>' containment reference feature. | ||
2983 | * <!-- begin-user-doc --> | ||
2984 | * <!-- end-user-doc --> | ||
2985 | * @generated | ||
2986 | */ | ||
2987 | EReference CONSTANT_ASSERTION_ARGUMENT__CONSTANT = eINSTANCE.getConstantAssertionArgument_Constant(); | ||
2988 | |||
2989 | /** | ||
2990 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NodeValueAssertionImpl <em>Node Value Assertion</em>}' class. | ||
2991 | * <!-- begin-user-doc --> | ||
2992 | * <!-- end-user-doc --> | ||
2993 | * @see org.eclipse.viatra.solver.language.model.problem.impl.NodeValueAssertionImpl | ||
2994 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNodeValueAssertion() | ||
2995 | * @generated | ||
2996 | */ | ||
2997 | EClass NODE_VALUE_ASSERTION = eINSTANCE.getNodeValueAssertion(); | ||
2998 | |||
2999 | /** | ||
3000 | * The meta object literal for the '<em><b>Node</b></em>' reference feature. | ||
3001 | * <!-- begin-user-doc --> | ||
3002 | * <!-- end-user-doc --> | ||
3003 | * @generated | ||
3004 | */ | ||
3005 | EReference NODE_VALUE_ASSERTION__NODE = eINSTANCE.getNodeValueAssertion_Node(); | ||
3006 | |||
3007 | /** | ||
3008 | * The meta object literal for the '<em><b>Value</b></em>' containment reference feature. | ||
2386 | * <!-- begin-user-doc --> | 3009 | * <!-- begin-user-doc --> |
2387 | * <!-- end-user-doc --> | 3010 | * <!-- end-user-doc --> |
2388 | * @generated | 3011 | * @generated |
2389 | */ | 3012 | */ |
2390 | EReference ARGUMENT__SINGLETON_VARIABLE = eINSTANCE.getArgument_SingletonVariable(); | 3013 | EReference NODE_VALUE_ASSERTION__VALUE = eINSTANCE.getNodeValueAssertion_Value(); |
2391 | 3014 | ||
2392 | /** | 3015 | /** |
2393 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl <em>Enum Declaration</em>}' class. | 3016 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl <em>Enum Declaration</em>}' class. |
@@ -2418,6 +3041,88 @@ public interface ProblemPackage extends EPackage { | |||
2418 | EClass VARIABLE_OR_NODE = eINSTANCE.getVariableOrNode(); | 3041 | EClass VARIABLE_OR_NODE = eINSTANCE.getVariableOrNode(); |
2419 | 3042 | ||
2420 | /** | 3043 | /** |
3044 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConstantImpl <em>Constant</em>}' class. | ||
3045 | * <!-- begin-user-doc --> | ||
3046 | * <!-- end-user-doc --> | ||
3047 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantImpl | ||
3048 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstant() | ||
3049 | * @generated | ||
3050 | */ | ||
3051 | EClass CONSTANT = eINSTANCE.getConstant(); | ||
3052 | |||
3053 | /** | ||
3054 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.IntConstantImpl <em>Int Constant</em>}' class. | ||
3055 | * <!-- begin-user-doc --> | ||
3056 | * <!-- end-user-doc --> | ||
3057 | * @see org.eclipse.viatra.solver.language.model.problem.impl.IntConstantImpl | ||
3058 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getIntConstant() | ||
3059 | * @generated | ||
3060 | */ | ||
3061 | EClass INT_CONSTANT = eINSTANCE.getIntConstant(); | ||
3062 | |||
3063 | /** | ||
3064 | * The meta object literal for the '<em><b>Int Value</b></em>' attribute feature. | ||
3065 | * <!-- begin-user-doc --> | ||
3066 | * <!-- end-user-doc --> | ||
3067 | * @generated | ||
3068 | */ | ||
3069 | EAttribute INT_CONSTANT__INT_VALUE = eINSTANCE.getIntConstant_IntValue(); | ||
3070 | |||
3071 | /** | ||
3072 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RealConstantImpl <em>Real Constant</em>}' class. | ||
3073 | * <!-- begin-user-doc --> | ||
3074 | * <!-- end-user-doc --> | ||
3075 | * @see org.eclipse.viatra.solver.language.model.problem.impl.RealConstantImpl | ||
3076 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getRealConstant() | ||
3077 | * @generated | ||
3078 | */ | ||
3079 | EClass REAL_CONSTANT = eINSTANCE.getRealConstant(); | ||
3080 | |||
3081 | /** | ||
3082 | * The meta object literal for the '<em><b>Real Value</b></em>' attribute feature. | ||
3083 | * <!-- begin-user-doc --> | ||
3084 | * <!-- end-user-doc --> | ||
3085 | * @generated | ||
3086 | */ | ||
3087 | EAttribute REAL_CONSTANT__REAL_VALUE = eINSTANCE.getRealConstant_RealValue(); | ||
3088 | |||
3089 | /** | ||
3090 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.StringConstantImpl <em>String Constant</em>}' class. | ||
3091 | * <!-- begin-user-doc --> | ||
3092 | * <!-- end-user-doc --> | ||
3093 | * @see org.eclipse.viatra.solver.language.model.problem.impl.StringConstantImpl | ||
3094 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getStringConstant() | ||
3095 | * @generated | ||
3096 | */ | ||
3097 | EClass STRING_CONSTANT = eINSTANCE.getStringConstant(); | ||
3098 | |||
3099 | /** | ||
3100 | * The meta object literal for the '<em><b>String Value</b></em>' attribute feature. | ||
3101 | * <!-- begin-user-doc --> | ||
3102 | * <!-- end-user-doc --> | ||
3103 | * @generated | ||
3104 | */ | ||
3105 | EAttribute STRING_CONSTANT__STRING_VALUE = eINSTANCE.getStringConstant_StringValue(); | ||
3106 | |||
3107 | /** | ||
3108 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConstantArgumentImpl <em>Constant Argument</em>}' class. | ||
3109 | * <!-- begin-user-doc --> | ||
3110 | * <!-- end-user-doc --> | ||
3111 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantArgumentImpl | ||
3112 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstantArgument() | ||
3113 | * @generated | ||
3114 | */ | ||
3115 | EClass CONSTANT_ARGUMENT = eINSTANCE.getConstantArgument(); | ||
3116 | |||
3117 | /** | ||
3118 | * The meta object literal for the '<em><b>Constant</b></em>' containment reference feature. | ||
3119 | * <!-- begin-user-doc --> | ||
3120 | * <!-- end-user-doc --> | ||
3121 | * @generated | ||
3122 | */ | ||
3123 | EReference CONSTANT_ARGUMENT__CONSTANT = eINSTANCE.getConstantArgument_Constant(); | ||
3124 | |||
3125 | /** | ||
2421 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}' enum. | 3126 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}' enum. |
2422 | * <!-- begin-user-doc --> | 3127 | * <!-- begin-user-doc --> |
2423 | * <!-- end-user-doc --> | 3128 | * <!-- end-user-doc --> |