Searched refs:tighten_term_for_cube (Results 1 – 4 of 4) sorted by relevance
59 bool int_cube::tighten_term_for_cube(unsigned i) { in tighten_term_for_cube() function in lp::int_cube72 if (!tighten_term_for_cube(i)) { in tighten_terms_for_cube()
32 bool tighten_term_for_cube(unsigned i);