verify.c: extract some helper functions for isl based verification
[barvinok/uuh.git] / param_polynomial.h
blob35e341087e6794c67454426dcb55fdc1b84a9043
1 #ifndef PARAM_POLYNOMIAL_H
2 #define PARAM_POLYNOMIAL_H
4 #include <vector>
5 #include <barvinok/evalue.h>
7 /* A term in the parametric polynomial */
8 struct param_term {
9 std::vector<int> powers;
10 const evalue *coeff;
13 struct param_polynomial {
14 std::vector<struct param_term> terms;
16 param_polynomial(const evalue *polynomial, unsigned nvar);
17 unsigned degree();
20 #endif