LearnLib/learnlib — pull request #17 by stovocor (2014-02-06 10:22:32+00:00)
Title: ObservationTable Serialization

OTUtils are now able to store the state of an ObservationTable in a String and read it afterwards to create another ObservationTable. The current implementation only stores the suffixes.