polylib 5.22.8
eval_ehrhart.h File Reference

Go to the source code of this file.

Functions

double compute_evalue (evalue *e, Value *list_args)
 
Value * compute_poly (Enumeration *en, Value *list_args)
 
int in_domain (Polyhedron *P, Value *list_args)
 

Function Documentation

◆ compute_evalue()

double compute_evalue ( evalue e,
Value *  list_args 
)

Definition at line 116 of file eval_ehrhart.c.

References compute_enode(), _evalue::d, value_notone_p, value_notzero_p, and _evalue::x.

Referenced by compute_enode(), and compute_poly().

◆ compute_poly()

◆ in_domain()