Searched defs:m_lift_ite (Results 1 – 6 of 6) sorted by relevance
32 lift_ite_kind m_lift_ite; member53 m_lift_ite(LI_NONE), in m_lift_ite() function
204 lift_ite m_lift_ite; variable
204 :formula (forall (A Int) (r Int) (T Int)
413 lift_ite m_lift_ite; member in qe::nnf