Main Page   Compound List   File List   Compound Members   File Members  

eval_ehrhart.c File Reference

#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)
Valuecompute_poly (Enumeration *en, Value *list_args)


Function Documentation

double compute_enode enode   p,
Value   list_args
[static]
 

Definition at line 77 of file eval_ehrhart.c.

References _enode::arr, compute_evalue(), periodic, polynomial, _enode::pos, _enode::size, _enode::type, value_absolute, value_assign, value_clear, value_init, value_modulus, value_set_si, and VALUE_TO_DOUBLE.

Referenced by compute_evalue().

double compute_evalue evalue   e,
Value   list_args
 

Definition at line 121 of file eval_ehrhart.c.

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

Value* compute_poly Enumeration   en,
Value   list_args
 

Definition at line 144 of file eval_ehrhart.c.

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

int in_domain Polyhedron   P,
Value   list_args
 

Definition at line 26 of file eval_ehrhart.c.

References polyhedron::Constraint, polyhedron::Dimension, polyhedron::NbConstraints, value_addto, value_assign, value_clear, value_init, value_multiply, value_neg_p, and value_notzero_p.


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