AbstractTransition (UPPAAL model library)

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

getTarget

public abstract SystemState getTarget()