Package com.uppaal.model.system.symbolic
Class SymbolicTransition
- java.lang.Object
-
- com.uppaal.model.system.AbstractTransition
-
- com.uppaal.model.system.symbolic.SymbolicTransition
-
public class SymbolicTransition extends AbstractTransition
The class symbolic transition of the system
-
-
Field Summary
-
Fields inherited from class com.uppaal.model.system.AbstractTransition
edges_ws
-
-
Constructor Summary
Constructors Constructor Description SymbolicTransition(SymbolicState source, SystemEdgeSelect[] edges, SymbolicState target)
ConstructorSymbolicTransition(SymbolicState source, SystemEdgeSelect[] edges, SymbolicState target, String edgeDescription)
Constructor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
getEdgeDescription()
Get the description of the edgeSymbolicState
getSource()
Get the source of the symbolic stateSymbolicState
getTarget()
Get the target of the symbolic stateboolean
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.-
Methods inherited from class com.uppaal.model.system.AbstractTransition
getEdge, getEdges, getSize, getTransitionDescription, setEdges
-
-
-
-
Constructor Detail
-
SymbolicTransition
public SymbolicTransition(SymbolicState source, SystemEdgeSelect[] edges, SymbolicState target)
Constructor- Parameters:
source
- - The source symbolic stateedges
- - The list of the selected edgestarget
- - The target symbolic state
-
SymbolicTransition
public SymbolicTransition(SymbolicState source, SystemEdgeSelect[] edges, SymbolicState target, String edgeDescription)
Constructor- Parameters:
source
- - The source symbolic stateedges
- - The array of the selected edgetarget
- - The target symbolic stateedgeDescription
- - The description of the edge
-
-
Method Detail
-
traceFormat
public String traceFormat()
Convert to visual format used in simulator.- Returns:
- s - The string includes trace format
-
toServerFormat
public String toServerFormat()
Convert to format used to send to server. FIXME: selections values have to be appended (see edge.writeXTRFormat)- Returns:
- buf - The string buffer includes the server format
-
toXTRFormat
public String toXTRFormat()
Convert to format used in XTR files. FIXME: selections values have to be appended (see edge.writeXTRFormat)- Returns:
- sb - The xtr format string
-
writeXTRFormat
public void writeXTRFormat(Writer writer) throws IOException
Convert the selected edge of the system to format used in XTR files.- Parameters:
writer
- - Writing to character streams- Throws:
IOException
-
getSource
public SymbolicState getSource()
Get the source of the symbolic state- Returns:
- source - The source symbolic state
-
getTarget
public SymbolicState getTarget()
Get the target of the symbolic state- Specified by:
getTarget
in classAbstractTransition
- Returns:
- target - The target symbolic state
-
involvesProcess
public boolean involvesProcess(int process)
Is the list of selected edges includes the input process?- Parameters:
process
- - The input process- Returns:
- True - The process index of the edge is equal the input process
-
getEdgeDescription
public String getEdgeDescription()
Get the description of the edge- Returns:
- edgeDescription - The description of the edge
-
-