polylib 5.22.8
|
#include <stdio.h>
#include <stdlib.h>
#include <ctype.h>
#include <string.h>
#include <unistd.h>
#include <assert.h>
#include <polylib/polylib.h>
#include <polylib/homogenization.h>
#include "config.h"
#include <getopt.h>
Go to the source code of this file.
Macros | |
#define | EP_EVALUATION |
#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 More... | |
#define | REDUCE_DEGREE |
The following are mainly for debug purposes. More... | |
#define | ALL_OVERFLOW_WARNINGS |
define this to print one warning message per domain overflow these overflows should no longer happen since version 4.20 More... | |
Functions | |
int | main (int argc, char **argv) |
EPRINT : print results while computing the ehrhart polynomial. More... | |
Variables | |
struct option | options [] |
#define ALL_OVERFLOW_WARNINGS |
define this to print one warning message per domain overflow these overflows should no longer happen since version 4.20
Definition at line 90 of file testehrhart.c.
#define EP_EVALUATION |
Definition at line 18 of file testehrhart.c.
#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
Definition at line 39 of file testehrhart.c.
#define REDUCE_DEGREE |
The following are mainly for debug purposes.
You shouldn't need to change anything for daily usage... you may define each macro independently
Reduce the degree of resulting polynomials
Definition at line 82 of file testehrhart.c.
#define WS 0 |
Definition at line 30 of file testehrhart.c.
int main | ( | int | argc, |
char ** | argv | ||
) |
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 110 of file testehrhart.c.
References AddANullColumn(), compute_poly(), Constraints2Polyhedron(), dehomogenize_enumeration(), polyhedron::Dimension, Enumeration_Free(), _enumeration::EP, FOREVER, Free_ParamNames(), Matrix_Free(), Matrix_Read(), matrix::NbColumns, _enumeration::next, options, Polyhedron_Enumerate(), Polyhedron_Free(), Print_Domain(), print_evalue(), Read_ParamNames(), _enumeration::ValidityDomain, value_init, value_print, value_read, and WS.
struct option options[] |
Definition at line 24 of file testehrhart.c.
Referenced by main().