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 :: 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 |