public class UppaalLscSystem extends AbstractSystem
clocks, document, variables
Constructor and Description |
---|
UppaalLscSystem() |
UppaalLscSystem(Document aDocument) |
Modifier and Type | Method and Description |
---|---|
void |
addProcess(String processName,
String templateName,
Translator map) |
SystemCondition |
getCondition(int process,
int i) |
SystemInstanceLine |
getInstance(int process,
int i) |
SystemMessage |
getMessage(int process,
int i) |
int |
getNoOfProcesses() |
LscProcess |
getProcess(int process) |
int |
getProcessIndex(String id) |
SystemUpdate |
getUpdate(int process,
int i) |
getClockName, getDocument, getNoOfClocks, getNoOfVariables, getVariableName, setClocks, setVariables
public UppaalLscSystem()
public UppaalLscSystem(Document aDocument)
public void addProcess(String processName, String templateName, Translator map)
addProcess
in class AbstractSystem
public LscProcess getProcess(int process)
public SystemInstanceLine getInstance(int process, int i)
public SystemMessage getMessage(int process, int i)
public SystemCondition getCondition(int process, int i)
public SystemUpdate getUpdate(int process, int i)
public int getNoOfProcesses()
public int getProcessIndex(String id)
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.