BelowAll<C extends Comparable> class

The implementation neither produces nor consumes any non-null instance of type C, so casting the type parameter is safe.

Inheritance

• Object
• Cut<C>
• BelowAll

Constructors

BelowAll()

No code ever sees this bogus value for endpoint: This class overrides both methods that use the endpoint field, compareTo() and endpoint(). Additionally, the main implementation of Cut.compareTo checks for belowAll before reading accessing endpoint on another Cut instance.

Properties

endpoint → C

no setter, override

hashCode → int

The hash code for this object.

no setter, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

canonical(DiscreteDomain<C> domain) → Cut<C>

override

compareTo(Cut<C> o) → int

Compares this object to another object.

override

describeAsLowerBound(StringBuffer sb) → void

override

describeAsUpperBound(StringBuffer sb) → void

override

greatestValueBelow(DiscreteDomain<C> domain) → C?

override

isLessThan(Comparable value) → bool

override

leastValueAbove(DiscreteDomain<Comparable> domain) → Comparable

override

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

toString() → String

A string representation of this object.

override

typeAsLowerBound() → BoundType

override

typeAsUpperBound() → BoundType

override

withLowerBoundType(BoundType boundType, DiscreteDomain<Comparable> domain) → Cut<C>

override

withUpperBoundType(BoundType boundType, DiscreteDomain<Comparable> domain) → Cut<C>

override

Operators

operator ==(Object obj) → bool

The equality operator.

inherited