class AutoModelSpec implements Cloneable, InformationSetSerializable {

    public void setPcr(double value) {
        if (value < .8 || value > 1) {
            throw new TramoException("PCR should belong to [0.8, 1.0]");
        }
        pcr_ = value;
    }

    public  AutoModelSpec();
    public  AutoModelSpec(boolean enabled);

}