Package com.uppaal.model.system.concrete
Class Limit
- java.lang.Object
-
- com.uppaal.model.system.concrete.Limit
-
-
Constructor Summary
Constructors Constructor Description Limit()
Initialises an unbounded limit, i.e.Limit(BigDecimal limit, boolean strict)
Constructor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Limit
add(BigDecimal arg)
Add the input value into the limit valueObject
clone()
double
getDoubleValue()
Get the double limit valueBigDecimal
getValue()
Get the limit valueboolean
isEqualTo(BigDecimal arg)
Is the input value equal to the limit value?boolean
isLowerBoundOf(Limit v)
Is the input limit value lower bounded of the limit value?boolean
isLowerBoundOf(BigDecimal arg)
Is the limit lower bound off the input valueboolean
isStrict()
Is the limit strictly?boolean
isStrictLowerBoundOf(Limit v)
Is the input limit value strictly lower bounded of the limit value?boolean
isStrictLowerBoundOf(BigDecimal arg)
Is the limit strictly lower bound of the input valueboolean
isStrictUpperBoundOf(Limit v)
Is the input limit value strictly upper bounded of the limit value?boolean
isStrictUpperBoundOf(BigDecimal arg)
Is the limit strictly upper bound of the input valueboolean
isUnbounded()
Is not bounded?boolean
isUpperBoundOf(Limit v)
Is the input limit value upper bounded of the limit value?boolean
isUpperBoundOf(BigDecimal arg)
Is the limit upper bound off the input valuevoid
setStrict(boolean strict)
Set the strict valuevoid
setValue(BigDecimal limit)
Set the limit valueString
toString()
-
-
-
Constructor Detail
-
Limit
public Limit()
Initialises an unbounded limit, i.e. the value is positive infinity.
-
Limit
public Limit(BigDecimal limit, boolean strict)
Constructor- Parameters:
limit
- - The limit valuestrict
- - Is strict?
-
-
Method Detail
-
isUnbounded
public boolean isUnbounded()
Is not bounded?- Returns:
- - The limit value
-
getValue
public BigDecimal getValue()
Get the limit value- Returns:
- value - The limit value
-
getDoubleValue
public double getDoubleValue()
Get the double limit value- Returns:
- value - The double limit value
-
setValue
public void setValue(BigDecimal limit)
Set the limit value- Parameters:
limit
- - The limit value
-
isStrict
public boolean isStrict()
Is the limit strictly?- Returns:
- strict - Is the limit strictly?
-
setStrict
public void setStrict(boolean strict)
Set the strict value- Parameters:
strict
- - The value
-
isUpperBoundOf
public boolean isUpperBoundOf(BigDecimal arg)
Is the limit upper bound off the input value- Parameters:
arg
- - The bound value- Returns:
- Is the limit upper bounded?
-
isLowerBoundOf
public boolean isLowerBoundOf(BigDecimal arg)
Is the limit lower bound off the input value- Parameters:
arg
- - The bound value- Returns:
- Is the limit lower bound?
-
isStrictUpperBoundOf
public boolean isStrictUpperBoundOf(BigDecimal arg)
Is the limit strictly upper bound of the input value- Parameters:
arg
- - The bound value- Returns:
- Is the limit strictly upper bound?
-
isStrictLowerBoundOf
public boolean isStrictLowerBoundOf(BigDecimal arg)
Is the limit strictly lower bound of the input value- Parameters:
arg
- - The input value- Returns:
- Is the limit strictly lower bound?
-
add
public Limit add(BigDecimal arg)
Add the input value into the limit value- Parameters:
arg
- - The input value- Returns:
- The new limit value
-
isEqualTo
public boolean isEqualTo(BigDecimal arg)
Is the input value equal to the limit value?- Parameters:
arg
- - The input value- Returns:
- Is the input value lower and upper bounded of the lime value?
-
clone
public Object clone() throws CloneNotSupportedException
- Overrides:
clone
in classObject
- Throws:
CloneNotSupportedException
-
isLowerBoundOf
public boolean isLowerBoundOf(Limit v)
Is the input limit value lower bounded of the limit value?- Parameters:
v
- - The limit value- Returns:
- Is the input value lower bounded of the lime value?
-
isUpperBoundOf
public boolean isUpperBoundOf(Limit v)
Is the input limit value upper bounded of the limit value?- Parameters:
v
- - The input limit value- Returns:
- Is the input value upper bounded of the lime value?
-
isStrictLowerBoundOf
public boolean isStrictLowerBoundOf(Limit v)
Is the input limit value strictly lower bounded of the limit value?- Parameters:
v
- - The input limit value- Returns:
- Is the input limit value strictly lower bounded of the limit value?
-
isStrictUpperBoundOf
public boolean isStrictUpperBoundOf(Limit v)
Is the input limit value strictly upper bounded of the limit value?- Parameters:
v
- - The input limit value- Returns:
- whether the upper bound is strict
-
-