codeDoc/html/ext__ehrhart_8h_source.html

#ifndef _EXT_EHRHART_H_

#define _EXT_EHRHART_H_


extern Enumeration *Domain_Enumerate(Polyhedron *D, Polyhedron *C,

                                     unsigned MAXRAYS, char **pn);


extern void new_eadd(evalue *e1, evalue *res);


extern void Scalar_product(Value *p1, Value *p2, unsigned length, Value *r);


#endif

Value
int Value
Definition: arithmetique.h:294

new_eadd
void new_eadd(evalue *e1, evalue *res)
Definition: ext_ehrhart.c:283

Scalar_product
void Scalar_product(Value *p1, Value *p2, unsigned length, Value *r)
Definition: ext_ehrhart.c:512

Domain_Enumerate
Enumeration * Domain_Enumerate(Polyhedron *D, Polyhedron *C, unsigned MAXRAYS, char **pn)
Definition: ext_ehrhart.c:671

_enumeration
Definition: types.h:209

_evalue
Definition: types.h:193

polyhedron
Definition: types.h:109

MAXRAYS
#define MAXRAYS
Definition: verif_ehrhart.c:20