Package com.uppaal.model.lscsystem

Class SystemCondition

java.lang.Object

com.uppaal.model.lscsystem.SystemCondition

public class SystemCondition
extends Object

Constructor Summary

Constructors

Constructor	Description
SystemCondition(LscProcess process, int index, String name, Condition condition)

Method Summary

Modifier and Type	Method	Description
Condition	getCondition()
String	getFormatedName()
int	getIndex()
String	getName()
LscProcess	getProcess()
String	getProcessName()

Methods inherited from class java.lang.Object

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

Constructor Detail

SystemCondition

public SystemCondition(LscProcess process,
                       int index,
                       String name,
                       Condition condition)

Method Detail

getProcess

public LscProcess getProcess()

getProcessName

public String getProcessName()

getIndex

public int getIndex()

getName

public String getName()

Returns:

the name

getCondition

public Condition getCondition()

Returns:

the condition

getFormatedName

public String getFormatedName()