Main functions and variables in ehrhart.c

char **param_name

: global variable to print parameter names

enode * new_enode

(enode_type type, int size, int pos): ehrhart polynomial symbolic algebra system

void free_evalue_refs

(evalue *e): release all memory referenced by e

enode * ecopy

(enode *e): realize a copy of the enode argument

void print_evalue

(FILE *DST, evalue *e, char **pname): display an evalue

void print_enode

(FILE *DST, enode *p, char **pname): display an enode

static int eequal

(evalue *e1,evalue *e2): verifies the equality between two enodes

static void reduce_evalue

(evalue *e): try to reduce an evalue

static void emul

(evalue *e1, evalue *e2, evalue *res): multiply two evalues

void eadd

(evalue *e1,evalue *res): add two evalues

void edot

(enode *v1, enode *v2, evalue *res) : compute the inner product of two vectors in enode form

static void aep_evalue

(evalue *e, int *ref) : transform the references in a evalues vector, using ref

static void addeliminatedparams_evalue

(evalue *e,Matrix *CT) : transform a vector of evalues in conformity with a given matrix

int cherche_min

(Value *min, Polyhedron *D, int pos): find an integer point contained in polyhedron D

Polyhedron * Polyhedron_Preprocess

(Polyhedron *D, Value size, unsigned MAXRAYS): find the smallest hypercube of size 'size' contained in polyhedron D

Polyhedron *Polyhedron_Preprocess2

(Polyhedron *D, Value *size, Value *lcm, unsigned MAXRAYS): finds a hypercube of size 'size', containing polyhedron D

Polyhedron * old_Polyhedron_Preprocess

(Polyhedron *D, Value size, unsigned MAXRAYS): add additional constraints to D

int count_points

(int pos,Polyhedron *P,Value *context): compute the integer points enumeration

static enode * P_Enum

(Polyhedron *L, Polyhedron *LQ, Value *context, int pos, int nb_param, int dim, Value lcm) : find the pseudo polynomial representation for integer points

static Value * Scan_Vertices

(Param_Polyhedron *PP, Param_Domain *Q, Matrix *CT) : compute the denominator of parameterized polyhedron

Enumeration * Enumerate_NoParameters

(Polyhedron *P, Polyhedron *C, Matrix *CT, Polyhedron *CEq, unsigned MAXRAYS): count points in a non-parameterized polytope

Polyhedron_Enumerate

: count points in a (fixed-parameter) polytope

main

: the executable Ehrhart is build only if emain is defined