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)
static double compute_enode (enode *p, Value *list_args)
double compute_evalue (evalue *e, Value *list_args)
Value * compute_poly (Enumeration *en, Value *list_args)


Function Documentation

static double compute_enode ( enode p,
Value *  list_args 
) [static]

double compute_evalue ( evalue e,
Value *  list_args 
)

Definition at line 118 of file eval_ehrhart.c.

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

Referenced by compute_enode(), and compute_poly().

Value* compute_poly ( Enumeration en,
Value *  list_args 
)

int in_domain ( Polyhedron P,
Value *  list_args 
)


Generated on Wed Jul 2 16:22:47 2008 for polylib by  doxygen 1.5.6