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

This module contains deserializers for the Finite State Machine (FSM) format as used by LTSmin. For further information about the FSM format, see the mcrl2 documentation.

Note that this format differs from the identically named FSM format of libfsm.

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