Module de.learnlib.datastructure

Package de.learnlib.datastructure.pta

Class PTATransition<S extends AbstractBasePTAState<S,?,?>>

java.lang.Object

de.learnlib.datastructure.pta.PTATransition<S>

public class PTATransition<S extends AbstractBasePTAState<S,?,?>>
extends Object

Method Summary

Modifier and Type	Method	Description
@org.checkerframework.checker.index.qual.NonNegative int	getIndex()
S	getSource()
@Nullable S	getTarget()

Methods inherited from class java.lang.Object

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

Method Detail

getSource

public S getSource()

getIndex

public @org.checkerframework.checker.index.qual.NonNegative int getIndex()

getTarget

public @Nullable S getTarget()