Package com.uppaal.model
Class AbstractSystemState
- java.lang.Object
-
- com.uppaal.model.AbstractSystemState
-
-
Constructor Summary
Constructors Constructor Description AbstractSystemState(int[] v, Polyhedron z)
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description boolean
equals(Object obj)
abstract AbstractSystemLocation[]
getLocationVector()
Polyhedron
getPolyhedron()
int[]
getVariables()
String
traceFormat()
Convert to visual format used in simulator.void
writeServerFormat(Writer writer)
Convert to format used to send to server.void
writeXTRFormat(Writer writer)
Convert to format used in XTR files.
-
-
-
Constructor Detail
-
AbstractSystemState
public AbstractSystemState(int[] v, Polyhedron z)
-
-
Method Detail
-
writeServerFormat
public void writeServerFormat(Writer writer) throws IOException
Convert to format used to send to server.- Parameters:
writer
- - the write- Throws:
IOException
- I/O error
-
writeXTRFormat
public void writeXTRFormat(Writer writer) throws IOException
Convert to format used in XTR files.- Parameters:
writer
- - The writer- Throws:
IOException
- I/O error
-
traceFormat
public String traceFormat()
Convert to visual format used in simulator.- Returns:
- The trace format
-
getPolyhedron
public Polyhedron getPolyhedron()
-
getVariables
public int[] getVariables()
-
getLocationVector
public abstract AbstractSystemLocation[] getLocationVector()
-
-