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>
|
