Package de.learnlib.algorithm.adt.util
-
Class Summary Class Description ADTUtil Utility class, that offers some operations revolving around adaptive distinguishing sequences.SQOOTBridge<I,O> A utility class that links an observation tree with a symbol query oracle, meaning that all queries to the symbol query oracle will be stored in the observation tree.