package accrue.analysis.interprocvarcontext;

import accrue.analysis.interprocanalysis.Ordered;

/**
 * An abstract value
 */
public interface AbstractValue<T> extends Cloneable, Ordered<T> {
    /**
     * An AbstractValue may indicate that it is the bottom element.
     * Note that the analysis monotonically increases abstract values, i.e.,
     * the bottom value is typically the initial, and most precise value.
     * @return
     */
    public boolean isBottom();
}
