Searched defs:mk_qrule_vars (Results 1 – 2 of 2) sorted by relevance
153 func_decl *tail_decl = r->get_decl(i); in mk_qrule_vars()
153 void mk_qrule_vars(datalog::rule const& r, unsigned rule_id, expr_ref_vector& sub) { in mk_qrule_vars() function in datalog::bmc::qlinear