polylib 5.22.8
|
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) |
void | Scalar_product (Value *p1, Value *p2, unsigned length, Value *r) |
Enumeration * Domain_Enumerate | ( | Polyhedron * | D, |
Polyhedron * | C, | ||
unsigned | MAXRAYS, | ||
const char ** | pn | ||
) |
Definition at line 671 of file ext_ehrhart.c.
References AffConstraints(), _evalue::d, Degenerate(), Disjoint_Domain(), DMUnion(), Domain_Free(), DomainDifference(), DomainIntersection(), ecopy(), emptyQ, _enumeration::EP, free_evalue_refs(), IncludeInRes(), MAXRAYS, new_eadd(), polyhedron::next, _enumeration::next, _Polyhedron_union::next, POL_ENSURE_FACETS, POL_ENSURE_VERTICES, Polyhedron_Enumerate(), _Polyhedron_union::pt, Remove_RedundantDomains(), _enumeration::ValidityDomain, value_assign, value_init, value_zero_p, and _evalue::x.
Referenced by main(), Polyhedron_Image_Enumerate(), and Polyhedron_LexSmallerEnumerate().
Definition at line 283 of file ext_ehrhart.c.
References _enode::arr, _evalue::d, ecopy(), new_eadd(), new_enode(), 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, value_zero_p, and _evalue::x.
Referenced by Domain_Enumerate(), and new_eadd().
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().