com.uppaal.model.system.symbolic

Class SymbolicState

java.lang.Object

com.uppaal.model.system.SystemState

com.uppaal.model.system.symbolic.SymbolicState

public class SymbolicState
extends SystemState

Field Summary

Fields inherited from class com.uppaal.model.system.SystemState

locations

Constructor Summary

Constructors

Constructor and Description
SymbolicState(SystemLocation[] l, int[] v, Polyhedron z)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object obj)
SystemLocation[]	getLocationVector() Deprecated. Replaced by SystemState.getLocations()
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.

Methods inherited from class com.uppaal.model.system.SystemState

getLocations, setLocations

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SymbolicState

public SymbolicState(SystemLocation[] l,
             int[] v,
             Polyhedron z)

Method Detail

writeServerFormat

public void writeServerFormat(Writer writer)
                       throws IOException

Convert to format used to send to server.

Throws:

IOException

writeXTRFormat

public void writeXTRFormat(Writer writer)
                    throws IOException

Convert to format used in XTR files.

Throws:

IOException

traceFormat

public String traceFormat()

Convert to visual format used in simulator.

getLocationVector

public SystemLocation[] getLocationVector()

Deprecated. Replaced by SystemState.getLocations()

getPolyhedron

public Polyhedron getPolyhedron()

getVariables

public int[] getVariables()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object