Package tools.refinery.logic.term.uppercardinality

Interface UpperCardinality

All Superinterfaces:

Comparable<UpperCardinality>

All Known Implementing Classes:

FiniteUpperCardinality, UnboundedUpperCardinality

public sealed interface UpperCardinality
extends Comparable<UpperCardinality>
permits FiniteUpperCardinality, UnboundedUpperCardinality

Method Summary

Modifier and Type	Method	Description
UpperCardinality	add(UpperCardinality other)
int	compareToInt(int value)
default UpperCardinality	max(UpperCardinality other)
default UpperCardinality	min(UpperCardinality other)
UpperCardinality	multiply(UpperCardinality other)
static UpperCardinality	of(int upperBound)
@Nullable UpperCardinality	take(int count)

Methods inherited from interface java.lang.Comparable

compareTo

Method Details

min

default UpperCardinality min(UpperCardinality other)

max

default UpperCardinality max(UpperCardinality other)

add

UpperCardinality add(UpperCardinality other)

take

@Nullable
@Nullable UpperCardinality take(int count)

multiply

UpperCardinality multiply(UpperCardinality other)

compareToInt

int compareToInt(int value)

of

static UpperCardinality of(int upperBound)