Ejemplo n.º 1
0
 @Override
 public final boolean removable(final Var var) {
   for (final Expr step : steps) if (step.uses(var)) return false;
   return root == null || root.removable(var);
 }
Ejemplo n.º 2
0
 @Override
 public boolean removable(final Var var) {
   for (final Expr p : preds) if (p.uses(var)) return false;
   return true;
 }