Searched refs:ClauseStarts (Results 1 – 2 of 2) sorted by relevance
93 std::vector<size_t> ClauseStarts; variable119 ClauseID numClauses() const { return ClauseStarts.size() - 1; } in numClauses()123 return C == ClauseStarts.size() - 1 ? Clauses.size() - ClauseStarts[C] in clauseSize()124 : ClauseStarts[C + 1] - ClauseStarts[C]; in clauseSize()133 return llvm::ArrayRef<Literal>(&Clauses[ClauseStarts[C]], S); in clauseLiterals()166 Iterator startOfClause(ClauseID C) { return Iterator(this, ClauseStarts[C]); } in startOfClause()
101 ClauseStarts.push_back(0); in CNFFormula()111 ClauseStarts.push_back(S); in addClause()