Searched defs:init_num_clauses (Results 1 – 1 of 1) sorted by relevance
72 int init_num_clauses; member136 int & init_num_clauses() { return _stats.init_num_clauses; } in init_num_clauses() function