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

Constructor Summary

Constructors

Constructor	Description
PTATransition(S source, @org.checkerframework.checker.index.qual.NonNegative int index)

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

Constructor Detail

PTATransition

public PTATransition(S source,
                     @org.checkerframework.checker.index.qual.NonNegative int index)

Method Detail

getSource

public S getSource()

getIndex

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

getTarget

public @Nullable S getTarget()