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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Condition
getCondition()
String
getFormatedName()
int
getIndex()
String
getName()
LscProcess
getProcess()
String
getProcessName()
-
-
-
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()
-
-