Searched refs:codomain_id (Results 1 – 2 of 2) sorted by relevance
126 BtorSortId codomain_id);
553 btor_sort_fun (Btor *btor, BtorSortId domain_id, BtorSortId codomain_id) in btor_sort_fun() argument568 codomain = btor_sort_get_by_id (btor, codomain_id); in btor_sort_fun()