Searched defs:num_added_clauses (Results 1 – 1 of 1) sorted by relevance
74 int num_added_clauses; member138 int & num_added_clauses () { return _stats.num_added_clauses; } in num_added_clauses() function