public class SymbolicTransition extends AbstractTransition
edges_ws
Constructor and Description |
---|
SymbolicTransition(SymbolicState source,
SystemEdgeSelect[] edges,
SymbolicState target)
Constructor
|
SymbolicTransition(SymbolicState source,
SystemEdgeSelect[] edges,
SymbolicState target,
String edgeDescription)
Constructor
|
Modifier and Type | Method and Description |
---|---|
String |
getEdgeDescription()
Get the description of the edge
|
SymbolicState |
getSource()
Get the source of the symbolic state
|
SymbolicState |
getTarget()
Get the target of the symbolic state
|
boolean |
involvesProcess(int process)
Is the list of selected edges includes the input 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)
Convert the selected edge of the system to format used in XTR files.
|
getEdge, getEdges, getSize, getTransitionDescription, setEdges
public SymbolicTransition(SymbolicState source, SystemEdgeSelect[] edges, SymbolicState target)
source
- - The source symbolic stateedges
- - The list of the selected edgestarget
- - The target symbolic statepublic SymbolicTransition(SymbolicState source, SystemEdgeSelect[] edges, SymbolicState target, String edgeDescription)
source
- - The source symbolic stateedges
- - The array of the selected edgetarget
- - The target symbolic stateedgeDescription
- - The description of the edgepublic String traceFormat()
public String toServerFormat()
public String toXTRFormat()
public void writeXTRFormat(Writer writer) throws IOException
writer
- - Writing to character streamsIOException
public SymbolicState getSource()
public SymbolicState getTarget()
public boolean involvesProcess(int process)
process
- - The input processpublic String getEdgeDescription()
Copyright © 2014 Uppsala University and Aalborg University. All Rights Reserved.