polylib 5.22.8
ext_ehrhart.h
Go to the documentation of this file.
1#ifndef _EXT_EHRHART_H_
2#define _EXT_EHRHART_H_
3
5 unsigned MAXRAYS, const char **pn);
6
7extern void new_eadd(evalue *e1, evalue *res);
8
9extern void Scalar_product(Value *p1, Value *p2, unsigned length, Value *r);
10
11#endif
void new_eadd(evalue *e1, evalue *res)
Definition: ext_ehrhart.c:283
void Scalar_product(Value *p1, Value *p2, unsigned length, Value *r)
Definition: ext_ehrhart.c:512
Enumeration * Domain_Enumerate(Polyhedron *D, Polyhedron *C, unsigned MAXRAYS, const char **pn)
Definition: ext_ehrhart.c:671
Definition: types.h:173
#define MAXRAYS
Definition: verif_ehrhart.c:20