public class SymbolicState extends SystemState
locations
Constructor and Description |
---|
SymbolicState(SystemLocation[] l,
int[] v,
Polyhedron z) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
SystemLocation[] |
getLocationVector()
Deprecated.
Replaced by
SystemState.getLocations() |
Polyhedron |
getPolyhedron() |
int[] |
getVariables() |
void |
writeServerFormat(Writer writer)
Convert to format used to send to server.
|
void |
writeXTRFormat(Writer writer)
Convert to format used in XTR files.
|
getLocations, setLocations, traceFormat
public SymbolicState(SystemLocation[] l, int[] v, Polyhedron z)
public void writeServerFormat(Writer writer) throws IOException
IOException
public void writeXTRFormat(Writer writer) throws IOException
IOException
public SystemLocation[] getLocationVector()
SystemState.getLocations()
public Polyhedron getPolyhedron()
public int[] getVariables()
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.