| 20 | } |
| 21 | |
| 22 | inline uint32_t getNumReadingClauses() const { return readingClauses.size(); } |
| 23 | inline ReadingClause* getReadingClause(uint32_t idx) const { return readingClauses[idx].get(); } |
| 24 | inline void addReadingClause(std::unique_ptr<ReadingClause> readingClause) { |
| 25 | readingClauses.push_back(std::move(readingClause)); |
no test coverage detected