Package 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

Class representing a state in a system

Field Summary

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

locations

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object obj)
SystemLocation[]	getLocationVector()	Deprecated. Replaced by SystemState.getLocations()
Polyhedron	getPolyhedron()	Get the polyhedron
int[]	getVariableValues()	Get the array of the variable values.
void	writeServerFormat(java.io.Writer writer)	Writer the server format
void	writeXTRFormat(java.io.Writer writer)	Convert to format used in XTR files.

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

getLocations, setLocations, traceFormat

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)

Constructor

Parameters:

l - - The array of the system location

v - - Using to initialization the system variable

z - - The polyhedron

Method Detail

writeServerFormat

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

Writer the server format

Parameters:

writer - - Writing to character streams

Throws:

java.io.IOException

writeXTRFormat

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

Convert to format used in XTR files.

Parameters:

writer - - Writing to character streams

Throws:

java.io.IOException

getLocationVector

public SystemLocation[] getLocationVector()

Deprecated.

Replaced by SystemState.getLocations()

Returns:

returns an array of locations in this state.

getPolyhedron

public Polyhedron getPolyhedron()

Get the polyhedron

Returns:

zone - The polyhedron

getVariableValues

public int[] getVariableValues()

Get the array of the variable values.

Returns:

the array of variables values.

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object