#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <polylib/polylib.h>
Go to the source code of this file.
Functions | |
int | main (int argc, char **argv) |
|
Definition at line 8 of file ehrhart_upper_bound.c. References compute_poly(), Ehrhart_Quick_Apx(), Enumeration, _enumeration::EP, FOREVER, free_evalue_refs(), Matrix, Matrix_Free(), Matrix_Read(), mpolyhedron_inflate(), matrix::NbColumns, _enumeration::next, p, Polyhedron, Polyhedron_Free(), Print_Domain(), print_evalue(), Read_ParamNames(), show_matrix, _enumeration::ValidityDomain, Value, VALUE_FMT, value_init, value_print, and value_read. |