AutomataLib 0.12.1 API

Modules

Module	Description
net.automatalib.api	This module contains the API of AutomataLib, which mainly consists of interfaces for the various concepts and automaton models supported by the AutomataLib core.
net.automatalib.brics	This module contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.
net.automatalib.common.setting	This module contains a collection of utility methods to parse AutomataLib specific settings.
net.automatalib.common.smartcollection	This module contains efficient implementations for various collection data structures.
net.automatalib.common.util	This module contains several useful classes to ease everyday programming.
net.automatalib.core	This module contains concrete implementations for many of the automaton model interfaces defined in the API module.
net.automatalib.incremental	This module contains algorithms for incrementally constructing DFAs (prefix-closed and non-prefix-closed), Mealy machines, and Moore machines from a finite, incrementally growing set of example inputs/outputs.
net.automatalib.modelchecker.ltsmin	This module contains the integration of the model checker LTSmin as described in the paper Sound Black-Box Checking in the LearnLib by Jeroen Meijer and Jaco van de Pol.
net.automatalib.modelchecker.m3c	This module contains the implementation of the model checker presented in the paper M3C: Modal Meta Model Checking by Bernhard Steffen and Alnis Murtovi.
net.automatalib.serialization.aut	This module contains (de-) serializers for the AUT format.
net.automatalib.serialization.ba	This module contains (de-) serializers for the BA format.
net.automatalib.serialization.dot	This module contains (de-) serializers for the DOT format.
net.automatalib.serialization.etf	This module contains serializers for LTSmin's Enumerated Table Format (ETF).
net.automatalib.serialization.fsm	This module contains deserializers for the Finite State Machine (FSM) format as used by LTSmin.
net.automatalib.serialization.learnlibv2	This module contains (de-) serializers for the legacy LearnLibV2 format.
net.automatalib.serialization.saf	This module contains (de-) serializers for the Simple Automaton Format (SAF).
net.automatalib.serialization.taf	This module contains (de-) serializers for the Textual Automaton Format (TAF).
net.automatalib.util	This module contains several utility methods for the different types of automata, transition systems, and graphs supported by AutomataLib.
net.automatalib.visualization.dot	This module contains VisualizationProviders based on the GraphVIZ DOT tool.
net.automatalib.visualization.jung	This module contains a VisualizationProvider based on the JUNG library.