Go to the source code of this file.
Functions | |
Enumeration * | Domain_Enumerate (Polyhedron *D, Polyhedron *C, unsigned MAXRAYS, const char **pn) |
void | new_eadd (evalue *e1, evalue *res) |
|
|
Definition at line 304 of file ext_ehrhart.c. References _enode::arr, _evalue::d, ecopy(), enode, evalue, new_enode(), p, periodic, polynomial, ppcm1(), value_addto, value_assign, value_clear, value_divexact, value_gcd, value_init, value_multiply, value_notone_p, value_notzero_p, value_set_si, and value_zero_p. Referenced by Domain_Enumerate(). |