Main Page   Compound List   File List   Compound 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 Mar 15 10:59:52 2004 for polylib by doxygen1.2.18