net.automatalib.serialization.etf (AutomataLib 0.12.0 API)

This module contains serializers for LTSmin's Enumerated Table Format (ETF). For further information about the ETF format, see https://ltsmin.utwente.nl/assets/man/etf.html.

This module is provided by the following Maven dependency:

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

- Packages
  
  All Packages Exports Opens
  Package Exported To Modules Opened To Modules Description
  
  net.automatalib.serialization.etf.writer All Modules All Modules

Module net.automatalib.serialization.etf

Packages