elina-sys 0.1.1

Low-level bindings for ELINA
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

#include "wrapper.h"
#include "gmp.h"
#include "mpfr.h"

void foreach_linterm_of_linexpr0(elina_linexpr0_t* e, void (*f) (size_t i, elina_dim_t dim, elina_coeff_t* coeff)) {
    size_t i = 0;
    elina_coeff_t* coeff;
    elina_dim_t dim;

    elina_linexpr0_ForeachLinterm(e,i,dim,coeff){
        f(i, dim, coeff);
    }
}