Home
last modified time | relevance | path

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

/dports/math/z3/z3-z3-4.8.13/src/qe/
H A Dqe.cpp418 bool_vector m_pols; // stack of polarities member in qe::nnf
438 m_pols.reset(); in reset()
458 m_pols.push_back(p); in lookup()
478 m_pols.pop_back(); in pop()
589 p = m_pols.back(); in get_nnf()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/
H A Dqe.cpp418 bool_vector m_pols; // stack of polarities member in qe::nnf
438 m_pols.reset(); in reset()
458 m_pols.push_back(p); in lookup()
478 m_pols.pop_back(); in pop()
590 p = m_pols.back(); in get_nnf()