AbstractSystemState (UPPAAL model library)

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

Direct Known Subclasses:: SystemCut

public abstract class AbstractSystemState
extends Object

Constructor Summary

Constructors
Constructor Description

AbstractSystemState(int[] v, Polyhedron z)

Method Summary

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.

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.
  
  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()
```
- equals
```
public boolean equals(Object obj)
```
  Overrides:
  
  equals in class Object
- getLocationVector
```
public abstract AbstractSystemLocation[] getLocationVector()
```