lbl Struct Reference

#include <types.h>

Public Attributes
Matrix *	Lat
Polyhedron *	P
struct lbl *	next

Detailed Description

Definition at line 245 of file types.h.

Member Data Documentation

Lat

Matrix* lbl::Lat

Definition at line 246 of file types.h.

Referenced by CanonicalLBL(), EmptyLBL(), LBL_Remove_Empty(), LBL_simple_inclusion_check(), LBLAlloc(), LBLDifference(), LBLImage(), LBLIntersection(), LBLSimplify(), main(), sLBL2ZDomain(), sLBL_Lat_Normalize(), sLBL_Simplify_Zero_Dimensions(), sLBLCanonical(), sLBLComplement(), sLBLComplement2(), sLBLCompute_holes(), sLBLCopy(), sLBLFree(), sLBLHomogenize_equalities(), sLBLImage(), sLBLIntersection(), sLBLMake_lattice_equal_to(), sLBLPreimage(), sLBLPrint(), sLBLSimplify_equalities(), and UniverseLBL().

next

struct lbl* lbl::next

Definition at line 248 of file types.h.

Referenced by CanonicalLBL(), EmptyLBL(), isEmptyLBL(), LBL2ZDomain(), LBL_Remove_Empty(), LBL_simple_inclusion_check(), LBLAlloc(), LBLComplement(), LBLConcatenate(), LBLCopy(), LBLDifference(), LBLDisjointUnion(), LBLFree(), LBLImage(), LBLIncluded(), LBLIntersection(), LBLPreimage(), LBLPrint(), LBLSimplify(), LBLSimplifyEmpty(), sLBLComplement(), sLBLHomogenize_equalities(), and UniverseLBL().

P

Polyhedron* lbl::P

Definition at line 247 of file types.h.

Referenced by CanonicalLBL(), EmptyLBL(), isEmptyLBL(), LBL_Remove_Empty(), LBL_simple_inclusion_check(), LBLAlloc(), LBLSimplify(), sLBL_Lat_Normalize(), sLBL_Simplify_Zero_Dimensions(), sLBLCanonical(), sLBLComplement(), sLBLComplement2(), sLBLCompute_holes(), sLBLCopy(), sLBLFree(), sLBLHomogenize_equalities(), sLBLImage(), sLBLIntersection(), sLBLMake_lattice_equal_to(), sLBLPreimage(), sLBLPrint(), sLBLSimplify_equalities(), and UniverseLBL().

---

The documentation for this struct was generated from the following file:

• types.h