Searched refs:btor_iter_tuple_sort_next (Results 1 – 7 of 7) sorted by relevance
174 BtorSortId btor_iter_tuple_sort_next (BtorTupleSortIterator *it);
261 sort = btor_iter_tuple_sort_next (&iit); in print_fun_model_smt2()
791 btor_iter_tuple_sort_next (BtorTupleSortIterator *it) in btor_iter_tuple_sort_next() function
1943 s = btor_iter_tuple_sort_next (&it); in new_lambda_exp_node()2069 BTOR_PUSH_STACK (sorts, btor_iter_tuple_sort_next (&it)); in new_args_exp_node()
471 sort = btor_iter_tuple_sort_next (&it); in create_function_inequality()
3132 sort = btor_iter_tuple_sort_next (&it); in btor_fun_sort_check()
2543 sortid = btor_iter_tuple_sort_next (&it); in btormbt_bv_uf()