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