elim.hpp File Reference

#include "global.h"
#include "heap.hpp"

Include dependency graph for elim.hpp:

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

Go to the source code of this file.

Classes
struct	CaDiCaL::elim_more
struct	CaDiCaL::proof_clause
struct	CaDiCaL::Eliminator

Namespaces
namespace	CaDiCaL

Typedefs
typedef heap< elim_more >	CaDiCaL::ElimSchedule

Enumerations
enum	CaDiCaL::GateType {   CaDiCaL::NO = 0 , CaDiCaL::EQUI = 1 , CaDiCaL::AND = 2 , CaDiCaL::ITE = 3 ,   CaDiCaL::XOR = 4 , CaDiCaL::DEF = 5 }