Package com.uppaal.model.lscsystem

Class SystemInstanceLine

java.lang.Object

com.uppaal.model.lscsystem.SystemInstanceLine

public class SystemInstanceLine
extends Object

Constructor Summary

Constructors

Constructor	Description
SystemInstanceLine(LscProcess process, int index, InstanceLine instanceLine)

Method Summary

Modifier and Type	Method	Description
int	getIndex()
InstanceLine	getInstanceLine()
String	getName()
LscProcess	getProcess()

Methods inherited from class java.lang.Object

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

Constructor Details

SystemInstanceLine

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

Parameters:

process -

instanceLine -

index -

Method Details

getProcess

public LscProcess getProcess()

getName

public String getName()

getIndex

public int getIndex()

getInstanceLine

public InstanceLine getInstanceLine()