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.

This module is provided by the following Maven dependency:

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

Packages

Package	Exported To Modules	Opened To Modules	Description
net.automatalib.incremental	All Modules	All Modules
net.automatalib.incremental.dfa	All Modules	All Modules
net.automatalib.incremental.dfa.dag	All Modules	All Modules
net.automatalib.incremental.dfa.tree	All Modules	All Modules
net.automatalib.incremental.mealy	All Modules	All Modules
net.automatalib.incremental.mealy.dag	All Modules	All Modules
net.automatalib.incremental.mealy.tree	All Modules	All Modules
net.automatalib.incremental.moore	All Modules	All Modules
net.automatalib.incremental.moore.dag	All Modules	All Modules
net.automatalib.incremental.moore.tree	All Modules	All Modules