Module net.automatalib.core

This module contains concrete implementations for many of the automaton model interfaces defined in the API module. Additionally, it provides abstract base classes that facilitate implementing new automaton model classes. Note that concrete algorithms (traversal, reachability analysis etc.) are part of the net.automatalib.util module.

This module is provided by the following Maven dependency:

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

Packages

Package	Exported To Modules	Opened To Modules	Description
net.automatalib.alphabet.impl	All Modules	All Modules	Implementations for net.automatalib.alphabet.
net.automatalib.automaton.base	All Modules	All Modules	Basic classes for net.automatalib.automaton implementations.
net.automatalib.automaton.fsa.impl	All Modules	All Modules	Implementations for net.automatalib.automaton.fsa.
net.automatalib.automaton.impl	All Modules	All Modules	Implementations for net.automatalib.automaton.
net.automatalib.automaton.procedural.impl	All Modules	All Modules	Implementations for net.automatalib.automaton.procedural.
net.automatalib.automaton.transducer.impl	All Modules	All Modules	Implementations for net.automatalib.automaton.transducer.
net.automatalib.automaton.transducer.probabilistic.impl	All Modules	All Modules	Implementations for net.automatalib.automaton.transducer.probabilistic.
net.automatalib.automaton.vpa.impl	All Modules	All Modules	Implementations for net.automatalib.automaton.vpa.
net.automatalib.graph.ads.impl	All Modules	All Modules	Implementations for net.automatalib.graph.ads.
net.automatalib.graph.base	All Modules	All Modules	Basic classes for net.automatalib.graph implementations.
net.automatalib.graph.impl	All Modules	All Modules	Implementations for net.automatalib.graph.
net.automatalib.modelchecking.impl	All Modules	All Modules	Implementations for net.automatalib.modelchecking.
net.automatalib.ts.modal.impl	All Modules	All Modules	Implementations for net.automatalib.ts.modal.
net.automatalib.ts.modal.transition.impl	All Modules	All Modules	Implementations for net.automatalib.ts.modal.transition.
net.automatalib.ts.powerset.impl	All Modules	All Modules	Implementations for net.automatalib.ts.powerset.