Uses of Interface
de.learnlib.datastructure.observationtable.MutableObservationTable

Packages that use MutableObservationTable

Package	Description
de.learnlib.datastructure.observationtable

Uses of MutableObservationTable in de.learnlib.datastructure.observationtable

Classes in de.learnlib.datastructure.observationtable that implement MutableObservationTable

Modifier and Type	Class and Description
class	AbstractObservationTable<I,D> Observation table class.
class	GenericObservationTable<I,D> A generic observation table, that implements the classical OT semantics for fully specified systems.
class	PartialObservationTable<I,O> A specialized observation table that creates new long-prefix rows depending on the available input symbols of the corresponding short-prefix row.