Searched defs:mk_var_inv (Results 1 – 2 of 2) sorted by relevance
34 void atom2bool_var::mk_var_inv(expr_ref_vector & var2expr) const { in mk_var_inv() function in atom2bool_var