Main Page   Compound List   File List   Compound Members   File Members  

ehrhart.h

Go to the documentation of this file.
00001 
00002 #ifndef _ehrhart_H_
00003 #define _ehrhart_H_
00004 
00005 /*********************** User defines ******************************/
00006 
00007 /* Print all overflow warnings, or just one per domain             */
00008 /* #define ALL_OVERFLOW_WARNINGS */
00009 
00010 /******************* End of user defines ***************************/
00011 
00012 
00013 #ifndef ALL_OVERFLOW_WARNINGS
00014 extern int overflow_warning_flag;
00015 #endif
00016 
00017 
00018 #if __STDC__
00019 
00020 extern void count_points ( int pos, Polyhedron *P, Value *context, Value *res );
00021 extern void eadd ( evalue *e1, evalue *res );
00022 extern enode *ecopy ( enode *e );
00023 extern void edot ( enode *v1, enode *v2, evalue *res );
00024 extern enode *new_enode( enode_type type,int size, int pos );
00025 extern void free_evalue_refs ( evalue *e );
00026 extern Enumeration *Polyhedron_Enumerate ( Polyhedron *P, Polyhedron *C,
00027                                            unsigned MAXRAYS, char **pname );
00028 extern void print_enode ( FILE *DST, enode *p, char **pname );
00029 extern void print_evalue ( FILE *DST, evalue *e, char **pname );
00030 extern void reduce_evalue (evalue *e);
00031 extern void Enumeration_Free(Enumeration *en);
00032 
00033 #else /* __STDC__ */
00034 
00035 extern void count_points (/* int pos, Polyhedron *P, Value *context, Value *res */);
00036 extern void eadd (/* evalue *e1, evalue *res */);
00037 extern enode *ecopy (/* enode *e */);
00038 extern void edot (/* enode *v1, enode *v2, evalue *res */);
00039 extern enode *new_enode(/* enode_type type,int size, int pos*/ );
00040 extern void free_evalue_refs (/* evalue *e */);
00041 extern Enumeration *Polyhedron_Enumerate (/* Polyhedron *P, Polyhedron
00042                                       *C, unsigned MAXRAYS, char **pname */);
00043 extern void print_enode (/* FILE *DST, enode *p, char **pname */);
00044 extern void print_evalue (/* FILE *DST, evalue *e, char **pname */);
00045 extern void reduce_evalue (/* evalue *e */);
00046 extern void Enumeration_Free(/* Enumeration *en */);
00047 
00048 #endif /* __STDC__ */
00049 #endif /* _ehrhart_H_ */

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