#include <stdio.h>
#include <math.h>
#include <assert.h>
#include <stdlib.h>
#include <polylib/polylib.h>
Go to the source code of this file.
Functions | |
int | in_domain (Polyhedron *P, Value *list_args) |
double | compute_enode (enode *p, Value *list_args) |
double | compute_evalue (evalue *e, Value *list_args) |
Value * | compute_poly (Enumeration *en, Value *list_args) |
|
Definition at line 75 of file eval_ehrhart.c. References compute_evalue(), enode, p, periodic, polynomial, value_assign, value_clear, value_init, value_pmodulus, and value_set_si. Referenced by compute_evalue(). |
|
Definition at line 118 of file eval_ehrhart.c. References compute_enode(), _evalue::d, evalue, value_notone_p, and value_notzero_p. |
|
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. |
|
Definition at line 26 of file eval_ehrhart.c. References polyhedron::Constraint, polyhedron::Dimension, in_domain(), 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. |