Zpolyhedron.h File Reference

Go to the source code of this file.

Functions
LBL *	LBLAlloc (Matrix *Lat, Polyhedron *Domain)
void	LBLFree (LBL *A)
void	LBLPrint (FILE *fp, const char *format, LBL *A)
LBL *	LBLCopy (LBL *A)
LBL *	EmptyLBL (int dimension)
LBL *	UniverseLBL (int dimension)
Bool	isEmptyLBL (LBL *A)
LBL *	LBLUnion (LBL *A, LBL *B)
Bool	LBLIncluded (LBL *A, LBL *B)
LBL *	LBLIntersection (LBL *A, LBL *B)
LBL *	LBLDifference (LBL *A, LBL *B)
LBL *	LBLImage (LBL *A, Matrix *Func)
LBL *	LBLPreimage (LBL *A, Matrix *Func)
LBL *	LBLComplement (LBL *A)
void	LBLSimplifyEmpty (LBL *A)
void	LBLSimplify (LBL *A)
void	CanonicalLBL (LBL *A)
LBL *	LBL2ZDomain (LBL *A)
LBL *	LBLDisjointUnion (LBL *A)

Function Documentation

CanonicalLBL()

void CanonicalLBL

(

LBL *

A

)

Definition at line 3117 of file Zpolyhedron.c.

References AddPolyToDomain(), isEqualLattice(), lbl::Lat, LBL_Remove_Empty(), LBLPrint(), Matrix_Free(), polyhedron::next, lbl::next, lbl::P, P_VALUE_FMT, and sLBLCanonical().

Referenced by LBL2ZDomain(), LBLAlloc(), LBLComplement(), LBLDisjointUnion(), LBLImage(), LBLIntersection(), LBLPreimage(), LBLSimplify(), LBLSimplifyEmpty(), LBLUnion(), and sLBLComplement2().

EmptyLBL()

LBL * EmptyLBL

(

int

dimension

)

Definition at line 189 of file Zpolyhedron.c.

References errormsg1(), lbl::Lat, Matrix_Alloc(), lbl::next, matrix::p, lbl::P, and value_set_si.

Referenced by LBLDifference(), LBLImage(), LBLIntersection(), LBLPreimage(), main(), and sLBLIntersection().

isEmptyLBL()

Bool isEmptyLBL

(

LBL *

A

)

Definition at line 54 of file Zpolyhedron.c.

References emptyQ, False, isEmptyLBL(), lbl::next, lbl::P, and True.

Referenced by isEmptyLBL(), LBLConcatenate(), LBLDifference(), LBLIncluded(), LBLSimplify(), main(), and sLBLIntersection().

LBL2ZDomain()

LBL * LBL2ZDomain

(

LBL *

A

)

Definition at line 3213 of file Zpolyhedron.c.

References CanonicalLBL(), LBLConcatenate(), LBLSimplifyEmpty(), lbl::next, and sLBL2ZDomain().

Referenced by main().

LBLAlloc()

LBL * LBLAlloc	(	Matrix *	Lat,
		Polyhedron *	Domain
	)

Definition at line 75 of file Zpolyhedron.c.

References CanonicalLBL(), polyhedron::Dimension, Domain_Copy(), emptyQ, errormsg1(), lbl::Lat, Matrix_Copy(), matrix::NbColumns, lbl::next, and lbl::P.

Referenced by main(), sLBL2ZDomain(), sLBLComplement(), sLBLCopy(), sLBLImage(), sLBLIntersection(), and sLBLPreimage().

LBLComplement()

LBL * LBLComplement

(

LBL *

A

)

Definition at line 922 of file Zpolyhedron.c.

References CanonicalLBL(), LBLFree(), LBLIntersection(), lbl::next, and sLBLComplement().

Referenced by main().

LBLCopy()

LBL * LBLCopy

(

LBL *

A

)

Definition at line 144 of file Zpolyhedron.c.

References LBLCopy(), lbl::next, and sLBLCopy().

Referenced by LBLCopy(), LBLDifference(), and LBLUnion().

LBLDifference()

LBL * LBLDifference	(	LBL *	A,
		LBL *	B
	)

Definition at line 406 of file Zpolyhedron.c.

References EmptyLBL(), errormsg1(), isEmptyLBL(), lbl::Lat, LBL_simple_inclusion_check(), LBLCopy(), LBLFree(), LBLIntersection(), LBLPrint(), matrix::NbRows, lbl::next, P_VALUE_FMT, and sLBLComplement().

