#include <stdio.h>
#include <stdlib.h>
#include <ctype.h>
#include <string.h>
#include <unistd.h>
#include <assert.h>
#include <polylib/polylib.h>
Go to the source code of this file.
Defines | |
#define | WS 0 |
#define | EPRINT_ALL_VALIDITY_CONSTRAINTS |
define this to print all constraints on the validity domains if not defined, only new constraints (not in validity domain given by the user) are printed | |
#define | REDUCE_DEGREE |
Reduce the degree of resulting polynomials. | |
#define | ALL_OVERFLOW_WARNINGS |
define this to print one warning message per domain overflow these overflows should no longer happen since version 4.20 | |
Functions | |
int | main () |
EPRINT : print results while computing the ehrhart polynomial. |
|
define this to print one warning message per domain overflow these overflows should no longer happen since version 4.20
Definition at line 80 of file testehrhart.c. |
|
define this to print all constraints on the validity domains if not defined, only new constraints (not in validity domain given by the user) are printed
Definition at line 29 of file testehrhart.c. |
|
Reduce the degree of resulting polynomials.
Definition at line 72 of file testehrhart.c. |
|
Definition at line 20 of file testehrhart.c. |
|
EPRINT : print results while computing the ehrhart polynomial. this is done by default if you build the executable ehrhart. (If EMAIN is defined). Don't define EMAIN here, it is defined when necessary in the makefile. Notice: you may however define EPRINT without defining EMAIN, but in this case, you have to initialize the global variable param_name by calling Read_ParamNames before any call to ehrhart. This is NOT recommanded, unless you know what you do. EPRINT causes more debug messages to be printed. Definition at line 100 of file testehrhart.c. References compute_poly(), Constraints2Polyhedron(), polyhedron::Dimension, Enumeration, Enumeration_Free(), FOREVER, Matrix, Matrix_Free(), Matrix_Read(), matrix::NbColumns, Polyhedron, Polyhedron_Enumerate(), Polyhedron_Free(), Read_ParamNames(), Value, VALUE_FMT, value_init, value_print, value_read, and WS. |