Searched defs:add_bin (Results 1 – 3 of 3) sorted by relevance
388 void anf_simplifier::add_bin(solver::bin_clause const& b, pdd_solver& ps) { in add_bin() function in sat::anf_simplifier
974 int add_bin(struct hive *hdesc, int size) in add_bin() function