com.uppaal.model.AbstractSystemState

public abstract class AbstractSystemState
extends Object

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.

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

Constructor Details
- AbstractSystemState
  
  public AbstractSystemState(int[] v, Polyhedron z)
Method Details
- 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()

Class AbstractSystemState