sat_solver_t Struct Reference

#include <satSolver.h>

Collaboration diagram for sat_solver_t:

[legend]

Data Fields
int	size
int	cap
int	qhead
int	qtail
vecp	clauses
vecp	learnts
double	var_inc
double	var_decay
float	cla_inc
float	cla_decay
vecp *	wlists
double *	activity
lbool *	assigns
int *	orderpos
clause **	reasons
int *	levels
lit *	trail
clause *	binary
lbool *	tags
veci	tagged
veci	stack
veci	order
veci	trail_lim
veci	model
int	root_level
int	simpdb_assigns
int	simpdb_props
double	random_seed
double	progress_estimate
int	verbosity
stats	stats
sint64	nConfLimit
sint64	nInsLimit
veci	act_vars
double *	factors
int	nRestarts
int	nCalls
int	nCalls2
Sat_MmStep_t *	pMem
int	fSkipSimplify
void *	pStore
FILE *	pFile
int	nClauses
int	nRoots

---

Detailed Description

Definition at line 126 of file satSolver.h.

---

Field Documentation

veci sat_solver_t::act_vars

Definition at line 172 of file satSolver.h.

double* sat_solver_t::activity

Definition at line 144 of file satSolver.h.

lbool* sat_solver_t::assigns

Definition at line 145 of file satSolver.h.

clause* sat_solver_t::binary

Definition at line 151 of file satSolver.h.

int sat_solver_t::cap

Definition at line 129 of file satSolver.h.

float sat_solver_t::cla_decay

Definition at line 141 of file satSolver.h.

float sat_solver_t::cla_inc

Definition at line 140 of file satSolver.h.

vecp sat_solver_t::clauses

Definition at line 134 of file satSolver.h.

double* sat_solver_t::factors

Definition at line 173 of file satSolver.h.

int sat_solver_t::fSkipSimplify

Definition at line 180 of file satSolver.h.

vecp sat_solver_t::learnts

Definition at line 135 of file satSolver.h.

int* sat_solver_t::levels

Definition at line 148 of file satSolver.h.

veci sat_solver_t::model

Definition at line 158 of file satSolver.h.

int sat_solver_t::nCalls

Definition at line 175 of file satSolver.h.

int sat_solver_t::nCalls2

Definition at line 176 of file satSolver.h.

int sat_solver_t::nClauses

Definition at line 187 of file satSolver.h.

sint64 sat_solver_t::nConfLimit

Definition at line 169 of file satSolver.h.

sint64 sat_solver_t::nInsLimit

Definition at line 170 of file satSolver.h.

int sat_solver_t::nRestarts

Definition at line 174 of file satSolver.h.

int sat_solver_t::nRoots

Definition at line 188 of file satSolver.h.

veci sat_solver_t::order

Definition at line 156 of file satSolver.h.

int* sat_solver_t::orderpos

Definition at line 146 of file satSolver.h.

FILE* sat_solver_t::pFile

Definition at line 186 of file satSolver.h.

Sat_MmStep_t* sat_solver_t::pMem

Definition at line 178 of file satSolver.h.

double sat_solver_t::progress_estimate

Definition at line 164 of file satSolver.h.

void* sat_solver_t::pStore

Definition at line 183 of file satSolver.h.

int sat_solver_t::qhead

Definition at line 130 of file satSolver.h.

int sat_solver_t::qtail

Definition at line 131 of file satSolver.h.

double sat_solver_t::random_seed

Definition at line 163 of file satSolver.h.

clause** sat_solver_t::reasons

Definition at line 147 of file satSolver.h.

int sat_solver_t::root_level

Definition at line 160 of file satSolver.h.

int sat_solver_t::simpdb_assigns

Definition at line 161 of file satSolver.h.

int sat_solver_t::simpdb_props

Definition at line 162 of file satSolver.h.

int sat_solver_t::size

Definition at line 128 of file satSolver.h.

veci sat_solver_t::stack

Definition at line 154 of file satSolver.h.

stats sat_solver_t::stats

Definition at line 167 of file satSolver.h.

veci sat_solver_t::tagged

Definition at line 153 of file satSolver.h.

lbool* sat_solver_t::tags

Definition at line 152 of file satSolver.h.

lit* sat_solver_t::trail

Definition at line 149 of file satSolver.h.

veci sat_solver_t::trail_lim

Definition at line 157 of file satSolver.h.

double sat_solver_t::var_decay

Definition at line 139 of file satSolver.h.

double sat_solver_t::var_inc

Definition at line 138 of file satSolver.h.

int sat_solver_t::verbosity

Definition at line 165 of file satSolver.h.

vecp* sat_solver_t::wlists

Definition at line 143 of file satSolver.h.

---

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

• src/sat/bsat/satSolver.h