Go to the source code of this file.
Functions | |
Enumeration * | Domain_Enumerate (Polyhedron *D, Polyhedron *C, unsigned MAXRAYS, char **pn) |
Enumeration * | Domain_Image_Enumerate (Polyhedron *D, Polyhedron *C, Matrix *T, unsigned MAXRAYS, char **par_name) |
void | new_eadd (evalue *e1, evalue *res) |
|
Definition at line 710 of file ext_ehrhart.c. References AffConstraints(), _evalue::d, Degenerate(), Disjoint_Domain(), DMUnion(), DomainDifference(), DomainIntersection(), ecopy(), emptyQ, _enumeration::EP, IncludeInRes(), MAXRAYS, new_eadd(), _Polyhedron_union::next, _enumeration::next, polyhedron::next, Polyhedron_Enumerate(), _Polyhedron_union::pt, Remove_RedundantDomains(), _enumeration::ValidityDomain, value_assign, value_init, value_zero_p, and _evalue::x. Referenced by main(), and Polyhedron_Image_Enumerate(). |
|
|
|
Definition at line 313 of file ext_ehrhart.c. References _enode::arr, _evalue::d, ecopy(), Gcd(), new_enode(), periodic, polynomial, ppcm1(), value_addto, value_assign, value_clear, value_division, value_init, value_multiply, value_notone_p, value_notzero_p, value_set_si, value_zero_p, and _evalue::x. Referenced by Domain_Enumerate(). |