cadical_vivify.cpp File Reference

#include "global.h"
#include "vivify.hpp"
#include "internal.hpp"
#include "util.hpp"
#include <algorithm>
#include <limits>
#include <utility>

Include dependency graph for cadical_vivify.cpp:

Go to the source code of this file.

Classes
struct	CaDiCaL::vivify_more_noccs
struct	CaDiCaL::vivify_more_noccs_kissat
struct	CaDiCaL::vivify_clause_later
struct	CaDiCaL::vivify_flush_smaller
struct	CaDiCaL::vivify_better_watch
struct	CaDiCaL::vivify_refcount_rank
struct	CaDiCaL::vivify_refcount_smaller
struct	CaDiCaL::vivify_inversesize_rank
struct	CaDiCaL::vivify_inversesize_smaller

Namespaces
namespace	CaDiCaL

Functions
vivify_ref	CaDiCaL::create_ref (Internal *internal, Clause *c)
std::vector< vivify_ref > &	CaDiCaL::current_refs_schedule (Vivifier &vivifier)
std::vector< Clause * > &	CaDiCaL::current_schedule (Vivifier &vivifier)
void	CaDiCaL::set_vivifier_mode (Vivifier &vivifier, Vivify_Mode tier)