Package tools.refinery.logic.term.cardinalityinterval

Class EmptyCardinalityInterval

java.lang.Object

tools.refinery.logic.term.cardinalityinterval.EmptyCardinalityInterval

All Implemented Interfaces:

AbstractValue<CardinalityInterval,Integer>, CardinalityInterval

public final class EmptyCardinalityInterval
extends Object
implements CardinalityInterval

Method Summary

Modifier and Type	Method	Description
CardinalityInterval	add(CardinalityInterval other)
@Nullable Integer	getArbitrary()
@Nullable Integer	getConcrete()
boolean	isRefinementOf(CardinalityInterval other)
CardinalityInterval	join(CardinalityInterval other)
int	lowerBound()
CardinalityInterval	max(CardinalityInterval other)
CardinalityInterval	meet(CardinalityInterval other)
CardinalityInterval	min(CardinalityInterval other)
CardinalityInterval	multiply(CardinalityInterval other)
CardinalityInterval	take(int count)
String	toString()
UpperCardinality	upperBound()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface tools.refinery.logic.AbstractValue

isConcrete, isError

Method Details

getConcrete

@Nullable
public @Nullable Integer getConcrete()

Specified by:

getConcrete in interface AbstractValue<CardinalityInterval,Integer>

getArbitrary

@Nullable
public @Nullable Integer getArbitrary()

Specified by:

getArbitrary in interface AbstractValue<CardinalityInterval,Integer>

isRefinementOf

public boolean isRefinementOf(CardinalityInterval other)

Specified by:

isRefinementOf in interface AbstractValue<CardinalityInterval,Integer>

lowerBound

public int lowerBound()

Specified by:

lowerBound in interface CardinalityInterval

upperBound

public UpperCardinality upperBound()

Specified by:

upperBound in interface CardinalityInterval

min

public CardinalityInterval min(CardinalityInterval other)

Specified by:

min in interface CardinalityInterval

max

public CardinalityInterval max(CardinalityInterval other)

Specified by:

max in interface CardinalityInterval

add

public CardinalityInterval add(CardinalityInterval other)

Specified by:

add in interface CardinalityInterval

take

public CardinalityInterval take(int count)

Specified by:

take in interface CardinalityInterval

multiply

public CardinalityInterval multiply(CardinalityInterval other)

Specified by:

multiply in interface CardinalityInterval

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>

toString

public String toString()

Overrides:

toString in class Object