com.uppaal.model.lscsystem

Class UppaalLscSystem

java.lang.Object

com.uppaal.model.AbstractSystem

com.uppaal.model.lscsystem.UppaalLscSystem

public class UppaalLscSystem
extends AbstractSystem

Field Summary

Fields inherited from class com.uppaal.model.AbstractSystem

clocks, document, variables

Constructor Summary

Constructors

Constructor and Description
UppaalLscSystem()
UppaalLscSystem(Document aDocument)

Method Summary

Methods

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)

Methods inherited from class com.uppaal.model.AbstractSystem

getClockName, getDocument, getNoOfClocks, getNoOfVariables, getVariableName, setClocks, setVariables

Methods inherited from class java.lang.Object

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

Constructor Detail

UppaalLscSystem

public UppaalLscSystem()

UppaalLscSystem

public UppaalLscSystem(Document aDocument)

Method Detail

addProcess

public void addProcess(String processName,
              String templateName,
              Translator map)

Specified by:

addProcess in class AbstractSystem

getProcess

public LscProcess getProcess(int process)

getInstance

public SystemInstanceLine getInstance(int process,
                             int i)

getMessage

public SystemMessage getMessage(int process,
                       int i)

getCondition

public SystemCondition getCondition(int process,
                           int i)

getUpdate

public SystemUpdate getUpdate(int process,
                     int i)

getNoOfProcesses

public int getNoOfProcesses()

getProcessIndex

public int getProcessIndex(String id)