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 () |
|
Referenced by AddLattice(), AddZPolytoZDomain(), CanonicalForm(), LatticeDifference(), LatticeIncludes(), LatticeIntersection(), main(), sameLattice(), and SplitZpolyhedron(). |
|
Referenced by main(). |
|
Referenced by CanonicalForm(), FindHermiteBasisofDomain(), and Lattice2LatticeUnion(). |
|
Referenced by EmptyZPolyhedron(), LatticeImage(), LatticeIntersection(), LatticePreimage(), and main(). |
|
Referenced by Lattice2LatticeUnion(). |
|
Referenced by CanonicalForm(). |
|
Referenced by AffineHermite(), AffineSmith(), and isinHnf(). |
|
|
|
|
Referenced by ZPolyhedron_Alloc(). |
|
Referenced by ZPolyhedron_Alloc(). |
|
Referenced by AffineHermite(). |
|
Referenced by LatticeDifference(), and SplitZpolyhedron(). |
|
Referenced by main(), and ZPolyhedronDifference(). |
|
Referenced by IntegraliseLattice(), main(), and ZPolyhedronImage(). |
|
Referenced by main(), and ZPolyhedronIncludes(). |
|
Referenced by Lattice2LatticeUnion(), LatticeIncludes(), main(), and ZPolyhedronIntersection(). |
|
Referenced by LatticeImage(), main(), and ZPolyhedronPreimage(). |
|
Referenced by LatticeDifference(), main(), and ZDomainSimplify(). |
|
Definition at line 43 of file Lattice.c. References LatticeUnion::M, and LatticeUnion::next. Referenced by main(). |
|
Referenced by main(), and ZDomainSimplify(). |
|
Referenced by main(). |
|
|
|
Referenced by AddZPolytoZDomain(), and LatticeIncludes(). |