Exemplo n.º 1
0
 public void TestF9()
 {
     ITLFormula f = new Release (new Negation (p1), new Negation(p2));
     AssertEquivalentEmptiness (f);
 }
Exemplo n.º 2
0
 public void TestF10()
 {
     ITLFormula f = new Release (p1, new Release (p2, p3));
     AssertEquivalentEmptiness (f);
 }
Exemplo n.º 3
0
 public void TestF8()
 {
     ITLFormula f = new Release (p1, p2);
     AssertEquivalentEmptiness (f);
 }