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