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

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