Package 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	Description
protected SystemEdgeSelect[]	edges_ws

Constructor Summary

Constructors

Constructor	Description
AbstractTransition(SystemEdgeSelect[] edges)

Method Summary

Modifier and Type	Method	Description
SystemEdgeSelect	getEdge(int i)
SystemEdgeSelect[]	getEdges()
int	getSize()
abstract SystemState	getTarget()
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 Details

edges_ws

protected SystemEdgeSelect[] edges_ws

Constructor Details

AbstractTransition

public AbstractTransition(SystemEdgeSelect[] edges)

Method Details

getTransitionDescription

public String getTransitionDescription()

getEdges

public SystemEdgeSelect[] getEdges()

setEdges

public void setEdges(SystemEdgeSelect[] e)

getEdge

public SystemEdgeSelect getEdge(int i)

getSize

public int getSize()

getTarget

public abstract SystemState getTarget()