Home
last modified time | relevance | path

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

/dports/math/z3/z3-z3-4.8.13/src/qe/
H A Dqe_lite.cpp2254 class elim_star : public rewriter_tpl<elim_cfg> { class in qe_lite::impl
2257 elim_star(impl& i): in elim_star() function in qe_lite::impl::elim_star
2268 elim_star m_elim_star;
/dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/
H A Dqe_lite.cpp2254 class elim_star : public rewriter_tpl<elim_cfg> { class in qe_lite::impl
2257 elim_star(impl& i): in elim_star() function in qe_lite::impl::elim_star
2268 elim_star m_elim_star;