com.uppaal.model.lscsystem.LscProcess

public class LscProcess
extends AbstractProcess

Field Summary

Fields inherited from class com.uppaal.model.AbstractProcess
translator
Constructor Summary

Constructors

Constructor Description

LscProcess(String name, int index, LscTemplate template, Translator translator)
LscProcess constructor

Method Summary

Modifier and Type	Method	Description
`void`	`addCondition(Condition condition)`
`void`	`addInstanceLine(InstanceLine instanceLine)`
`void`	`addMessage(Message message)`
`void`	`addUpdate(Update update)`
`SystemCondition`	`getCondition(int i)`
`ArrayList<SystemCondition>`	`getConditions()`
`SystemInstanceLine`	`getInstanceLine(int i)`
`ArrayList<SystemInstanceLine>`	`getInstanceLines()`
`SystemMessage`	`getMessage(int message)`
`ArrayList<SystemMessage>`	`getMessages()`
`SystemPrechart`	`getPrechart()`
`SystemUpdate`	`getUpdate(int i)`
`ArrayList<SystemUpdate>`	`getUpdates()`
`void`	`setPrechart(Prechart prechart)`

getIndex, getName, getTemplate, getTranslator

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

Class LscProcess