Package tools.refinery.logic.term.cardinalityinterval

Interface CardinalityInterval

All Superinterfaces:

AbstractValue<CardinalityInterval,Integer>

All Known Implementing Classes:

EmptyCardinalityInterval, NonEmptyCardinalityInterval

public sealed interface CardinalityInterval
extends AbstractValue<CardinalityInterval,Integer>
permits NonEmptyCardinalityInterval, EmptyCardinalityInterval

Method Summary

Modifier and Type	Method	Description
CardinalityInterval	add(CardinalityInterval other)
int	lowerBound()
CardinalityInterval	max(CardinalityInterval other)
CardinalityInterval	min(CardinalityInterval other)
CardinalityInterval	multiply(CardinalityInterval other)
CardinalityInterval	take(int count)
UpperCardinality	upperBound()

Methods inherited from interface tools.refinery.logic.AbstractValue

getArbitrary, getConcrete, isConcrete, isError, isRefinementOf, join, meet

Method Details

lowerBound

int lowerBound()

upperBound

UpperCardinality upperBound()

min

CardinalityInterval min(CardinalityInterval other)

max

CardinalityInterval max(CardinalityInterval other)

add

CardinalityInterval add(CardinalityInterval other)

take

CardinalityInterval take(int count)

multiply

CardinalityInterval multiply(CardinalityInterval other)