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

Modifier and Type	Method	Description
int	getRate()
BigDecimal	getValue(BigDecimal delay)
void	setRate(int rate)
void	setValue(BigDecimal value)

Methods inherited from class java.lang.Object

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

Constructor Details

ConcreteVariable

public ConcreteVariable(BigDecimal value, int rate)

Method Details

getRate

public int getRate()

setRate

public void setRate(int rate)

getValue

public BigDecimal getValue(BigDecimal delay)

setValue

public void setValue(BigDecimal value)