Searched refs:dssiv_cat (Results 1 – 1 of 1) sorted by relevance
364 const BitArray& dssiv_cat = problem_db.get_ba( in relax_noncategorical() local447 set_relax(dssiv_cat, i, ardi_cntr, allRelaxedDiscreteInt); in relax_noncategorical()