package graph;

/** Objects that are Weightable have a weight that can be modified.
 *  @author P. N. Hilfinger
 */
public interface Weightable extends Weighted {

    /** Set the value of weight() to W. */
    void setWeight(double w);
}