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 and Description
protected SystemLocation[]	locations Changed from private for concrete simulation

Constructor Summary

Constructors

Constructor and Description
SystemState(SystemLocation[] l) Constructor

Method Summary

Modifier and Type	Method and 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 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 -