Package com.uppaal.model.lscsystem
Class SystemSimregion
- java.lang.Object
-
- com.uppaal.model.AbstractSystemLocation
-
- com.uppaal.model.lscsystem.SystemSimregion
-
public class SystemSimregion extends AbstractSystemLocation
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
getName()
Simregion
getSimregion()
-
Methods inherited from class com.uppaal.model.AbstractSystemLocation
getIndex, getProcess, getProcessName
-
-
-
-
Method Detail
-
getName
public String getName()
- Specified by:
getName
in classAbstractSystemLocation
-
getSimregion
public Simregion getSimregion()
-
-