@Test public void testNothingHappening() { final List<Expr<BoolType>> expressions = new ArrayList<>(); expressions.add(And(a, b, d)); expressions.add(Eq(x, Neg(y))); expressions.add(Geq(Sub(x, y), Add(x, z, t))); for (final Expr<BoolType> expr : expressions) { assertEquals(expr, eliminateIte(expr)); } }
static <T extends Type> Expr<T> eliminateIte(final Expr<T> expr) { return removeIte(propagateIte(expr)); }
ExprIteEliminator { static <T extends Type> Expr<T> eliminateIte(final Expr<T> expr) { return removeIte(propagateIte(expr)); } }
ExprIteEliminator { static <T extends Type> Expr<T> eliminateIte(final Expr<T> expr) { return removeIte(propagateIte(expr)); } private  ExprIteEliminator(); }
ExprIteEliminator { static <T extends Type> Expr<T> eliminateIte(final Expr<T> expr) { return removeIte(propagateIte(expr)); } private  ExprIteEliminator();  }
ExprIteEliminator { static <T extends Type> Expr<T> eliminateIte(final Expr<T> expr) { return removeIte(propagateIte(expr)); } private  ExprIteEliminator();   }