Searched refs:sb_set (Results 1 – 3 of 3) sorted by relevance
38 typedef sb_set<unsigned> kc_lines;184 sb_set<unsigned> lines;
106 class sb_set {114 sb_set() : vec() {} in sb_set() function115 ~sb_set() { } in ~sb_set()122 void add_set(const sb_set& s) { in add_set()176 typedef sb_set<datatype, Comp> dataset;
2057 sb_set<unsigned> group_lines; in try_reserve()2062 sb_set<unsigned> clause_lines(lines); in try_reserve()