Main Page | Class List | File List | Class Members | File Members

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)


Function Documentation

Enumeration* Domain_Enumerate Polyhedron D,
Polyhedron C,
unsigned  MAXRAYS,
const char **  pn
 

Definition at line 686 of file ext_ehrhart.c.

References AffConstraints(), _evalue::d, Degenerate(), Disjoint_Domain(), DMUnion(), Domain_Free(), DomainDifference(), DomainIntersection(), ecopy(), emptyQ, Enumeration, _enumeration::EP, free_evalue_refs(), IncludeInRes(), MAXRAYS, new_eadd(), _Polyhedron_union::next, _enumeration::next, polyhedron::next, POL_ENSURE_FACETS, POL_ENSURE_VERTICES, Polyhedron, Polyhedron_Enumerate(), Polyhedron_union, _Polyhedron_union::pt, Remove_RedundantDomains(), _enumeration::ValidityDomain, value_assign, value_init, and value_zero_p.

Referenced by main(), Polyhedron_Image_Enumerate(), and Polyhedron_LexSmallerEnumerate().

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().


Generated on Thu Sep 4 15:28:59 2008 for polylib by doxygen 1.3.5