Package tools.refinery.logic.term.intinterval

Interface IntBound

All Known Implementing Classes:

IntBound.Finite, IntBound.Infinite

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

Nested Class Summary

Nested Classes

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

Method Summary

Modifier and Type	Method	Description
IntBound	add(IntBound other, RoundingMode roundingMode)
int	compareBound(IntBound other)
IntBound	div(IntBound other, RoundingMode roundingMode)
default boolean	greaterThanOrEquals(IntBound other)
boolean	isFinite()
boolean	lessThanOrEquals(IntBound other)
default IntBound	max(IntBound other)
default IntBound	min(IntBound other)
IntBound	minus(RoundingMode roundingMode)
IntBound	mul(IntBound other, RoundingMode roundingMode)
static IntBound	of(int value)
static IntBound	of(BigDecimal value, RoundingMode roundingMode)
int	signum()
IntBound	sub(IntBound other, RoundingMode roundingMode)

Method Details

lessThanOrEquals

boolean lessThanOrEquals(IntBound other)

greaterThanOrEquals

default boolean greaterThanOrEquals(IntBound other)

isFinite

boolean isFinite()

min

default IntBound min(IntBound other)

max

default IntBound max(IntBound other)

minus

IntBound minus(RoundingMode roundingMode)

add

IntBound add(IntBound other,
 RoundingMode roundingMode)

sub

IntBound sub(IntBound other,
 RoundingMode roundingMode)

mul

IntBound mul(IntBound other,
 RoundingMode roundingMode)

div

IntBound div(IntBound other,
 RoundingMode roundingMode)

signum

int signum()

compareBound

int compareBound(IntBound other)

of

static IntBound of(int value)

of

static IntBound of(BigDecimal value,
 RoundingMode roundingMode)