SystemUpdate (UPPAAL model library)

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

public class SystemUpdate
extends Object

- Constructor Summary
  
  Constructors
  Constructor Description
  
  SystemUpdate(LscProcess process, int index, String name, Update update)
- Method Summary
  
  Modifier and Type Method Description
  
  String getFormatedName()
  
  int getIndex()
  
  String getName()
  
  LscProcess getProcess()
  
  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,
                    String name,
                    Update update)

Method Detail

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

getProcessName
```
public String getProcessName()
```

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

getName
```
public String getName()
```

getFormatedName
```
public String getFormatedName()
```

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