Package 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

Constructors

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

Method Summary

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