11#ifndef ALL_OVERFLOW_WARNINGS
15#if defined(__cplusplus)
26 unsigned MAXRAYS,
const char **pname);
37#if defined(__cplusplus)
void edot(enode *v1, enode *v2, evalue *res)
computes the inner product of two vectors.
Enumeration * Enumeration_zero(unsigned int nbParms, unsigned int maxRays)
returns a constant Ehrhart polynomial whose value is zero for any value of the parameters.
enode * new_enode(enode_type type, int size, int pos)
EHRHART POLYNOMIAL SYMBOLIC ALGEBRA SYSTEM.
void eadd(evalue *e1, evalue *res)
adds one evalue to evalue 'res.
void print_enode(FILE *DST, enode *p, const char **pname)
prints the enode to DST
Enumeration * Ehrhart_Quick_Apx(Matrix *M, Matrix *C, Matrix **Validity_Lattice, unsigned MAXRAYS)
Computes the approximation of the Ehrhart polynomial of a polyhedron (implicit form -> matrix),...
void free_evalue_refs(evalue *e)
releases all memory referenced by e.
void print_evalue(FILE *DST, evalue *e, const char **pname)
Enumeration * Polyhedron_Enumerate(Polyhedron *P, Polyhedron *C, unsigned MAXRAYS, const char **pname)
Procedure to count points in a parameterized polytope.
int overflow_warning_flag
void count_points(int pos, Polyhedron *P, Value *context, Value *res)
PROCEDURES TO COMPUTE ENUMERATION.
void reduce_evalue(evalue *e)
void Enumeration_Free(Enumeration *en)