HeuleVerwerNonCNFMethod.h File Reference

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

#include "gsjj/passive/NonCNF/SATNonCNFMethod.h"
#include "gsjj/passive/MethodFactory.h"

Include dependency graph for HeuleVerwerNonCNFMethod.h:

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

Go to the source code of this file.

Classes
class	gsjj::passive::NonCNF::HeuleVerwerNonCNFMethod
	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::NonCNF
	Contains every method that relies on a SAT solver that works on any boolean formula.

Detailed Description

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

Definition in file HeuleVerwerNonCNFMethod.h.