Module 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. In addition to that, it also defines some fundamental classes for dealing with words of symbols.

This module is provided by the following Maven dependency:

 <dependency>
   <groupId>net.automatalib</groupId>
   <artifactId>automata-api</artifactId>
   <version>${version}</version>
 </dependency>
 

Packages

Package	Exported To Modules	Opened To Modules	Description
net.automatalib.alphabet	All Modules	All Modules	This package contains the basic concepts concerning alphabets.
net.automatalib.automaton	All Modules	All Modules	This package (including sub-packages) contains the basic concepts concerning automata.
net.automatalib.automaton.abstraction	All Modules	All Modules
net.automatalib.automaton.concept	All Modules	All Modules
net.automatalib.automaton.fsa	All Modules	All Modules
net.automatalib.automaton.graph	All Modules	All Modules
net.automatalib.automaton.helper	All Modules	All Modules
net.automatalib.automaton.procedural	All Modules	All Modules
net.automatalib.automaton.simple	All Modules	All Modules
net.automatalib.automaton.transducer	All Modules	All Modules
net.automatalib.automaton.transducer.probabilistic	All Modules	All Modules
net.automatalib.automaton.visualization	All Modules	All Modules
net.automatalib.automaton.vpa	All Modules	All Modules
net.automatalib.exception	All Modules	All Modules
net.automatalib.graph	All Modules	All Modules	This package (including sub-packages) contains the basic concepts concerning graphs.
net.automatalib.graph.ads	All Modules	All Modules
net.automatalib.graph.concept	All Modules	All Modules
net.automatalib.graph.helper	All Modules	All Modules
net.automatalib.graph.visualization	All Modules	All Modules
net.automatalib.modelchecking	All Modules	All Modules
net.automatalib.serialization	All Modules	All Modules	This package (including sub-packages) contains the general concepts for (de-) serializers of the different types of automata, transition systems, and graphs supported by AutomataLib.
net.automatalib.ts	All Modules	All Modules	This package (including sub-packages) contains the basic concepts concerning transition systems.
net.automatalib.ts.acceptor	All Modules	All Modules
net.automatalib.ts.modal	All Modules	All Modules
net.automatalib.ts.modal.transition	All Modules	All Modules
net.automatalib.ts.output	All Modules	All Modules
net.automatalib.ts.powerset	All Modules	All Modules
net.automatalib.ts.simple	All Modules	All Modules
net.automatalib.visualization	All Modules	All Modules	This package contains several concepts for the visualization of the different types of automata, transition systems, and graphs supported by AutomataLib.
net.automatalib.word	All Modules	All Modules	This package contains the basic concepts concerning words.