class AutoModelSpec implements Cloneable, InformationSetSerializable {

    public void setPc(double value) {
        if (value < .1 || value > 0.3) {
            throw new TramoException("PC should belong to [0.1, 0.3]");
        }
        pc_ = value;
    }

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

}