Searched defs:mk_q_one (Results 1 – 2 of 2) sorted by relevance
210 // This helper-class is used to look up facts for rule tails
208 expr_ref mk_q_one() { in mk_q_one() function in datalog::bmc::qlinear