BinaryCNFMethod.cpp File Reference

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

#include "gsjj/passive/CNF/BinaryCNFMethod.h"
#include <iostream>
#include <cmath>
#include "MapleCOMSPS_LRB/utils/System.h"
#include "gsjj/binary.h"

Include dependency graph for BinaryCNFMethod.cpp:

Go to the source code of this file.

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 implements the Biermann method that relies on CNF SAT solver.

Definition in file BinaryCNFMethod.cpp.