Package tools.refinery.logic.term.uppercardinality

Class UpperCardinalities

java.lang.Object

tools.refinery.logic.term.uppercardinality.UpperCardinalities

public final class UpperCardinalities
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final UpperCardinality	ONE
static final UpperCardinality	UNBOUNDED
static final UpperCardinality	ZERO

Method Summary

Modifier and Type	Method	Description
static UpperCardinality	atMost(int upperBound)

Methods inherited from class java.lang.Object

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

Field Details

UNBOUNDED

public static final UpperCardinality UNBOUNDED

ZERO

public static final UpperCardinality ZERO

ONE

public static final UpperCardinality ONE

Method Details

atMost

public static UpperCardinality atMost(int upperBound)