public class SystemEdgeSelect extends SystemEdge
Constructor and Description |
---|
SystemEdgeSelect(Process process,
int index,
String name,
Edge edge,
List<Integer> v) |
SystemEdgeSelect(SystemEdge system_edge,
List<Integer> select_values) |
Modifier and Type | Method and Description |
---|---|
List<Integer> |
getSelectList() |
boolean |
isTheSame(SystemEdgeSelect e) |
void |
writeXTRFormat(Writer writer) |
getEdge, getFormatedName, getIndex, getName, getProcess, getProcessName
public SystemEdgeSelect(Process process, int index, String name, Edge edge, List<Integer> v)
public SystemEdgeSelect(SystemEdge system_edge, List<Integer> select_values)
public void writeXTRFormat(Writer writer) throws IOException
writeXTRFormat
in class SystemEdge
IOException
public boolean isTheSame(SystemEdgeSelect e)
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.