@Test
public void testChooseLiteral() {
Clause c = cpqr;
while (!(c.isEmpty())) {
Literal l = c.chooseLiteral();
assertTrue(c.contains(l));
c = c.reduce(l.getNegation());
}
}
/**
* Return if this formula has an empty clause
*
* @return
*/
public boolean hasEmptyClause() {
for (Clause c : clauses) {
if (c.isEmpty()) return true;
}
return false;
}