@Test public void testMinusElimination() { Parameter a = Parameter.mkInt("a"); Parameter b = Parameter.mkInt("b"); Node n = new Minus(new Add(new Minus(a), b)); Node s = Simplifier.simplify(n); assertEquals(new Sub(a, b), 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);  }