Searched refs:sb_set (Results 1 – 3 of 3) sorted by relevance
38 typedef sb_set<unsigned> kc_lines;188 sb_set<unsigned> lines;
110 class sb_set {118 sb_set() : vec() {} in sb_set() function119 ~sb_set() { } in ~sb_set()126 void add_set(const sb_set& s) { in add_set()180 typedef sb_set<datatype, Comp> dataset;
2092 sb_set<unsigned> group_lines; in try_reserve()2097 sb_set<unsigned> clause_lines(lines); in try_reserve()