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

Methods

Modifier and Type	Method and Description
String	getName()
Simregion	getSimregion()

Methods inherited from class com.uppaal.model.AbstractSystemLocation

getIndex, getProcess

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