| 16 | return updatingClauses[idx].get(); |
| 17 | } |
| 18 | inline void addUpdatingClause(std::unique_ptr<UpdatingClause> updatingClause) { |
| 19 | updatingClauses.push_back(std::move(updatingClause)); |
| 20 | } |
| 21 | |
| 22 | inline uint32_t getNumReadingClauses() const { return readingClauses.size(); } |
| 23 | inline ReadingClause* getReadingClause(uint32_t idx) const { return readingClauses[idx].get(); } |
no test coverage detected