@Test public void testArithmetic() { Parameter a = Parameter.mkInt("a"); Parameter p = Parameter.mkInt("p"); Node n = new Add(p, new Sub(new Mult(IntConst.of(1), a), 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);  }