Package com.uppaal.model.system.concrete

Class Limit

java.lang.Object
com.uppaal.model.system.concrete.Limit
All Implemented Interfaces:
Cloneable
public class Limit
extends Object
implements Cloneable
A limit consists of a value and information about whether the limit is strict or not.

  • Constructor Details

    • 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 value
      strict - - Is strict?

  • Method Details

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • 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 class Object
      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