Module de.learnlib.algorithm.lsharp

Package de.learnlib.algorithm.lsharp

Class MapTransitions<I,O>

java.lang.Object

de.learnlib.algorithm.lsharp.MapTransitions<I,O>

All Implemented Interfaces:

TransitionInformation<I,O>

public class MapTransitions<I,O>
extends Object
implements TransitionInformation<I,O>

Constructor Summary

Constructors

Constructor	Description
MapTransitions(int inSize)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

MapTransitions

public MapTransitions(int inSize)

Method Details

getOutSucc

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

Specified by:

getOutSucc in interface TransitionInformation<I,O>

addTrans

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

Specified by:

addTrans in interface TransitionInformation<I,O>