de.learnlib.datastructure.pta.pta

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

java.lang.Object

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

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

Constructor Summary

Constructors

Constructor and Description
PTATransition(S source, int index)

Method Summary

Modifier and Type	Method and Description
int	getIndex()
S	getSource()
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(@Nonnull
                     S source,
                     @Nonnegative
                     int index)

Method Detail

getSource

@Nonnull
public S getSource()

getIndex

@Nonnegative
public int getIndex()

getTarget

@Nullable
public S getTarget()