About LearnLib :: Datastructures :: Observationtable

Data- and utility classes for Observation Tables