LearnLib :: Algorithms :: DHC

The Direct Hypothesis Construction algorithm for active learning of Mealy machines

Homepage POM file JAR file Javadoc

'de.learnlib:learnlib-dhc:0.12.0'

<dependency>
	<groupId>de.learnlib</groupId>
	<artifactId>learnlib-dhc</artifactId>
	<version>0.12.0</version>
</dependency>

<dependency org="de.learnlib" name="learnlib-dhc" rev="0.12.0"/>

"de.learnlib", "learnlib-dhc", "0.12.0"

Dependencies

Compile dependencies

com.google.guava » guava » 18.0
de.learnlib » learnlib-algorithm-features » 0.12.0
de.learnlib » learnlib-core » 0.12.0
de.learnlib » learnlib-counterexamples » 0.12.0
net.automatalib » automata-api » 0.6.0
net.automatalib » automata-core » 0.6.0
net.automatalib » automata-util » 0.6.0

Provided dependencies

com.github.misberner.buildergen » buildergen » 0.1

Test dependencies

de.learnlib » learnlib-basic-eqtests » 0.12.0
de.learnlib » learnlib-simulator » 0.12.0
de.learnlib.testsupport » learnlib-learner-it-support » 0.12.0
de.learnlib.testsupport » learnlib-learning-examples » 0.12.0
org.testng » testng » 6.8.8