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
|
<!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: Zpolyhedron.c 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>Zpolyhedron.c File Reference</h1><code>#include <<a class="el" href="polylib_8h_source.html">polylib/polylib.h</a>></code><br/>
<code>#include <stdlib.h></code><br/>
<p><a href="Zpolyhedron_8c_source.html">Go to the source code of this file.</a></p>
<table border="0" cellpadding="0" cellspacing="0">
<tr><td colspan="2"><h2>Classes</h2></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">struct </td><td class="memItemRight" valign="bottom"><a class="el" href="structforsimplify.html">forsimplify</a></td></tr>
<tr><td colspan="2"><h2>Typedefs</h2></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">typedef struct <a class="el" href="structforsimplify.html">forsimplify</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#a2dfb34403364e164ad6d119574b5f638">ForSimplify</a></td></tr>
<tr><td colspan="2"><h2>Functions</h2></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">static <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#a342b4aae95e1b5fcd31bde39de7e5676">ZPolyhedronIntersection</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *, <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">static <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#a7356b208941d309c1178da1b9f24157c">ZPolyhedron_Copy</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *A)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">static void </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#a09673c936811862a3098cebc231a84ef">ZPolyhedron_Free</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *Zpol)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">static <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#a07af455469e4301a457a5e0265a6d545">ZPolyhedronDifference</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *, <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">static <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#a9405cea5a362f28576f9a68a77a82ba0">ZPolyhedronImage</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *, <a class="el" href="structmatrix.html">Matrix</a> *)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">static <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#a16289c71b1e52682c9e2dd35d425bf82">ZPolyhedronPreimage</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *, <a class="el" href="structmatrix.html">Matrix</a> *)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">static <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#ad5c4dbaa587f00447836e0b7d8f33c65">AddZPolytoZDomain</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *A, <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *Head)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">static void </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#abdf4096040b073181ff38e741c329233">ZPolyhedronPrint</a> (FILE *fp, const char *format, <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *A)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="types_8h.html#a39db6982619d623273fad8a383489309">Bool</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#ab0afb5489d7025a2d231d1d769c74ffe">isEmptyZPolyhedron</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *Zpol)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#aea228bbc24564d06a571d0cae4303faa">ZPolyhedron_Alloc</a> (<a class="el" href="structmatrix.html">Lattice</a> *Lat, <a class="el" href="structpolyhedron.html">Polyhedron</a> *Poly)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#a4c358b8a8cc20a9ca35f76966ce20242">ZDomain_Free</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *Head)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#adfc6db1caf4e0cbc2cbac31f2e076cfc">ZDomain_Copy</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *Head)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">static <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#a12543a0ea685af90e05e6ed5d1f45564">AddZPoly2ZDomain</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *Zpol, <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *Result)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#aa6461cb4a6bb43dd044c483570d632b5">EmptyZPolyhedron</a> (int dimension)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="types_8h.html#a39db6982619d623273fad8a383489309">Bool</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#a48e9670cd681b4f6af4b61c5fec3f4fd">ZDomainIncludes</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *A, <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *B)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="types_8h.html#a39db6982619d623273fad8a383489309">Bool</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#aed98a7cbac0623890f53f62f3bec7807">ZPolyhedronIncludes</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *A, <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *B)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#a77aed9aa9a109db0a32d453421a9fed9">ZDomainPrint</a> (FILE *fp, const char *format, <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *A)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#aeb4a3836b97a8283580c03d3cc71ed00">ZDomainUnion</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *A, <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *B)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#a0f747089a4e82c008210f9cf959643ee">ZDomainIntersection</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *A, <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *B)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#a97f1e11de3f03f0b346be8e882f2a44c">ZDomainDifference</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *A, <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *B)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#a15cca433d2f4720b50b582177d500159">ZDomainImage</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *A, <a class="el" href="structmatrix.html">Matrix</a> *Func)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#a7d35f2d725d25c1f2baf113c74d82f2c">ZDomainPreimage</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *A, <a class="el" href="structmatrix.html">Matrix</a> *Func)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#ae1596918aafc05f8d325722fbfa11d63">CanonicalForm</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *Zpol, <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> **Result, <a class="el" href="structmatrix.html">Matrix</a> **Basis)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#a18679eb2fc30e66ff57146b427f3d7a8">IntegraliseLattice</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *A)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#ae1ea837411351d529bbdeed37fe5c9c8">ZDomainSimplify</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *ZDom)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="Zpolyhedron_8c.html#a78437f3fbab465d27271ef2928328995">SplitZpolyhedron</a> (<a class="el" href="structZPolyhedron.html">ZPolyhedron</a> *ZPol, <a class="el" href="structmatrix.html">Lattice</a> *B)</td></tr>
</table>
<hr/><h2>Typedef Documentation</h2>
<a class="anchor" id="a2dfb34403364e164ad6d119574b5f638"></a><!-- doxytag: member="Zpolyhedron.c::ForSimplify" ref="a2dfb34403364e164ad6d119574b5f638" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef struct <a class="el" href="structforsimplify.html">forsimplify</a> <a class="el" href="structforsimplify.html">ForSimplify</a></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<hr/><h2>Function Documentation</h2>
<a class="anchor" id="a12543a0ea685af90e05e6ed5d1f45564"></a><!-- doxytag: member="Zpolyhedron.c::AddZPoly2ZDomain" ref="a12543a0ea685af90e05e6ed5d1f45564" args="(ZPolyhedron *Zpol, ZPolyhedron *Result)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static <a class="el" href="structZPolyhedron.html">ZPolyhedron</a>* AddZPoly2ZDomain </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>Zpol</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>Result</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="Zpolyhedron_8c_source.html#l00143">143</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="Zpolyhedron_8c_source.html#l00040">isEmptyZPolyhedron()</a>, <a class="el" href="types_8h_source.html#l00244">ZPolyhedron::next</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00093">ZDomain_Free()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00131">ZPolyhedron_Copy()</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00971">SplitZpolyhedron()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00433">ZDomainDifference()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00592">ZPolyhedronDifference()</a>.</p>
</div>
</div>
<a class="anchor" id="ad5c4dbaa587f00447836e0b7d8f33c65"></a><!-- doxytag: member="Zpolyhedron.c::AddZPolytoZDomain" ref="ad5c4dbaa587f00447836e0b7d8f33c65" args="(ZPolyhedron *A, ZPolyhedron *Head)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * AddZPolytoZDomain </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>A</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>Head</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="Zpolyhedron_8c_source.html#l00170">170</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="Lattice_8c_source.html#l00176">AffineHermite()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00761">CanonicalForm()</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#l04187">DomainImage()</a>, <a class="el" href="polyhedron_8c_source.html#l03493">DomainUnion()</a>, <a class="el" href="types_8h_source.html#l00234">False</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00040">isEmptyZPolyhedron()</a>, <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</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#l00845">Matrix_Product()</a>, <a class="el" href="types_8h_source.html#l00050">MAXNOOFRAYS</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#l00244">ZPolyhedron::next</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="types_8h_source.html#l00243">ZPolyhedron::P</a>, <a class="el" href="Lattice_8c_source.html#l00371">sameLattice()</a>, <a class="el" href="types_8h_source.html#l00234">True</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00093">ZDomain_Free()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00055">ZPolyhedron_Alloc()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00105">ZPolyhedron_Free()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00306">ZPolyhedronIncludes()</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00433">ZDomainDifference()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00486">ZDomainImage()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00396">ZDomainIntersection()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00514">ZDomainPreimage()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00374">ZDomainUnion()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00592">ZPolyhedronDifference()</a>.</p>
</div>
</div>
<a class="anchor" id="ae1596918aafc05f8d325722fbfa11d63"></a><!-- doxytag: member="Zpolyhedron.c::CanonicalForm" ref="ae1596918aafc05f8d325722fbfa11d63" args="(ZPolyhedron *Zpol, ZPolyhedron **Result, Matrix **Basis)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void CanonicalForm </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>Zpol</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> ** </td>
<td class="paramname"> <em>Result</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>Basis</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="Zpolyhedron_8c_source.html#l00761">761</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="Lattice_8c_source.html#l00176">AffineHermite()</a>, <a class="el" href="Lattice_8c_source.html#l00409">ChangeLatticeDimension()</a>, <a class="el" href="polyhedron_8c_source.html#l01616">Domain_Free()</a>, <a class="el" href="polyhedron_8c_source.html#l04187">DomainImage()</a>, <a class="el" href="Lattice_8c_source.html#l00990">FindHermiteBasisofDomain()</a>, <a class="el" href="Matop_8c_source.html#l00058">Identity()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00040">isEmptyZPolyhedron()</a>, <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</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="matrix_8c_source.html#l00845">Matrix_Product()</a>, <a class="el" href="types_8h_source.html#l00050">MAXNOOFRAYS</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#l00243">ZPolyhedron::P</a>, <a class="el" href="polyhedron_8c_source.html#l01603">Polyhedron_Free()</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#l00458">value_init</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00118">ZDomain_Copy()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00055">ZPolyhedron_Alloc()</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00170">AddZPolytoZDomain()</a>, and <a class="el" href="Zpolytest_8c_source.html#l00029">main()</a>.</p>
</div>
</div>
<a class="anchor" id="aa6461cb4a6bb43dd044c483570d632b5"></a><!-- doxytag: member="Zpolyhedron.c::EmptyZPolyhedron" ref="aa6461cb4a6bb43dd044c483570d632b5" args="(int dimension)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a>* EmptyZPolyhedron </td>
<td>(</td>
<td class="paramtype">int </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="Zpolyhedron_8c_source.html#l00264">264</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <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="Lattice_8c_source.html#l00095">EmptyLattice()</a>, <a class="el" href="matrix_8c_source.html#l00092">Matrix_Free()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00055">ZPolyhedron_Alloc()</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00854">IntegraliseLattice()</a>, <a class="el" href="Zpolytest_8c_source.html#l00029">main()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00433">ZDomainDifference()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00486">ZDomainImage()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00396">ZDomainIntersection()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00514">ZDomainPreimage()</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#l00547">ZPolyhedronIntersection()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00719">ZPolyhedronPreimage()</a>.</p>
</div>
</div>
<a class="anchor" id="a18679eb2fc30e66ff57146b427f3d7a8"></a><!-- doxytag: member="Zpolyhedron.c::IntegraliseLattice" ref="a18679eb2fc30e66ff57146b427f3d7a8" args="(ZPolyhedron *A)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a>* IntegraliseLattice </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>A</em></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="Zpolyhedron_8c_source.html#l00854">854</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l01616">Domain_Free()</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="Zpolyhedron_8c_source.html#l00264">EmptyZPolyhedron()</a>, <a class="el" href="Matop_8c_source.html#l00058">Identity()</a>, <a class="el" href="Lattice_8c_source.html#l00118">isEmptyLattice()</a>, <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</a>, <a class="el" href="Lattice_8c_source.html#l01126">LatticeImage()</a>, <a class="el" href="matrix_8c_source.html#l00092">Matrix_Free()</a>, <a class="el" href="types_8h_source.html#l00050">MAXNOOFRAYS</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00243">ZPolyhedron::P</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00055">ZPolyhedron_Alloc()</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00055">ZPolyhedron_Alloc()</a>.</p>
</div>
</div>
<a class="anchor" id="ab0afb5489d7025a2d231d1d769c74ffe"></a><!-- doxytag: member="Zpolyhedron.c::isEmptyZPolyhedron" ref="ab0afb5489d7025a2d231d1d769c74ffe" args="(ZPolyhedron *Zpol)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="types_8h.html#a39db6982619d623273fad8a383489309">Bool</a> isEmptyZPolyhedron </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>Zpol</em></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="Zpolyhedron_8c_source.html#l00040">40</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00134">emptyQ</a>, <a class="el" href="types_8h_source.html#l00234">False</a>, <a class="el" href="Lattice_8c_source.html#l00118">isEmptyLattice()</a>, <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</a>, <a class="el" href="types_8h_source.html#l00243">ZPolyhedron::P</a>, and <a class="el" href="types_8h_source.html#l00234">True</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00143">AddZPoly2ZDomain()</a>, <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="Zpolytest_8c_source.html#l00029">main()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00289">ZDomainIncludes()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00592">ZPolyhedronDifference()</a>.</p>
</div>
</div>
<a class="anchor" id="a78437f3fbab465d27271ef2928328995"></a><!-- doxytag: member="Zpolyhedron.c::SplitZpolyhedron" ref="a78437f3fbab465d27271ef2928328995" args="(ZPolyhedron *ZPol, Lattice *B)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a>* SplitZpolyhedron </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>ZPol</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structmatrix.html">Lattice</a> * </td>
<td class="paramname"> <em>B</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="Zpolyhedron_8c_source.html#l00971">971</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="Zpolyhedron_8c_source.html#l00143">AddZPoly2ZDomain()</a>, <a class="el" href="Lattice_8c_source.html#l00176">AffineHermite()</a>, <a class="el" href="Lattice_8c_source.html#l00118">isEmptyLattice()</a>, <a class="el" href="Matop_8c_source.html#l00157">isinHnf()</a>, <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</a>, <a class="el" href="Lattice_8c_source.html#l00674">Lattice2LatticeUnion()</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="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#l00238">LatticeUnion::next</a>, <a class="el" href="types_8h_source.html#l00243">ZPolyhedron::P</a>, <a class="el" href="types_8h_source.html#l00234">True</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00055">ZPolyhedron_Alloc()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00105">ZPolyhedron_Free()</a>.</p>
<p>Referenced by <a class="el" href="Zpolytest_8c_source.html#l00029">main()</a>.</p>
</div>
</div>
<a class="anchor" id="adfc6db1caf4e0cbc2cbac31f2e076cfc"></a><!-- doxytag: member="Zpolyhedron.c::ZDomain_Copy" ref="adfc6db1caf4e0cbc2cbac31f2e076cfc" args="(ZPolyhedron *Head)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a>* ZDomain_Copy </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>Head</em></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="Zpolyhedron_8c_source.html#l00118">118</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00244">ZPolyhedron::next</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00118">ZDomain_Copy()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00131">ZPolyhedron_Copy()</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00761">CanonicalForm()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00118">ZDomain_Copy()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00592">ZPolyhedronDifference()</a>.</p>
</div>
</div>
<a class="anchor" id="a4c358b8a8cc20a9ca35f76966ce20242"></a><!-- doxytag: member="Zpolyhedron.c::ZDomain_Free" ref="a4c358b8a8cc20a9ca35f76966ce20242" args="(ZPolyhedron *Head)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void ZDomain_Free </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>Head</em></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="Zpolyhedron_8c_source.html#l00093">93</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00244">ZPolyhedron::next</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00093">ZDomain_Free()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00105">ZPolyhedron_Free()</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00143">AddZPoly2ZDomain()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00170">AddZPolytoZDomain()</a>, <a class="el" href="example_8c_source.html#l00032">main()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00093">ZDomain_Free()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00433">ZDomainDifference()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00289">ZDomainIncludes()</a>.</p>
</div>
</div>
<a class="anchor" id="a97f1e11de3f03f0b346be8e882f2a44c"></a><!-- doxytag: member="Zpolyhedron.c::ZDomainDifference" ref="a97f1e11de3f03f0b346be8e882f2a44c" args="(ZPolyhedron *A, ZPolyhedron *B)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a>* ZDomainDifference </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>A</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>B</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="Zpolyhedron_8c_source.html#l00433">433</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="Zpolyhedron_8c_source.html#l00143">AddZPoly2ZDomain()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00170">AddZPolytoZDomain()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00264">EmptyZPolyhedron()</a>, <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00244">ZPolyhedron::next</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00093">ZDomain_Free()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00131">ZPolyhedron_Copy()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00592">ZPolyhedronDifference()</a>.</p>
<p>Referenced by <a class="el" href="Zpolytest_8c_source.html#l00029">main()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00289">ZDomainIncludes()</a>.</p>
</div>
</div>
<a class="anchor" id="a15cca433d2f4720b50b582177d500159"></a><!-- doxytag: member="Zpolyhedron.c::ZDomainImage" ref="a15cca433d2f4720b50b582177d500159" args="(ZPolyhedron *A, Matrix *Func)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a>* ZDomainImage </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>A</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><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="Zpolyhedron_8c_source.html#l00486">486</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="Zpolyhedron_8c_source.html#l00170">AddZPolytoZDomain()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00264">EmptyZPolyhedron()</a>, <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00244">ZPolyhedron::next</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00105">ZPolyhedron_Free()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00669">ZPolyhedronImage()</a>.</p>
<p>Referenced by <a class="el" href="example_8c_source.html#l00032">main()</a>.</p>
</div>
</div>
<a class="anchor" id="a48e9670cd681b4f6af4b61c5fec3f4fd"></a><!-- doxytag: member="Zpolyhedron.c::ZDomainIncludes" ref="a48e9670cd681b4f6af4b61c5fec3f4fd" args="(ZPolyhedron *A, ZPolyhedron *B)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="types_8h.html#a39db6982619d623273fad8a383489309">Bool</a> ZDomainIncludes </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>A</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>B</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="Zpolyhedron_8c_source.html#l00289">289</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00234">False</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00040">isEmptyZPolyhedron()</a>, <a class="el" href="types_8h_source.html#l00234">True</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00093">ZDomain_Free()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00433">ZDomainDifference()</a>.</p>
</div>
</div>
<a class="anchor" id="a0f747089a4e82c008210f9cf959643ee"></a><!-- doxytag: member="Zpolyhedron.c::ZDomainIntersection" ref="a0f747089a4e82c008210f9cf959643ee" args="(ZPolyhedron *A, ZPolyhedron *B)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a>* ZDomainIntersection </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>A</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>B</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="Zpolyhedron_8c_source.html#l00396">396</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="Zpolyhedron_8c_source.html#l00170">AddZPolytoZDomain()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00264">EmptyZPolyhedron()</a>, <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00244">ZPolyhedron::next</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00105">ZPolyhedron_Free()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00547">ZPolyhedronIntersection()</a>.</p>
<p>Referenced by <a class="el" href="example_8c_source.html#l00032">main()</a>.</p>
</div>
</div>
<a class="anchor" id="a7d35f2d725d25c1f2baf113c74d82f2c"></a><!-- doxytag: member="Zpolyhedron.c::ZDomainPreimage" ref="a7d35f2d725d25c1f2baf113c74d82f2c" args="(ZPolyhedron *A, Matrix *Func)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a>* ZDomainPreimage </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>A</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><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="Zpolyhedron_8c_source.html#l00514">514</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="Zpolyhedron_8c_source.html#l00170">AddZPolytoZDomain()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00264">EmptyZPolyhedron()</a>, <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</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#l00244">ZPolyhedron::next</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00105">ZPolyhedron_Free()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00719">ZPolyhedronPreimage()</a>.</p>
<p>Referenced by <a class="el" href="Zpolytest_8c_source.html#l00029">main()</a>.</p>
</div>
</div>
<a class="anchor" id="a77aed9aa9a109db0a32d453421a9fed9"></a><!-- doxytag: member="Zpolyhedron.c::ZDomainPrint" ref="a77aed9aa9a109db0a32d453421a9fed9" args="(FILE *fp, const char *format, ZPolyhedron *A)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void ZDomainPrint </td>
<td>(</td>
<td class="paramtype">FILE * </td>
<td class="paramname"> <em>fp</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="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>A</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="Zpolyhedron_8c_source.html#l00338">338</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00244">ZPolyhedron::next</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00338">ZDomainPrint()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00358">ZPolyhedronPrint()</a>.</p>
<p>Referenced by <a class="el" href="example_8c_source.html#l00032">main()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00338">ZDomainPrint()</a>.</p>
</div>
</div>
<a class="anchor" id="ae1ea837411351d529bbdeed37fe5c9c8"></a><!-- doxytag: member="Zpolyhedron.c::ZDomainSimplify" ref="ae1ea837411351d529bbdeed37fe5c9c8" args="(ZPolyhedron *ZDom)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a>* ZDomainSimplify </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>ZDom</em></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="Zpolyhedron_8c_source.html#l00887">887</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <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#l03608">DomainDifference()</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="types_8h_source.html#l00134">emptyQ</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00264">EmptyZPolyhedron()</a>, <a class="el" href="types_8h_source.html#l00234">False</a>, <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</a>, <a class="el" href="Lattice_8c_source.html#l01636">LatticeSimplify()</a>, <a class="el" href="Lattice_8c_source.html#l00044">LatticeUnion_Free()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00032">forsimplify::LatUni</a>, <a class="el" href="types_8h_source.html#l00237">LatticeUnion::M</a>, <a class="el" href="Matop_8c_source.html#l00118">Matrix_Copy()</a>, <a class="el" href="types_8h_source.html#l00050">MAXNOOFRAYS</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00238">LatticeUnion::next</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00033">forsimplify::next</a>, <a class="el" href="types_8h_source.html#l00244">ZPolyhedron::next</a>, <a class="el" href="types_8h_source.html#l00243">ZPolyhedron::P</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00031">forsimplify::Pol</a>, <a class="el" href="types_8h_source.html#l00234">True</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00374">ZDomainUnion()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00055">ZPolyhedron_Alloc()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00131">ZPolyhedron_Copy()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00105">ZPolyhedron_Free()</a>.</p>
<p>Referenced by <a class="el" href="Zpolytest_8c_source.html#l00029">main()</a>.</p>
</div>
</div>
<a class="anchor" id="aeb4a3836b97a8283580c03d3cc71ed00"></a><!-- doxytag: member="Zpolyhedron.c::ZDomainUnion" ref="aeb4a3836b97a8283580c03d3cc71ed00" args="(ZPolyhedron *A, ZPolyhedron *B)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a>* ZDomainUnion </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>A</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>B</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="Zpolyhedron_8c_source.html#l00374">374</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="Zpolyhedron_8c_source.html#l00170">AddZPolytoZDomain()</a>, and <a class="el" href="types_8h_source.html#l00244">ZPolyhedron::next</a>.</p>
<p>Referenced by <a class="el" href="Zpolytest_8c_source.html#l00029">main()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00887">ZDomainSimplify()</a>.</p>
</div>
</div>
<a class="anchor" id="aea228bbc24564d06a571d0cae4303faa"></a><!-- doxytag: member="Zpolyhedron.c::ZPolyhedron_Alloc" ref="aea228bbc24564d06a571d0cae4303faa" args="(Lattice *Lat, Polyhedron *Poly)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a>* ZPolyhedron_Alloc </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structmatrix.html">Lattice</a> * </td>
<td class="paramname"> <em>Lat</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>Poly</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="Zpolyhedron_8c_source.html#l00055">55</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <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="types_8h_source.html#l00234">False</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00854">IntegraliseLattice()</a>, <a class="el" href="Lattice_8c_source.html#l00118">isEmptyLattice()</a>, <a class="el" href="Lattice_8c_source.html#l01267">isfulldim()</a>, <a class="el" href="Lattice_8c_source.html#l01239">IsLattice()</a>, <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</a>, <a class="el" href="Matop_8c_source.html#l00118">Matrix_Copy()</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00244">ZPolyhedron::next</a>, <a class="el" href="types_8h_source.html#l00243">ZPolyhedron::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>, and <a class="el" href="Zpolyhedron_8c_source.html#l00105">ZPolyhedron_Free()</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="Zpolyhedron_8c_source.html#l00264">EmptyZPolyhedron()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00854">IntegraliseLattice()</a>, <a class="el" href="example_8c_source.html#l00032">main()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00971">SplitZpolyhedron()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00887">ZDomainSimplify()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00131">ZPolyhedron_Copy()</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="a7356b208941d309c1178da1b9f24157c"></a><!-- doxytag: member="Zpolyhedron.c::ZPolyhedron_Copy" ref="a7356b208941d309c1178da1b9f24157c" args="(ZPolyhedron *A)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * ZPolyhedron_Copy </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>A</em></td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="Zpolyhedron_8c_source.html#l00131">131</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</a>, <a class="el" href="types_8h_source.html#l00243">ZPolyhedron::P</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00055">ZPolyhedron_Alloc()</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00143">AddZPoly2ZDomain()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00118">ZDomain_Copy()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00433">ZDomainDifference()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00887">ZDomainSimplify()</a>.</p>
</div>
</div>
<a class="anchor" id="a09673c936811862a3098cebc231a84ef"></a><!-- doxytag: member="Zpolyhedron.c::ZPolyhedron_Free" ref="a09673c936811862a3098cebc231a84ef" args="(ZPolyhedron *Zpol)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static void ZPolyhedron_Free </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>Zpol</em></td>
<td> ) </td>
<td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="Zpolyhedron_8c_source.html#l00105">105</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l01616">Domain_Free()</a>, <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</a>, <a class="el" href="matrix_8c_source.html#l00092">Matrix_Free()</a>, and <a class="el" href="types_8h_source.html#l00243">ZPolyhedron::P</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00170">AddZPolytoZDomain()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00971">SplitZpolyhedron()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00093">ZDomain_Free()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00486">ZDomainImage()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00396">ZDomainIntersection()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00514">ZDomainPreimage()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00887">ZDomainSimplify()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00055">ZPolyhedron_Alloc()</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="a07af455469e4301a457a5e0265a6d545"></a><!-- doxytag: member="Zpolyhedron.c::ZPolyhedronDifference" ref="a07af455469e4301a457a5e0265a6d545" args="(ZPolyhedron *, ZPolyhedron *)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * ZPolyhedronDifference </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>A</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>B</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="Zpolyhedron_8c_source.html#l00592">592</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="Zpolyhedron_8c_source.html#l00143">AddZPoly2ZDomain()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00170">AddZPolytoZDomain()</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#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="types_8h_source.html#l00134">emptyQ</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00264">EmptyZPolyhedron()</a>, <a class="el" href="types_8h_source.html#l00234">False</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00040">isEmptyZPolyhedron()</a>, <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</a>, <a class="el" href="Lattice_8c_source.html#l00814">LatticeDifference()</a>, <a class="el" href="types_8h_source.html#l00237">LatticeUnion::M</a>, <a class="el" href="matrix_8c_source.html#l00092">Matrix_Free()</a>, <a class="el" href="types_8h_source.html#l00050">MAXNOOFRAYS</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00238">LatticeUnion::next</a>, <a class="el" href="types_8h_source.html#l00243">ZPolyhedron::P</a>, <a class="el" href="types_8h_source.html#l00234">True</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00118">ZDomain_Copy()</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00055">ZPolyhedron_Alloc()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00105">ZPolyhedron_Free()</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00433">ZDomainDifference()</a>.</p>
</div>
</div>
<a class="anchor" id="a9405cea5a362f28576f9a68a77a82ba0"></a><!-- doxytag: member="Zpolyhedron.c::ZPolyhedronImage" ref="a9405cea5a362f28576f9a68a77a82ba0" args="(ZPolyhedron *, Matrix *)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * ZPolyhedronImage </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>ZPol</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><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="Zpolyhedron_8c_source.html#l00669">669</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l01616">Domain_Free()</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="types_8h_source.html#l00134">emptyQ</a>, <a class="el" href="Lattice_8c_source.html#l00118">isEmptyLattice()</a>, <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</a>, <a class="el" href="Lattice_8c_source.html#l01126">LatticeImage()</a>, <a class="el" href="matrix_8c_source.html#l00092">Matrix_Free()</a>, <a class="el" href="types_8h_source.html#l00050">MAXNOOFRAYS</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#l00243">ZPolyhedron::P</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00031">forsimplify::Pol</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00055">ZPolyhedron_Alloc()</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00486">ZDomainImage()</a>.</p>
</div>
</div>
<a class="anchor" id="aed98a7cbac0623890f53f62f3bec7807"></a><!-- doxytag: member="Zpolyhedron.c::ZPolyhedronIncludes" ref="aed98a7cbac0623890f53f62f3bec7807" args="(ZPolyhedron *A, ZPolyhedron *B)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="types_8h.html#a39db6982619d623273fad8a383489309">Bool</a> ZPolyhedronIncludes </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>A</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>B</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="Zpolyhedron_8c_source.html#l00306">306</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l01616">Domain_Free()</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="types_8h_source.html#l00134">emptyQ</a>, <a class="el" href="types_8h_source.html#l00234">False</a>, <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</a>, <a class="el" href="Lattice_8c_source.html#l00340">LatticeIncludes()</a>, <a class="el" href="types_8h_source.html#l00050">MAXNOOFRAYS</a>, <a class="el" href="types_8h_source.html#l00243">ZPolyhedron::P</a>, and <a class="el" href="types_8h_source.html#l00234">True</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00170">AddZPolytoZDomain()</a>, and <a class="el" href="Zpolytest_8c_source.html#l00029">main()</a>.</p>
</div>
</div>
<a class="anchor" id="a342b4aae95e1b5fcd31bde39de7e5676"></a><!-- doxytag: member="Zpolyhedron.c::ZPolyhedronIntersection" ref="a342b4aae95e1b5fcd31bde39de7e5676" args="(ZPolyhedron *, ZPolyhedron *)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * ZPolyhedronIntersection </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>A</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>B</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="Zpolyhedron_8c_source.html#l00547">547</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l01616">Domain_Free()</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="types_8h_source.html#l00134">emptyQ</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00264">EmptyZPolyhedron()</a>, <a class="el" href="Lattice_8c_source.html#l00118">isEmptyLattice()</a>, <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</a>, <a class="el" href="Lattice_8c_source.html#l00475">LatticeIntersection()</a>, <a class="el" href="matrix_8c_source.html#l00092">Matrix_Free()</a>, <a class="el" href="types_8h_source.html#l00050">MAXNOOFRAYS</a>, <a class="el" href="types_8h_source.html#l00092">matrix::NbRows</a>, <a class="el" href="types_8h_source.html#l00243">ZPolyhedron::P</a>, <a class="el" href="types_8h_source.html#l00234">True</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00055">ZPolyhedron_Alloc()</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00105">ZPolyhedron_Free()</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00396">ZDomainIntersection()</a>.</p>
</div>
</div>
<a class="anchor" id="a16289c71b1e52682c9e2dd35d425bf82"></a><!-- doxytag: member="Zpolyhedron.c::ZPolyhedronPreimage" ref="a16289c71b1e52682c9e2dd35d425bf82" args="(ZPolyhedron *, Matrix *)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static <a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * ZPolyhedronPreimage </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>Zpol</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>G</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="Zpolyhedron_8c_source.html#l00719">719</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="polyhedron_8c_source.html#l01616">Domain_Free()</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="types_8h_source.html#l00134">emptyQ</a>, <a class="el" href="Zpolyhedron_8c_source.html#l00264">EmptyZPolyhedron()</a>, <a class="el" href="Lattice_8c_source.html#l00118">isEmptyLattice()</a>, <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</a>, <a class="el" href="Lattice_8c_source.html#l01165">LatticePreimage()</a>, <a class="el" href="matrix_8c_source.html#l00092">Matrix_Free()</a>, <a class="el" href="types_8h_source.html#l00050">MAXNOOFRAYS</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#l00243">ZPolyhedron::P</a>, and <a class="el" href="Zpolyhedron_8c_source.html#l00055">ZPolyhedron_Alloc()</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00514">ZDomainPreimage()</a>.</p>
</div>
</div>
<a class="anchor" id="abdf4096040b073181ff38e741c329233"></a><!-- doxytag: member="Zpolyhedron.c::ZPolyhedronPrint" ref="abdf4096040b073181ff38e741c329233" args="(FILE *fp, const char *format, ZPolyhedron *A)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static void ZPolyhedronPrint </td>
<td>(</td>
<td class="paramtype">FILE * </td>
<td class="paramname"> <em>fp</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="structZPolyhedron.html">ZPolyhedron</a> * </td>
<td class="paramname"> <em>A</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="Zpolyhedron_8c_source.html#l00358">358</a> of file <a class="el" href="Zpolyhedron_8c_source.html">Zpolyhedron.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00242">ZPolyhedron::Lat</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>, <a class="el" href="types_8h_source.html#l00243">ZPolyhedron::P</a>, and <a class="el" href="polyhedron_8c_source.html#l01630">Polyhedron_Print()</a>.</p>
<p>Referenced by <a class="el" href="Zpolyhedron_8c_source.html#l00338">ZDomainPrint()</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>
|
