Package tools.refinery.logic.term.realinterval

Record Class RealInterval

java.lang.Object

java.lang.Record

tools.refinery.logic.term.realinterval.RealInterval

All Implemented Interfaces:

Comparable<RealInterval>, AbstractValue<RealInterval,BigDecimal>, ComparableAbstractValue<RealInterval,BigDecimal>, Add<RealInterval>, Div<RealInterval>, Exp<RealInterval>, Log<RealInterval>, Minus<RealInterval>, Mul<RealInterval>, Plus<RealInterval>, Pow<RealInterval>, Sqrt<RealInterval>, Sub<RealInterval>

public record RealInterval(@NotNull RealBound lowerBound, @NotNull RealBound upperBound)
extends Record
implements ComparableAbstractValue<RealInterval,BigDecimal>, Comparable<RealInterval>, Plus<RealInterval>, Minus<RealInterval>, Add<RealInterval>, Sub<RealInterval>, Mul<RealInterval>, Div<RealInterval>, Exp<RealInterval>, Log<RealInterval>, Sqrt<RealInterval>, Pow<RealInterval>

Field Summary

Fields

Modifier and Type	Field	Description
static final RealInterval	ERROR
static final RealInterval	NEGATIVE_INFINITY
static final RealInterval	ONE
static final RealInterval	POSITIVE_ERROR
static final RealInterval	POSITIVE_INFINITY
static final RealInterval	UNKNOWN
static final RealInterval	ZERO

Constructor Summary

Constructors

Constructor	Description
RealInterval(@NotNull RealBound lowerBound, @NotNull RealBound upperBound)	Creates an instance of a RealInterval record class.

Method Summary

Modifier and Type	Method	Description
RealInterval	abstractLowerBound()
RealInterval	abstractUpperBound()
RealInterval	add(RealInterval other)
IntInterval	asInt()
TruthValue	checkEquals(RealInterval other)
TruthValue	checkLess(RealInterval other)
TruthValue	checkLessEq(RealInterval other)
int	compareTo(@NotNull RealInterval other)
RealInterval	div(RealInterval other)
final boolean	equals(Object o)	Indicates whether some other object is "equal to" this one.
RealInterval	exp()
static RealInterval	fromInt(IntInterval intInterval)
@Nullable BigDecimal	getArbitrary()
@Nullable BigDecimal	getConcrete()
final int	hashCode()	Returns a hash code value for this object.
boolean	isConcrete()
boolean	isError()
RealInterval	join(RealInterval other)
RealInterval	log()
@NotNull RealBound	lowerBound()	Returns the value of the lowerBound record component.
RealInterval	max(RealInterval other)
RealInterval	meet(RealInterval other)
RealInterval	min(RealInterval other)
RealInterval	minus()
RealInterval	mul(RealInterval other)
static RealInterval	of(BigDecimal value)
static RealInterval	of(BigDecimal value1, BigDecimal value2)
static RealInterval	of(BigDecimal value, RealBound bound)
static RealInterval	of(RealBound bound, BigDecimal value)
static RealInterval	of(RealBound bound1, RealBound bound2)
RealInterval	plus()
RealInterval	pow(RealInterval other)
RealInterval	sqrt()
RealInterval	sub(RealInterval other)
@NotNull String	toString()	Returns a string representation of this record class.
@NotNull RealBound	upperBound()	Returns the value of the upperBound record component.
RealInterval	upToIncluding(RealInterval other)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface tools.refinery.logic.AbstractValue

isOverlapping, isRefinementOf

Field Details

ZERO

public static final RealInterval ZERO

ONE

public static final RealInterval ONE

UNKNOWN

public static final RealInterval UNKNOWN

ERROR

public static final RealInterval ERROR

POSITIVE_ERROR

public static final RealInterval POSITIVE_ERROR

NEGATIVE_INFINITY

public static final RealInterval NEGATIVE_INFINITY

POSITIVE_INFINITY

public static final RealInterval POSITIVE_INFINITY

Constructor Details

RealInterval

public RealInterval(@NotNull
 @NotNull RealBound lowerBound,
 @NotNull
 @NotNull RealBound upperBound)

Creates an instance of a RealInterval record class.

Parameters:

lowerBound - the value for the lowerBound record component

upperBound - the value for the upperBound record component

Method Details

getConcrete

@Nullable
public @Nullable BigDecimal getConcrete()

Specified by:

