com.uppaal.model.system
Class SystemState

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

public class SystemState
extends AbstractSystemState

Constructor Summary

SystemState(SystemLocation[] l, int[] v, Polyhedron z)

Method Summary

SystemLocation[]

getLocationVector()

Methods inherited from class com.uppaal.model.AbstractSystemState

equals, getPolyhedron, getVariables, traceFormat, writeServerFormat, writeXTRFormat

Methods inherited from class java.lang.Object

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

Constructor Detail

SystemState

public SystemState(SystemLocation[] l,
                   int[] v,
                   Polyhedron z)

Method Detail

getLocationVector

public SystemLocation[] getLocationVector()

Specified by:

getLocationVector in class AbstractSystemState