Searched refs:init_num_clauses (Results 1 – 4 of 4) sorted by relevance
72 int init_num_clauses; member113 init_num_clauses() = num_clauses(); in init()136 int & init_num_clauses() { return _stats.init_num_clauses; } in init_num_clauses() function
25 if (clauseIndex >= _solver->init_num_clauses()) { in GetClause()26 for (i = j = _solver->init_num_clauses()-1; j < clauseIndex;) in GetClause()
46 _stats.init_num_clauses = 0; in CDatabase()
538 for (vector<CClause>::iterator itr = clauses().begin() + init_num_clauses(); in delete_unrelevant_clauses()