public class Transition extends Object
Constructor and Description |
---|
Transition(SymbolicState source,
SystemEdge[] edges,
SymbolicState target) |
Transition(SymbolicState source,
SystemEdge[] edges,
SymbolicState target,
String edgeDescription) |
Modifier and Type | Method and Description |
---|---|
SystemEdge |
getEdge(int i) |
String |
getEdgeDescription() |
SystemEdge[] |
getEdges() |
int |
getSize() |
SymbolicState |
getSource() |
SymbolicState |
getTarget() |
boolean |
involvesProcess(int process) |
String |
toServerFormat()
Convert to format used to send to server.
|
String |
traceFormat()
Convert to visual format used in simulator.
|
void |
writeXTRFormat(Writer writer)
Convert to format used in XTR files.
|
public Transition(SymbolicState source, SystemEdge[] edges, SymbolicState target)
public Transition(SymbolicState source, SystemEdge[] edges, SymbolicState target, String edgeDescription)
public String traceFormat()
public String toServerFormat()
public void writeXTRFormat(Writer writer) throws IOException
IOException
public SymbolicState getSource()
public SymbolicState getTarget()
public SystemEdge[] getEdges()
public SystemEdge getEdge(int i)
public int getSize()
public boolean involvesProcess(int process)
public String getEdgeDescription()
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.