SystemPrechart (UPPAAL model library)

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

Modifier and Type Method Description

Prechart getPrechart()

LscProcess getProcess()

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- SystemPrechart
  
  public SystemPrechart(LscProcess process, Prechart prechart)
  
  Parameters:
  
  process - the LSC process
  
  prechart - the pre-chart
Method Details
- getProcess
  
  public LscProcess getProcess()
  
  Returns:
  
  the process
- getPrechart
  
  public Prechart getPrechart()
  
  Returns:
  
  the prechart