com.uppaal.model.system
Class Process

java.lang.Object
  com.uppaal.model.AbstractProcess
      com.uppaal.model.system.Process

public class Process
extends AbstractProcess

Field Summary

Fields inherited from class com.uppaal.model.AbstractProcess

translator

Method Summary

SystemEdge	getEdge(int edge)
ArrayList<SystemEdge>	getEdges()
SystemLocation	getLocation(int i)
ArrayList<SystemLocation>	getLocations()

Methods inherited from class com.uppaal.model.AbstractProcess

getIndex, getName, getTemplate, getTranslator

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getEdge

public SystemEdge getEdge(int edge)

getEdges

public final ArrayList<SystemEdge> getEdges()

getLocation

public SystemLocation getLocation(int i)

getLocations

public ArrayList<SystemLocation> getLocations()