com.uppaal.model.lscsystem

Class SystemInstanceLine

java.lang.Object

com.uppaal.model.lscsystem.SystemInstanceLine

public class SystemInstanceLine
extends Object

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and 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 Detail

SystemInstanceLine

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

Parameters:

process -

instanceLine -

index -

Method Detail

getProcess

public LscProcess getProcess()

getName

public String getName()

getIndex

public int getIndex()

getInstanceLine

public InstanceLine getInstanceLine()