polylib: ext_ehrhart.h Source File

- Main Page
- Classes
- Files

# ext_ehrhart.h

Go to the documentation of this 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