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

testehrhart.c File Reference

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

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 (int argc, char **argv)
 EPRINT : print results while computing the ehrhart polynomial.


Variables

option options []


Define Documentation

#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 92 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 41 of file testehrhart.c.

#define REDUCE_DEGREE
 

Reduce the degree of resulting polynomials.

Definition at line 84 of file testehrhart.c.

#define WS   0
 

Definition at line 32 of file testehrhart.c.


Function Documentation

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 112 of file testehrhart.c.

References AddANullColumn(), compute_poly(), Constraints2Polyhedron(), dehomogenize_enumeration(), polyhedron::Dimension, Enumeration, Enumeration_Free(), _enumeration::EP, FOREVER, Matrix, Matrix_Free(), Matrix_Read(), matrix::NbColumns, _enumeration::next, options, p, Polyhedron, Polyhedron_Enumerate(), Polyhedron_Free(), Print_Domain(), print_evalue(), Read_ParamNames(), _enumeration::ValidityDomain, value_init, value_print, value_read, and WS.


Variable Documentation

struct option options[]
 

Initial value:

 {
    { "homogenized",   no_argument,  0,  'h' },
    { 0, 0, 0, 0 }
}

Definition at line 26 of file testehrhart.c.

Referenced by main().


Generated on Mon Apr 23 19:23:54 2007 for polylib by doxygen 1.3.5