public void TestF9() { ITLFormula f = new Release (new Negation (p1), new Negation(p2)); AssertEquivalentEmptiness (f); }
public void TestF10() { ITLFormula f = new Release (p1, new Release (p2, p3)); AssertEquivalentEmptiness (f); }
public void TestF8() { ITLFormula f = new Release (p1, p2); AssertEquivalentEmptiness (f); }