com.uppaal.model.system

Class SystemEdgeSelect

java.lang.Object

com.uppaal.model.system.SystemEdge

com.uppaal.model.system.SystemEdgeSelect

public class SystemEdgeSelect
extends SystemEdge

Constructor Summary

Constructors

Constructor and Description
SystemEdgeSelect(Process process, int index, String name, Edge edge, List<Integer> v)
SystemEdgeSelect(SystemEdge system_edge, List<Integer> select_values)

Method Summary

Methods

Modifier and Type	Method and Description
List<Integer>	getSelectList()
boolean	isTheSame(SystemEdgeSelect e)
void	writeXTRFormat(Writer writer)

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

getEdge, getFormatedName, getIndex, getName, getProcess, getProcessName

Methods inherited from class java.lang.Object

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

Constructor Detail

SystemEdgeSelect

public SystemEdgeSelect(Process process,
                int index,
                String name,
                Edge edge,
                List<Integer> v)

SystemEdgeSelect

public SystemEdgeSelect(SystemEdge system_edge,
                List<Integer> select_values)

Method Detail

getSelectList

public List<Integer> getSelectList()

writeXTRFormat

public void writeXTRFormat(Writer writer)
                    throws IOException

Overrides:

writeXTRFormat in class SystemEdge

Throws:

IOException

isTheSame

public boolean isTheSame(SystemEdgeSelect e)