Package com.uppaal.model.lscsystem
Class SystemPrechart
- java.lang.Object
-
- com.uppaal.model.lscsystem.SystemPrechart
-
public class SystemPrechart extends Object
-
-
Constructor Summary
Constructors Constructor Description SystemPrechart(LscProcess process, Prechart prechart)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Prechart
getPrechart()
LscProcess
getProcess()
-
-
-
Constructor Detail
-
SystemPrechart
public SystemPrechart(LscProcess process, Prechart prechart)
- Parameters:
process
- the LSC processprechart
- the pre-chart
-
-
Method Detail
-
getProcess
public LscProcess getProcess()
- Returns:
- the process
-
getPrechart
public Prechart getPrechart()
- Returns:
- the prechart
-
-