expr_equal(const Polyhedron *pol, const ::Value *row) | util::poly_util | [inline, static] |
expr_gt(const Polyhedron *pol, const ::Value *row) | util::poly_util | [inline, static] |
expr_lt_r(const Polyhedron *pol, const ::Value *r1, const ::Value *r2, const ::Value *re) | util::poly_util | [inline, static] |
expr_range_width(const Polyhedron *pol, const ::Value *row, double rmax=-1) | util::poly_util | [inline, static] |
expr_range_width(const Polyhedron *pol, const ::Value *r1, const ::Value *r2, double rmax=-1) | util::poly_util | [inline, static] |
inner(const ::Value *r1, const ::Value *r2, size_t n) | util::poly_util | [inline, static] |
range_width(Polyhedron *Pol, size_t idx, double rmax=-1) | util::poly_util | [inline, static] |
range_width(Param_Vertices *PV, Param_Domain *PD, size_t idx, double rmax=-1) | util::poly_util | [inline, static] |
range_width_check(Param_Vertices *PV, Param_Domain *PD, size_t idx, const ::Value *rowe) | util::poly_util | [inline, static] |
row_equal(::Value *r1,::Value *r2, size_t d) | util::poly_util | [inline, static] |
swap_pol_dim(Polyhedron *Pol, size_t d1, size_t d2) | util::poly_util | [inline, static] |