Logic.h File Reference

#include <iostream>

Include dependency graph for Logic.h:

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

Go to the source code of this file.

Namespaces
	carl
	carl is the main namespace for the library.

Enumerations
enum class	carl::Logic {   carl::QF_BV , carl::QF_IDL , carl::QF_LIA , carl::QF_LIRA ,   carl::QF_LRA , carl::QF_NIA , carl::QF_NIRA , carl::QF_NRA ,   carl::QF_PB , carl::QF_RDL , carl::QF_UF , carl::NRA ,   carl::LRA , carl::UNDEFINED }

Functions
std::ostream &	carl::operator<< (std::ostream &os, const Logic &l)