Module net.automatalib.serialization.dot


module net.automatalib.serialization.dot
This module contains (de-) serializers for the DOT format. For further information about the DOT format, see https://graphviz.org/doc/info/lang.html. Currently, this module supports (de-)serialization of generic UniversalAutomatons (such as DFAs, MealyMachines, and MooreMachines), Graphs, ModalTransitionSystems, MMLTs, and ContextFreeModalProcessSystems.

This module is provided by the following Maven dependency:

 <dependency>
   <groupId>net.automatalib</groupId>
   <artifactId>automata-serialization-dot</artifactId>
   <version>${version}</version>
 </dependency>