polylib 5.22.8
|
Go to the source code of this file.
Functions | |
int | main (int argc, char **argv) |
int main | ( | int | argc, |
char ** | argv | ||
) |
Definition at line 8 of file ehrhart_lower_bound.c.
References compute_poly(), Ehrhart_Quick_Apx(), _enumeration::EP, FOREVER, free_evalue_refs(), Free_ParamNames(), Matrix_Free(), Matrix_Read(), mpolyhedron_deflate(), matrix::NbColumns, _enumeration::next, Polyhedron_Free(), Print_Domain(), print_evalue(), Read_ParamNames(), show_matrix, _enumeration::ValidityDomain, value_init, value_print, and value_read.