de.learnlib.datastructure.observationtable
de.learnlib.datastructure.observationtable.reader
de.learnlib.datastructure.observationtable.writer
