Main Page   Compound List   File List   Compound Members   File Members  

disjoint_union_sep.c File Reference

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

Go to the source code of this file.

Defines

#define WS   200

Functions

void AffContraintes (Polyhedron *p)
int main ()
 EPRINT : print results while computing the ehrhart polynomial.


Define Documentation

#define WS   200
 

Definition at line 19 of file disjoint_union_sep.c.

Referenced by main().


Function Documentation

void AffContraintes Polyhedron   p
 

Definition at line 23 of file disjoint_union_sep.c.

References polyhedron::next, P_VALUE_FMT, and Polyhedron_PrintConstraints().

Referenced by main().

int main  
 

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 33 of file disjoint_union_sep.c.

References AffContraintes(), Constraints2Polyhedron(), Disjoint_Domain(), Domain_Free(), Matrix_Free(), Matrix_Read(), polyhedron::next, and WS.


Generated on Mon Mar 15 10:59:52 2004 for polylib by doxygen1.2.18