LearnLib/learnlib — pull request #14 by misberner (2014-01-28 15:19:55+00:00)
Title: Algorithm features

Unified, implementation-independent Learning Algorithm feature API (currently including observation table & global suffix management)