Uses of Package
net.automatalib.serialization.dot

Classes in net.automatalib.serialization.dot used by net.automatalib.serialization.dot

Class	Description
DOTInputModelData	A utility data class, that extends InputModelData by labeling information of the model's states.
DOTInputModelDeserializer	A specialization of the InputModelDeserializer that returns a DOTInputModelData object which holds additional information about the state labels of the de-serialized automaton.
DOTSerializationProvider
DOTVisualizationHelper	Extension to the VisualizationHelper interface for DOT specific methods.