Searched refs:collect_vars_in_binary_clauses (Results 1 – 1 of 1) sorted by relevance
6472 static void collect_vars_in_binary_clauses(free_bool_vars_t *fv, const smt_core_t *s) { in collect_vars_in_binary_clauses() function6535 collect_vars_in_binary_clauses(fv, s); in collect_free_bool_vars()