Package tools.refinery.logic.term.cardinalityinterval

Class CardinalityIntervals

java.lang.Object

tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals

public final class CardinalityIntervals
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final CardinalityInterval	ERROR
static final CardinalityInterval	LONE
static final CardinalityInterval	NONE
static final CardinalityInterval	ONE
static final CardinalityInterval	SET
static final CardinalityInterval	SOME

Method Summary

Modifier and Type	Method	Description
static CardinalityInterval	atLeast(int lowerBound)
static CardinalityInterval	atMost(int upperBound)
static CardinalityInterval	atMost(UpperCardinality upperBound)
static CardinalityInterval	between(int lowerBound, int upperBound)
static CardinalityInterval	between(int lowerBound, UpperCardinality upperBound)
static CardinalityInterval	exactly(int lowerBound)

Methods inherited from class java.lang.Object

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

Field Details

NONE

public static final CardinalityInterval NONE

ONE

public static final CardinalityInterval ONE

LONE

public static final CardinalityInterval LONE

SET

public static final CardinalityInterval SET

SOME

public static final CardinalityInterval SOME

ERROR

public static final CardinalityInterval ERROR

Method Details

between

public static CardinalityInterval between(int lowerBound,
 UpperCardinality upperBound)

between

public static CardinalityInterval between(int lowerBound,
 int upperBound)

atMost

public static CardinalityInterval atMost(UpperCardinality upperBound)

atMost

public static CardinalityInterval atMost(int upperBound)

atLeast

public static CardinalityInterval atLeast(int lowerBound)

exactly

public static CardinalityInterval exactly(int lowerBound)