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

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 Details

getName

public String getName()

Specified by:

getName in class AbstractSystemLocation

getSimregion

public Simregion getSimregion()