Package com.uppaal.model.system.concrete

Class ConcreteVariable

  • public class ConcreteVariable
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      ConcreteVariable​(java.math.BigDecimal value, int rate)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int getRate()  
      java.math.BigDecimal getValue​(java.math.BigDecimal delay)  
      void setRate​(int rate)  
      void setValue​(java.math.BigDecimal value)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • ConcreteVariable

        public ConcreteVariable​(java.math.BigDecimal value,
                        int rate)

    • Method Detail

      • getRate

        public int getRate()

      • setRate

        public void setRate​(int rate)

      • getValue

        public java.math.BigDecimal getValue​(java.math.BigDecimal delay)

      • setValue

        public void setValue​(java.math.BigDecimal value)