class EstimateSpec implements Cloneable, InformationSetSerializable {

    public void setTol(double value) {
        if (value <= 0 || value > 1e-2) {
            throw new TramoException("Invalid Tol parameter");
        }
        tol_ = value;
    }

    public  EstimateSpec();

}