com.uppaal.model.system

Class SystemState

java.lang.Object

com.uppaal.model.system.SystemState

Direct Known Subclasses:

ConcreteState, SymbolicState

public class SystemState
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected SystemLocation[]	locations

Constructor Summary

Constructors

Constructor and Description
SystemState(SystemLocation[] l)

Method Summary

Methods

Modifier and Type	Method and Description
SystemLocation[]	getLocations()
void	setLocations(SystemLocation[] locations)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

locations

protected SystemLocation[] locations

Constructor Detail

SystemState

public SystemState(SystemLocation[] l)

Method Detail

getLocations

public SystemLocation[] getLocations()

setLocations

public void setLocations(SystemLocation[] locations)