public class UppaalSystem extends AbstractSystem
clocks, document, variables
Constructor and Description |
---|
UppaalSystem(Document aDocument) |
Modifier and Type | Method and Description |
---|---|
void |
addProcess(String processName,
String templateName,
Translator map) |
void |
addProcess(String processName,
String templateName,
Translator parameterMap,
List<Integer> edgeMap) |
SystemEdgeSelect |
createEdgeCon(int process,
int edge,
List<Integer> values) |
SystemEdge |
getEdge(int process,
int edge) |
GanttChart |
getGanttChart() |
SystemLocation |
getLocation(int process,
int loc) |
int |
getNoOfProcesses() |
Process |
getProcess(int process) |
int |
getProcessIndex(String id) |
void |
setGanttChart(GanttChart gc) |
void |
setLscProcess(String processName,
String templateName,
Translator map) |
getClockName, getDocument, getNoOfClocks, getNoOfVariables, getVariableName, setClocks, setVariables
public UppaalSystem(Document aDocument)
public void addProcess(String processName, String templateName, Translator map)
addProcess
in class AbstractSystem
public void addProcess(String processName, String templateName, Translator parameterMap, List<Integer> edgeMap)
public void setLscProcess(String processName, String templateName, Translator map)
public Process getProcess(int process)
public SystemEdge getEdge(int process, int edge)
public SystemLocation getLocation(int process, int loc)
public int getNoOfProcesses()
public int getProcessIndex(String id)
public SystemEdgeSelect createEdgeCon(int process, int edge, List<Integer> values)
public void setGanttChart(GanttChart gc)
public GanttChart getGanttChart()
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.