polylib: ext_ehrhart.h Source File

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