Searched defs:is_bv_sort (Results 1 – 6 of 6) sorted by relevance
775 bool bv_recognizers::is_bv_sort(sort const * s) const { in is_bv_sort() function in bv_recognizers
45 bool macro_util::is_bv_sort(sort * s) const { in is_bv_sort() function in macro_util
3440 def is_bv_sort(s): function
3259 def is_bv_sort(s): function