polylib: eval_ehrhart.h Source File

- Main Page
- Classes
- Files

# eval_ehrhart.h

Go to the documentation of this file.

    00001 #ifndef _eval_ehrhart_H_
    00002 #define _eval_ehrhart_H_
    00003
    00004 #if defined(__cplusplus)
    00005 extern "C" {
    00006 #endif
    00007
    00008 extern double compute_evalue ( evalue *e, Value *list_args );
    00009 extern Value *compute_poly (Enumeration *en, Value *list_args);
    00010 extern int in_domain(Polyhedron *P, Value *list_args);
    00011
    00012 #if defined(__cplusplus)
    00013 }
    00014 #endif
    00015
    00016 #endif /* _eval_ehrhart_H_ */
    00017
    00018
    00019