AutomataLib :: Misc :: Incremental

A library for incremental automata construction. This artifact contains algorithms for incrementally constructing DFAs (both prefix-closed and non-prefix-closed) and Mealy machines from a finite, incrementally growing set of example inputs/outputs.

Homepage POM file JAR file Javadoc

'net.automatalib:automata-incremental:0.3.1-ase2013-tutorial'

<dependency>
	<groupId>net.automatalib</groupId>
	<artifactId>automata-incremental</artifactId>
	<version>0.3.1-ase2013-tutorial</version>
</dependency>

<dependency org="net.automatalib" name="automata-incremental" rev="0.3.1-ase2013-tutorial"/>

"net.automatalib", "automata-incremental", "0.3.1-ase2013-tutorial"

Dependencies

Compile dependencies

net.automatalib » automata-api » 0.3.1-ase2013-tutorial
net.automatalib » automata-commons-smartcollections » 0.3.1-ase2013-tutorial
net.automatalib » automata-commons-util » 0.3.1-ase2013-tutorial
net.automatalib » automata-core » 0.3.1-ase2013-tutorial

Test dependencies

net.automatalib » automata-util » 0.3.1-ase2013-tutorial
org.testng » testng » 6.8