Module de.learnlib.algorithm.lsharp

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 Pair<O,Integer>	getOutSucc(I input)

Method Details

getOutSucc

@Nullable Pair<O,Integer> getOutSucc(I input)

addTrans

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