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
4
extern
Enumeration
*
Domain_Enumerate
(
Polyhedron
*D,
Polyhedron
*C,
5
unsigned
MAXRAYS
,
const
char
**pn);
6
7
extern
void
new_eadd
(
evalue
*e1,
evalue
*res);
8
9
extern
void
Scalar_product
(Value *p1, Value *p2,
unsigned
length, Value *r);
10
11
#endif
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, const char **pn)
Definition:
ext_ehrhart.c:671
_enumeration
Definition:
types.h:189
_evalue
Definition:
types.h:173
polyhedron
Definition:
types.h:93
MAXRAYS
#define MAXRAYS
Definition:
verif_ehrhart.c:20
include
polylib
ext_ehrhart.h
Generated by
1.9.4