About AutomataLib :: Serialization

Serialization parent metaproject for various (de-)serialization methods.

Project Modules

This project has declared the following modules:

Name Description
AutomataLib :: Serialization :: Core Generic automata serialization core
AutomataLib :: Serialization :: AUT (De-)Serializers for the AUT Format
AutomataLib :: Serialization :: DOT Serializers for the DOT Format
AutomataLib :: Serialization :: ETF Serializers for LTSmin's Enumerated Table Format
AutomataLib :: Serialization :: FSM Deserializers for the Finite State Machine format
AutomataLib :: Serialization :: SAF (De-)Serializers for the Simple Automaton Format
AutomataLib :: Serialization :: TAF (De-)Serializers for the Textual Automaton Format
AutomataLib :: Serialization :: LearnLibV2 (De-)Serializers for the legacy LearnLibV2 format