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 and Description
SystemCut(SystemSimregion[] s, int[] v, Polyhedron z)

Method Summary

Methods

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