Constructor and Description |
---|
Limit()
Initialises an unbounded limit, i.e.
|
Limit(BigDecimal limit,
boolean strict) |
Modifier and Type | Method and Description |
---|---|
Limit |
add(BigDecimal arg) |
Object |
clone() |
double |
getDoubleValue() |
BigDecimal |
getValue() |
boolean |
isEqualTo(BigDecimal arg) |
boolean |
isLowerBoundOf(BigDecimal arg) |
boolean |
isLowerBoundOf(Limit v) |
boolean |
isStrict() |
boolean |
isStrictLowerBoundOf(BigDecimal arg) |
boolean |
isStrictLowerBoundOf(Limit v) |
boolean |
isStrictUpperBoundOf(BigDecimal arg) |
boolean |
isStrictUpperBoundOf(Limit v) |
boolean |
isUnbounded() |
boolean |
isUpperBoundOf(BigDecimal arg) |
boolean |
isUpperBoundOf(Limit v) |
void |
setStrict(boolean strict) |
void |
setValue(BigDecimal limit) |
String |
toString() |
public Limit()
public Limit(BigDecimal limit, boolean strict)
public boolean isUnbounded()
public BigDecimal getValue()
public double getDoubleValue()
public void setValue(BigDecimal limit)
public boolean isStrict()
public void setStrict(boolean strict)
public boolean isUpperBoundOf(BigDecimal arg)
public boolean isLowerBoundOf(BigDecimal arg)
public boolean isStrictUpperBoundOf(BigDecimal arg)
public boolean isStrictLowerBoundOf(BigDecimal arg)
public Limit add(BigDecimal arg)
public boolean isEqualTo(BigDecimal arg)
public boolean isLowerBoundOf(Limit v)
public boolean isUpperBoundOf(Limit v)
public boolean isStrictLowerBoundOf(Limit v)
public boolean isStrictUpperBoundOf(Limit v)
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.