Home
last modified time | relevance | path

Searched refs:conjs_open (Results 1 – 2 of 2) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/qe/
H A Dqe.cpp80 ptr_vector<expr> conjs_closed, conjs_mixed, conjs_open; in get_partition() local
137 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()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/
H A Dqe.cpp80 ptr_vector<expr> conjs_closed, conjs_mixed, conjs_open; in get_partition() local
137 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()