Java Formula.isLeaf Beispiele

Beispiel #1

Datei: FormulaTest.java Projekt: wired-mind/BooleanAlgebraEngine

  @Test
  public void testIsLeaf() {
    Var a = new Var("a");
    Var b = new Var("b");

    Formula f = (a.and(b));
    assertFalse(f.isLeaf());
    assertTrue(f.getLeft().isLeaf() == true && f.getRight().isLeaf() == true);
  }