com.uppaal.model.system

Class AbstractTransition

java.lang.Object

com.uppaal.model.system.AbstractTransition

Direct Known Subclasses:

ConcreteTransition, ConcreteTransitionRecord, SymbolicTransition

public abstract class AbstractTransition
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected SystemEdgeSelect[]	edges_ws

Constructor Summary

Constructors

Constructor and Description
AbstractTransition(SystemEdgeSelect[] edges)

Method Summary

Modifier and Type	Method and Description
SystemEdgeSelect	getEdge(int i)
SystemEdgeSelect[]	getEdges()
int	getSize()
String	getTransitionDescription()
void	setEdges(SystemEdgeSelect[] e)

Methods inherited from class java.lang.Object

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

Field Detail

edges_ws

protected SystemEdgeSelect[] edges_ws

Constructor Detail

AbstractTransition

public AbstractTransition(SystemEdgeSelect[] edges)

Method Detail

getTransitionDescription

public String getTransitionDescription()

getEdges

public SystemEdgeSelect[] getEdges()

setEdges

public void setEdges(SystemEdgeSelect[] e)

getEdge

public SystemEdgeSelect getEdge(int i)

getSize

public int getSize()