UnaryCNFMethod.cpp File Reference

#include "gsjj/passive/CNF/UnaryCNFMethod.h"
#include <iostream>

Include dependency graph for UnaryCNFMethod.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.