public class SystemState extends Object
Modifier and Type | Field and Description |
---|---|
protected SystemLocation[] |
locations |
Constructor and Description |
---|
SystemState(SystemLocation[] l) |
Modifier and Type | Method and Description |
---|---|
SystemLocation[] |
getLocations() |
void |
setLocations(SystemLocation[] locations) |
String |
traceFormat()
Convert to visual format used in simulator.
|
protected SystemLocation[] locations
public SystemState(SystemLocation[] l)
public String traceFormat()
public SystemLocation[] getLocations()
public void setLocations(SystemLocation[] locations)
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.