CaDiCaL::Sweeper Struct Reference

#include <sweep.hpp>

Collaboration diagram for CaDiCaL::Sweeper:

Public Member Functions
	Sweeper (Internal *internal)
	~Sweeper ()

Public Attributes
Internal *	internal
Random	random
vector< unsigned >	depths
int *	reprs
vector< int >	next
vector< int >	prev
int	first
int	last
int	blit
unsigned	encoded
unsigned	save
vector< int >	vars
vector< Clause * >	clauses
vector< sweep_blocked_clause >	blocked_clauses
bool	flush_blocked_clauses
vector< int >	blockable
vector< int >	clause
vector< int >	propagate
vector< int >	backbone
vector< int >	partition
vector< bool >	prev_units
vector< sweep_binary >	binaries
vector< sweep_proof_clause >	core [2]
uint64_t	current_ticks
struct {
uint64_t   ticks
unsigned   clauses
unsigned   depth
unsigned   vars
}	limit

Detailed Description

Definition at line 33 of file sweep.hpp.

Constructor & Destructor Documentation

Sweeper()

CaDiCaL::Sweeper::Sweeper

(

Internal *

internal

)

Definition at line 9 of file cadical_sweep.cpp.

    : internal (i), random (internal->opts.seed) {
  random += internal->stats.sweep; // different seed every time
  internal->init_sweeper (*this);
}

~Sweeper()

CaDiCaL::Sweeper::~Sweeper

(

)

Definition at line 15 of file cadical_sweep.cpp.

                   {
  // this is already called actively
  // internal->release_sweeper (this);
  return;
}

Member Data Documentation

backbone

vector<int> CaDiCaL::Sweeper::backbone

Definition at line 51 of file sweep.hpp.

binaries

vector<sweep_binary> CaDiCaL::Sweeper::binaries

Definition at line 54 of file sweep.hpp.

blit

int CaDiCaL::Sweeper::blit

Definition at line 41 of file sweep.hpp.

blockable

vector<int> CaDiCaL::Sweeper::blockable

Definition at line 48 of file sweep.hpp.

blocked_clauses

vector<sweep_blocked_clause> CaDiCaL::Sweeper::blocked_clauses

Definition at line 46 of file sweep.hpp.

clause

vector<int> CaDiCaL::Sweeper::clause

Definition at line 49 of file sweep.hpp.

clauses [1/2]

vector<Clause *> CaDiCaL::Sweeper::clauses

Definition at line 45 of file sweep.hpp.

clauses [2/2]

unsigned CaDiCaL::Sweeper::clauses

Definition at line 59 of file sweep.hpp.

core

vector<sweep_proof_clause> CaDiCaL::Sweeper::core[2]

Definition at line 55 of file sweep.hpp.

current_ticks

uint64_t CaDiCaL::Sweeper::current_ticks

Definition at line 56 of file sweep.hpp.

depth

unsigned CaDiCaL::Sweeper::depth

Definition at line 59 of file sweep.hpp.

depths

vector<unsigned> CaDiCaL::Sweeper::depths

Definition at line 38 of file sweep.hpp.

encoded

unsigned CaDiCaL::Sweeper::encoded

Definition at line 42 of file sweep.hpp.

first

int CaDiCaL::Sweeper::first

Definition at line 41 of file sweep.hpp.

flush_blocked_clauses

bool CaDiCaL::Sweeper::flush_blocked_clauses

Definition at line 47 of file sweep.hpp.

internal

Internal* CaDiCaL::Sweeper::internal

Definition at line 36 of file sweep.hpp.

last

int CaDiCaL::Sweeper::last

Definition at line 41 of file sweep.hpp.

[struct]

struct { ... } CaDiCaL::Sweeper::limit

next

vector<int> CaDiCaL::Sweeper::next

Definition at line 40 of file sweep.hpp.

partition

vector<int> CaDiCaL::Sweeper::partition

Definition at line 52 of file sweep.hpp.

prev

vector<int> CaDiCaL::Sweeper::prev

Definition at line 40 of file sweep.hpp.

prev_units

vector<bool> CaDiCaL::Sweeper::prev_units

Definition at line 53 of file sweep.hpp.

propagate

vector<int> CaDiCaL::Sweeper::propagate

Definition at line 50 of file sweep.hpp.

random

Random CaDiCaL::Sweeper::random

Definition at line 37 of file sweep.hpp.

reprs

int* CaDiCaL::Sweeper::reprs

Definition at line 39 of file sweep.hpp.

save

unsigned CaDiCaL::Sweeper::save

Definition at line 43 of file sweep.hpp.

ticks

uint64_t CaDiCaL::Sweeper::ticks

Definition at line 58 of file sweep.hpp.

vars [1/2]

vector<int> CaDiCaL::Sweeper::vars

Definition at line 44 of file sweep.hpp.

vars [2/2]

unsigned CaDiCaL::Sweeper::vars

Definition at line 59 of file sweep.hpp.

---

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

• src/sat/cadical/sweep.hpp
• src/sat/cadical/cadical_sweep.cpp