Constructor and Description |
---|
AbstractSystemState(int[] v,
Polyhedron z) |
Modifier and Type | Method and 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.
|
public AbstractSystemState(int[] v, Polyhedron z)
public void writeServerFormat(Writer writer) throws IOException
IOException
public void writeXTRFormat(Writer writer) throws IOException
IOException
public String traceFormat()
public Polyhedron getPolyhedron()
public int[] getVariables()
public abstract AbstractSystemLocation[] getLocationVector()
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.