Main Page | Class List | File List | Class Members | File Members

verif_ehrhart.c File Reference

#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


Define Documentation

#define BIGDIM   5
 

Definition at line 35 of file verif_ehrhart.c.

Referenced by main().

#define MAXRAYS   1024
 

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().

#define RANGE   50
 

Definition at line 29 of file verif_ehrhart.c.

Referenced by main().

#define SRANGE   15
 

Definition at line 32 of file verif_ehrhart.c.

Referenced by main().

#define VBIGDIM   8
 

Definition at line 41 of file verif_ehrhart.c.

Referenced by main().

#define VSRANGE   5
 

Definition at line 38 of file verif_ehrhart.c.

Referenced by main().


Function Documentation

int check_poly Polyhedron S,
Polyhedron C,
Enumeration en,
int  nparam,
int  pos,
Value z
 

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().

int main int  argc,
char *  argv[]
 

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.


Variable Documentation

Value max
 

Definition at line 43 of file verif_ehrhart.c.

Referenced by check_poly(), main(), and Vector_Max().

Value min
 

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().

int st
 

Definition at line 50 of file verif_ehrhart.c.

Referenced by check_poly(), and main().


Generated on Mon Sep 12 14:48:30 2005 for polylib by doxygen 1.3.5