Java Clause.isEmptyの例

コード例 #1

ファイル: ClauseTest.java プロジェクト: 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());
   }
 }

コード例 #2

ファイル: Formula.java プロジェクト: 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;
 }