SystemUpdate (UPPAAL model library)

java.lang.Object
- com.uppaal.model.lscsystem.SystemUpdate

public class SystemUpdate
extends java.lang.Object

Constructor Summary

Constructors
Constructor Description

SystemUpdate(LscProcess process, int index, java.lang.String name, Update update)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`java.lang.String`	`getFormatedName()`
`int`	`getIndex()`
`java.lang.String`	`getName()`
`LscProcess`	`getProcess()`
`java.lang.String`	`getProcessName()`
`Update`	`getUpdate()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SystemUpdate

public SystemUpdate(LscProcess process,
                    int index,
                    java.lang.String name,
                    Update update)

Method Detail

getProcess
```
public LscProcess getProcess()
```

getProcessName

public java.lang.String getProcessName()

getIndex
```
public int getIndex()
```

getName
```
public java.lang.String getName()
```

getFormatedName

public java.lang.String getFormatedName()

getUpdate
```
public Update getUpdate()
```