BinaryCNFMethod.h File Reference

This file declares the Biermann method that relies on a CNF SAT solver. More...

#include "bcsat/bc.hh"
#include "gsjj/passive/Method.h"
#include "gsjj/passive/MethodFactory.h"

Include dependency graph for BinaryCNFMethod.h:

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

Go to the source code of this file.

Classes
class	gsjj::passive::CNF::BinaryCNFMethod
	The binary method with a CNF SAT solver. 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 Biermann method that relies on a CNF SAT solver.

Definition in file BinaryCNFMethod.h.