Record Class IntInterval

java.lang.Object

java.lang.Record

tools.refinery.logic.term.intinterval.IntInterval

All Implemented Interfaces:

Comparable<IntInterval>, AbstractValue<IntInterval, BigInteger>, ComparableAbstractValue<IntInterval, BigInteger>, Add<IntInterval>, Div<IntInterval>, Minus<IntInterval>, Mul<IntInterval>, Plus<IntInterval>, Sub<IntInterval>

public record IntInterval(@NotNull IntBound lowerBound, @NotNull IntBound upperBound)
extends Record
implements ComparableAbstractValue<IntInterval, BigInteger>, Comparable<IntInterval>, Plus<IntInterval>, Minus<IntInterval>, Add<IntInterval>, Sub<IntInterval>, Mul<IntInterval>, Div<IntInterval>

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class Object

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

Methods inherited from interface AbstractValue

isOverlapping, isRefinementOf

Field Details

ZERO

public static final IntInterval ZERO

ONE

public static final IntInterval ONE

UNKNOWN

public static final IntInterval UNKNOWN

ERROR

public static final IntInterval ERROR

NEGATIVE_INFINITY

public static final IntInterval NEGATIVE_INFINITY

POSITIVE_INFINITY

public static final IntInterval POSITIVE_INFINITY

Constructor Details

IntInterval

public IntInterval(@NotNull
 @NotNull IntBound lowerBound,
 @NotNull
 @NotNull IntBound upperBound)

Creates an instance of a IntInterval 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 BigInteger getConcrete()

Specified by:

getConcrete in interface AbstractValue<IntInterval, BigInteger>

isConcrete

public boolean isConcrete()

Specified by:

isConcrete in interface AbstractValue<IntInterval, BigInteger>

getArbitrary

@Nullable
public @Nullable BigInteger getArbitrary()

Specified by:

getArbitrary in interface AbstractValue<IntInterval, BigInteger>

isError

public boolean isError()

Specified by:

isError in interface AbstractValue<IntInterval, BigInteger>

join

public IntInterval join(IntInterval other)

Specified by:

join in interface AbstractValue<IntInterval, BigInteger>

meet

public IntInterval meet(IntInterval other)

Specified by:

meet in interface AbstractValue<IntInterval, BigInteger>

of

public static IntInterval of(int value)

of

public static IntInterval of(int value1,
 int value2)

of

public static IntInterval of(int value,
 IntBound bound)

of

public static IntInterval of(IntBound bound,
 int value)

of

public static IntInterval of(BigInteger value)

of

public static IntInterval of(BigInteger value1,
 BigInteger value2)

of

public static IntInterval of(BigInteger value,
 IntBound bound)

of

public static IntInterval of(IntBound bound,
 BigInteger value)

of

public static IntInterval of(IntBound bound1,
 IntBound bound2)

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 IntInterval other)

Specified by:

compareTo in interface Comparable<IntInterval>

plus

public IntInterval plus()

Specified by:

plus in interface Plus<IntInterval>

minus

public IntInterval minus()

Specified by:

minus in interface Minus<IntInterval>

add

public IntInterval add(IntInterval other)

Specified by:

add in interface Add<IntInterval>

sub

public IntInterval sub(IntInterval other)

Specified by:

sub in interface Sub<IntInterval>

mul

public IntInterval mul(IntInterval other)

Specified by:

mul in interface Mul<IntInterval>

div

public IntInterval div(IntInterval other)

Specified by:

div in interface Div<IntInterval>

checkEquals

public TruthValue checkEquals(IntInterval other)

Specified by:

checkEquals in interface AbstractValue<IntInterval, BigInteger>

checkLess

public TruthValue checkLess(IntInterval other)

Specified by:

checkLess in interface ComparableAbstractValue<IntInterval, BigInteger>

checkLessEq

public TruthValue checkLessEq(IntInterval other)

Specified by:

checkLessEq in interface ComparableAbstractValue<IntInterval, BigInteger>

upToIncluding

public IntInterval upToIncluding(IntInterval other)

Specified by:

upToIncluding in interface ComparableAbstractValue<IntInterval, BigInteger>

min

public IntInterval min(IntInterval other)

Specified by:

min in interface ComparableAbstractValue<IntInterval, BigInteger>

max

public IntInterval max(IntInterval other)

Specified by:

max in interface ComparableAbstractValue<IntInterval, BigInteger>

abstractLowerBound

public IntInterval abstractLowerBound()

Specified by:

abstractLowerBound in interface ComparableAbstractValue<IntInterval, BigInteger>

abstractUpperBound

public IntInterval abstractUpperBound()

Specified by:

abstractUpperBound in interface ComparableAbstractValue<IntInterval, BigInteger>

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 IntBound lowerBound()

Returns the value of the lowerBound record component.

Returns:

the value of the lowerBound record component

upperBound

@NotNull
public @NotNull IntBound upperBound()

Returns the value of the upperBound record component.

Returns:

the value of the upperBound record component