Module net.automatalib.api

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.mmlt	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.semantic	All Modules	All Modules	This package introduces the concept of semantics which allow one to distinguish between the structural and semantic interpretations of transition systems and automata using the same type definitions.
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.symbol.time	All Modules	All Modules
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.concept	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.