Searched refs:check_subsumes (Results 1 – 6 of 6) sorted by relevance
71 if (m_ctx.check_subsumes(*old_rules[j], *new_rules.get_rule(i))) { in check_reset()
436 bool check_subsumes(rule const& stronger_rule, rule const& weaker_rule);
513 if (!check_subsumes(*old_rule, *r)) { in update_rule()526 bool context::check_subsumes(rule const& stronger_rule, rule const& weaker_rule) { in check_subsumes() function in datalog::context
512 if (!check_subsumes(*old_rule, *r)) { in update_rule()525 bool context::check_subsumes(rule const& stronger_rule, rule const& weaker_rule) { in check_subsumes() function in datalog::context