#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <polylib/polylib.h>
Go to the source code of this file.
Defines | |
#define | MAXRAYS 1024 |
#define | RANGE 50 |
#define | SRANGE 15 |
#define | BIGDIM 5 |
#define | VSRANGE 5 |
#define | VBIGDIM 8 |
Functions | |
int | check_poly (Polyhedron *S, Polyhedron *C, Enumeration *en, int nparam, int pos, Value *z) |
int | main (int argc, char *argv[]) |
Variables | |
Value | min |
Value | max |
int | st |
|
Definition at line 35 of file verif_ehrhart.c. Referenced by main(). |
|
Definition at line 20 of file verif_ehrhart.c. Referenced by Domain_Enumerate(), Enumerate_NoParameters(), main(), old_Polyhedron_Preprocess(), Polyhedron_Enumerate(), Polyhedron_Image_Enumerate(), Polyhedron_Not_Empty(), Polyhedron_Preprocess(), Polyhedron_Preprocess2(), and PolyhedronTSort(). |
|
Definition at line 29 of file verif_ehrhart.c. Referenced by main(). |
|
Definition at line 32 of file verif_ehrhart.c. Referenced by main(). |
|
Definition at line 41 of file verif_ehrhart.c. Referenced by main(). |
|
Definition at line 38 of file verif_ehrhart.c. Referenced by main(). |
|
Definition at line 61 of file verif_ehrhart.c. References compute_poly(), count_points(), polyhedron::Dimension, Enumeration, in_domain(), max, min, P_VALUE_FMT, Polyhedron, st, Value, value_assign, value_clear, VALUE_FMT, value_increment, value_init, value_le, value_ne, value_print, and VALUE_TO_INT. Referenced by main(). |
|
Definition at line 150 of file verif_ehrhart.c. References align_context(), BIGDIM, check_poly(), Constraints2Polyhedron(), polyhedron::Dimension, Domain_Free(), DomainIntersection(), Enumeration, Matrix, Matrix_Alloc(), Matrix_Free(), Matrix_Read(), max, MAXRAYS, min, matrix::NbColumns, matrix::NbRows, matrix::p, Polyhedron, Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Scan(), RANGE, SRANGE, st, Value, value_clear, value_init, value_set_si, value_substract, VALUE_TO_INT, VBIGDIM, and VSRANGE. |
|
Definition at line 43 of file verif_ehrhart.c. Referenced by check_poly(), main(), and Vector_Max(). |
|
Definition at line 43 of file verif_ehrhart.c. Referenced by check_poly(), cherche_min(), main(), Polyhedron_Preprocess(), RearrangeMatforSolveDio(), SolveDiophantine(), Vector_Gcd(), Vector_Min(), and Vector_Min_Not_Zero(). |
|
Definition at line 50 of file verif_ehrhart.c. Referenced by check_poly(), and main(). |