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

eval_ehrhart.h File Reference

Go to the source code of this file.

Functions

double compute_evalue (evalue *e, Value *list_args)
Value * compute_poly (Enumeration *en, Value *list_args)
int in_domain (Polyhedron *P, Value *list_args)


Function Documentation

double compute_evalue evalue e,
Value *  list_args
 

Definition at line 118 of file eval_ehrhart.c.

References compute_enode(), _evalue::d, evalue, value_notone_p, and value_notzero_p.

Referenced by compute_enode(), and compute_poly().

Value* compute_poly Enumeration en,
Value *  list_args
 

Definition at line 141 of file eval_ehrhart.c.

References assert, compute_evalue(), polyhedron::Dimension, Enumeration, _enumeration::EP, in_domain(), _enumeration::next, Print_Domain(), print_evalue(), _enumeration::ValidityDomain, value_init, value_set_double, and value_set_si.

Referenced by check_poly(), main(), recurse(), and test_Constraints_fullDimensionize().

int in_domain Polyhedron P,
Value *  list_args
 

Definition at line 26 of file eval_ehrhart.c.

References polyhedron::Constraint, polyhedron::Dimension, polyhedron::NbConstraints, polyhedron::next, POL_ENSURE_FACETS, POL_ENSURE_VERTICES, Polyhedron, value_addmul, value_assign, value_clear, value_init, value_neg_p, and value_notzero_p.

Referenced by check_poly(), and compute_poly().


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