This file declares the Heule and Verwer method that relies on CNF SAT solver. More...

#include "gsjj/passive/CNF/SATCNFMethod.h"
#include "gsjj/passive/MethodFactory.h"

Include dependency graph for HeuleVerwerCNFMethod.h:

This graph shows which files directly or indirectly include this file:

Classes
class	gsjj::passive::CNF::HeuleVerwerCNFMethod
	The Heule and Verwer method. More...

Namespaces
	gsjj
	The namespace of the library.

	gsjj::passive
	Defines the passive methods for automatically learning deterministic finite automata.

	gsjj::passive::CNF
	Contains every method that relies on a SAT solver with CNF clauses.

Detailed Description

This file declares the Heule and Verwer method that relies on CNF SAT solver.

Classes