Searched defs:get_bdata (Results 1 – 2 of 2) sorted by relevance
357 bool_var_data & get_bdata(bool_var v) { in get_bdata() function361 bool_var_data const & get_bdata(bool_var v) const { in get_bdata() function735 bool_var_data & get_bdata(expr const * n) { in get_bdata() function739 bool_var_data const & get_bdata(expr const * n) const { in get_bdata() function
356 bool_var_data & get_bdata(bool_var v) { in get_bdata() function360 bool_var_data const & get_bdata(bool_var v) const { in get_bdata() function734 bool_var_data & get_bdata(expr const * n) { in get_bdata() function738 bool_var_data const & get_bdata(expr const * n) const { in get_bdata() function