com.uppaal.model
Class AbstractSystemState

java.lang.Object
  com.uppaal.model.AbstractSystemState

Direct Known Subclasses:

SystemCut, SystemState

public abstract class AbstractSystemState
extends Object

Constructor Summary

AbstractSystemState(int[] v, Polyhedron z)

Method Summary

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.

Methods inherited from class java.lang.Object

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

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.

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.

getPolyhedron

public Polyhedron getPolyhedron()

getVariables

public int[] getVariables()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getLocationVector

public abstract AbstractSystemLocation[] getLocationVector()