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 TypeMethodDescriptionadd
(UpperCardinality other) int
compareToInt
(int value) default UpperCardinality
max
(UpperCardinality other) default UpperCardinality
min
(UpperCardinality other) multiply
(UpperCardinality other) static UpperCardinality
of
(int upperBound) @Nullable UpperCardinality
take
(int count) Methods inherited from interface java.lang.Comparable
compareTo
-
Method Details
-
min
-
max
-
add
-
take
-
multiply
-
compareToInt
int compareToInt(int value) -
of
-