getConcrete in interface AbstractValue<RealInterval,BigDecimal>

isConcrete

public boolean isConcrete()

Specified by:

isConcrete in interface AbstractValue<RealInterval,BigDecimal>

getArbitrary

@Nullable
public @Nullable BigDecimal getArbitrary()

Specified by:

getArbitrary in interface AbstractValue<RealInterval,BigDecimal>

isError

public boolean isError()

Specified by:

isError in interface AbstractValue<RealInterval,BigDecimal>

join

public RealInterval join(RealInterval other)

Specified by:

join in interface AbstractValue<RealInterval,BigDecimal>

meet

public RealInterval meet(RealInterval other)

Specified by:

meet in interface AbstractValue<RealInterval,BigDecimal>

of

public static RealInterval of(BigDecimal value)

of

public static RealInterval of(BigDecimal value1,
 BigDecimal value2)

of

public static RealInterval of(BigDecimal value,
 RealBound bound)

of

public static RealInterval of(RealBound bound,
 BigDecimal value)

of

public static RealInterval of(RealBound bound1,
 RealBound bound2)

fromInt

public static RealInterval fromInt(IntInterval intInterval)

asInt

public IntInterval asInt()

toString

@NotNull
public @NotNull String toString()

Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.

Specified by:

toString in class Record

Returns:

a string representation of this object

compareTo

public int compareTo(@NotNull
 @NotNull RealInterval other)

Specified by:

compareTo in interface Comparable<RealInterval>

plus

public RealInterval plus()

Specified by:

plus in interface Plus<RealInterval>

minus

public RealInterval minus()

Specified by:

minus in interface Minus<RealInterval>

add

public RealInterval add(RealInterval other)

Specified by:

add in interface Add<RealInterval>

sub

public RealInterval sub(RealInterval other)

Specified by:

sub in interface Sub<RealInterval>

mul

public RealInterval mul(RealInterval other)

Specified by:

mul in interface Mul<RealInterval>

div

public RealInterval div(RealInterval other)

Specified by:

div in interface Div<RealInterval>

exp

public RealInterval exp()

Specified by:

exp in interface Exp<RealInterval>

log

public RealInterval log()

Specified by:

log in interface Log<RealInterval>

sqrt

public RealInterval sqrt()

Specified by:

sqrt in interface Sqrt<RealInterval>

pow

public RealInterval pow(RealInterval other)

Specified by:

pow in interface Pow<RealInterval>

checkEquals

public TruthValue checkEquals(RealInterval other)

Specified by:

checkEquals in interface AbstractValue<RealInterval,BigDecimal>

checkLess

public TruthValue checkLess(RealInterval other)

Specified by:

checkLess in interface ComparableAbstractValue<RealInterval,BigDecimal>

checkLessEq

public TruthValue checkLessEq(RealInterval other)

Specified by:

checkLessEq in interface ComparableAbstractValue<RealInterval,BigDecimal>

upToIncluding

public RealInterval upToIncluding(RealInterval other)

Specified by:

upToIncluding in interface ComparableAbstractValue<RealInterval,BigDecimal>

min

public RealInterval min(RealInterval other)

Specified by:

min in interface ComparableAbstractValue<RealInterval,BigDecimal>

max

public RealInterval max(RealInterval other)

Specified by:

max in interface ComparableAbstractValue<RealInterval,BigDecimal>

abstractLowerBound

public RealInterval abstractLowerBound()

Specified by:

abstractLowerBound in interface ComparableAbstractValue<RealInterval,BigDecimal>

abstractUpperBound

public RealInterval abstractUpperBound()

Specified by:

abstractUpperBound in interface ComparableAbstractValue<RealInterval,BigDecimal>

hashCode

public final int hashCode()

Returns a hash code value for this object. The value is derived from the hash code of each of the record components.

Specified by:

hashCode in class Record

Returns:

a hash code value for this object

equals

public final boolean equals(Object o)

Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared with Objects::equals(Object,Object).

Specified by:

equals in class Record

Parameters:

o - the object with which to compare

Returns:

true if this object is the same as the o argument; false otherwise.

lowerBound

@NotNull
public @NotNull RealBound lowerBound()

Returns the value of the lowerBound record component.

Returns:

the value of the lowerBound record component

upperBound

@NotNull
public @NotNull RealBound upperBound()

Returns the value of the upperBound record component.

Returns:

the value of the upperBound record component