Package io.github.contractautomata.catlib.converters

The converters package contains the classes for I/O operations (import/export).
The library contains the class AutDataConverter, implementing
the interface AutConverter, for converting
an automaton in a textual format, with extension .data. Class diagram of this package:

Interface Summary

Interface	Description
AutConverter<A1 extends Automaton<?,?,?,?>,A2 extends Automaton<?,?,?,?>>	The interface used to import/export automata.

Class Summary

Class	Description
AutDataConverter<L extends Label<Action>>	This class supports the conversion of an automaton into a textual format, with extension .data.