polylib 5.22.8
eval_ehrhart.c File Reference
#include <assert.h>
#include <math.h>
#include <stdio.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

◆ compute_enode()

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

◆ compute_evalue()

double compute_evalue ( evalue e,
Value *  list_args 
)

Definition at line 116 of file eval_ehrhart.c.

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

Referenced by compute_enode(), and compute_poly().

◆ compute_poly()

◆ in_domain()