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

Modifier and Type	Method	Description
SystemLocation[]	getLocations()	Get the system locations
void	setLocations(SystemLocation[] locations)	Set the list of the system location
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 Details

locations

protected SystemLocation[] locations

Changed from private for concrete simulation

Constructor Details

SystemState

public SystemState(SystemLocation[] l)

Constructor

Parameters:

l - - The list of the locations about a system state

Method Details

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 -