Searched defs:clauselist_size (Results 1 – 1 of 1) sorted by relevance
330 unsigned clauselist_size() const { return Data->getNumClauses(); } in clauselist_size() function438 unsigned clauselist_size() const { return Data->getNumClauses(); } in clauselist_size() function512 unsigned clauselist_size() const { return Data->getNumClauses(); } in clauselist_size() function