public interface AbstractValue<T> extends java.lang.Cloneable, Ordered<T>
boolean
isBottom()
leq, upperBound, widen
boolean isBottom()