LearnLib/learnlib — pull request #25 by juangamnik (2014-05-01 19:54:31+00:00)
Title: Additional reuse info

Filtering of symbols in a query that are represented by a "reflexive" edge in a tree.