com.uppaal.model.lscsystem

Class SystemPrechart

java.lang.Object

com.uppaal.model.lscsystem.SystemPrechart

public class SystemPrechart
extends Object

Constructor Summary

Constructors

Constructor and Description
SystemPrechart(LscProcess process, Prechart prechart)

Method Summary

Modifier and Type	Method and Description
Prechart	getPrechart()
LscProcess	getProcess()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SystemPrechart

public SystemPrechart(LscProcess process,
                      Prechart prechart)

Parameters:

process - the LSC process

prechart - the pre-chart

Method Detail

getProcess

public LscProcess getProcess()

Returns:

the process

getPrechart

public Prechart getPrechart()

Returns:

the prechart