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

This module contains deserializers for LTSmin's Finite State Machine (FSM) format. For further information about the FSM format, see https://www.win.tue.nl/vis1/home/apretori/data/fsm.html.

This module is provided by the following Maven dependency:

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

- Packages
  
  All Packages Exports Opens
  Package Exported To Modules Opened To Modules Description
  
  net.automatalib.serialization.fsm.parser All Modules All Modules

Module net.automatalib.serialization.fsm

Packages