Main Page   Compound List   File List   Compound 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, char **pn)
EnumerationDomain_Image_Enumerate (Polyhedron *D, Polyhedron *C, Matrix *T, unsigned MAXRAYS, char **par_name)
void new_eadd (evalue *e1, evalue *res)


Function Documentation

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

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

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


Generated on Mon Mar 15 10:59:52 2004 for polylib by doxygen1.2.18