verify.c: verify_context_set_bounds: use isl_val

[barvinok.git] / matrix_read.h

#include <iostream>
#include <barvinok/polylib.h>
#include "conversion.h"

Matrix *Matrix_Read(std::istream& is);