Package tools.refinery.logic.term.uppercardinality

Class UnboundedUpperCardinality

java.lang.Object

tools.refinery.logic.term.uppercardinality.UnboundedUpperCardinality

All Implemented Interfaces:

Comparable<UpperCardinality>, UpperCardinality

public final class UnboundedUpperCardinality
extends Object
implements UpperCardinality

Method Summary

Modifier and Type	Method	Description
UpperCardinality	add(UpperCardinality other)
int	compareTo(@NotNull UpperCardinality upperCardinality)
int	compareToInt(int value)
boolean	equals(Object obj)
int	hashCode()
UpperCardinality	multiply(UpperCardinality other)
UpperCardinality	take(int count)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface tools.refinery.logic.term.uppercardinality.UpperCardinality

max, min

Method Details

add

public UpperCardinality add(UpperCardinality other)

Specified by:

add in interface UpperCardinality

take

public UpperCardinality take(int count)

Specified by:

take in interface UpperCardinality

multiply

public UpperCardinality multiply(UpperCardinality other)

Specified by:

multiply in interface UpperCardinality

compareTo

public int compareTo(@NotNull
 @NotNull UpperCardinality upperCardinality)

Specified by:

compareTo in interface Comparable<UpperCardinality>

compareToInt

public int compareToInt(int value)

Specified by:

compareToInt in interface UpperCardinality

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object