CaDiCaL::vivify_ref Struct Reference

#include <vivify.hpp>

Collaboration diagram for CaDiCaL::vivify_ref:

Public Attributes
bool	vivify
std::size_t	size
uint64_t	count [COUNTREF_COUNTS]
Clause *	clause

Detailed Description

Definition at line 22 of file vivify.hpp.

Member Data Documentation

clause

Clause* CaDiCaL::vivify_ref::clause

Definition at line 26 of file vivify.hpp.

count

uint64_t CaDiCaL::vivify_ref::count[COUNTREF_COUNTS]

Definition at line 25 of file vivify.hpp.

size

std::size_t CaDiCaL::vivify_ref::size

Definition at line 24 of file vivify.hpp.

vivify

bool CaDiCaL::vivify_ref::vivify

Definition at line 23 of file vivify.hpp.

---

The documentation for this struct was generated from the following file:

• src/sat/cadical/vivify.hpp