public class TrainerLink
extends java.lang.Object
| Constructor and Description |
|---|
TrainerLink(Edge transition,
TrainerToken source,
TrainerToken destination) |
| Modifier and Type | Method and Description |
|---|---|
TrainerToken |
getDestination() |
TrainerToken |
getSource() |
Edge |
getTransition() |
public TrainerLink(Edge transition, TrainerToken source, TrainerToken destination)
public TrainerToken getSource()
public TrainerToken getDestination()
public Edge getTransition()