com.uppaal.model.lscsystem
Class SystemInstanceLine

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

public class SystemInstanceLine
extends Object

Constructor Summary

SystemInstanceLine(LscProcess process, int index, InstanceLine instanceLine)

Method Summary

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()