Package tools.refinery.logic.term.realinterval

Interface RealBound

All Known Implementing Classes:

RealBound.Finite, RealBound.Infinite

public sealed interface RealBound
permits RealBound.Infinite, RealBound.Finite

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	RealBound.Finite
static enum	RealBound.Infinite

Method Summary

Modifier and Type	Method	Description
RealBound	add(RealBound other, RoundingMode roundingMode)
IntBound	asInt(RoundingMode roundingMode)
int	compareBound(RealBound other)
RealBound	div(RealBound other, RoundingMode roundingMode)
RealBound	exp(RoundingMode roundingMode)
static RealBound	fromInt(IntBound intValue)
default boolean	greaterThanOrEquals(RealBound other)
boolean	isFinite()
boolean	lessThanOrEquals(RealBound other)
RealBound	log(RoundingMode roundingMode)
default RealBound	max(RealBound other)
default RealBound	min(RealBound other)
RealBound	minus(RoundingMode roundingMode)
RealBound	mul(RealBound other, RoundingMode roundingMode)
static RealBound	of(BigDecimal value)
RealBound	pow(RealBound other, RoundingMode roundingMode)
RealBound	round(RoundingMode roundingMode)
int	signum()
RealBound	sqrt(RoundingMode roundingMode)
RealBound	sub(RealBound other, RoundingMode roundingMode)

Method Details

lessThanOrEquals

boolean lessThanOrEquals(RealBound other)

greaterThanOrEquals

default boolean greaterThanOrEquals(RealBound other)

isFinite

boolean isFinite()

min

default RealBound min(RealBound other)

max

default RealBound max(RealBound other)

round

RealBound round(RoundingMode roundingMode)

minus

RealBound minus(RoundingMode roundingMode)

add

RealBound add(RealBound other,
 RoundingMode roundingMode)

sub

RealBound sub(RealBound other,
 RoundingMode roundingMode)

mul

RealBound mul(RealBound other,
 RoundingMode roundingMode)

div

RealBound div(RealBound other,
 RoundingMode roundingMode)

exp

RealBound exp(RoundingMode roundingMode)

log

RealBound log(RoundingMode roundingMode)

sqrt

RealBound sqrt(RoundingMode roundingMode)

pow

RealBound pow(RealBound other,
 RoundingMode roundingMode)

signum

int signum()

compareBound

int compareBound(RealBound other)

asInt

IntBound asInt(RoundingMode roundingMode)

of

static RealBound of(BigDecimal value)

fromInt

static RealBound fromInt(IntBound intValue)