SystemState (UPPAAL model library)

java.lang.Object
- com.uppaal.model.system.SystemState

Direct Known Subclasses:

ConcreteState, SymbolicState
```
public class SystemState
extends java.lang.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 locations
`void`	`setLocations(SystemLocation[] locations)`	Set the list of the system location
`java.lang.String`	`traceFormat()`	Convert to visual format used in simulator.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- 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 java.lang.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 -