Package com.uppaal.model.system
Class SystemState
- java.lang.Object
-
- com.uppaal.model.system.SystemState
-
- Direct Known Subclasses:
ConcreteState
,SymbolicState
public class SystemState extends Object
The class representing a state in a system
-
-
Field Summary
Fields Modifier and Type Field Description protected SystemLocation[]
locations
Changed from private for concrete simulation
-
Constructor Summary
Constructors Constructor Description SystemState(SystemLocation[] l)
Constructor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description SystemLocation[]
getLocations()
Get the system locationsvoid
setLocations(SystemLocation[] locations)
Set the list of the system locationString
traceFormat()
Convert to visual format used in simulator.
-
-
-
Field Detail
-
locations
protected SystemLocation[] locations
Changed from private for concrete simulation
-
-
Constructor Detail
-
SystemState
public SystemState(SystemLocation[] l)
Constructor- Parameters:
l
- - The list of the locations about a system state
-
-
Method Detail
-
traceFormat
public String traceFormat()
Convert to visual format used in simulator.- Returns:
- s - The state string in the trace format
-
getLocations
public SystemLocation[] getLocations()
Get the system locations- Returns:
- locations - The list of the system location
-
setLocations
public void setLocations(SystemLocation[] locations)
Set the list of the system location- Parameters:
locations
-
-
-