Searched refs:fixedpoint_context (Results 1 – 4 of 4) sorted by relevance
31 class fixedpoint_context; variable37 api::fixedpoint_context * m_datalog;45 inline api::fixedpoint_context * to_fixedpoint_ref(Z3_fixedpoint s) { return to_fixedpoint(s)->m_da… in to_fixedpoint_ref()
40 class fixedpoint_context : public datalog::external_relation_context { class48 fixedpoint_context(ast_manager& m, smt_params& p): in fixedpoint_context() function in api::fixedpoint_context55 ~fixedpoint_context() override {} in ~fixedpoint_context()227 d->m_datalog = alloc(api::fixedpoint_context, mk_c(c)->m(), mk_c(c)->fparams()); in Z3_mk_fixedpoint()