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