1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<title>polylib: polyhedron.h File Reference</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<link href="doxygen.css" rel="stylesheet" type="text/css"/>
</head>
<body>
<!-- Generated by Doxygen 1.6.1 -->
<div class="navigation" id="top">
<div class="tabs">
<ul>
<li><a href="main.html"><span>Main Page</span></a></li>
<li><a href="annotated.html"><span>Classes</span></a></li>
<li class="current"><a href="files.html"><span>Files</span></a></li>
</ul>
</div>
<div class="tabs">
<ul>
<li><a href="files.html"><span>File List</span></a></li>
<li><a href="globals.html"><span>File Members</span></a></li>
</ul>
</div>
</div>
<div class="contents">
<h1>polyhedron.h File Reference</h1>
<p><a href="polyhedron_8h_source.html">Go to the source code of this file.</a></p>
<table border="0" cellpadding="0" cellspacing="0">
<tr><td colspan="2"><h2>Defines</h2></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">#define </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a54a764faf683e794f4db092c8d050104">POL_ENSURE_INEQUALITIES</a>(P)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">#define </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a6dd85019d042c483105a927e7babfdfa">POL_ENSURE_POINTS</a>(P)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">#define </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a729f721c450a034c1219447745c6b123">POL_ENSURE_FACETS</a>(P)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">#define </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a317e5eb888f5c14e1229742f31169378">POL_ENSURE_VERTICES</a>(P)</td></tr>
<tr><td colspan="2"><h2>Functions</h2></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a4e3db79bcd2da3284175f960012af17a">Polyhedron_Compute_Dual</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *P)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a5ec487b5417647317b8e71f93b09c59e">DomainConstraintSimplify</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *P, unsigned MaxRays)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a9690baafb863abbd2e8d5c4da2995416">AddConstraints</a> (Value *Con, unsigned NbConstraints, <a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol, unsigned NbMaxRays)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a965fd466bed4b1dd143c426e51ac16c5">AddPolyToDomain</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol, <a class="el" href="structpolyhedron.html">Polyhedron</a> *PolDomain)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a6c3e0559da6a19b6d6aa1dedfc44162f">AddRays</a> (Value *Ray2, unsigned NbRay2, <a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol1, unsigned NbMaxRays)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#affd77db2a2f748d557ab6be0fcede209">align_context</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol, int align_dimension, int NbMaxRays)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#aefb77665a187d751bdd44f106b12465e">Constraints2Polyhedron</a> (<a class="el" href="structmatrix.html">Matrix</a> *Constraints, unsigned NbMaxRays)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Given a <a class="el" href="structmatrix.html">matrix</a> of constraints ('Constraints'), construct and return a <a class="el" href="structpolyhedron.html">polyhedron</a>. <a href="#aefb77665a187d751bdd44f106b12465e"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a42ffb06d7be94fa6edf3247c519f6b30">Disjoint_Domain</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol, int flag, unsigned NbMaxRays)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#afa3e85ca5d8849370db166c2ea6851c6">DomainAddConstraints</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol, <a class="el" href="structmatrix.html">Matrix</a> *Mat, unsigned NbMaxRays)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a5ac0337f8a955ee77d5414761f3d41bb">DomainAddRays</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol, <a class="el" href="structmatrix.html">Matrix</a> *Ray, unsigned NbMaxConstrs)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a53b04dfca9570691fbe42574118215ab">DomainConvex</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol, unsigned NbMaxConstrs)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structinterval.html">Interval</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a99cc84955162014f9ca1805281bc8c04">DomainCost</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol, Value *Cost)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#aaaefa8685a2b2819b9863f2e4ff427f5">DomainDifference</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol1, <a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol2, unsigned NbMaxRays)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a8b92d94a0a1cbd47b98e9f72f34c43eb">DomainImage</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol, <a class="el" href="structmatrix.html">Matrix</a> *Func, unsigned NbMaxConstrs)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#ac5a1a2751f0b833183560af25b18033b">DomainIntersection</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol1, <a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol2, unsigned NbMaxRays)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a494ede0f23752164d1c839085a0e3be2">DomainPreimage</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol, <a class="el" href="structmatrix.html">Matrix</a> *Func, unsigned NbMaxRays)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a5fe8c61eb1dddc73783aad88c76ce758">DomainSimplify</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol1, <a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol2, unsigned NbMaxRays)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a95a584b74e1fa94e39740fc4c4cf1bdb">Stras_DomainSimplify</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol1, <a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol2, unsigned NbMaxRays)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a6e402792ade8ef5e83a87d623f03c5cb">DomainUnion</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol1, <a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol2, unsigned NbMaxRays)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#ad57e191f32f3c9022ec00747f4908b3f">Domain_Copy</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#ae6d0a7daf8e801a777fc8e93d8cfe43a">Domain_Free</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a1d8ad597537b66ac5c09e3c231002a7c">Domain_PrintConstraints</a> (FILE *Dst, const char *Format, <a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a37f19f6863a633aa08657cadf564d3d6">Empty_Polyhedron</a> (unsigned Dimension)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a671d2a19d0c376dec383521e78faa70a">Gauss</a> (<a class="el" href="structmatrix.html">Matrix</a> *Mat, int NbEq, int Dimension)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#aa8c3f429dd74c5ec2087f97d702cdc66">lower_upper_bounds</a> (int pos, <a class="el" href="structpolyhedron.html">Polyhedron</a> *P, Value *context, Value *LBp, Value *UBp)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structmatrix.html">Matrix</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a69417a994cd682d0c391ecff6d223cd2">Polyhedron2Constraints</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structmatrix.html">Matrix</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a4163ba86faa8741d9215ff038a791bda">Polyhedron2Rays</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a107a96d44465428ffcd25f1ab3d67b43">PolyhedronIncludes</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol1, <a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol2)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#aa308ade6448cc5544e21d59e86a53ddf">Polyhedron_Alloc</a> (unsigned Dimension, unsigned NbConstraints, unsigned NbRays)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#ab0f89a51f01cea6b93b8fb3ab43feca3">Polyhedron_Copy</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a4ae97b9794e3a616f1d38c68e6515cc3">Polyhedron_Free</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a0b1d25597364fcc0847e8de25d9454c4">Polyhedron_Image</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol, <a class="el" href="structmatrix.html">Matrix</a> *Func, unsigned NbMaxConstrs)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a53d52d5d1befc1d1446e0920556c3d24">Polyhedron_Preimage</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol, <a class="el" href="structmatrix.html">Matrix</a> *Func, unsigned NbMaxRays)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#ad87595bd01c5cdd0f3933824943db496">Polyhedron_Print</a> (FILE *Dst, const char *Format, const <a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a2303f014f8cd948a950c920085135081">Polyhedron_PrintConstraints</a> (FILE *Dst, const char *Format, <a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a9ff332ec08a9a3ccf95c6b1e2a784a68">Polyhedron_Scan</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *D, <a class="el" href="structpolyhedron.html">Polyhedron</a> *C, unsigned MAXRAYS)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a09e380e70f4f88c4a646b4795f9c9626">PolyPrint</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a3d5b12b71133d329c88db195b56d9feb">Rays2Polyhedron</a> (<a class="el" href="structmatrix.html">Matrix</a> *Ray, unsigned NbMaxConstrs)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Given a <a class="el" href="structmatrix.html">matrix</a> of rays 'Ray', create and return a <a class="el" href="structpolyhedron.html">polyhedron</a>. <a href="#a3d5b12b71133d329c88db195b56d9feb"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a1a9b9a572ee65d1c15aea3f9885dde7a">SubConstraint</a> (Value *Con, <a class="el" href="structpolyhedron.html">Polyhedron</a> *Pol, unsigned NbMaxRays, int Pass)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="polyhedron_8h.html#a832c074e0ce9da3df126dc7d51248276">Universe_Polyhedron</a> (unsigned Dimension)</td></tr>
</table>
<hr/><h2>Define Documentation</h2>
<a class="anchor" id="a729f721c450a034c1219447745c6b123"></a><!-- doxytag: member="polyhedron.h::POL_ENSURE_FACETS" ref="a729f721c450a034c1219447745c6b123" args="(P)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">#define POL_ENSURE_FACETS</td>
<td>(</td>
<td class="paramtype">P </td>
<td class="paramname"></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<b>Value:</b><div class="fragment"><pre class="fragment"><span class="keywordflow">if</span> (<a class="code" href="types_8h.html#a19f1ae711bb0e3063ba1962cb8a898a0">F_ISSET</a>(P, <a class="code" href="types_8h.html#a2ac4c28a3acbe4578e03ad20db7939cc">POL_VALID</a>) && !<a class="code" href="types_8h.html#a19f1ae711bb0e3063ba1962cb8a898a0">F_ISSET</a>(P, <a class="code" href="types_8h.html#adef192e3530c5e1fcb2c44858a78f703">POL_FACETS</a>)) \
<a class="code" href="polyhedron_8c.html#a4e3db79bcd2da3284175f960012af17a">Polyhedron_Compute_Dual</a>(P);
</pre></div>
<p>Definition at line <a class="el" href="polyhedron_8h_source.html#l00030">30</a> of file <a class="el" href="polyhedron_8h_source.html">polyhedron.h</a>.</p>
<p>Referenced by <a class="el" href="polyhedron_8c_source.html#l02432">AddPolyToDomain()</a>, <a class="el" href="polyhedron_8c_source.html#l02661">AddRays()</a>, <a class="el" href="ehrhart_8c_source.html#l01145">count_points()</a>, <a class="el" href="ext__ehrhart_8c_source.html#l00702">Domain_Enumerate()</a>, <a class="el" href="polyhedron_8c_source.html#l04223">DomainCost()</a>, <a class="el" href="polyhedron_8c_source.html#l03608">DomainDifference()</a>, <a class="el" href="Lattice_8c_source.html#l00990">FindHermiteBasisofDomain()</a>, <a class="el" href="polyhedron_8c_source.html#l03805">lower_upper_bounds()</a>, <a class="el" href="polyparam_8c_source.html#l00103">PDomainDifference()</a>, <a class="el" href="polyparam_8c_source.html#l00062">PDomainIntersection()</a>, <a class="el" href="polyparam_8c_source.html#l01771">Polyhedron2Param_Domain()</a>, <a class="el" href="polyparam_8c_source.html#l01816">Polyhedron2Param_SimplifiedDomain()</a>, <a class="el" href="polyparam_8c_source.html#l01546">Polyhedron2Param_Vertices()</a>, <a class="el" href="ehrhart_8c_source.html#l01860">Polyhedron_Enumerate()</a>, <a class="el" href="polyhedron_8c_source.html#l04089">Polyhedron_Image()</a>, <a class="el" href="ext__ehrhart_8c_source.html#l00835">Polyhedron_Image_Enumerate()</a>, <a class="el" href="alpha_8c_source.html#l00104">Polyhedron_Not_Empty()</a>, <a class="el" href="polyhedron_8c_source.html#l03743">Polyhedron_Scan()</a>, <a class="el" href="polyhedron_8c_source.html#l02388">PolyhedronIncludes()</a>, <a class="el" href="alpha_8c_source.html#l00144">PolyhedronLTQ()</a>, <a class="el" href="alpha_8c_source.html#l00532">PolyhedronTSort()</a>, <a class="el" href="polyparam_8c_source.html#l01693">Print_Domain()</a>, <a class="el" href="polyhedron_8c_source.html#l02508">SubConstraint()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00055">ZPolyhedron_Alloc()</a>.</p>
</div>
</div>
<a class="anchor" id="a54a764faf683e794f4db092c8d050104"></a><!-- doxytag: member="polyhedron.h::POL_ENSURE_INEQUALITIES" ref="a54a764faf683e794f4db092c8d050104" args="(P)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">#define POL_ENSURE_INEQUALITIES</td>
<td>(</td>
<td class="paramtype">P </td>
<td class="paramname"></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<b>Value:</b><div class="fragment"><pre class="fragment"><span class="keywordflow">if</span> (<a class="code" href="types_8h.html#a19f1ae711bb0e3063ba1962cb8a898a0">F_ISSET</a>(P, <a class="code" href="types_8h.html#a2ac4c28a3acbe4578e03ad20db7939cc">POL_VALID</a>) && !<a class="code" href="types_8h.html#a19f1ae711bb0e3063ba1962cb8a898a0">F_ISSET</a>(P, <a class="code" href="types_8h.html#a1869e11b8e9a1e9e89e8145c242e0eea">POL_INEQUALITIES</a>)) \
<a class="code" href="polyhedron_8c.html#a4e3db79bcd2da3284175f960012af17a">Polyhedron_Compute_Dual</a>(P);
</pre></div>
<p>Definition at line <a class="el" href="polyhedron_8h_source.html#l00022">22</a> of file <a class="el" href="polyhedron_8h_source.html">polyhedron.h</a>.</p>
<p>Referenced by <a class="el" href="polyhedron_8c_source.html#l02293">AddConstraints()</a>, <a class="el" href="eval__ehrhart_8c_source.html#l00043">in_domain()</a>, <a class="el" href="ranking_8c_source.html#l00051">LexSmaller()</a>, <a class="el" href="polyhedron_8c_source.html#l02056">Polyhedron2Constraints()</a>, and <a class="el" href="polyhedron_8c_source.html#l04002">Polyhedron_Preimage()</a>.</p>
</div>
</div>
<a class="anchor" id="a6dd85019d042c483105a927e7babfdfa"></a><!-- doxytag: member="polyhedron.h::POL_ENSURE_POINTS" ref="a6dd85019d042c483105a927e7babfdfa" args="(P)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">#define POL_ENSURE_POINTS</td>
<td>(</td>
<td class="paramtype">P </td>
<td class="paramname"></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<b>Value:</b><div class="fragment"><pre class="fragment"><span class="keywordflow">if</span> (<a class="code" href="types_8h.html#a19f1ae711bb0e3063ba1962cb8a898a0">F_ISSET</a>(P, <a class="code" href="types_8h.html#a2ac4c28a3acbe4578e03ad20db7939cc">POL_VALID</a>) && !<a class="code" href="types_8h.html#a19f1ae711bb0e3063ba1962cb8a898a0">F_ISSET</a>(P, <a class="code" href="types_8h.html#aacccb2db7ed6cb45d5e324216aa5ea3f">POL_POINTS</a>)) \
<a class="code" href="polyhedron_8c.html#a4e3db79bcd2da3284175f960012af17a">Polyhedron_Compute_Dual</a>(P);
</pre></div>
<p>Definition at line <a class="el" href="polyhedron_8h_source.html#l00026">26</a> of file <a class="el" href="polyhedron_8h_source.html">polyhedron.h</a>.</p>
<p>Referenced by <a class="el" href="polyhedron_8c_source.html#l02639">Polyhedron2Rays()</a>.</p>
</div>
</div>
<a class="anchor" id="a317e5eb888f5c14e1229742f31169378"></a><!-- doxytag: member="polyhedron.h::POL_ENSURE_VERTICES" ref="a317e5eb888f5c14e1229742f31169378" args="(P)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">#define POL_ENSURE_VERTICES</td>
<td>(</td>
<td class="paramtype">P </td>
<td class="paramname"></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<b>Value:</b><div class="fragment"><pre class="fragment"><span class="keywordflow">if</span> (<a class="code" href="types_8h.html#a19f1ae711bb0e3063ba1962cb8a898a0">F_ISSET</a>(P, <a class="code" href="types_8h.html#a2ac4c28a3acbe4578e03ad20db7939cc">POL_VALID</a>) && !<a class="code" href="types_8h.html#a19f1ae711bb0e3063ba1962cb8a898a0">F_ISSET</a>(P, <a class="code" href="types_8h.html#a18cb4aab2aec424306ea8f67f6dfc9b0">POL_VERTICES</a>)) \
<a class="code" href="polyhedron_8c.html#a4e3db79bcd2da3284175f960012af17a">Polyhedron_Compute_Dual</a>(P);
</pre></div>
<p>Definition at line <a class="el" href="polyhedron_8h_source.html#l00034">34</a> of file <a class="el" href="polyhedron_8h_source.html">polyhedron.h</a>.</p>
<p>Referenced by <a class="el" href="polyhedron_8c_source.html#l02293">AddConstraints()</a>, <a class="el" href="polyhedron_8c_source.html#l02432">AddPolyToDomain()</a>, <a class="el" href="polyhedron_8c_source.html#l02661">AddRays()</a>, <a class="el" href="ehrhart_8c_source.html#l01145">count_points()</a>, <a class="el" href="ext__ehrhart_8c_source.html#l00702">Domain_Enumerate()</a>, <a class="el" href="polyhedron_8c_source.html#l03574">DomainConvex()</a>, <a class="el" href="polyhedron_8c_source.html#l04223">DomainCost()</a>, <a class="el" href="polyhedron_8c_source.html#l03608">DomainDifference()</a>, <a class="el" href="polyhedron_8c_source.html#l03260">DomainSimplify()</a>, <a class="el" href="Lattice_8c_source.html#l00990">FindHermiteBasisofDomain()</a>, <a class="el" href="polyhedron_8c_source.html#l03805">lower_upper_bounds()</a>, <a class="el" href="polyparam_8c_source.html#l00103">PDomainDifference()</a>, <a class="el" href="polyparam_8c_source.html#l00062">PDomainIntersection()</a>, <a class="el" href="polyparam_8c_source.html#l01771">Polyhedron2Param_Domain()</a>, <a class="el" href="polyparam_8c_source.html#l01816">Polyhedron2Param_SimplifiedDomain()</a>, <a class="el" href="polyparam_8c_source.html#l01546">Polyhedron2Param_Vertices()</a>, <a class="el" href="ehrhart_8c_source.html#l01860">Polyhedron_Enumerate()</a>, <a class="el" href="polyhedron_8c_source.html#l04089">Polyhedron_Image()</a>, <a class="el" href="ext__ehrhart_8c_source.html#l00835">Polyhedron_Image_Enumerate()</a>, <a class="el" href="alpha_8c_source.html#l00104">Polyhedron_Not_Empty()</a>, <a class="el" href="polyhedron_8c_source.html#l03743">Polyhedron_Scan()</a>, <a class="el" href="polyhedron_8c_source.html#l02388">PolyhedronIncludes()</a>, <a class="el" href="alpha_8c_source.html#l00144">PolyhedronLTQ()</a>, <a class="el" href="alpha_8c_source.html#l00532">PolyhedronTSort()</a>, <a class="el" href="polyparam_8c_source.html#l01693">Print_Domain()</a>, <a class="el" href="polyhedron_8c_source.html#l03372">Stras_DomainSimplify()</a>, <a class="el" href="polyhedron_8c_source.html#l02508">SubConstraint()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00055">ZPolyhedron_Alloc()</a>.</p>
</div>
</div>
<hr/><h2>Function Documentation</h2>
<a class="anchor" id="a9690baafb863abbd2e8d5c4da2995416"></a><!-- doxytag: member="polyhedron.h::AddConstraints" ref="a9690baafb863abbd2e8d5c4da2995416" args="(Value *Con, unsigned NbConstraints, Polyhedron *Pol, unsigned NbMaxRays)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* AddConstraints </td>
<td>(</td>
<td class="paramtype">Value * </td>
<td class="paramname"> <em>Con</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbConstraints</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxRays</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l02293">2293</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="errors_8c_source.html#l00116">any_exception_error</a>, <a class="el" href="polyhedron_8c_source.html#l02237">BuildSat()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00122">CATCH</a>, <a class="el" href="polyhedron_8c_source.html#l00386">Chernikova()</a>, <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="polyhedron_8c_source.html#l01906">Constraints2Polyhedron()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="matrix_8c_source.html#l00045">Matrix_Alloc()</a>, <a class="el" href="matrix_8c_source.html#l00092">Matrix_Free()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbBid</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbRays</a>, <a class="el" href="types_8h_source.html#l00093">matrix::p</a>, <a class="el" href="polyhedron_8h_source.html#l00022">POL_ENSURE_INEQUALITIES</a>, <a class="el" href="polyhedron_8h_source.html#l00034">POL_ENSURE_VERTICES</a>, <a class="el" href="types_8h_source.html#l00084">POL_ISSET</a>, <a class="el" href="types_8h_source.html#l00082">POL_NO_DUAL</a>, <a class="el" href="polyhedron_8c_source.html#l00089">Pol_status</a>, <a class="el" href="polyhedron_8c_source.html#l02796">Polyhedron_Copy()</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>, <a class="el" href="types_8h_source.html#l00112">polyhedron::Ray</a>, <a class="el" href="polyhedron_8c_source.html#l00859">Remove_Redundants()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00133">RETHROW</a>, <a class="el" href="polyparam_8c_source.html#l00289">Sat</a>, <a class="el" href="polyhedron_8c_source.html#l00145">SMFree()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00130">TRY</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00126">UNCATCH</a>, and <a class="el" href="vector_8c_source.html#l00269">Vector_Copy()</a>.</p>
<p>Referenced by <a class="el" href="polyparam_8c_source.html#l00314">Add_CEqualities()</a>, <a class="el" href="polyhedron_8c_source.html#l04404">Disjoint_Domain()</a>, <a class="el" href="polyhedron_8c_source.html#l04351">DomainAddConstraints()</a>, <a class="el" href="polyhedron_8c_source.html#l02607">DomainIntersection()</a>, <a class="el" href="polyhedron_8c_source.html#l02902">FindSimple()</a>, <a class="el" href="ehrhart_8c_source.html#l01063">old_Polyhedron_Preprocess()</a>, <a class="el" href="polyhedron_8c_source.html#l04645">p_simplify_constraints()</a>, <a class="el" href="polyparam_8c_source.html#l00062">PDomainIntersection()</a>, <a class="el" href="ext__ehrhart_8c_source.html#l00835">Polyhedron_Image_Enumerate()</a>, and <a class="el" href="alpha_8c_source.html#l00144">PolyhedronLTQ()</a>.</p>
</div>
</div>
<a class="anchor" id="a965fd466bed4b1dd143c426e51ac16c5"></a><!-- doxytag: member="polyhedron.h::AddPolyToDomain" ref="a965fd466bed4b1dd143c426e51ac16c5" args="(Polyhedron *Pol, Polyhedron *PolDomain)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* AddPolyToDomain </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>PolDomain</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l02432">2432</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00134">emptyQ</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="vector_8c_source.html#l00760">p</a>, <a class="el" href="polyhedron_8h_source.html#l00030">POL_ENSURE_FACETS</a>, <a class="el" href="polyhedron_8h_source.html#l00034">POL_ENSURE_VERTICES</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>, and <a class="el" href="polyhedron_8c_source.html#l02388">PolyhedronIncludes()</a>.</p>
<p>Referenced by <a class="el" href="polyhedron_8c_source.html#l04404">Disjoint_Domain()</a>, <a class="el" href="polyhedron_8c_source.html#l03608">DomainDifference()</a>, <a class="el" href="polyhedron_8c_source.html#l04187">DomainImage()</a>, <a class="el" href="polyhedron_8c_source.html#l02607">DomainIntersection()</a>, <a class="el" href="polyhedron_8c_source.html#l04061">DomainPreimage()</a>, <a class="el" href="polyhedron_8c_source.html#l03260">DomainSimplify()</a>, <a class="el" href="polyparam_8c_source.html#l00103">PDomainDifference()</a>, <a class="el" href="polyparam_8c_source.html#l00062">PDomainIntersection()</a>, <a class="el" href="ext__ehrhart_8c_source.html#l00835">Polyhedron_Image_Enumerate()</a>, and <a class="el" href="polyhedron_8c_source.html#l03372">Stras_DomainSimplify()</a>.</p>
</div>
</div>
<a class="anchor" id="a6c3e0559da6a19b6d6aa1dedfc44162f"></a><!-- doxytag: member="polyhedron.h::AddRays" ref="a6c3e0559da6a19b6d6aa1dedfc44162f" args="(Value *Ray2, unsigned NbRay2, Polyhedron *Pol1, unsigned NbMaxRays)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* AddRays </td>
<td>(</td>
<td class="paramtype">Value * </td>
<td class="paramname"> <em>Ray2</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbRay2</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxRays</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l02661">2661</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="errors_8c_source.html#l00116">any_exception_error</a>, <a class="el" href="polyhedron_8c_source.html#l02237">BuildSat()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00122">CATCH</a>, <a class="el" href="polyhedron_8c_source.html#l00386">Chernikova()</a>, <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="matrix_8c_source.html#l00045">Matrix_Alloc()</a>, <a class="el" href="matrix_8c_source.html#l00092">Matrix_Free()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbEq</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbRays</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00094">matrix::p_Init</a>, <a class="el" href="polyhedron_8h_source.html#l00030">POL_ENSURE_FACETS</a>, <a class="el" href="polyhedron_8h_source.html#l00034">POL_ENSURE_VERTICES</a>, <a class="el" href="types_8h_source.html#l00084">POL_ISSET</a>, <a class="el" href="types_8h_source.html#l00082">POL_NO_DUAL</a>, <a class="el" href="polyhedron_8c_source.html#l00089">Pol_status</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>, <a class="el" href="types_8h_source.html#l00112">polyhedron::Ray</a>, <a class="el" href="polyhedron_8c_source.html#l00859">Remove_Redundants()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00133">RETHROW</a>, <a class="el" href="polyparam_8c_source.html#l00289">Sat</a>, <a class="el" href="polyhedron_8c_source.html#l00145">SMFree()</a>, <a class="el" href="polyhedron_8c_source.html#l00266">TransformSat()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00130">TRY</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00126">UNCATCH</a>, and <a class="el" href="vector_8c_source.html#l00269">Vector_Copy()</a>.</p>
<p>Referenced by <a class="el" href="polyhedron_8c_source.html#l02750">DomainAddRays()</a>, <a class="el" href="polyhedron_8c_source.html#l03574">DomainConvex()</a>, and <a class="el" href="alpha_8c_source.html#l00144">PolyhedronLTQ()</a>.</p>
</div>
</div>
<a class="anchor" id="affd77db2a2f748d557ab6be0fcede209"></a><!-- doxytag: member="polyhedron.h::align_context" ref="affd77db2a2f748d557ab6be0fcede209" args="(Polyhedron *Pol, int align_dimension, int NbMaxRays)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* align_context </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>align_dimension</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>NbMaxRays</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l03665">3665</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="errors_8c_source.html#l00116">any_exception_error</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00122">CATCH</a>, <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="polyhedron_8c_source.html#l02823">Domain_Copy()</a>, <a class="el" href="polyhedron_8c_source.html#l01616">Domain_Free()</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="types_8h_source.html#l00107">F_ISSET</a>, <a class="el" href="types_8h_source.html#l00124">polyhedron::flags</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbBid</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbEq</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbRays</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="vector_8c_source.html#l00760">p</a>, <a class="el" href="types_8h_source.html#l00116">POL_INEQUALITIES</a>, <a class="el" href="types_8h_source.html#l00118">POL_POINTS</a>, <a class="el" href="types_8h_source.html#l00123">POL_VALID</a>, <a class="el" href="polyhedron_8c_source.html#l01556">Polyhedron_Alloc()</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>, <a class="el" href="types_8h_source.html#l00112">polyhedron::Ray</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00133">RETHROW</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00130">TRY</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00126">UNCATCH</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00459">value_assign</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00460">value_set_si</a>, and <a class="el" href="vector_8c_source.html#l00269">Vector_Copy()</a>.</p>
<p>Referenced by <a class="el" href="polyparam_8c_source.html#l01068">Find_m_faces()</a>, <a class="el" href="verif__ehrhart_8c_source.html#l00167">main()</a>, <a class="el" href="polyhedron_8c_source.html#l03743">Polyhedron_Scan()</a>, <a class="el" href="testCompressParms_8c_source.html#l00071">test_Constraints_Remove_parm_eqs()</a>, and <a class="el" href="testCompressParms_8c_source.html#l00139">test_Polyhedron_Remove_parm_eqs()</a>.</p>
</div>
</div>
<a class="anchor" id="aefb77665a187d751bdd44f106b12465e"></a><!-- doxytag: member="polyhedron.h::Constraints2Polyhedron" ref="aefb77665a187d751bdd44f106b12465e" args="(Matrix *Constraints, unsigned NbMaxRays)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* Constraints2Polyhedron </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structmatrix.html">Matrix</a> * </td>
<td class="paramname"> <em>Constraints</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxRays</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Given a <a class="el" href="structmatrix.html">matrix</a> of constraints ('Constraints'), construct and return a <a class="el" href="structpolyhedron.html">polyhedron</a>. </p>
<dl><dt><b>Parameters:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>Constraints</em> </td><td>Constraints (may be modified!) </td></tr>
<tr><td valign="top"></td><td valign="top"><em>NbMaxRays</em> </td><td>Estimated number of rays in the ray <a class="el" href="structmatrix.html">matrix</a> of the <a class="el" href="structpolyhedron.html">polyhedron</a>. </td></tr>
</table>
</dd>
</dl>
<dl class="return"><dt><b>Returns:</b></dt><dd>newly allocated Polyhedron </dd></dl>
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l01906">1906</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="errors_8c_source.html#l00116">any_exception_error</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00122">CATCH</a>, <a class="el" href="polyhedron_8c_source.html#l00386">Chernikova()</a>, <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="vector_8c_source.html#l00730">ConstraintSimplify()</a>, <a class="el" href="polyhedron_8c_source.html#l01715">Empty_Polyhedron()</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="Matop_8c_source.html#l00072">ExchangeRows()</a>, <a class="el" href="types_8h_source.html#l00105">F_SET</a>, <a class="el" href="vector_8c_source.html#l00137">First_Non_Zero()</a>, <a class="el" href="polyhedron_8c_source.html#l00829">Gauss()</a>, <a class="el" href="polyhedron_8c_source.html#l01835">ImplicitEqualities()</a>, <a class="el" href="matrix_8c_source.html#l00045">Matrix_Alloc()</a>, <a class="el" href="matrix_8c_source.html#l00092">Matrix_Free()</a>, <a class="el" href="matrix_8c_source.html#l00138">Matrix_Print()</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbColumns</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbEq</a>, <a class="el" href="polyhedron_8c_source.html#l00100">SatMatrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00093">matrix::p</a>, <a class="el" href="polyhedron_8c_source.html#l00103">SatMatrix::p_init</a>, <a class="el" href="types_8h_source.html#l00094">matrix::p_Init</a>, <a class="el" href="types_8h_source.html#l00116">POL_INEQUALITIES</a>, <a class="el" href="types_8h_source.html#l00083">POL_INTEGER</a>, <a class="el" href="types_8h_source.html#l00084">POL_ISSET</a>, <a class="el" href="types_8h_source.html#l00082">POL_NO_DUAL</a>, <a class="el" href="types_8h_source.html#l00123">POL_VALID</a>, <a class="el" href="polyhedron_8c_source.html#l01556">Polyhedron_Alloc()</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>, <a class="el" href="polyhedron_8c_source.html#l01630">Polyhedron_Print()</a>, <a class="el" href="types_8h_source.html#l00112">polyhedron::Ray</a>, <a class="el" href="polyhedron_8c_source.html#l00859">Remove_Redundants()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00133">RETHROW</a>, <a class="el" href="polyparam_8c_source.html#l00289">Sat</a>, <a class="el" href="polyhedron_8c_source.html#l00109">SMAlloc()</a>, <a class="el" href="polyhedron_8c_source.html#l00145">SMFree()</a>, <a class="el" href="polyhedron_8c_source.html#l00162">SMPrint()</a>, <a class="el" href="polyhedron_8c_source.html#l00205">SMVector_Init</a>, <a class="el" href="polyhedron_8c_source.html#l01786">SortConstraints()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00130">TRY</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00126">UNCATCH</a>, <a class="el" href="polyhedron_8c_source.html#l01748">Universe_Polyhedron()</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00462">value_clear</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00458">value_init</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00554">value_notzero_p</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00460">value_set_si</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00553">value_zero_p</a>, <a class="el" href="vector_8c_source.html#l00269">Vector_Copy()</a>, and <a class="el" href="vector_8c_source.html#l00240">Vector_Set()</a>.</p>
<p>Referenced by <a class="el" href="polyhedron_8c_source.html#l02293">AddConstraints()</a>, <a class="el" href="homogenization_8c_source.html#l00155">dehomogenize_polyhedron()</a>, <a class="el" href="polyhedron_8c_source.html#l03260">DomainSimplify()</a>, <a class="el" href="ehrhart_8c_source.html#l02635">Ehrhart_Quick_Apx()</a>, <a class="el" href="polyparam_8c_source.html#l00955">Elim_Columns()</a>, <a class="el" href="matrix__permutations_8c_source.html#l00134">eliminable_vars()</a>, <a class="el" href="ehrhart_8c_source.html#l02732">Enumeration_zero()</a>, <a class="el" href="polyparam_8c_source.html#l01068">Find_m_faces()</a>, <a class="el" href="homogenization_8c_source.html#l00031">homogenize()</a>, <a class="el" href="ranking_8c_source.html#l00051">LexSmaller()</a>, <a class="el" href="c2p_8c_source.html#l00023">main()</a>, <a class="el" href="polyparam_8c_source.html#l01746">Param_Vertices_Print()</a>, <a class="el" href="polyhedron_8c_source.html#l02198">Polyhedron_Compute_Dual()</a>, <a class="el" href="polyhedron_8c_source.html#l04002">Polyhedron_Preimage()</a>, <a class="el" href="ehrhart_8c_source.html#l00744">Polyhedron_Preprocess()</a>, <a class="el" href="ehrhart_8c_source.html#l00899">Polyhedron_Preprocess2()</a>, <a class="el" href="compress__parms_8c_source.html#l00856">Polyhedron_Remove_parm_eqs()</a>, <a class="el" href="polyparam_8c_source.html#l01014">Recession_Cone()</a>, <a class="el" href="polyhedron_8c_source.html#l03372">Stras_DomainSimplify()</a>, <a class="el" href="testCompressParms_8c_source.html#l00273">test_Constraints_fullDimensionize()</a>, <a class="el" href="testCompressParms_8c_source.html#l00071">test_Constraints_Remove_parm_eqs()</a>, <a class="el" href="testCompressParms_8c_source.html#l00139">test_Polyhedron_Remove_parm_eqs()</a>, and <a class="el" href="ehrhart__union_8c_source.html#l00026">Union_Read()</a>.</p>
</div>
</div>
<a class="anchor" id="a42ffb06d7be94fa6edf3247c519f6b30"></a><!-- doxytag: member="polyhedron.h::Disjoint_Domain" ref="a42ffb06d7be94fa6edf3247c519f6b30" args="(Polyhedron *Pol, int flag, unsigned NbMaxRays)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* Disjoint_Domain </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>flag</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxRays</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l04404">4404</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l02293">AddConstraints()</a>, <a class="el" href="polyhedron_8c_source.html#l02432">AddPolyToDomain()</a>, <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="polyhedron_8c_source.html#l01616">Domain_Free()</a>, <a class="el" href="types_8h_source.html#l00134">emptyQ</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="polyhedron_8c_source.html#l02796">Polyhedron_Copy()</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>, <a class="el" href="polyhedron_8c_source.html#l02508">SubConstraint()</a>, and <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00553">value_zero_p</a>.</p>
<p>Referenced by <a class="el" href="ext__ehrhart_8c_source.html#l00702">Domain_Enumerate()</a>, and <a class="el" href="disjoint__union__adj_8c_source.html#l00051">main()</a>.</p>
</div>
</div>
<a class="anchor" id="ad57e191f32f3c9022ec00747f4908b3f"></a><!-- doxytag: member="polyhedron.h::Domain_Copy" ref="ad57e191f32f3c9022ec00747f4908b3f" args="(Polyhedron *Pol)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* Domain_Copy </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l02823">2823</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l02823">Domain_Copy()</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, and <a class="el" href="polyhedron_8c_source.html#l02796">Polyhedron_Copy()</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00170">AddZPolytoZDomain()</a>, <a class="el" href="polyhedron_8c_source.html#l03665">align_context()</a>, <a class="el" href="polyhedron_8c_source.html#l02823">Domain_Copy()</a>, <a class="el" href="polyhedron_8c_source.html#l02750">DomainAddRays()</a>, <a class="el" href="polyhedron_8c_source.html#l03608">DomainDifference()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00887">ZDomainSimplify()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00055">ZPolyhedron_Alloc()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00592">ZPolyhedronDifference()</a>.</p>
</div>
</div>
<a class="anchor" id="ae6d0a7daf8e801a777fc8e93d8cfe43a"></a><!-- doxytag: member="polyhedron.h::Domain_Free" ref="ae6d0a7daf8e801a777fc8e93d8cfe43a" args="(Polyhedron *Pol)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void Domain_Free </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l01616">1616</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, and <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>.</p>
<p>Referenced by <a class="el" href="polyparam_8c_source.html#l00314">Add_CEqualities()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00170">AddZPolytoZDomain()</a>, <a class="el" href="polyhedron_8c_source.html#l03665">align_context()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00761">CanonicalForm()</a>, <a class="el" href="polyparam_8c_source.html#l01366">Compute_PDomains()</a>, <a class="el" href="polyhedron_8c_source.html#l04404">Disjoint_Domain()</a>, <a class="el" href="ext__ehrhart_8c_source.html#l00702">Domain_Enumerate()</a>, <a class="el" href="polyhedron_8c_source.html#l03608">DomainDifference()</a>, <a class="el" href="ehrhart_8c_source.html#l02281">Ehrhart_Quick_Apx_Full_Dim()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00264">EmptyZPolyhedron()</a>, <a class="el" href="ehrhart_8c_source.html#l01738">Enumerate_NoParameters()</a>, <a class="el" href="ehrhart_8c_source.html#l02220">Enumeration_Free()</a>, <a class="el" href="polyparam_8c_source.html#l01068">Find_m_faces()</a>, <a class="el" href="Lattice_8c_source.html#l00990">FindHermiteBasisofDomain()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00854">IntegraliseLattice()</a>, <a class="el" href="c2p_8c_source.html#l00023">main()</a>, <a class="el" href="polyparam_8c_source.html#l01863">Param_Domain_Free()</a>, <a class="el" href="polyparam_8c_source.html#l01746">Param_Vertices_Print()</a>, <a class="el" href="polyparam_8c_source.html#l00103">PDomainDifference()</a>, <a class="el" href="ehrhart_8c_source.html#l01860">Polyhedron_Enumerate()</a>, <a class="el" href="ranking_8c_source.html#l00192">Polyhedron_LexSmallerEnumerate()</a>, <a class="el" href="alpha_8c_source.html#l00104">Polyhedron_Not_Empty()</a>, <a class="el" href="ehrhart_8c_source.html#l00744">Polyhedron_Preprocess()</a>, <a class="el" href="polyhedron_8c_source.html#l03743">Polyhedron_Scan()</a>, <a class="el" href="alpha_8c_source.html#l00144">PolyhedronLTQ()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00887">ZDomainSimplify()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00105">ZPolyhedron_Free()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00592">ZPolyhedronDifference()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00669">ZPolyhedronImage()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00306">ZPolyhedronIncludes()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00547">ZPolyhedronIntersection()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00719">ZPolyhedronPreimage()</a>.</p>
</div>
</div>
<a class="anchor" id="a1d8ad597537b66ac5c09e3c231002a7c"></a><!-- doxytag: member="polyhedron.h::Domain_PrintConstraints" ref="a1d8ad597537b66ac5c09e3c231002a7c" args="(FILE *Dst, const char *Format, Polyhedron *Pol)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void Domain_PrintConstraints </td>
<td>(</td>
<td class="paramtype">FILE * </td>
<td class="paramname"> <em>Dst</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const char * </td>
<td class="paramname"> <em>Format</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l04638">4638</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, and <a class="el" href="polyhedron_8c_source.html#l04623">Polyhedron_PrintConstraints()</a>.</p>
</div>
</div>
<a class="anchor" id="afa3e85ca5d8849370db166c2ea6851c6"></a><!-- doxytag: member="polyhedron.h::DomainAddConstraints" ref="afa3e85ca5d8849370db166c2ea6851c6" args="(Polyhedron *Pol, Matrix *Mat, unsigned NbMaxRays)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* DomainAddConstraints </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structmatrix.html">Matrix</a> * </td>
<td class="paramname"> <em>Mat</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxRays</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l04351">4351</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l02293">AddConstraints()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbColumns</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="types_8h_source.html#l00094">matrix::p_Init</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>, and <a class="el" href="polyhedron_8c_source.html#l02388">PolyhedronIncludes()</a>.</p>
</div>
</div>
<a class="anchor" id="a5ac0337f8a955ee77d5414761f3d41bb"></a><!-- doxytag: member="polyhedron.h::DomainAddRays" ref="a5ac0337f8a955ee77d5414761f3d41bb" args="(Polyhedron *Pol, Matrix *Ray, unsigned NbMaxConstrs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* DomainAddRays </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structmatrix.html">Matrix</a> * </td>
<td class="paramname"> <em>Ray</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxConstrs</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l02750">2750</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l02661">AddRays()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="polyhedron_8c_source.html#l02823">Domain_Copy()</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbColumns</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="types_8h_source.html#l00093">matrix::p</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>, and <a class="el" href="polyhedron_8c_source.html#l02388">PolyhedronIncludes()</a>.</p>
<p>Referenced by <a class="el" href="polyparam_8c_source.html#l01068">Find_m_faces()</a>, and <a class="el" href="polyhedron_8c_source.html#l03743">Polyhedron_Scan()</a>.</p>
</div>
</div>
<a class="anchor" id="a5ec487b5417647317b8e71f93b09c59e"></a><!-- doxytag: member="polyhedron.h::DomainConstraintSimplify" ref="a5ec487b5417647317b8e71f93b09c59e" args="(Polyhedron *P, unsigned MaxRays)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* DomainConstraintSimplify </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>P</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>MaxRays</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l04685">4685</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="types_8h_source.html#l00134">emptyQ</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="types_8h_source.html#l00088">Vector::p</a>, <a class="el" href="polyhedron_8c_source.html#l04645">p_simplify_constraints()</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00462">value_clear</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00458">value_init</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00460">value_set_si</a>, <a class="el" href="vector_8c_source.html#l00154">Vector_Alloc()</a>, and <a class="el" href="vector_8c_source.html#l00179">Vector_Free()</a>.</p>
</div>
</div>
<a class="anchor" id="a53b04dfca9570691fbe42574118215ab"></a><!-- doxytag: member="polyhedron.h::DomainConvex" ref="a53b04dfca9570691fbe42574118215ab" args="(Polyhedron *Pol, unsigned NbMaxConstrs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* DomainConvex </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxConstrs</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l03574">3574</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l02661">AddRays()</a>, <a class="el" href="errors_8c_source.html#l00116">any_exception_error</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00122">CATCH</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbRays</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="vector_8c_source.html#l00760">p</a>, <a class="el" href="polyhedron_8h_source.html#l00034">POL_ENSURE_VERTICES</a>, <a class="el" href="polyhedron_8c_source.html#l02796">Polyhedron_Copy()</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>, <a class="el" href="types_8h_source.html#l00112">polyhedron::Ray</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00133">RETHROW</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00130">TRY</a>, and <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00126">UNCATCH</a>.</p>
<p>Referenced by <a class="el" href="polyparam_8c_source.html#l01366">Compute_PDomains()</a>, and <a class="el" href="polytest_8c_source.html#l00026">main()</a>.</p>
</div>
</div>
<a class="anchor" id="a99cc84955162014f9ca1805281bc8c04"></a><!-- doxytag: member="polyhedron.h::DomainCost" ref="a99cc84955162014f9ca1805281bc8c04" args="(Polyhedron *Pol, Value *Cost)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structinterval.html">Interval</a>* DomainCost </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">Value * </td>
<td class="paramname"> <em>Cost</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l04223">4223</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="errors_8c_source.html#l00116">any_exception_error</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00122">CATCH</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="types_8h_source.html#l00128">interval::MaxD</a>, <a class="el" href="types_8h_source.html#l00130">interval::MaxI</a>, <a class="el" href="types_8h_source.html#l00128">interval::MaxN</a>, <a class="el" href="types_8h_source.html#l00129">interval::MinD</a>, <a class="el" href="types_8h_source.html#l00130">interval::MinI</a>, <a class="el" href="types_8h_source.html#l00129">interval::MinN</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbRays</a>, <a class="el" href="polyhedron_8h_source.html#l00030">POL_ENSURE_FACETS</a>, <a class="el" href="polyhedron_8h_source.html#l00034">POL_ENSURE_VERTICES</a>, <a class="el" href="types_8h_source.html#l00112">polyhedron::Ray</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00133">RETHROW</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00130">TRY</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00126">UNCATCH</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00514">value_addto</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00459">value_assign</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00462">value_clear</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00477">value_eq</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00479">value_gt</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00458">value_init</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00481">value_lt</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00519">value_multiply</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00478">value_ne</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00528">value_oppose</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00460">value_set_si</a>, and <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00553">value_zero_p</a>.</p>
</div>
</div>
<a class="anchor" id="aaaefa8685a2b2819b9863f2e4ff427f5"></a><!-- doxytag: member="polyhedron.h::DomainDifference" ref="aaaefa8685a2b2819b9863f2e4ff427f5" args="(Polyhedron *Pol1, Polyhedron *Pol2, unsigned NbMaxRays)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* DomainDifference </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol2</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxRays</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l03608">3608</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l02432">AddPolyToDomain()</a>, <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="polyhedron_8c_source.html#l02823">Domain_Copy()</a>, <a class="el" href="polyhedron_8c_source.html#l01616">Domain_Free()</a>, <a class="el" href="polyhedron_8c_source.html#l01715">Empty_Polyhedron()</a>, <a class="el" href="types_8h_source.html#l00134">emptyQ</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="polyhedron_8h_source.html#l00030">POL_ENSURE_FACETS</a>, <a class="el" href="polyhedron_8h_source.html#l00034">POL_ENSURE_VERTICES</a>, <a class="el" href="polyhedron_8c_source.html#l02508">SubConstraint()</a>, and <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00554">value_notzero_p</a>.</p>
<p>Referenced by <a class="el" href="ext__ehrhart_8c_source.html#l00702">Domain_Enumerate()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00887">ZDomainSimplify()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00592">ZPolyhedronDifference()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00306">ZPolyhedronIncludes()</a>.</p>
</div>
</div>
<a class="anchor" id="a8b92d94a0a1cbd47b98e9f72f34c43eb"></a><!-- doxytag: member="polyhedron.h::DomainImage" ref="a8b92d94a0a1cbd47b98e9f72f34c43eb" args="(Polyhedron *Pol, Matrix *Func, unsigned NbMaxConstrs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* DomainImage </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structmatrix.html">Matrix</a> * </td>
<td class="paramname"> <em>Func</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxConstrs</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l04187">4187</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l02432">AddPolyToDomain()</a>, <a class="el" href="errors_8c_source.html#l00116">any_exception_error</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00122">CATCH</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="vector_8c_source.html#l00760">p</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>, <a class="el" href="polyhedron_8c_source.html#l04089">Polyhedron_Image()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00133">RETHROW</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00130">TRY</a>, and <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00126">UNCATCH</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00170">AddZPolytoZDomain()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00761">CanonicalForm()</a>, <a class="el" href="Lattice_8c_source.html#l00990">FindHermiteBasisofDomain()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00854">IntegraliseLattice()</a>, <a class="el" href="ext__ehrhart_8c_source.html#l00835">Polyhedron_Image_Enumerate()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00887">ZDomainSimplify()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00592">ZPolyhedronDifference()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00669">ZPolyhedronImage()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00306">ZPolyhedronIncludes()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00547">ZPolyhedronIntersection()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00719">ZPolyhedronPreimage()</a>.</p>
</div>
</div>
<a class="anchor" id="ac5a1a2751f0b833183560af25b18033b"></a><!-- doxytag: member="polyhedron.h::DomainIntersection" ref="ac5a1a2751f0b833183560af25b18033b" args="(Polyhedron *Pol1, Polyhedron *Pol2, unsigned NbMaxRays)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* DomainIntersection </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol2</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxRays</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l02607">2607</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l02293">AddConstraints()</a>, <a class="el" href="polyhedron_8c_source.html#l02432">AddPolyToDomain()</a>, <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="polyhedron_8c_source.html#l01715">Empty_Polyhedron()</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, and <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>.</p>
<p>Referenced by <a class="el" href="ext__ehrhart_8c_source.html#l00702">Domain_Enumerate()</a>, <a class="el" href="ehrhart_8c_source.html#l02281">Ehrhart_Quick_Apx_Full_Dim()</a>, <a class="el" href="ehrhart_8c_source.html#l01738">Enumerate_NoParameters()</a>, <a class="el" href="polyparam_8c_source.html#l01068">Find_m_faces()</a>, <a class="el" href="testlib_8c_source.html#l00054">main()</a>, <a class="el" href="ehrhart_8c_source.html#l01860">Polyhedron_Enumerate()</a>, <a class="el" href="polyhedron_8c_source.html#l03743">Polyhedron_Scan()</a>, <a class="el" href="alpha_8c_source.html#l00144">PolyhedronLTQ()</a>, <a class="el" href="testCompressParms_8c_source.html#l00071">test_Constraints_Remove_parm_eqs()</a>, <a class="el" href="testCompressParms_8c_source.html#l00139">test_Polyhedron_Remove_parm_eqs()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00592">ZPolyhedronDifference()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00547">ZPolyhedronIntersection()</a>.</p>
</div>
</div>
<a class="anchor" id="a494ede0f23752164d1c839085a0e3be2"></a><!-- doxytag: member="polyhedron.h::DomainPreimage" ref="a494ede0f23752164d1c839085a0e3be2" args="(Polyhedron *Pol, Matrix *Func, unsigned NbMaxRays)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* DomainPreimage </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structmatrix.html">Matrix</a> * </td>
<td class="paramname"> <em>Func</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxRays</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l04061">4061</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l02432">AddPolyToDomain()</a>, <a class="el" href="errors_8c_source.html#l00116">any_exception_error</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00122">CATCH</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="vector_8c_source.html#l00760">p</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>, <a class="el" href="polyhedron_8c_source.html#l04002">Polyhedron_Preimage()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00133">RETHROW</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00130">TRY</a>, and <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00126">UNCATCH</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00854">IntegraliseLattice()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00887">ZDomainSimplify()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00592">ZPolyhedronDifference()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00669">ZPolyhedronImage()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00547">ZPolyhedronIntersection()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00719">ZPolyhedronPreimage()</a>.</p>
</div>
</div>
<a class="anchor" id="a5fe8c61eb1dddc73783aad88c76ce758"></a><!-- doxytag: member="polyhedron.h::DomainSimplify" ref="a5fe8c61eb1dddc73783aad88c76ce758" args="(Polyhedron *Pol1, Polyhedron *Pol2, unsigned NbMaxRays)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* DomainSimplify </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol2</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxRays</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l03260">3260</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l02432">AddPolyToDomain()</a>, <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="polyhedron_8c_source.html#l01906">Constraints2Polyhedron()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="polyhedron_8c_source.html#l01715">Empty_Polyhedron()</a>, <a class="el" href="types_8h_source.html#l00134">emptyQ</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="matrix_8c_source.html#l00045">Matrix_Alloc()</a>, <a class="el" href="matrix_8c_source.html#l00092">Matrix_Free()</a>, <a class="el" href="types_8h_source.html#l00070">MSB</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00076">NEXT</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="types_8h_source.html#l00093">matrix::p</a>, <a class="el" href="polyhedron_8h_source.html#l00034">POL_ENSURE_VERTICES</a>, <a class="el" href="polyhedron_8c_source.html#l00089">Pol_status</a>, <a class="el" href="polyhedron_8c_source.html#l03120">SimplifyConstraints()</a>, <a class="el" href="polyhedron_8c_source.html#l03207">SimplifyEqualities()</a>, <a class="el" href="polyhedron_8c_source.html#l00205">SMVector_Init</a>, and <a class="el" href="vector_8c_source.html#l00269">Vector_Copy()</a>.</p>
<p>Referenced by <a class="el" href="ehrhart_8c_source.html#l02281">Ehrhart_Quick_Apx_Full_Dim()</a>, <a class="el" href="polyparam_8c_source.html#l01068">Find_m_faces()</a>, <a class="el" href="polytest_8c_source.html#l00026">main()</a>, <a class="el" href="ehrhart_8c_source.html#l01860">Polyhedron_Enumerate()</a>, and <a class="el" href="polyhedron_8c_source.html#l03743">Polyhedron_Scan()</a>.</p>
</div>
</div>
<a class="anchor" id="a6e402792ade8ef5e83a87d623f03c5cb"></a><!-- doxytag: member="polyhedron.h::DomainUnion" ref="a6e402792ade8ef5e83a87d623f03c5cb" args="(Polyhedron *Pol1, Polyhedron *Pol2, unsigned NbMaxRays)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* DomainUnion </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol2</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxRays</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l03493">3493</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="polyhedron_8c_source.html#l02796">Polyhedron_Copy()</a>, and <a class="el" href="polyhedron_8c_source.html#l02388">PolyhedronIncludes()</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00170">AddZPolytoZDomain()</a>, <a class="el" href="ext__ehrhart_8c_source.html#l00668">DMUnion()</a>, and <a class="el" href="polytest_8c_source.html#l00026">main()</a>.</p>
</div>
</div>
<a class="anchor" id="a37f19f6863a633aa08657cadf564d3d6"></a><!-- doxytag: member="polyhedron.h::Empty_Polyhedron" ref="a37f19f6863a633aa08657cadf564d3d6" args="(unsigned Dimension)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* Empty_Polyhedron </td>
<td>(</td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>Dimension</em></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l01715">1715</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="types_8h_source.html#l00105">F_SET</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbBid</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbEq</a>, <a class="el" href="types_8h_source.html#l00117">POL_FACETS</a>, <a class="el" href="types_8h_source.html#l00116">POL_INEQUALITIES</a>, <a class="el" href="types_8h_source.html#l00118">POL_POINTS</a>, <a class="el" href="types_8h_source.html#l00123">POL_VALID</a>, <a class="el" href="types_8h_source.html#l00119">POL_VERTICES</a>, <a class="el" href="polyhedron_8c_source.html#l01556">Polyhedron_Alloc()</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00460">value_set_si</a>, and <a class="el" href="vector_8c_source.html#l00240">Vector_Set()</a>.</p>
<p>Referenced by <a class="el" href="polyhedron_8c_source.html#l01906">Constraints2Polyhedron()</a>, <a class="el" href="polyhedron_8c_source.html#l03608">DomainDifference()</a>, <a class="el" href="polyhedron_8c_source.html#l02607">DomainIntersection()</a>, <a class="el" href="polyhedron_8c_source.html#l03260">DomainSimplify()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00264">EmptyZPolyhedron()</a>, <a class="el" href="polyhedron_8c_source.html#l04645">p_simplify_constraints()</a>, <a class="el" href="polyhedron_8c_source.html#l04089">Polyhedron_Image()</a>, <a class="el" href="polyhedron_8c_source.html#l04002">Polyhedron_Preimage()</a>, <a class="el" href="polyhedron_8c_source.html#l02083">Rays2Polyhedron()</a>, <a class="el" href="polyhedron_8c_source.html#l00859">Remove_Redundants()</a>, and <a class="el" href="polyhedron_8c_source.html#l03372">Stras_DomainSimplify()</a>.</p>
</div>
</div>
<a class="anchor" id="a671d2a19d0c376dec383521e78faa70a"></a><!-- doxytag: member="polyhedron.h::Gauss" ref="a671d2a19d0c376dec383521e78faa70a" args="(Matrix *Mat, int NbEq, int Dimension)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int Gauss </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structmatrix.html">Matrix</a> * </td>
<td class="paramname"> <em>Mat</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>NbEq</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>Dimension</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l00829">829</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l00734">Gauss4()</a>, <a class="el" href="matrix_8c_source.html#l00138">Matrix_Print()</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, and <a class="el" href="types_8h_source.html#l00093">matrix::p</a>.</p>
<p>Referenced by <a class="el" href="polyhedron_8c_source.html#l01906">Constraints2Polyhedron()</a>, <a class="el" href="ehrhart_8c_source.html#l01246">P_Enum()</a>, <a class="el" href="polyhedron_8c_source.html#l00859">Remove_Redundants()</a>, and <a class="el" href="polyhedron_8c_source.html#l03207">SimplifyEqualities()</a>.</p>
</div>
</div>
<a class="anchor" id="aa8c3f429dd74c5ec2087f97d702cdc66"></a><!-- doxytag: member="polyhedron.h::lower_upper_bounds" ref="aa8c3f429dd74c5ec2087f97d702cdc66" args="(int pos, Polyhedron *P, Value *context, Value *LBp, Value *UBp)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int lower_upper_bounds </td>
<td>(</td>
<td class="paramtype">int </td>
<td class="paramname"> <em>pos</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>P</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">Value * </td>
<td class="paramname"> <em>context</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">Value * </td>
<td class="paramname"> <em>LBp</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">Value * </td>
<td class="paramname"> <em>UBp</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l03805">3805</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="vector_8c_source.html#l00384">Inner_Product()</a>, <a class="el" href="types_8h_source.html#l00065">LB_INFINITY</a>, <a class="el" href="polyparam_8c_source.html#l00284">n</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="polyhedron_8h_source.html#l00030">POL_ENSURE_FACETS</a>, <a class="el" href="polyhedron_8h_source.html#l00034">POL_ENSURE_VERTICES</a>, <a class="el" href="types_8h_source.html#l00066">UB_INFINITY</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00515">value_add_int</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00459">value_assign</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00462">value_clear</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00523">value_division</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00479">value_gt</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00458">value_init</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00481">value_lt</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00525">value_modulus</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00550">value_neg_p</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00554">value_notzero_p</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00528">value_oppose</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00549">value_pos_p</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00460">value_set_si</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00521">value_sub_int</a>, and <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00553">value_zero_p</a>.</p>
<p>Referenced by <a class="el" href="ehrhart_8c_source.html#l00636">cherche_min()</a>, <a class="el" href="ehrhart_8c_source.html#l01145">count_points()</a>, <a class="el" href="alpha_8c_source.html#l00049">exist_points()</a>, and <a class="el" href="ehrhart_8c_source.html#l01246">P_Enum()</a>.</p>
</div>
</div>
<a class="anchor" id="a69417a994cd682d0c391ecff6d223cd2"></a><!-- doxytag: member="polyhedron.h::Polyhedron2Constraints" ref="a69417a994cd682d0c391ecff6d223cd2" args="(Polyhedron *Pol)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structmatrix.html">Matrix</a>* Polyhedron2Constraints </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l02056">2056</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="matrix_8c_source.html#l00045">Matrix_Alloc()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="types_8h_source.html#l00094">matrix::p_Init</a>, <a class="el" href="polyhedron_8h_source.html#l00022">POL_ENSURE_INEQUALITIES</a>, and <a class="el" href="vector_8c_source.html#l00269">Vector_Copy()</a>.</p>
<p>Referenced by <a class="el" href="homogenization_8c_source.html#l00155">dehomogenize_polyhedron()</a>, <a class="el" href="polyparam_8c_source.html#l00955">Elim_Columns()</a>, <a class="el" href="polyparam_8c_source.html#l01068">Find_m_faces()</a>, <a class="el" href="polyparam_8c_source.html#l00809">GenParamPolyhedron()</a>, <a class="el" href="polytest_8c_source.html#l00026">main()</a>, <a class="el" href="compress__parms_8c_source.html#l00856">Polyhedron_Remove_parm_eqs()</a>, and <a class="el" href="polyparam_8c_source.html#l00363">traite_m_face()</a>.</p>
</div>
</div>
<a class="anchor" id="a4163ba86faa8741d9215ff038a791bda"></a><!-- doxytag: member="polyhedron.h::Polyhedron2Rays" ref="a4163ba86faa8741d9215ff038a791bda" args="(Polyhedron *Pol)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structmatrix.html">Matrix</a>* Polyhedron2Rays </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l02639">2639</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="matrix_8c_source.html#l00045">Matrix_Alloc()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbRays</a>, <a class="el" href="types_8h_source.html#l00094">matrix::p_Init</a>, <a class="el" href="polyhedron_8h_source.html#l00026">POL_ENSURE_POINTS</a>, <a class="el" href="types_8h_source.html#l00112">polyhedron::Ray</a>, and <a class="el" href="vector_8c_source.html#l00269">Vector_Copy()</a>.</p>
<p>Referenced by <a class="el" href="polytest_8c_source.html#l00026">main()</a>.</p>
</div>
</div>
<a class="anchor" id="aa308ade6448cc5544e21d59e86a53ddf"></a><!-- doxytag: member="polyhedron.h::Polyhedron_Alloc" ref="aa308ade6448cc5544e21d59e86a53ddf" args="(unsigned Dimension, unsigned NbConstraints, unsigned NbRays)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* Polyhedron_Alloc </td>
<td>(</td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>Dimension</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbConstraints</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbRays</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l01556">1556</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="types_8h_source.html#l00124">polyhedron::flags</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbBid</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbEq</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbRays</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="vector_8c_source.html#l00760">p</a>, <a class="el" href="types_8h_source.html#l00113">polyhedron::p_Init</a>, <a class="el" href="types_8h_source.html#l00114">polyhedron::p_Init_size</a>, <a class="el" href="types_8h_source.html#l00112">polyhedron::Ray</a>, and <a class="el" href="vector_8c_source.html#l00765">value_alloc()</a>.</p>
<p>Referenced by <a class="el" href="polyhedron_8c_source.html#l03665">align_context()</a>, <a class="el" href="polyhedron_8c_source.html#l01906">Constraints2Polyhedron()</a>, <a class="el" href="polyhedron_8c_source.html#l01715">Empty_Polyhedron()</a>, <a class="el" href="polyhedron_8c_source.html#l02796">Polyhedron_Copy()</a>, <a class="el" href="polyhedron_8c_source.html#l04089">Polyhedron_Image()</a>, <a class="el" href="polyhedron_8c_source.html#l00859">Remove_Redundants()</a>, and <a class="el" href="polyhedron_8c_source.html#l01748">Universe_Polyhedron()</a>.</p>
</div>
</div>
<a class="anchor" id="a4e3db79bcd2da3284175f960012af17a"></a><!-- doxytag: member="polyhedron.h::Polyhedron_Compute_Dual" ref="a4e3db79bcd2da3284175f960012af17a" args="(Polyhedron *P)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void Polyhedron_Compute_Dual </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>P</em></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l02198">2198</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="assert_8h_source.html#l00026">assert</a>, <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="polyhedron_8c_source.html#l01906">Constraints2Polyhedron()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="types_8h_source.html#l00107">F_ISSET</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbColumns</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="types_8h_source.html#l00093">matrix::p</a>, <a class="el" href="types_8h_source.html#l00113">polyhedron::p_Init</a>, <a class="el" href="types_8h_source.html#l00094">matrix::p_Init</a>, <a class="el" href="types_8h_source.html#l00117">POL_FACETS</a>, <a class="el" href="types_8h_source.html#l00116">POL_INEQUALITIES</a>, <a class="el" href="types_8h_source.html#l00123">POL_VALID</a>, <a class="el" href="types_8h_source.html#l00119">POL_VERTICES</a>, and <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>.</p>
</div>
</div>
<a class="anchor" id="ab0f89a51f01cea6b93b8fb3ab43feca3"></a><!-- doxytag: member="polyhedron.h::Polyhedron_Copy" ref="ab0f89a51f01cea6b93b8fb3ab43feca3" args="(Polyhedron *Pol)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* Polyhedron_Copy </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l02796">2796</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="types_8h_source.html#l00124">polyhedron::flags</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbBid</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbEq</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbRays</a>, <a class="el" href="polyhedron_8c_source.html#l01556">Polyhedron_Alloc()</a>, <a class="el" href="types_8h_source.html#l00112">polyhedron::Ray</a>, and <a class="el" href="vector_8c_source.html#l00269">Vector_Copy()</a>.</p>
<p>Referenced by <a class="el" href="polyparam_8c_source.html#l00314">Add_CEqualities()</a>, <a class="el" href="polyhedron_8c_source.html#l02293">AddConstraints()</a>, <a class="el" href="polyhedron_8c_source.html#l04404">Disjoint_Domain()</a>, <a class="el" href="polyhedron_8c_source.html#l02823">Domain_Copy()</a>, <a class="el" href="polyhedron_8c_source.html#l03574">DomainConvex()</a>, <a class="el" href="polyhedron_8c_source.html#l03493">DomainUnion()</a>, <a class="el" href="polyhedron_8c_source.html#l02902">FindSimple()</a>, <a class="el" href="polyhedron_8c_source.html#l04645">p_simplify_constraints()</a>, and <a class="el" href="ext__ehrhart_8c_source.html#l00835">Polyhedron_Image_Enumerate()</a>.</p>
</div>
</div>
<a class="anchor" id="a4ae97b9794e3a616f1d38c68e6515cc3"></a><!-- doxytag: member="polyhedron.h::Polyhedron_Free" ref="a4ae97b9794e3a616f1d38c68e6515cc3" args="(Polyhedron *Pol)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void Polyhedron_Free </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l01603">1603</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="types_8h_source.html#l00113">polyhedron::p_Init</a>, <a class="el" href="types_8h_source.html#l00114">polyhedron::p_Init_size</a>, and <a class="el" href="vector_8c_source.html#l00807">value_free()</a>.</p>
<p>Referenced by <a class="el" href="polyhedron_8c_source.html#l02293">AddConstraints()</a>, <a class="el" href="polyhedron_8c_source.html#l02432">AddPolyToDomain()</a>, <a class="el" href="polyhedron_8c_source.html#l02661">AddRays()</a>, <a class="el" href="polyhedron_8c_source.html#l03665">align_context()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00761">CanonicalForm()</a>, <a class="el" href="polyparam_8c_source.html#l01033">ComputeNPLinesRays()</a>, <a class="el" href="polyhedron_8c_source.html#l01906">Constraints2Polyhedron()</a>, <a class="el" href="homogenization_8c_source.html#l00172">dehomogenize_enumeration()</a>, <a class="el" href="polyhedron_8c_source.html#l04404">Disjoint_Domain()</a>, <a class="el" href="polyhedron_8c_source.html#l01616">Domain_Free()</a>, <a class="el" href="polyhedron_8c_source.html#l04351">DomainAddConstraints()</a>, <a class="el" href="polyhedron_8c_source.html#l02750">DomainAddRays()</a>, <a class="el" href="polyhedron_8c_source.html#l04685">DomainConstraintSimplify()</a>, <a class="el" href="polyhedron_8c_source.html#l03574">DomainConvex()</a>, <a class="el" href="polyhedron_8c_source.html#l04187">DomainImage()</a>, <a class="el" href="polyhedron_8c_source.html#l04061">DomainPreimage()</a>, <a class="el" href="ehrhart_8c_source.html#l02635">Ehrhart_Quick_Apx()</a>, <a class="el" href="ehrhart_8c_source.html#l02281">Ehrhart_Quick_Apx_Full_Dim()</a>, <a class="el" href="matrix__permutations_8c_source.html#l00134">eliminable_vars()</a>, <a class="el" href="ehrhart_8c_source.html#l01738">Enumerate_NoParameters()</a>, <a class="el" href="ehrhart_8c_source.html#l02732">Enumeration_zero()</a>, <a class="el" href="polyparam_8c_source.html#l01068">Find_m_faces()</a>, <a class="el" href="polyhedron_8c_source.html#l02902">FindSimple()</a>, <a class="el" href="ehrhart__lower__bound_8c_source.html#l00025">main()</a>, <a class="el" href="polyhedron_8c_source.html#l04645">p_simplify_constraints()</a>, <a class="el" href="polyparam_8c_source.html#l00103">PDomainDifference()</a>, <a class="el" href="polyparam_8c_source.html#l00062">PDomainIntersection()</a>, <a class="el" href="polyparam_8c_source.html#l01771">Polyhedron2Param_Domain()</a>, <a class="el" href="polyhedron_8c_source.html#l02198">Polyhedron_Compute_Dual()</a>, <a class="el" href="ehrhart_8c_source.html#l01860">Polyhedron_Enumerate()</a>, <a class="el" href="polyhedron_8c_source.html#l04089">Polyhedron_Image()</a>, <a class="el" href="ext__ehrhart_8c_source.html#l00835">Polyhedron_Image_Enumerate()</a>, <a class="el" href="ranking_8c_source.html#l00192">Polyhedron_LexSmallerEnumerate()</a>, <a class="el" href="polyhedron_8c_source.html#l04002">Polyhedron_Preimage()</a>, <a class="el" href="ehrhart_8c_source.html#l00744">Polyhedron_Preprocess()</a>, <a class="el" href="compress__parms_8c_source.html#l00856">Polyhedron_Remove_parm_eqs()</a>, <a class="el" href="polyhedron_8c_source.html#l02083">Rays2Polyhedron()</a>, <a class="el" href="polyhedron_8c_source.html#l00859">Remove_Redundants()</a>, <a class="el" href="polyhedron_8c_source.html#l03120">SimplifyConstraints()</a>, <a class="el" href="polyhedron_8c_source.html#l03372">Stras_DomainSimplify()</a>, <a class="el" href="polyhedron_8c_source.html#l02508">SubConstraint()</a>, <a class="el" href="testCompressParms_8c_source.html#l00273">test_Constraints_fullDimensionize()</a>, <a class="el" href="testCompressParms_8c_source.html#l00071">test_Constraints_Remove_parm_eqs()</a>, <a class="el" href="testCompressParms_8c_source.html#l00139">test_Polyhedron_Remove_parm_eqs()</a>, and <a class="el" href="polyparam_8c_source.html#l00363">traite_m_face()</a>.</p>
</div>
</div>
<a class="anchor" id="a0b1d25597364fcc0847e8de25d9454c4"></a><!-- doxytag: member="polyhedron.h::Polyhedron_Image" ref="a0b1d25597364fcc0847e8de25d9454c4" args="(Polyhedron *Pol, Matrix *Func, unsigned NbMaxConstrs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* Polyhedron_Image </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structmatrix.html">Matrix</a> * </td>
<td class="paramname"> <em>Func</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxConstrs</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l04089">4089</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="errors_8c_source.html#l00116">any_exception_error</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00122">CATCH</a>, <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="polyhedron_8c_source.html#l01715">Empty_Polyhedron()</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="polyhedron_8c_source.html#l00734">Gauss4()</a>, <a class="el" href="matrix_8c_source.html#l00045">Matrix_Alloc()</a>, <a class="el" href="Matop_8c_source.html#l00118">Matrix_Copy()</a>, <a class="el" href="matrix_8c_source.html#l00092">Matrix_Free()</a>, <a class="el" href="matrix_8c_source.html#l00889">Matrix_Inverse()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbBid</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbColumns</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbEq</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbRays</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00093">matrix::p</a>, <a class="el" href="polyhedron_8h_source.html#l00030">POL_ENSURE_FACETS</a>, <a class="el" href="polyhedron_8h_source.html#l00034">POL_ENSURE_VERTICES</a>, <a class="el" href="polyhedron_8c_source.html#l01556">Polyhedron_Alloc()</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>, <a class="el" href="types_8h_source.html#l00112">polyhedron::Ray</a>, <a class="el" href="polyhedron_8c_source.html#l02083">Rays2Polyhedron()</a>, <a class="el" href="polyhedron_8c_source.html#l03920">Rays_Mult()</a>, <a class="el" href="polyhedron_8c_source.html#l03959">Rays_Mult_Transpose()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00133">RETHROW</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00130">TRY</a>, and <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00126">UNCATCH</a>.</p>
<p>Referenced by <a class="el" href="polyhedron_8c_source.html#l04187">DomainImage()</a>, and <a class="el" href="polytest_8c_source.html#l00026">main()</a>.</p>
</div>
</div>
<a class="anchor" id="a53d52d5d1befc1d1446e0920556c3d24"></a><!-- doxytag: member="polyhedron.h::Polyhedron_Preimage" ref="a53d52d5d1befc1d1446e0920556c3d24" args="(Polyhedron *Pol, Matrix *Func, unsigned NbMaxRays)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* Polyhedron_Preimage </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structmatrix.html">Matrix</a> * </td>
<td class="paramname"> <em>Func</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxRays</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l04002">4002</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="errors_8c_source.html#l00116">any_exception_error</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00122">CATCH</a>, <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="polyhedron_8c_source.html#l01906">Constraints2Polyhedron()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="polyhedron_8c_source.html#l01715">Empty_Polyhedron()</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="matrix_8c_source.html#l00045">Matrix_Alloc()</a>, <a class="el" href="matrix_8c_source.html#l00092">Matrix_Free()</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbColumns</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00093">matrix::p</a>, <a class="el" href="polyhedron_8h_source.html#l00022">POL_ENSURE_INEQUALITIES</a>, <a class="el" href="polyhedron_8c_source.html#l00089">Pol_status</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>, <a class="el" href="polyhedron_8c_source.html#l03920">Rays_Mult()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00133">RETHROW</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00130">TRY</a>, and <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00126">UNCATCH</a>.</p>
<p>Referenced by <a class="el" href="polyhedron_8c_source.html#l04061">DomainPreimage()</a>, <a class="el" href="ehrhart_8c_source.html#l02281">Ehrhart_Quick_Apx_Full_Dim()</a>, <a class="el" href="ehrhart_8c_source.html#l01738">Enumerate_NoParameters()</a>, <a class="el" href="testlib_8c_source.html#l00054">main()</a>, <a class="el" href="polyparam_8c_source.html#l01896">Param_Polyhedron_Scale_Integer()</a>, and <a class="el" href="ehrhart_8c_source.html#l01860">Polyhedron_Enumerate()</a>.</p>
</div>
</div>
<a class="anchor" id="ad87595bd01c5cdd0f3933824943db496"></a><!-- doxytag: member="polyhedron.h::Polyhedron_Print" ref="ad87595bd01c5cdd0f3933824943db496" args="(FILE *Dst, const char *Format, const Polyhedron *Pol)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void Polyhedron_Print </td>
<td>(</td>
<td class="paramtype">FILE * </td>
<td class="paramname"> <em>Dst</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const char * </td>
<td class="paramname"> <em>Format</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l01630">1630</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbBid</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbEq</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbRays</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="vector_8c_source.html#l00760">p</a>, <a class="el" href="polyhedron_8c_source.html#l01630">Polyhedron_Print()</a>, <a class="el" href="types_8h_source.html#l00112">polyhedron::Ray</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00554">value_notzero_p</a>, and <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00464">value_print</a>.</p>
<p>Referenced by <a class="el" href="polyparam_8c_source.html#l01366">Compute_PDomains()</a>, <a class="el" href="polyhedron_8c_source.html#l01906">Constraints2Polyhedron()</a>, <a class="el" href="ehrhart_8c_source.html#l02281">Ehrhart_Quick_Apx_Full_Dim()</a>, <a class="el" href="polyparam_8c_source.html#l00955">Elim_Columns()</a>, <a class="el" href="ehrhart_8c_source.html#l01738">Enumerate_NoParameters()</a>, <a class="el" href="polyparam_8c_source.html#l01068">Find_m_faces()</a>, <a class="el" href="c2p_8c_source.html#l00023">main()</a>, <a class="el" href="ehrhart_8c_source.html#l01860">Polyhedron_Enumerate()</a>, <a class="el" href="ehrhart_8c_source.html#l00744">Polyhedron_Preprocess()</a>, <a class="el" href="polyhedron_8c_source.html#l01630">Polyhedron_Print()</a>, <a class="el" href="alpha_8c_source.html#l00144">PolyhedronLTQ()</a>, <a class="el" href="polyhedron_8c_source.html#l01704">PolyPrint()</a>, <a class="el" href="polyparam_8c_source.html#l00882">PreElim_Columns()</a>, <a class="el" href="polyhedron_8c_source.html#l02083">Rays2Polyhedron()</a>, <a class="el" href="polyparam_8c_source.html#l00363">traite_m_face()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00358">ZPolyhedronPrint()</a>.</p>
</div>
</div>
<a class="anchor" id="a2303f014f8cd948a950c920085135081"></a><!-- doxytag: member="polyhedron.h::Polyhedron_PrintConstraints" ref="a2303f014f8cd948a950c920085135081" args="(FILE *Dst, const char *Format, Polyhedron *Pol)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void Polyhedron_PrintConstraints </td>
<td>(</td>
<td class="paramtype">FILE * </td>
<td class="paramname"> <em>Dst</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const char * </td>
<td class="paramname"> <em>Format</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l04623">4623</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, and <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00464">value_print</a>.</p>
<p>Referenced by <a class="el" href="ext__ehrhart_8c_source.html#l00680">AffConstraints()</a>, <a class="el" href="disjoint__union__adj_8c_source.html#l00041">AffContraintes()</a>, and <a class="el" href="polyhedron_8c_source.html#l04638">Domain_PrintConstraints()</a>.</p>
</div>
</div>
<a class="anchor" id="a9ff332ec08a9a3ccf95c6b1e2a784a68"></a><!-- doxytag: member="polyhedron.h::Polyhedron_Scan" ref="a9ff332ec08a9a3ccf95c6b1e2a784a68" args="(Polyhedron *D, Polyhedron *C, unsigned MAXRAYS)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* Polyhedron_Scan </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>D</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>C</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>MAXRAYS</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l03743">3743</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l03665">align_context()</a>, <a class="el" href="assert_8h_source.html#l00026">assert</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="polyhedron_8c_source.html#l01616">Domain_Free()</a>, <a class="el" href="polyhedron_8c_source.html#l02750">DomainAddRays()</a>, <a class="el" href="polyhedron_8c_source.html#l02607">DomainIntersection()</a>, <a class="el" href="polyhedron_8c_source.html#l03260">DomainSimplify()</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="matrix_8c_source.html#l00045">Matrix_Alloc()</a>, <a class="el" href="matrix_8c_source.html#l00092">Matrix_Free()</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="types_8h_source.html#l00093">matrix::p</a>, <a class="el" href="types_8h_source.html#l00094">matrix::p_Init</a>, <a class="el" href="polyhedron_8h_source.html#l00030">POL_ENSURE_FACETS</a>, <a class="el" href="polyhedron_8h_source.html#l00034">POL_ENSURE_VERTICES</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00460">value_set_si</a>, and <a class="el" href="vector_8c_source.html#l00240">Vector_Set()</a>.</p>
<p>Referenced by <a class="el" href="ehrhart_8c_source.html#l02281">Ehrhart_Quick_Apx_Full_Dim()</a>, <a class="el" href="ehrhart_8c_source.html#l01738">Enumerate_NoParameters()</a>, <a class="el" href="verif__ehrhart_8c_source.html#l00167">main()</a>, <a class="el" href="ehrhart_8c_source.html#l01860">Polyhedron_Enumerate()</a>, <a class="el" href="alpha_8c_source.html#l00104">Polyhedron_Not_Empty()</a>, and <a class="el" href="ehrhart_8c_source.html#l00744">Polyhedron_Preprocess()</a>.</p>
</div>
</div>
<a class="anchor" id="a107a96d44465428ffcd25f1ab3d67b43"></a><!-- doxytag: member="polyhedron.h::PolyhedronIncludes" ref="a107a96d44465428ffcd25f1ab3d67b43" args="(Polyhedron *Pol1, Polyhedron *Pol2)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int PolyhedronIncludes </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol2</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l02388">2388</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbRays</a>, <a class="el" href="polyhedron_8h_source.html#l00030">POL_ENSURE_FACETS</a>, <a class="el" href="polyhedron_8h_source.html#l00034">POL_ENSURE_VERTICES</a>, <a class="el" href="types_8h_source.html#l00112">polyhedron::Ray</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00516">value_addmul</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00462">value_clear</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00458">value_init</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00550">value_neg_p</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00554">value_notzero_p</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00460">value_set_si</a>, and <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00553">value_zero_p</a>.</p>
<p>Referenced by <a class="el" href="polyhedron_8c_source.html#l02432">AddPolyToDomain()</a>, <a class="el" href="polyhedron_8c_source.html#l04351">DomainAddConstraints()</a>, <a class="el" href="polyhedron_8c_source.html#l02750">DomainAddRays()</a>, <a class="el" href="polyhedron_8c_source.html#l03493">DomainUnion()</a>, <a class="el" href="ehrhart_8c_source.html#l02281">Ehrhart_Quick_Apx_Full_Dim()</a>, <a class="el" href="ext__ehrhart_8c_source.html#l00658">IncludeInRes()</a>, <a class="el" href="testlib_8c_source.html#l00054">main()</a>, <a class="el" href="ehrhart_8c_source.html#l01860">Polyhedron_Enumerate()</a>, <a class="el" href="ext__ehrhart_8c_source.html#l00634">Remove_RedundantDomains()</a>, <a class="el" href="testCompressParms_8c_source.html#l00071">test_Constraints_Remove_parm_eqs()</a>, and <a class="el" href="testCompressParms_8c_source.html#l00139">test_Polyhedron_Remove_parm_eqs()</a>.</p>
</div>
</div>
<a class="anchor" id="a09e380e70f4f88c4a646b4795f9c9626"></a><!-- doxytag: member="polyhedron.h::PolyPrint" ref="a09e380e70f4f88c4a646b4795f9c9626" args="(Polyhedron *Pol)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void PolyPrint </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l01704">1704</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l01630">Polyhedron_Print()</a>.</p>
</div>
</div>
<a class="anchor" id="a3d5b12b71133d329c88db195b56d9feb"></a><!-- doxytag: member="polyhedron.h::Rays2Polyhedron" ref="a3d5b12b71133d329c88db195b56d9feb" args="(Matrix *Ray, unsigned NbMaxConstrs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* Rays2Polyhedron </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structmatrix.html">Matrix</a> * </td>
<td class="paramname"> <em>Ray</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxConstrs</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Given a <a class="el" href="structmatrix.html">matrix</a> of rays 'Ray', create and return a <a class="el" href="structpolyhedron.html">polyhedron</a>. </p>
<dl><dt><b>Parameters:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>Ray</em> </td><td>Rays (may be modified!) </td></tr>
<tr><td valign="top"></td><td valign="top"><em>NbMaxConstrs</em> </td><td>Estimated number of constraints in the <a class="el" href="structpolyhedron.html">polyhedron</a>. </td></tr>
</table>
</dd>
</dl>
<dl class="return"><dt><b>Returns:</b></dt><dd>newly allocated Polyhedron </dd></dl>
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l02083">2083</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="errors_8c_source.html#l00116">any_exception_error</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00122">CATCH</a>, <a class="el" href="polyhedron_8c_source.html#l00386">Chernikova()</a>, <a class="el" href="polyhedron_8c_source.html#l01715">Empty_Polyhedron()</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="matrix_8c_source.html#l00045">Matrix_Alloc()</a>, <a class="el" href="matrix_8c_source.html#l00092">Matrix_Free()</a>, <a class="el" href="matrix_8c_source.html#l00138">Matrix_Print()</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbColumns</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00093">matrix::p</a>, <a class="el" href="types_8h_source.html#l00094">matrix::p_Init</a>, <a class="el" href="types_8h_source.html#l00084">POL_ISSET</a>, <a class="el" href="types_8h_source.html#l00082">POL_NO_DUAL</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>, <a class="el" href="polyhedron_8c_source.html#l01630">Polyhedron_Print()</a>, <a class="el" href="polyhedron_8c_source.html#l00859">Remove_Redundants()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00133">RETHROW</a>, <a class="el" href="polyparam_8c_source.html#l00289">Sat</a>, <a class="el" href="polyhedron_8c_source.html#l00109">SMAlloc()</a>, <a class="el" href="polyhedron_8c_source.html#l00145">SMFree()</a>, <a class="el" href="polyhedron_8c_source.html#l00162">SMPrint()</a>, <a class="el" href="polyhedron_8c_source.html#l00205">SMVector_Init</a>, <a class="el" href="polyhedron_8c_source.html#l00266">TransformSat()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00130">TRY</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00126">UNCATCH</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00460">value_set_si</a>, and <a class="el" href="vector_8c_source.html#l00240">Vector_Set()</a>.</p>
<p>Referenced by <a class="el" href="r2p_8c_source.html#l00027">main()</a>, <a class="el" href="polyhedron_8c_source.html#l04089">Polyhedron_Image()</a>, and <a class="el" href="polyparam_8c_source.html#l00363">traite_m_face()</a>.</p>
</div>
</div>
<a class="anchor" id="a95a584b74e1fa94e39740fc4c4cf1bdb"></a><!-- doxytag: member="polyhedron.h::Stras_DomainSimplify" ref="a95a584b74e1fa94e39740fc4c4cf1bdb" args="(Polyhedron *Pol1, Polyhedron *Pol2, unsigned NbMaxRays)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* Stras_DomainSimplify </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol2</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxRays</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l03372">3372</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l02432">AddPolyToDomain()</a>, <a class="el" href="errors_8c_source.html#l00116">any_exception_error</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00122">CATCH</a>, <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="polyhedron_8c_source.html#l01906">Constraints2Polyhedron()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="polyhedron_8c_source.html#l01715">Empty_Polyhedron()</a>, <a class="el" href="types_8h_source.html#l00134">emptyQ</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="matrix_8c_source.html#l00045">Matrix_Alloc()</a>, <a class="el" href="matrix_8c_source.html#l00092">Matrix_Free()</a>, <a class="el" href="types_8h_source.html#l00070">MSB</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00076">NEXT</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="types_8h_source.html#l00093">matrix::p</a>, <a class="el" href="polyhedron_8h_source.html#l00034">POL_ENSURE_VERTICES</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00133">RETHROW</a>, <a class="el" href="polyhedron_8c_source.html#l03120">SimplifyConstraints()</a>, <a class="el" href="polyhedron_8c_source.html#l00205">SMVector_Init</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00130">TRY</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00126">UNCATCH</a>, and <a class="el" href="vector_8c_source.html#l00269">Vector_Copy()</a>.</p>
</div>
</div>
<a class="anchor" id="a1a9b9a572ee65d1c15aea3f9885dde7a"></a><!-- doxytag: member="polyhedron.h::SubConstraint" ref="a1a9b9a572ee65d1c15aea3f9885dde7a" args="(Value *Con, Polyhedron *Pol, unsigned NbMaxRays, int Pass)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* SubConstraint </td>
<td>(</td>
<td class="paramtype">Value * </td>
<td class="paramname"> <em>Con</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>Pol</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>NbMaxRays</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>Pass</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l02508">2508</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="errors_8c_source.html#l00116">any_exception_error</a>, <a class="el" href="polyhedron_8c_source.html#l02237">BuildSat()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00122">CATCH</a>, <a class="el" href="polyhedron_8c_source.html#l00386">Chernikova()</a>, <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="matrix_8c_source.html#l00045">Matrix_Alloc()</a>, <a class="el" href="matrix_8c_source.html#l00092">Matrix_Free()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbBid</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbRays</a>, <a class="el" href="types_8h_source.html#l00093">matrix::p</a>, <a class="el" href="polyhedron_8h_source.html#l00030">POL_ENSURE_FACETS</a>, <a class="el" href="polyhedron_8h_source.html#l00034">POL_ENSURE_VERTICES</a>, <a class="el" href="types_8h_source.html#l00084">POL_ISSET</a>, <a class="el" href="types_8h_source.html#l00082">POL_NO_DUAL</a>, <a class="el" href="polyhedron_8c_source.html#l00089">Pol_status</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</a>, <a class="el" href="types_8h_source.html#l00112">polyhedron::Ray</a>, <a class="el" href="polyhedron_8c_source.html#l00859">Remove_Redundants()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00133">RETHROW</a>, <a class="el" href="polyparam_8c_source.html#l00289">Sat</a>, <a class="el" href="polyhedron_8c_source.html#l00145">SMFree()</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00130">TRY</a>, <a class="el" href="source_2arith_2arithmetic__errors_8h_source.html#l00126">UNCATCH</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00459">value_assign</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00522">value_decrement</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00554">value_notzero_p</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00528">value_oppose</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00460">value_set_si</a>, and <a class="el" href="vector_8c_source.html#l00269">Vector_Copy()</a>.</p>
<p>Referenced by <a class="el" href="polyhedron_8c_source.html#l04404">Disjoint_Domain()</a>, <a class="el" href="polyhedron_8c_source.html#l03608">DomainDifference()</a>, and <a class="el" href="polyparam_8c_source.html#l00103">PDomainDifference()</a>.</p>
</div>
</div>
<a class="anchor" id="a832c074e0ce9da3df126dc7d51248276"></a><!-- doxytag: member="polyhedron.h::Universe_Polyhedron" ref="a832c074e0ce9da3df126dc7d51248276" args="(unsigned Dimension)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolyhedron.html">Polyhedron</a>* Universe_Polyhedron </td>
<td>(</td>
<td class="paramtype">unsigned </td>
<td class="paramname"> <em>Dimension</em></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="polyhedron_8c_source.html#l01748">1748</a> of file <a class="el" href="polyhedron_8c_source.html">polyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="errormsg_8c_source.html#l00046">errormsg1()</a>, <a class="el" href="types_8h_source.html#l00105">F_SET</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbBid</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbEq</a>, <a class="el" href="types_8h_source.html#l00117">POL_FACETS</a>, <a class="el" href="types_8h_source.html#l00116">POL_INEQUALITIES</a>, <a class="el" href="types_8h_source.html#l00118">POL_POINTS</a>, <a class="el" href="types_8h_source.html#l00123">POL_VALID</a>, <a class="el" href="types_8h_source.html#l00119">POL_VERTICES</a>, <a class="el" href="polyhedron_8c_source.html#l01556">Polyhedron_Alloc()</a>, <a class="el" href="types_8h_source.html#l00112">polyhedron::Ray</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00460">value_set_si</a>, and <a class="el" href="vector_8c_source.html#l00240">Vector_Set()</a>.</p>
<p>Referenced by <a class="el" href="polyhedron_8c_source.html#l01906">Constraints2Polyhedron()</a>, <a class="el" href="ehrhart_8c_source.html#l02281">Ehrhart_Quick_Apx_Full_Dim()</a>, <a class="el" href="ehrhart_8c_source.html#l01738">Enumerate_NoParameters()</a>, <a class="el" href="ehrhart_8c_source.html#l02732">Enumeration_zero()</a>, <a class="el" href="polyparam_8c_source.html#l01068">Find_m_faces()</a>, <a class="el" href="polyparam_8c_source.html#l00809">GenParamPolyhedron()</a>, <a class="el" href="ehrhart_8c_source.html#l01860">Polyhedron_Enumerate()</a>, and <a class="el" href="ehrhart_8c_source.html#l00744">Polyhedron_Preprocess()</a>.</p>
</div>
</div>
</div>
<hr size="1"/><address style="text-align: right;"><small>Generated on Wed Nov 25 17:45:27 2009 for polylib by
<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.6.1 </small></address>
</body>
</html>
|