polylib: eval_ehrhart.h Source 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