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

Field Summary

Fields inherited from class com.uppaal.model.system.AbstractTransition

edges_ws

Constructor Summary

Constructors

Constructor and Description
SymbolicTransition(SymbolicState source, SystemEdgeSelect[] edges, SymbolicState target)
SymbolicTransition(SymbolicState source, SystemEdgeSelect[] edges, SymbolicState target, String edgeDescription)

Method Summary

Methods

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)

Methods inherited from class com.uppaal.model.system.AbstractTransition

getEdge, getEdges, getSize, getTransitionDescription, setEdges

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SymbolicTransition

public SymbolicTransition(SymbolicState source,
                  SystemEdgeSelect[] edges,
                  SymbolicState target)

SymbolicTransition

public SymbolicTransition(SymbolicState source,
                  SystemEdgeSelect[] edges,
                  SymbolicState target,
                  String edgeDescription)

Method Detail

traceFormat

public String traceFormat()

Convert to visual format used in simulator.

toServerFormat

public String toServerFormat()

Convert to format used to send to server. FIXME: selections values have to be appended (see edge.writeXTRFormat)

toXTRFormat

public String toXTRFormat()

Convert to format used in XTR files. FIXME: selections values have to be appended (see edge.writeXTRFormat)

writeXTRFormat

public void writeXTRFormat(Writer writer)
                    throws IOException

Throws:

IOException

getSource

public SymbolicState getSource()

getTarget

public SymbolicState getTarget()

involvesProcess

public boolean involvesProcess(int process)

getEdgeDescription

public String getEdgeDescription()