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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ConcreteVariable[]
getCVariables()
Limit
getInvariant()
BigDecimal
getTime()
void
setCVariables(ConcreteVariable[] cvariables)
void
setInvariant(Limit invariant)
void
setTime(BigDecimal t)
-
Methods inherited from class com.uppaal.model.system.SystemState
getLocations, setLocations, traceFormat
-
-
-
-
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 BigDecimal getTime()
-
setTime
public void setTime(BigDecimal t)
-
-