Package tools.refinery.logic.term

Interface ComparableAbstractValue<A extends ComparableAbstractValue<A,C>,C extends Comparable<C>>

All Superinterfaces:

AbstractValue<A,C>, Comparable<A>

All Known Implementing Classes:

IntInterval, RealInterval, TruthValue

public interface ComparableAbstractValue<A extends ComparableAbstractValue<A,C>,C extends Comparable<C>>
extends AbstractValue<A,C>

Method Summary

Modifier and Type	Method	Description
A	abstractLowerBound()
A	abstractUpperBound()
TruthValue	checkLess(A other)
default TruthValue	checkLessEq(A other)
A	max(A other)
A	min(A other)
A	upToIncluding(A other)

Methods inherited from interface tools.refinery.logic.AbstractValue

checkEquals, getArbitrary, getConcrete, isConcrete, isError, isOverlapping, isRefinementOf, join, meet

Methods inherited from interface java.lang.Comparable

compareTo

Method Details

checkLess

TruthValue checkLess(A other)

checkLessEq

default TruthValue checkLessEq(A other)

upToIncluding

A upToIncluding(A other)

min

A min(A other)

max

A max(A other)

abstractLowerBound

A abstractLowerBound()

abstractUpperBound

A abstractUpperBound()