Package tools.refinery.logic.term.cardinalityinterval

Record Class CardinalityInterval

java.lang.Object

java.lang.Record

tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

All Implemented Interfaces:

AbstractValue<CardinalityInterval,Integer>

public record CardinalityInterval(int lowerBound, UpperCardinality upperBound)
extends Record
implements AbstractValue<CardinalityInterval,Integer>

Constructor Summary

Constructors

Constructor	Description
CardinalityInterval(int lowerBound, UpperCardinality upperBound)	Creates an instance of a CardinalityInterval record class.

Method Summary

Modifier and Type	Method	Description
CardinalityInterval	add(CardinalityInterval other)
final boolean	equals(Object o)	Indicates whether some other object is "equal to" this one.
@Nullable Integer	getArbitrary()
@Nullable Integer	getConcrete()
final int	hashCode()	Returns a hash code value for this object.
boolean	isConcrete()
boolean	isError()
boolean	isRefinementOf(CardinalityInterval other)
CardinalityInterval	join(CardinalityInterval other)
int	lowerBound()	Returns the value of the lowerBound record component.
CardinalityInterval	max(CardinalityInterval other)
CardinalityInterval	meet(CardinalityInterval other)
CardinalityInterval	min(CardinalityInterval other)
CardinalityInterval	multiply(CardinalityInterval other)
@Nullable CardinalityInterval	take(int count)
String	toString()	Returns a string representation of this record class.
UpperCardinality	upperBound()	Returns the value of the upperBound record component.

Methods inherited from class java.lang.Object

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

Constructor Details

CardinalityInterval

public CardinalityInterval(int lowerBound,
 UpperCardinality upperBound)

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

Specified by:

getConcrete in interface AbstractValue<CardinalityInterval,Integer>

isConcrete

public boolean isConcrete()

Specified by:

isConcrete in interface AbstractValue<CardinalityInterval,Integer>

getArbitrary

@Nullable
public @Nullable Integer getArbitrary()

Specified by:

getArbitrary in interface AbstractValue<CardinalityInterval,Integer>

isError

public boolean isError()

Specified by:

isError in interface AbstractValue<CardinalityInterval,Integer>

isRefinementOf

public boolean isRefinementOf(CardinalityInterval other)

Specified by:

isRefinementOf in interface AbstractValue<CardinalityInterval,Integer>

min

public CardinalityInterval min(CardinalityInterval other)

max

public CardinalityInterval max(CardinalityInterval other)

add

public CardinalityInterval add(CardinalityInterval other)

multiply

public CardinalityInterval multiply(CardinalityInterval other)

meet

public CardinalityInterval meet(CardinalityInterval other)

Specified by:

meet in interface AbstractValue<CardinalityInterval,Integer>

join

public CardinalityInterval join(CardinalityInterval other)

Specified by:

join in interface AbstractValue<CardinalityInterval,Integer>

take

@Nullable
public @Nullable CardinalityInterval take(int count)

toString

public 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

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. Reference components are compared with Objects::equals(Object,Object); primitive components are compared with '=='.

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

public int lowerBound()

Returns the value of the lowerBound record component.

Returns:

the value of the lowerBound record component

upperBound

public UpperCardinality upperBound()

Returns the value of the upperBound record component.

Returns:

the value of the upperBound record component