polylib 5.22.8
Zpolyhedron.h
Go to the documentation of this file.
1#ifndef _Zpolyhedron_h_
2#define _Zpolyhedron_h_
3
4#if defined(__cplusplus)
5extern "C" {
6#endif
7
8extern void CanonicalForm(ZPolyhedron *Zpol, ZPolyhedron **Result,
9 Matrix **Basis);
10extern ZPolyhedron *EmptyZPolyhedron(int dimension);
18extern void ZDomainPrint(FILE *fp, const char *format, ZPolyhedron *A);
22extern void ZDomain_Free(ZPolyhedron *Head);
26
27#if defined(__cplusplus)
28}
29#endif
30
31#endif /* _Zpolyhedron_h_ */
ZPolyhedron * ZDomainIntersection(ZPolyhedron *A, ZPolyhedron *B)
Definition: Zpolyhedron.c:375
ZPolyhedron * ZDomainSimplify(ZPolyhedron *ZDom)
Definition: Zpolyhedron.c:871
Bool ZDomainIncludes(ZPolyhedron *A, ZPolyhedron *B)
Definition: Zpolyhedron.c:270
void ZDomain_Free(ZPolyhedron *Head)
Definition: Zpolyhedron.c:75
ZPolyhedron * SplitZpolyhedron(ZPolyhedron *ZPol, Lattice *B)
Definition: Zpolyhedron.c:955
ZPolyhedron * ZDomainDifference(ZPolyhedron *A, ZPolyhedron *B)
Definition: Zpolyhedron.c:412
void ZDomainPrint(FILE *fp, const char *format, ZPolyhedron *A)
Definition: Zpolyhedron.c:319
ZPolyhedron * ZPolyhedron_Alloc(Lattice *Lat, Polyhedron *Poly)
Definition: Zpolyhedron.c:37
ZPolyhedron * ZDomain_Copy(ZPolyhedron *Head)
Definition: Zpolyhedron.c:100
Bool isEmptyZPolyhedron(ZPolyhedron *Zpol)
Definition: Zpolyhedron.c:22
ZPolyhedron * IntegraliseLattice(ZPolyhedron *A)
Definition: Zpolyhedron.c:838
ZPolyhedron * EmptyZPolyhedron(int dimension)
Definition: Zpolyhedron.c:245
ZPolyhedron * ZDomainImage(ZPolyhedron *A, Matrix *Func)
Definition: Zpolyhedron.c:466
ZPolyhedron * ZDomainPreimage(ZPolyhedron *A, Matrix *Func)
Definition: Zpolyhedron.c:494
ZPolyhedron * ZDomainUnion(ZPolyhedron *A, ZPolyhedron *B)
Definition: Zpolyhedron.c:353
void CanonicalForm(ZPolyhedron *Zpol, ZPolyhedron **Result, Matrix **Basis)
Definition: Zpolyhedron.c:743
Bool ZPolyhedronIncludes(ZPolyhedron *A, ZPolyhedron *B)
Definition: Zpolyhedron.c:287
Definition: types.h:75
Bool
Definition: types.h:218