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.9.0'

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

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

"de.learnlib", "learnlib-dhc", "0.9.0"

Dependencies

Compile dependencies

de.learnlib » learnlib-core » 0.9.0
de.learnlib » learnlib-counterexamples » 0.9.0
net.automatalib » automata-api » 0.3.0
net.automatalib » automata-core » 0.3.0
net.automatalib » automata-util » 0.3.0

Test dependencies

de.learnlib » learnlib-basic-eqtests » 0.9.0
de.learnlib » learnlib-cache » 0.9.0
de.learnlib » learnlib-simulator » 0.9.0
de.learnlib » learnlib-test-support » 0.9.0
org.testng » testng » 6.8