com.uppaal.model.lscsystem
Class SystemCut

java.lang.Object
  com.uppaal.model.AbstractSystemState
      com.uppaal.model.lscsystem.SystemCut

public class SystemCut
extends AbstractSystemState

Constructor Summary

SystemCut(SystemSimregion[] s, int[] v, Polyhedron z)

Method Summary

SystemSimregion[]

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

SystemCut

public SystemCut(SystemSimregion[] s,
                 int[] v,
                 Polyhedron z)

Method Detail

getLocationVector

public SystemSimregion[] getLocationVector()

Specified by:

getLocationVector in class AbstractSystemState