@Test(dataProvider = "input") public void testTruthTable(Proposition a, Proposition b, Boolean r) { Iff p = new Iff(a, b); Assert.assertEquals(p.eval(new Context()), r); }
@Override public Boolean eval(Context m) { return o.eval(m); }
Iff extends BinaryProp { @Override public Boolean eval(Context m) { return o.eval(m); } }
Iff extends BinaryProp { @Override public Boolean eval(Context m) { return o.eval(m); } Iff(Proposition p1, Proposition p2); }
Iff extends BinaryProp { @Override public Boolean eval(Context m) { return o.eval(m); } Iff(Proposition p1, Proposition p2); @Override String operator(); @Override And not(); @Override Boolean eval(Context m); }
Iff extends BinaryProp { @Override public Boolean eval(Context m) { return o.eval(m); } Iff(Proposition p1, Proposition p2); @Override String operator(); @Override And not(); @Override Boolean eval(Context m);  }