Ejemplos de Clause.contains en Java

Ejemplo n.º 1

Archivo: ClauseTest.java Proyecto: 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());
   }
 }