Searched defs:m_formulas (Results 1 – 10 of 10) sorted by relevance
101 QHash<Cell, QString> m_formulas; // temporary; encoded formulas variable
83 const ptr_vector<expr>& m_formulas; variable
76 formulas_type m_formulas; member
61 std::deque<formula> m_formulas; member
75 IWORKFormulaMap_t m_formulas; member
52 vector<justified_expr> m_formulas; variable
53 :formula (forall (x Int) (t Int) 54 (or (not (= (?PO t ?Object) 1))
81 std::vector<z3::expr> m_formulas; member