public class SymbolicState extends SystemState
locations
Constructor and Description |
---|
SymbolicState(SystemLocation[] l,
int[] v,
Polyhedron z)
Constructor
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
SystemLocation[] |
getLocationVector()
Deprecated.
Replaced by
SystemState.getLocations() |
Polyhedron |
getPolyhedron()
Get the polyhedron
|
int[] |
getVariables()
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.
|
getLocations, setLocations, traceFormat
public SymbolicState(SystemLocation[] l, int[] v, Polyhedron z)
l
- - The array of the system locationv
- - Using to initialization the system variablez
- - The polyhedronpublic void writeServerFormat(Writer writer) throws IOException
writer
- - Writing to character streamsIOException
public void writeXTRFormat(Writer writer) throws IOException
writer
- - Writing to character streamsIOException
public SystemLocation[] getLocationVector()
SystemState.getLocations()
public Polyhedron getPolyhedron()
public int[] getVariables()
Copyright © 2014 Uppsala University and Aalborg University. All Rights Reserved.