About LearnLib :: Commons :: Datastructures

Module for data structures shared by multiple learning algorithms of LearnLib