Main Page | Class List | File List | Class Members | File Members

Lattice.h File Reference

Go to the source code of this file.

Functions

void AffineHermite ()
void AffineSmith ()
LatticeChangeLatticeDimension ()
LatticeEmptyLattice ()
LatticeExtractLinearPart ()
int FindHermiteBasisofDomain ()
LatticeHomogenise ()
int intcompare ()
Bool isEmptyLattice ()
Bool isfulldim ()
Bool IsLattice ()
Bool isLinear ()
LatticeUnionLatticeDifference ()
LatticeLatticeImage ()
Bool LatticeIncludes ()
LatticeLatticeIntersection ()
LatticeLatticePreimage ()
LatticeUnionLatticeSimplify ()
LatticeUnionLatticeUnion_Alloc ()
void LatticeUnion_Free ()
void PrintLatticeUnion ()
Bool sameAffinepart ()
Bool sameLattice ()
LatticeUnionLattice2LatticeUnion ()


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().


Generated on Mon Sep 12 14:48:30 2005 for polylib by doxygen 1.3.5