Searched defs:clauselist_empty (Results 1 – 1 of 1) sorted by relevance
331 bool clauselist_empty() const { return Data->getClauses().empty(); } in clauselist_empty() function440 bool clauselist_empty() const { return Data->getClauses().empty(); } in clauselist_empty() function514 bool clauselist_empty() const { return Data->getClauses().empty(); } in clauselist_empty() function