#include <types.h>
Public Attributes | |
| Lattice * | M |
| LatticeUnion * | next |
|
|
Definition at line 207 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 208 of file types.h. Referenced by AddLattice(), AffinePartSimplify(), AffinePartSort(), LatticeDifference(), LatticeSimplify(), LatticeUnion_Alloc(), LatticeUnion_Free(), LinearPartSort(), main(), PrintLatticeUnion(), Simplify(), SplitLattice(), SplitZpolyhedron(), ZDomainSimplify(), and ZPolyhedronDifference(). |
1.3.5