NNF.h File Reference

#include "Negations.h"
#include "aux.h"

Include dependency graph for NNF.h:

Go to the source code of this file.

Namespaces
	carl
	carl is the main namespace for the library.

Functions
template<typename Poly >
Formula< Poly >	carl::to_nnf (const Formula< Poly > &formula)