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>
-
Packages
PackageExported To ModulesOpened To ModulesDescriptionAll ModulesAll Modules