// $Id$

public interface DoubleNext {
    double next(double a);
}