Searched refs:conjs_open (Results 1 – 2 of 2) sorted by relevance
80 ptr_vector<expr> conjs_closed, conjs_mixed, conjs_open; in get_partition() local137 conjs_open.push_back(e); in get_partition()140 conjs_open.push_back(e); in get_partition()149 rewriter.mk_and(conjs_open.size(), conjs_open.data(), fml_open); in get_partition()
80 ptr_vector<expr> conjs_closed, conjs_mixed, conjs_open; in get_partition() local137 conjs_open.push_back(e); in get_partition()140 conjs_open.push_back(e); in get_partition()149 rewriter.mk_and(conjs_open.size(), conjs_open.c_ptr(), fml_open); in get_partition()