Package com.uppaal.model

Class AbstractSystemState

java.lang.Object

com.uppaal.model.AbstractSystemState

Direct Known Subclasses:

SystemCut

public abstract class AbstractSystemState
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
AbstractSystemState(int[] v, Polyhedron z)

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object obj)
abstract AbstractSystemLocation[]	getLocationVector()
Polyhedron	getPolyhedron()
int[]	getVariables()
java.lang.String	traceFormat()	Convert to visual format used in simulator.
void	writeServerFormat(java.io.Writer writer)	Convert to format used to send to server.
void	writeXTRFormat(java.io.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(java.io.Writer writer)
                       throws java.io.IOException

Convert to format used to send to server.

Parameters:

writer - - the write

Throws:

java.io.IOException - I/O error

writeXTRFormat

public void writeXTRFormat(java.io.Writer writer)
                    throws java.io.IOException

Convert to format used in XTR files.

Parameters:

writer - - The writer

Throws:

java.io.IOException - I/O error

traceFormat

public java.lang.String traceFormat()

Convert to visual format used in simulator.

Returns:

The trace format

getPolyhedron

public Polyhedron getPolyhedron()

getVariables

public int[] getVariables()

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

getLocationVector

public abstract AbstractSystemLocation[] getLocationVector()