Package de.learnlib.algorithm.lsharp

Interface TransitionInformation<I,O>

All Known Implementing Classes:

MapTransitions

public interface TransitionInformation<I,O>

Method Summary

Modifier and Type	Method	Description
void	addTrans(I input, O output, Integer d)
@Nullable net.automatalib.common.util.Pair<O,Integer>	getOutSucc(I input)

Method Detail

getOutSucc

@Nullable net.automatalib.common.util.Pair<O,Integer> getOutSucc(I input)

addTrans

void addTrans(I input,
              O output,
              Integer d)