com.uppaal.model.lscsystem
Class SystemCondition

java.lang.Object
  com.uppaal.model.lscsystem.SystemCondition

public class SystemCondition
extends Object

Constructor Summary

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

Method Summary

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()