polylib: assert.h File Reference

# assert.h File Reference

Go to the source code of this file.

## Defines
#define | _assert(ex) {if (!(ex)){(void)fprintf(stderr,"Assertion failed: file \"%s\", line %d\n", __FILE__, __LINE__);(void) abort();}}
#define | assert(ex) _assert(ex)

## Define Documentation

#define _assert | ( | ex |  | ) | {if (!(ex)){(void)fprintf(stderr,"Assertion failed: file \"%s\", line %d\n", __FILE__, __LINE__);(void) abort();}}

Definition at line 25 of file assert.h.

#define assert | ( | ex |  | ) | _assert(ex)

Definition at line 26 of file assert.h.

Referenced by compute_poly(), Constraints_fullDimensionize(), Constraints_permute(), Constraints_removeElimCols(), dehomogenize_periodic(), dehomogenize_polynomial(), Ehrhart_Quick_Apx_Full_Dim(), eliminable_vars(), Enumerate_NoParameters(), int_array2bit_vector(), Lattice_extractSubLattice(), LexSmaller(), linearInter(), Matrix_identity(), Matrix_subMatrix(), mpolyhedron_compress_last_vars(), mtransformation_expand_left_to_dim(), mtransformation_permute(), Polyhedron2Param_SimplifiedDomain(), Polyhedron_Compute_Dual(), Polyhedron_Enumerate(), Polyhedron_Preprocess(), Polyhedron_Scan(), and SMAlloc().