#include <clause.h>

Public Attributes
unsigned	glue: LD_MAX_GLUE

bool	garbage: 1

bool	quotient: 1

bool	reason: 1

bool	redundant: 1

bool	shrunken: 1

bool	subsume: 1

bool	swept: 1

bool	vivify: 1

unsigned	used: LD_MAX_USED

unsigned	searched

unsigned	size

unsigned	lits [3]

unsigned	f_learnt: 1

unsigned	f_mark: 1

unsigned	f_reallocd: 1

unsigned	f_deletable: 1

unsigned	lbd: 28

union {

unsigned lit

clause_act_t act

}	data [0]

Detailed Description

Definition at line 22 of file clause.h.

Member Data Documentation

◆ act

clause_act_t clause::act

Definition at line 26 of file clause.h.

◆ [union]

union { ... } clause::data[0]

◆ f_deletable

unsigned clause::f_deletable

Definition at line 21 of file clause.h.

◆ f_learnt

unsigned clause::f_learnt

Definition at line 18 of file clause.h.

◆ f_mark

unsigned clause::f_mark

Definition at line 19 of file clause.h.

◆ f_reallocd

unsigned clause::f_reallocd

Definition at line 20 of file clause.h.

◆ garbage

bool clause::garbage

Definition at line 25 of file clause.h.

◆ glue

unsigned clause::glue

Definition at line 23 of file clause.h.

◆ lbd

unsigned clause::lbd

Definition at line 22 of file clause.h.

◆ lit

unsigned clause::lit

Definition at line 25 of file clause.h.

◆ lits

unsigned clause::lits[3]

Definition at line 39 of file clause.h.

◆ quotient

bool clause::quotient

Definition at line 26 of file clause.h.

◆ reason

bool clause::reason

Definition at line 27 of file clause.h.

◆ redundant

bool clause::redundant

Definition at line 28 of file clause.h.

◆ searched

unsigned clause::searched

Definition at line 36 of file clause.h.

◆ shrunken

bool clause::shrunken

Definition at line 29 of file clause.h.

◆ size

unsigned clause::size

Definition at line 37 of file clause.h.

◆ subsume

bool clause::subsume

Definition at line 30 of file clause.h.

◆ swept

bool clause::swept

Definition at line 31 of file clause.h.

◆ used

unsigned clause::used

Definition at line 34 of file clause.h.

◆ vivify

bool clause::vivify

Definition at line 32 of file clause.h.

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

src/sat/kissat/clause.h
src/sat/satoko/clause.h

Public Attributes