#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <polylib/polylib.h>

Macros
#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

Macro Definition Documentation

◆ BIGDIM

#define BIGDIM 5

Definition at line 35 of file verif_ehrhart.c.

◆ MAXRAYS

#define MAXRAYS 1024

Definition at line 20 of file verif_ehrhart.c.

◆ RANGE

#define RANGE 50

Definition at line 29 of file verif_ehrhart.c.

◆ SRANGE

#define SRANGE 15

Definition at line 32 of file verif_ehrhart.c.

◆ VBIGDIM

#define VBIGDIM 8

Definition at line 41 of file verif_ehrhart.c.

◆ VSRANGE

#define VSRANGE 5

Definition at line 38 of file verif_ehrhart.c.

Function Documentation

◆ check_poly()

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 check_poly(), compute_poly(), count_points(), polyhedron::Dimension, in_domain(), max, min, P_VALUE_FMT, st, value_assign, value_clear, value_increment, value_init, value_le, value_ne, and value_print.

Referenced by check_poly(), and main().

◆ 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(), m, Matrix_Alloc(), Matrix_Free(), Matrix_Read(), max, MAXRAYS, min, matrix::NbColumns, matrix::NbRows, matrix::p, Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Scan(), RANGE, SRANGE, st, value_clear, value_init, value_set_si, value_subtract, VBIGDIM, and VSRANGE.

Variable Documentation

◆ max

Value max

Definition at line 43 of file verif_ehrhart.c.

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

◆ min

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

◆ st

int st

Definition at line 50 of file verif_ehrhart.c.