CaDiCaL::Vivifier Struct Reference

#include <vivify.hpp>

Public Member Functions
	Vivifier (Vivify_Mode mode_tier)
void	erase ()

Public Attributes
std::array< std::vector< vivify_ref >, 4 >	refs_schedules
std::vector< vivify_ref > &	refs_schedule_tier1
std::vector< vivify_ref > &	refs_schedule_tier2
std::vector< vivify_ref > &	refs_schedule_tier3
std::vector< vivify_ref > &	refs_schedule_irred
std::array< std::vector< Clause * >, 4 >	schedules
std::vector< Clause * > &	schedule_tier1
std::vector< Clause * > &	schedule_tier2
std::vector< Clause * > &	schedule_tier3
std::vector< Clause * > &	schedule_irred
std::vector< int >	sorted
Vivify_Mode	tier
char	tag
int	tier1_limit
int	tier2_limit
int64_t	ticks
std::vector< std::tuple< int, Clause *, bool > >	lrat_stack

Detailed Description

Definition at line 32 of file vivify.hpp.

Constructor & Destructor Documentation

Vivifier()

CaDiCaL::Vivifier::Vivifier ( Vivify_Mode mode_tier )

inline

Definition at line 46 of file vivify.hpp.

      : refs_schedule_tier1 (refs_schedules[0]),
        refs_schedule_tier2 (refs_schedules[1]),
        refs_schedule_tier3 (refs_schedules[2]),
        refs_schedule_irred (refs_schedules[3]),
        schedule_tier1 (schedules[0]), schedule_tier2 (schedules[1]),
        schedule_tier3 (schedules[2]), schedule_irred (schedules[3]),
        tier (mode_tier) {}

Member Function Documentation

erase()

void CaDiCaL::Vivifier::erase ( )

inline

Definition at line 55 of file vivify.hpp.

                {
    erase_vector (refs_schedule_tier1);
    erase_vector (refs_schedule_tier2);
    erase_vector (refs_schedule_tier3);
    erase_vector (refs_schedule_irred);
    erase_vector (sorted);
  }

Here is the call graph for this function:

Member Data Documentation

lrat_stack

std::vector<std::tuple<int, Clause *, bool> > CaDiCaL::Vivifier::lrat_stack

Definition at line 45 of file vivify.hpp.

refs_schedule_irred

std::vector<vivify_ref> & CaDiCaL::Vivifier::refs_schedule_irred

Definition at line 35 of file vivify.hpp.

refs_schedule_tier1

std::vector<vivify_ref>& CaDiCaL::Vivifier::refs_schedule_tier1

Definition at line 34 of file vivify.hpp.

refs_schedule_tier2

std::vector<vivify_ref> & CaDiCaL::Vivifier::refs_schedule_tier2

Definition at line 34 of file vivify.hpp.

refs_schedule_tier3

std::vector<vivify_ref> & CaDiCaL::Vivifier::refs_schedule_tier3

Definition at line 35 of file vivify.hpp.

refs_schedules

std::array<std::vector<vivify_ref>, 4> CaDiCaL::Vivifier::refs_schedules

Definition at line 33 of file vivify.hpp.

schedule_irred

std::vector<Clause *> & CaDiCaL::Vivifier::schedule_irred

Definition at line 38 of file vivify.hpp.

schedule_tier1

std::vector<Clause *>& CaDiCaL::Vivifier::schedule_tier1

Definition at line 37 of file vivify.hpp.

schedule_tier2

std::vector<Clause *> & CaDiCaL::Vivifier::schedule_tier2

Definition at line 37 of file vivify.hpp.

schedule_tier3

std::vector<Clause *> & CaDiCaL::Vivifier::schedule_tier3

Definition at line 37 of file vivify.hpp.

schedules

std::array<std::vector<Clause *>, 4> CaDiCaL::Vivifier::schedules

Definition at line 36 of file vivify.hpp.

sorted

std::vector<int> CaDiCaL::Vivifier::sorted

Definition at line 39 of file vivify.hpp.

tag

char CaDiCaL::Vivifier::tag

Definition at line 41 of file vivify.hpp.

ticks

int64_t CaDiCaL::Vivifier::ticks

Definition at line 44 of file vivify.hpp.

tier

Vivify_Mode CaDiCaL::Vivifier::tier

Definition at line 40 of file vivify.hpp.

tier1_limit

int CaDiCaL::Vivifier::tier1_limit

Definition at line 42 of file vivify.hpp.

tier2_limit

int CaDiCaL::Vivifier::tier2_limit

Definition at line 43 of file vivify.hpp.

---

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

• src/sat/cadical/vivify.hpp