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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
getIndex()
InstanceLine
getInstanceLine()
String
getName()
LscProcess
getProcess()
-
-
-
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()
-
-