Java Clause.containsの例

コード例 #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());
   }
 }