Searched refs:instantiation_t (Results 1 – 4 of 4) sorted by relevance
75 typedef std::tuple<sat::literal, expr_ref, unsigned> instantiation_t; typedef76 vector<instantiation_t> m_instantiations;
223 m_instantiations.push_back(instantiation_t(qlit, proj, generation)); in add_instantiation()
73 typedef std::tuple<sat::literal, expr_ref, unsigned> instantiation_t; typedef74 vector<instantiation_t> m_instantiations;
217 m_instantiations.push_back(instantiation_t(qlit, proj, generation)); in add_instantiation()