vivify.hpp File Reference

#include "global.h"
#include "util.hpp"
#include <array>
#include <cstdint>
#include <vector>

Include dependency graph for vivify.hpp:

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

Go to the source code of this file.

Classes
struct	CaDiCaL::vivify_ref
struct	CaDiCaL::Vivifier

Namespaces
namespace	CaDiCaL

Macros
#define	COUNTREF_COUNTS   2

Enumerations
enum class	CaDiCaL::Vivify_Mode { CaDiCaL::TIER1 , CaDiCaL::TIER2 , CaDiCaL::TIER3 , CaDiCaL::IRREDUNDANT }

Macro Definition Documentation

COUNTREF_COUNTS

#define COUNTREF_COUNTS   2

Definition at line 20 of file vivify.hpp.