About LearnLib :: Commons :: Settings

A collection of utility methods to parse LearnLib specific settings