Module net.automatalib.serialization.ba

module net.automatalib.serialization.ba

This module contains (de-) serializers for the BA format. For further information about the BA format, see https://languageinclusion.org/doku.php?id=tools#the_ba_format. Currently, this module supports (de-)serialization of FiniteStateAcceptors.

This module is provided by the following Maven dependency:

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

Packages

Package	Exported To Modules	Opened To Modules	Description
net.automatalib.serialization.ba	All Modules	All Modules