Searched defs:below_upper (Results 1 – 4 of 4) sorted by relevance
196 bool simplex<Ext>::below_upper(var_t var, eps_numeral const& b) const { in below_upper() function480 bool simplex<Ext>::below_upper(var_t v) const { in below_upper() function
580 …bool below_upper(theory_var v) const { bound * u = upper(v); return u == nullptr || get_value(v) <… in below_upper() function