Package com.uppaal.model.system.concrete
Class ConcreteVariable
- java.lang.Object
-
- com.uppaal.model.system.concrete.ConcreteVariable
-
public class ConcreteVariable extends Object
-
-
Constructor Summary
Constructors Constructor Description ConcreteVariable(BigDecimal value, int rate)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
getRate()
BigDecimal
getValue(BigDecimal delay)
void
setRate(int rate)
void
setValue(BigDecimal value)
-
-
-
Constructor Detail
-
ConcreteVariable
public ConcreteVariable(BigDecimal value, int rate)
-
-
Method Detail
-
getRate
public int getRate()
-
setRate
public void setRate(int rate)
-
getValue
public BigDecimal getValue(BigDecimal delay)
-
setValue
public void setValue(BigDecimal value)
-
-