c_rule_lt(const c_rule *c1, const c_rule *c2) | c_sorter | [static] |
c_rule_order(const c_rule *c1, const c_rule *c2) | c_sorter | [private, static] |
c_term_lt(const c_term *c1, const c_term *c2) | c_sorter | [static] |
c_term_order(const c_term *c1, const c_term *c2) | c_sorter | [private, static] |