Project Modules
This project has declared the following modules:
| Name | Description |
|---|---|
| AutomataLib :: Serialization :: AUT | (De-)Serializers for the AUT Format |
| AutomataLib :: Serialization :: Core | Generic automata serialization core |
| AutomataLib :: Serialization :: DOT | (De-)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 :: LearnLibV2 | (De-)Serializers for the legacy LearnLibV2 format |
| AutomataLib :: Serialization :: SAF | (De-)Serializers for the Simple Automaton Format |
| AutomataLib :: Serialization :: TAF | (De-)Serializers for the Textual Automaton Format |