Package de.learnlib.algorithm.kv

This package (and sub-packages) provides the implementation of the learning algorithm described in the book "An Introduction to Computational Learning Theory" by Michael Kearns and Umesh Vazirani.

Class Summary

Class	Description
StateInfo<I,D>	The information associated with a state: it's access sequence (or access string), and the list of incoming transitions.