com.uppaal.model.system

Class AbstractTransition

java.lang.Object

com.uppaal.model.system.AbstractTransition

Direct Known Subclasses:

SymbolicTransition

public abstract class AbstractTransition
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected SystemEdge[]	edges
protected SystemState	target

Constructor Summary

Constructors

Constructor and Description
AbstractTransition()

Method Summary

Methods

Modifier and Type	Method and Description
String	getEdgeDescription()
SystemEdge[]	getEdges()
SystemState	getTarget()
void	setEdges(SystemEdge[] e)
void	setTarget(SystemState t)

Methods inherited from class java.lang.Object

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

Field Detail

edges

protected SystemEdge[] edges

target

protected SystemState target

Constructor Detail

AbstractTransition

public AbstractTransition()

Method Detail

getEdgeDescription

public String getEdgeDescription()

getTarget

public SystemState getTarget()

setTarget

public void setTarget(SystemState t)

getEdges

public SystemEdge[] getEdges()

setEdges

public void setEdges(SystemEdge[] e)