polylib 5.22.8
eval_ehrhart.h
Go to the documentation of this file.
1#ifndef _eval_ehrhart_H_
2#define _eval_ehrhart_H_
3
4#if defined(__cplusplus)
5extern "C" {
6#endif
7
8extern double compute_evalue(evalue *e, Value *list_args);
9extern Value *compute_poly(Enumeration *en, Value *list_args);
10extern int in_domain(Polyhedron *P, Value *list_args);
11
12#if defined(__cplusplus)
13}
14#endif
15
16#endif /* _eval_ehrhart_H_ */
Value * compute_poly(Enumeration *en, Value *list_args)
Definition: eval_ehrhart.c:137
double compute_evalue(evalue *e, Value *list_args)
Definition: eval_ehrhart.c:116
int in_domain(Polyhedron *P, Value *list_args)
Definition: eval_ehrhart.c:26
Definition: types.h:173