#include <types.h>
Public Attributes | |
Lattice * | M |
LatticeUnion * | next |
|
Definition at line 182 of file types.h. Referenced by AddLattice(), AffinePartSimplify(), AffinePartSort(), AlmostSameAffinePart(), LatticeDifference(), LatticeUnion_Alloc(), LatticeUnion_Free(), LinearPartSort(), main(), PrintLatticeUnion(), SameLinearPart(), Simplify(), SplitLattice(), SplitZpolyhedron(), ZDomainSimplify(), and ZPolyhedronDifference(). |
|
Definition at line 183 of file types.h. Referenced by AddLattice(), AffinePartSimplify(), AffinePartSort(), LatticeDifference(), LatticeSimplify(), LatticeUnion_Alloc(), LatticeUnion_Free(), LinearPartSort(), main(), PrintLatticeUnion(), Simplify(), SplitLattice(), SplitZpolyhedron(), ZDomainSimplify(), and ZPolyhedronDifference(). |