Package de.learnlib.datastructure.pta.wrapper

Class Summary

Class	Description
DFAWrapper<S extends AbstractBasePTAState<S,Boolean,Void>,I>
MealyWrapper<S extends AbstractBasePTAState<S,Void,O>,I,O>
MooreWrapper<S extends AbstractBasePTAState<S,O,Void>,I,O>