@Test public void testLogic() { Parameter a = Parameter.mkBool("a"); Parameter p = Parameter.mkBool("p"); Node n = new Or(p, new Impl(BoolConst.TRUE, new And(a, new Not(a)))); Node s = Simplifier.simplify(n); assertEquals(p, s); }
public static Node simplify(Node node) { Rewriter rewriter = new Rewriter(); return rewriter.applyRules(node, simplificationRules); }
Simplifier { public static Node simplify(Node node) { Rewriter rewriter = new Rewriter(); return rewriter.applyRules(node, simplificationRules); } }
Simplifier { public static Node simplify(Node node) { Rewriter rewriter = new Rewriter(); return rewriter.applyRules(node, simplificationRules); }  }
Simplifier { public static Node simplify(Node node) { Rewriter rewriter = new Rewriter(); return rewriter.applyRules(node, simplificationRules); }  static Node simplify(Node node); }
Simplifier { public static Node simplify(Node node) { Rewriter rewriter = new Rewriter(); return rewriter.applyRules(node, simplificationRules); }  static Node simplify(Node node);  }