Searched refs:to_bvar (Results 1 – 4 of 4) sorted by relevance
973 bvar to_bvar(expr * t) { in to_bvar() function982 return -to_bvar(t); in to_literal()984 return to_bvar(t); in to_literal()
976 bvar to_bvar(expr * t) { in to_bvar() function985 return -to_bvar(t); in to_literal()987 return to_bvar(t); in to_literal()
1598 bvar to_bvar(expr * t) { in to_bvar() function in qel::fm::fm1607 return -to_bvar(t); in to_literal()1609 return to_bvar(t); in to_literal()