polylib 5.22.8
ext_ehrhart.h File Reference

Go to the source code of this file.

Functions

EnumerationDomain_Enumerate (Polyhedron *D, Polyhedron *C, unsigned MAXRAYS, const char **pn)
 
void new_eadd (evalue *e1, evalue *res)
 
void Scalar_product (Value *p1, Value *p2, unsigned length, Value *r)
 

Function Documentation

◆ Domain_Enumerate()

◆ new_eadd()

◆ Scalar_product()

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

Definition at line 512 of file ext_ehrhart.c.

References value_addmul, and value_set_si.

Referenced by Orthogonal_Base(), and Polyhedron_Image_Enumerate().