SystemInstanceLine (UPPAAL model library)

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

public class SystemInstanceLine
extends java.lang.Object

Constructor Summary

Constructors
Constructor Description

SystemInstanceLine(LscProcess process, int index, InstanceLine instanceLine)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`getIndex()`
`InstanceLine`	`getInstanceLine()`
`java.lang.String`	`getName()`
`LscProcess`	`getProcess()`

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

Constructor Detail

SystemInstanceLine

public SystemInstanceLine(LscProcess process,
                          int index,
                          InstanceLine instanceLine)

Parameters:: process -; instanceLine -; index -

Method Detail

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

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

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

getInstanceLine
```
public InstanceLine getInstanceLine()
```