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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description SystemSimregion[]
getLocationVector()
-
Methods inherited from class com.uppaal.model.AbstractSystemState
equals, getPolyhedron, getVariables, traceFormat, writeServerFormat, writeXTRFormat
-
-
-
-
Constructor Detail
-
SystemCut
public SystemCut(SystemSimregion[] s, int[] v, Polyhedron z)
-
-
Method Detail
-
getLocationVector
public SystemSimregion[] getLocationVector()
- Specified by:
getLocationVector
in classAbstractSystemState
-
-