polylib 5.22.8
Zpolyhedron.h File Reference

Go to the source code of this file.

Functions

void CanonicalForm (ZPolyhedron *Zpol, ZPolyhedron **Result, Matrix **Basis)
 
ZPolyhedronEmptyZPolyhedron (int dimension)
 
ZPolyhedronIntegraliseLattice (ZPolyhedron *A)
 
Bool isEmptyZPolyhedron (ZPolyhedron *Zpol)
 
ZPolyhedronZDomainDifference (ZPolyhedron *A, ZPolyhedron *B)
 
ZPolyhedronZDomainImage (ZPolyhedron *A, Matrix *Func)
 
Bool ZDomainIncludes (ZPolyhedron *A, ZPolyhedron *B)
 
ZPolyhedronZDomainIntersection (ZPolyhedron *A, ZPolyhedron *B)
 
ZPolyhedronZDomainPreimage (ZPolyhedron *A, Matrix *Func)
 
void ZDomainPrint (FILE *fp, const char *format, ZPolyhedron *A)
 
ZPolyhedronZDomainSimplify (ZPolyhedron *ZDom)
 
ZPolyhedronZDomainUnion (ZPolyhedron *A, ZPolyhedron *B)
 
ZPolyhedronZDomain_Copy (ZPolyhedron *Head)
 
void ZDomain_Free (ZPolyhedron *Head)
 
Bool ZPolyhedronIncludes (ZPolyhedron *A, ZPolyhedron *B)
 
ZPolyhedronZPolyhedron_Alloc (Lattice *Lat, Polyhedron *Poly)
 
ZPolyhedronSplitZpolyhedron (ZPolyhedron *ZPol, Lattice *B)
 

Function Documentation

◆ CanonicalForm()

◆ EmptyZPolyhedron()

◆ IntegraliseLattice()

◆ isEmptyZPolyhedron()

◆ SplitZpolyhedron()

◆ ZDomain_Copy()

ZPolyhedron * ZDomain_Copy ( ZPolyhedron Head)

◆ ZDomain_Free()

void ZDomain_Free ( ZPolyhedron Head)

◆ ZDomainDifference()

◆ ZDomainImage()

ZPolyhedron * ZDomainImage ( ZPolyhedron A,
Matrix Func 
)

◆ ZDomainIncludes()

Bool ZDomainIncludes ( ZPolyhedron A,
ZPolyhedron B 
)

Definition at line 270 of file Zpolyhedron.c.

References False, isEmptyZPolyhedron(), True, ZDomain_Free(), and ZDomainDifference().

◆ ZDomainIntersection()

◆ ZDomainPreimage()

◆ ZDomainPrint()

void ZDomainPrint ( FILE *  fp,
const char *  format,
ZPolyhedron A 
)

Definition at line 319 of file Zpolyhedron.c.

References ZPolyhedron::next, ZDomainPrint(), and ZPolyhedronPrint().

Referenced by main(), and ZDomainPrint().

◆ ZDomainSimplify()

◆ ZDomainUnion()

ZPolyhedron * ZDomainUnion ( ZPolyhedron A,
ZPolyhedron B 
)

Definition at line 353 of file Zpolyhedron.c.

References AddZPolytoZDomain(), and ZPolyhedron::next.

Referenced by main(), and ZDomainSimplify().

◆ ZPolyhedron_Alloc()

◆ ZPolyhedronIncludes()

Bool ZPolyhedronIncludes ( ZPolyhedron A,
ZPolyhedron B 
)