00001 #ifndef _EXT_EHRHART_H_ 00002 #define _EXT_EHRHART_H_ 00003 00004 extern Enumeration *Domain_Enumerate(Polyhedron *D, Polyhedron *C, unsigned MAXRAYS, char **pn); 00005 00006 extern 00007 Enumeration *Domain_Image_Enumerate(Polyhedron *D, Polyhedron *C,Matrix *T, unsigned MAXRAYS, char **par_name) ; 00008 00009 extern 00010 void new_eadd(evalue *e1,evalue *res); 00011 00012 #endif