SystemSimregion (UPPAAL model library)

java.lang.Object
- com.uppaal.model.AbstractSystemLocation
- - com.uppaal.model.lscsystem.SystemSimregion

public class SystemSimregion
extends AbstractSystemLocation

- Method Summary
  
  Modifier and Type Method Description
  
  String getName()
  
  Simregion getSimregion()
  - Methods inherited from class com.uppaal.model.AbstractSystemLocation
    getIndex, getProcess, getProcessName
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - getName
```
public String getName()
```
    Specified by:
    
    getName in class AbstractSystemLocation
  - getSimregion
```
public Simregion getSimregion()
```