Searched defs:m_lemma (Results 1 – 14 of 14) sorted by relevance
55 literal_vector m_lemma; variable
1941 nla::lemma m_lemma; member in smt::theory_lra::imp
1973 nla::lemma m_lemma; member in smt::theory_lra::imp
101 literal_vector m_lemma; variable
211 nla::lemma m_lemma; variable
107 literal_vector m_lemma; variable
210 nla::lemma m_lemma; variable
94 unsigned m_lemma:1; //!< True if it is a learned clause. variable
633 literal_vector m_lemma; variable
591 literal_vector m_lemma; variable
1726 scoped_literal_vector m_lemma; member