sweeper Struct Reference

Collaboration diagram for sweeper:

Public Attributes
kissat *	solver
unsigned *	depths
unsigned *	reprs
unsigned *	next
unsigned *	prev
unsigned	first
unsigned	last
unsigned	encoded
unsigned	save
unsigneds	vars
references	refs
unsigneds	clause
unsigneds	backbone
unsigneds	partition
unsigneds	core [2]
struct {
uint64_t   ticks
unsigned   clauses
unsigned   depth
unsigned   vars
}	limit

Detailed Description

Definition at line 20 of file sweep.c.

Member Data Documentation

backbone

unsigneds sweeper::backbone

Definition at line 31 of file sweep.c.

clause

unsigneds sweeper::clause

Definition at line 30 of file sweep.c.

clauses

unsigned sweeper::clauses

Definition at line 36 of file sweep.c.

core

unsigneds sweeper::core[2]

Definition at line 33 of file sweep.c.

depth

unsigned sweeper::depth

Definition at line 36 of file sweep.c.

depths

unsigned* sweeper::depths

Definition at line 22 of file sweep.c.

encoded

unsigned sweeper::encoded

Definition at line 26 of file sweep.c.

first

unsigned sweeper::first

Definition at line 25 of file sweep.c.

last

unsigned sweeper::last

Definition at line 25 of file sweep.c.

[struct]

struct { ... } sweeper::limit

next

unsigned* sweeper::next

Definition at line 24 of file sweep.c.

partition

unsigneds sweeper::partition

Definition at line 32 of file sweep.c.

prev

unsigned * sweeper::prev

Definition at line 24 of file sweep.c.

refs

references sweeper::refs

Definition at line 29 of file sweep.c.

reprs

unsigned* sweeper::reprs

Definition at line 23 of file sweep.c.

save

unsigned sweeper::save

Definition at line 27 of file sweep.c.

solver

kissat* sweeper::solver

Definition at line 21 of file sweep.c.

ticks

uint64_t sweeper::ticks

Definition at line 35 of file sweep.c.

vars [1/2]

unsigneds sweeper::vars

Definition at line 28 of file sweep.c.

vars [2/2]

unsigned sweeper::vars

Definition at line 36 of file sweep.c.

---

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

• src/sat/kissat/sweep.c