Package com.uppaal.model.system.concrete

Class ConcreteState

java.lang.Object

com.uppaal.model.system.SystemState

com.uppaal.model.system.concrete.ConcreteState

public class ConcreteState
extends SystemState

Field Summary

Fields inherited from class com.uppaal.model.system.SystemState

locations

Constructor Summary

Constructors

Constructor	Description
ConcreteState(Limit invariant, SystemLocation[] locations, ConcreteVariable[] cvariables)

Method Summary

Modifier and Type	Method	Description
ConcreteVariable[]	getCVariables()
Limit	getInvariant()
java.math.BigDecimal	getTime()
void	setCVariables(ConcreteVariable[] cvariables)
void	setInvariant(Limit invariant)
void	setTime(java.math.BigDecimal t)

Methods inherited from class com.uppaal.model.system.SystemState

getLocations, setLocations, traceFormat

Methods inherited from class java.lang.Object

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

Constructor Detail

ConcreteState

public ConcreteState(Limit invariant,
                     SystemLocation[] locations,
                     ConcreteVariable[] cvariables)

Method Detail

getInvariant

public Limit getInvariant()

setInvariant

public void setInvariant(Limit invariant)

getCVariables

public ConcreteVariable[] getCVariables()

setCVariables

public void setCVariables(ConcreteVariable[] cvariables)

getTime

public java.math.BigDecimal getTime()

setTime

public void setTime(java.math.BigDecimal t)