SymbolicState (UPPAAL model library)

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(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(Writer writer)`	Writer the server format
`void`	`writeXTRFormat(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 Details
- 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 Details
- writeServerFormat
  
  public void writeServerFormat(Writer writer) throws IOException
  
  Writer the server format
  
  Parameters:
  
  writer - - Writing to character streams
  
  Throws:
  
  IOException
- writeXTRFormat
  
  public void writeXTRFormat(Writer writer) throws IOException
  
  Convert to format used in XTR files.
  
  Parameters:
  
  writer - - Writing to character streams
  
  Throws:
  
  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(Object obj)
  
  Overrides:
  
  equals in class Object