Searched refs:btor_sort_is_array (Results 1 – 4 of 4) sorted by relevance
155 bool btor_sort_is_array (Btor *btor, BtorSortId id);
747 btor_sort_is_array (Btor *btor, BtorSortId id) in btor_sort_is_array() function
1222 assert (btor_sort_is_array (btor, btor_node_get_sort_id (e_array)) in btor_node_array_get_index_width()
4587 res = btor_sort_is_array (btor, s); in boolector_is_array_sort()