public class ConcreteState extends SystemState
locations
Constructor and Description |
---|
ConcreteState(Limit invariant,
SystemLocation[] locations,
ConcreteVariable[] cvariables) |
Modifier and Type | Method and Description |
---|---|
ConcreteVariable[] |
getCVariables() |
Limit |
getInvariant() |
BigDecimal |
getTime() |
void |
setCVariables(ConcreteVariable[] cvariables) |
void |
setInvariant(Limit invariant) |
void |
setTime(BigDecimal t) |
getLocations, setLocations, traceFormat
public ConcreteState(Limit invariant, SystemLocation[] locations, ConcreteVariable[] cvariables)
public Limit getInvariant()
public void setInvariant(Limit invariant)
public ConcreteVariable[] getCVariables()
public void setCVariables(ConcreteVariable[] cvariables)
public BigDecimal getTime()
public void setTime(BigDecimal t)
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.