Searched defs:get_predicate_rules (Results 1 – 2 of 2) sorted by relevance
432 const rule_vector & rule_set::get_predicate_rules(func_decl * pred) const { in get_predicate_rules() function in datalog::rule_set