Lattice.h File Reference

Go to the source code of this file.

Functions
void	AffineHermite ()
void	AffineSmith ()
Lattice *	ChangeLatticeDimension ()
Lattice *	EmptyLattice ()
Lattice *	ExtractLinearPart ()
int	FindHermiteBasisofDomain ()
Lattice *	Homogenise ()
int	intcompare ()
Bool	isEmptyLattice ()
Bool	isfulldim ()
Bool	IsLattice ()
Bool	isLinear ()
LatticeUnion *	LatticeDifference ()
Lattice *	LatticeImage ()
Bool	LatticeIncludes ()
Lattice *	LatticeIntersection ()
Lattice *	LatticePreimage ()
LatticeUnion *	LatticeSimplify ()
LatticeUnion *	LatticeUnion_Alloc ()
void	LatticeUnion_Free ()
void	PrintLatticeUnion ()
Bool	sameAffinepart ()
Bool	sameLattice ()
LatticeUnion *	Lattice2LatticeUnion ()

---

Function Documentation

void AffineHermite (   )

Referenced by AddLattice(), AddZPolytoZDomain(), CanonicalForm(), LatticeDifference(), LatticeIncludes(), LatticeIntersection(), main(), sameLattice(), and SplitZpolyhedron().

void AffineSmith (   )

Referenced by main().

Lattice* ChangeLatticeDimension (   )

Referenced by CanonicalForm(), FindHermiteBasisofDomain(), and Lattice2LatticeUnion().

Lattice* EmptyLattice (   )

Referenced by EmptyZPolyhedron(), LatticeImage(), LatticeIntersection(), LatticePreimage(), and main().

Lattice* ExtractLinearPart (   )

Referenced by Lattice2LatticeUnion().

int FindHermiteBasisofDomain (   )

Referenced by CanonicalForm().

Lattice* Homogenise (   )

Referenced by AffineHermite(), AffineSmith(), and isinHnf().

int intcompare (   )

Bool isEmptyLattice (   )

Referenced by IntegraliseLattice(), isEmptyZPolyhedron(), Lattice2LatticeUnion(), LatticeDifference(), LatticeIntersection(), main(), SplitZpolyhedron(), ZPolyhedron_Alloc(), ZPolyhedronImage(), ZPolyhedronIntersection(), and ZPolyhedronPreimage().

Bool isfulldim (   )

Referenced by ZPolyhedron_Alloc().

Bool IsLattice (   )

Referenced by ZPolyhedron_Alloc().

Bool isLinear (   )

Referenced by AffineHermite().

LatticeUnion* Lattice2LatticeUnion (   )

Referenced by LatticeDifference(), and SplitZpolyhedron().

LatticeUnion* LatticeDifference (   )

Referenced by main(), and ZPolyhedronDifference().

Lattice* LatticeImage (   )

Referenced by IntegraliseLattice(), main(), and ZPolyhedronImage().

Bool LatticeIncludes (   )

Referenced by main(), and ZPolyhedronIncludes().

Lattice* LatticeIntersection (   )

Referenced by Lattice2LatticeUnion(), LatticeIncludes(), main(), and ZPolyhedronIntersection().

Lattice* LatticePreimage (   )

Referenced by LatticeImage(), main(), and ZPolyhedronPreimage().

LatticeUnion* LatticeSimplify (   )

Referenced by LatticeDifference(), main(), and ZDomainSimplify().

LatticeUnion* LatticeUnion_Alloc (   )

Definition at line 43 of file Lattice.c. References LatticeUnion::M, and LatticeUnion::next. Referenced by main().

void LatticeUnion_Free (   )

Referenced by main(), and ZDomainSimplify().

void PrintLatticeUnion (   )

Referenced by main().

Bool sameAffinepart (   )

Bool sameLattice (   )

Referenced by AddZPolytoZDomain(), and LatticeIncludes().

---