Java Clause.isEmpty Examples

Example #1

File: ClauseTest.java Project: q8888620002/MIT-6.005

 @Test
 public void testChooseLiteral() {
   Clause c = cpqr;
   while (!(c.isEmpty())) {
     Literal l = c.chooseLiteral();
     assertTrue(c.contains(l));
     c = c.reduce(l.getNegation());
   }
 }

Example #2

File: Formula.java Project: schambersnh/school

 /**
  * Return if this formula has an empty clause
  *
  * @return
  */
 public boolean hasEmptyClause() {
   for (Clause c : clauses) {
     if (c.isEmpty()) return true;
   }
   return false;
 }