Referenced by LBLDisjointUnion(), LBLIncluded(), and main().

LBLDisjointUnion()

LBL * LBLDisjointUnion

(

LBL *

A

)

Definition at line 3480 of file Zpolyhedron.c.

References CanonicalLBL(), LBLConcatenate(), LBLDifference(), LBLFree(), LBLIntersection(), lbl::next, and sLBLCopy().

Referenced by main().

LBLFree()

void LBLFree

(

LBL *

A

)

Definition at line 122 of file Zpolyhedron.c.

References LBLFree(), lbl::next, and sLBLFree().

Referenced by LBLComplement(), LBLConcatenate(), LBLDifference(), LBLDisjointUnion(), LBLFree(), LBLIncluded(), and main().

LBLImage()

LBL * LBLImage	(	LBL *	A,
		Matrix *	Func
	)

Definition at line 475 of file Zpolyhedron.c.

References CanonicalLBL(), EmptyLBL(), lbl::Lat, LBLConcatenate(), matrix::NbRows, lbl::next, and sLBLImage().

Referenced by main().

LBLIncluded()

Bool LBLIncluded	(	LBL *	A,
		LBL *	B
	)

Definition at line 272 of file Zpolyhedron.c.

References Domain_Remove_Integer_Empty(), False, isEmptyLBL(), LBL_simple_inclusion_check(), LBLDifference(), LBLFree(), lbl::next, and True.

Referenced by main().

LBLIntersection()

LBL * LBLIntersection	(	LBL *	A,
		LBL *	B
	)

Definition at line 364 of file Zpolyhedron.c.

References CanonicalLBL(), EmptyLBL(), errormsg1(), lbl::Lat, LBLConcatenate(), matrix::NbRows, lbl::next, and sLBLIntersection().

Referenced by LBLComplement(), LBLDifference(), LBLDisjointUnion(), and main().

LBLPreimage()

LBL * LBLPreimage	(	LBL *	A,
		Matrix *	Func
	)

Definition at line 497 of file Zpolyhedron.c.

References CanonicalLBL(), EmptyLBL(), LBLConcatenate(), matrix::NbColumns, lbl::next, and sLBLPreimage().

Referenced by main().

LBLPrint()

void LBLPrint	(	FILE *	fp,
		const char *	format,
		LBL *	A
	)

Definition at line 324 of file Zpolyhedron.c.

References lbl::next, and sLBLPrint().

Referenced by CanonicalLBL(), LBL_Remove_Empty(), LBLDifference(), LBLSimplify(), main(), sLBL_Simplify_Zero_Dimensions(), sLBLComplement(), and sLBLIntersection().

LBLSimplify()

void LBLSimplify

(

LBL *

A

)

Definition at line 3281 of file Zpolyhedron.c.

References assert, CanonicalLBL(), polyhedron::Dimension, Domain_Free(), domain_insert_dim(), DomainConstraintSimplify(), DomainUnion(), isEmptyLBL(), isSameLatticeSpace(), lbl::Lat, LatCountZeroCols(), LatticeIncluded(), LBLPrint(), LBLSimplifyEmpty(), Matrix_Alloc(), Matrix_Free(), MAXNOOFRAYS, matrix::NbColumns, matrix::NbRows, lbl::next, matrix::p, lbl::P, P_VALUE_FMT, sLBLMake_lattice_equal_to(), sLBLPrint(), value_assign, Vector_Copy(), and Vector_Set().

Referenced by LBLSimplifyEmpty(), and main().

LBLSimplifyEmpty()

void LBLSimplifyEmpty

(

LBL *

A

)

Definition at line 3235 of file Zpolyhedron.c.

References CanonicalLBL(), Domain_Remove_Integer_Empty(), LBL_Remove_Empty(), LBLSimplify(), and lbl::next.

Referenced by LBL2ZDomain(), LBLSimplify(), and main().

LBLUnion()

LBL * LBLUnion	(	LBL *	A,
		LBL *	B
	)

Definition at line 344 of file Zpolyhedron.c.

References CanonicalLBL(), LBLConcatenate(), and LBLCopy().

Referenced by main().

UniverseLBL()

LBL * UniverseLBL

(

int

dimension

)

Definition at line 218 of file Zpolyhedron.c.

References errormsg1(), lbl::Lat, Matrix_identity(), lbl::next, lbl::P, and Universe_Polyhedron().

Referenced by main().