sat_solver2_t Struct Reference

#include <satSolver2.h>

Data Fields
int	size
int	cap
int	qhead
int	qtail
int	root_level
double	random_seed
double	progress_estimate
int	verbosity
int	var_inc
int	var_inc2
int	cla_inc
unsigned *	activity
unsigned *	activity2
int	nUnits
int	nof_learnts
int	nLearntMax
int	nLearntStart
int	nLearntDelta
int	nLearntRatio
int	nDBreduces
int	fNotUseRandom
int	fSkipSimplify
int	fProofLogging
int	fVerbose
Sat_Mem_t	Mem
veci *	wlists
veci	act_clas
veci	claProofs
int	iVarPivot
int	iTrailPivot
int	hProofPivot
varinfo2 *	vi
int *	levels
char *	assigns
lit *	trail
int *	orderpos
cla *	reasons
cla *	units
int *	model
veci	tagged
veci	stack
veci	order
veci	trail_lim
veci	temp_clause
veci	conf_final
veci	mark_levels
veci	min_lit_order
veci	min_step_order
veci	learnt_live
Vec_Set_t *	pPrf1
veci	temp_proof
int	hLearntLast
int	hProofLast
Prf_Man_t *	pPrf2
double	dPrfMemory
Int2_Man_t *	pInt2
int	tempInter
stats_t	stats
ABC_INT64_T	nConfLimit
ABC_INT64_T	nInsLimit
abctime	nRuntimeLimit

Detailed Description

Definition at line 90 of file satSolver2.h.

Field Documentation

veci sat_solver2_t::act_clas

Definition at line 131 of file satSolver2.h.

unsigned* sat_solver2_t::activity

Definition at line 112 of file satSolver2.h.

unsigned* sat_solver2_t::activity2

Definition at line 113 of file satSolver2.h.

char* sat_solver2_t::assigns

Definition at line 142 of file satSolver2.h.

int sat_solver2_t::cap

Definition at line 93 of file satSolver2.h.

int sat_solver2_t::cla_inc

Definition at line 111 of file satSolver2.h.

veci sat_solver2_t::claProofs

Definition at line 132 of file satSolver2.h.

veci sat_solver2_t::conf_final

Definition at line 154 of file satSolver2.h.

double sat_solver2_t::dPrfMemory

Definition at line 167 of file satSolver2.h.

int sat_solver2_t::fNotUseRandom

Definition at line 123 of file satSolver2.h.

int sat_solver2_t::fProofLogging

Definition at line 125 of file satSolver2.h.

int sat_solver2_t::fSkipSimplify

Definition at line 124 of file satSolver2.h.

int sat_solver2_t::fVerbose

Definition at line 126 of file satSolver2.h.

int sat_solver2_t::hLearntLast

Definition at line 164 of file satSolver2.h.

int sat_solver2_t::hProofLast

Definition at line 165 of file satSolver2.h.

int sat_solver2_t::hProofPivot

Definition at line 137 of file satSolver2.h.

int sat_solver2_t::iTrailPivot

Definition at line 136 of file satSolver2.h.

int sat_solver2_t::iVarPivot

Definition at line 135 of file satSolver2.h.

veci sat_solver2_t::learnt_live

Definition at line 159 of file satSolver2.h.

int* sat_solver2_t::levels

Definition at line 141 of file satSolver2.h.

veci sat_solver2_t::mark_levels

Definition at line 156 of file satSolver2.h.

Sat_Mem_t sat_solver2_t::Mem

Definition at line 129 of file satSolver2.h.

veci sat_solver2_t::min_lit_order

Definition at line 157 of file satSolver2.h.

veci sat_solver2_t::min_step_order

Definition at line 158 of file satSolver2.h.

int* sat_solver2_t::model

Definition at line 147 of file satSolver2.h.

ABC_INT64_T sat_solver2_t::nConfLimit

Definition at line 173 of file satSolver2.h.

int sat_solver2_t::nDBreduces

Definition at line 122 of file satSolver2.h.

ABC_INT64_T sat_solver2_t::nInsLimit

Definition at line 174 of file satSolver2.h.

int sat_solver2_t::nLearntDelta

Definition at line 120 of file satSolver2.h.

int sat_solver2_t::nLearntMax

Definition at line 118 of file satSolver2.h.

int sat_solver2_t::nLearntRatio

Definition at line 121 of file satSolver2.h.

int sat_solver2_t::nLearntStart

Definition at line 119 of file satSolver2.h.

int sat_solver2_t::nof_learnts

Definition at line 117 of file satSolver2.h.

abctime sat_solver2_t::nRuntimeLimit

Definition at line 175 of file satSolver2.h.

int sat_solver2_t::nUnits

Definition at line 116 of file satSolver2.h.

veci sat_solver2_t::order

Definition at line 151 of file satSolver2.h.

int* sat_solver2_t::orderpos

Definition at line 144 of file satSolver2.h.

Int2_Man_t* sat_solver2_t::pInt2

Definition at line 168 of file satSolver2.h.

Vec_Set_t* sat_solver2_t::pPrf1

Definition at line 162 of file satSolver2.h.

Prf_Man_t* sat_solver2_t::pPrf2

Definition at line 166 of file satSolver2.h.

double sat_solver2_t::progress_estimate

Definition at line 99 of file satSolver2.h.

int sat_solver2_t::qhead

Definition at line 94 of file satSolver2.h.

int sat_solver2_t::qtail

Definition at line 95 of file satSolver2.h.

double sat_solver2_t::random_seed

Definition at line 98 of file satSolver2.h.

cla* sat_solver2_t::reasons

Definition at line 145 of file satSolver2.h.

int sat_solver2_t::root_level

Definition at line 97 of file satSolver2.h.

int sat_solver2_t::size

Definition at line 92 of file satSolver2.h.

veci sat_solver2_t::stack

Definition at line 150 of file satSolver2.h.

stats_t sat_solver2_t::stats

Definition at line 172 of file satSolver2.h.

veci sat_solver2_t::tagged

Definition at line 149 of file satSolver2.h.

veci sat_solver2_t::temp_clause

Definition at line 153 of file satSolver2.h.

veci sat_solver2_t::temp_proof

Definition at line 163 of file satSolver2.h.

int sat_solver2_t::tempInter

Definition at line 169 of file satSolver2.h.

lit* sat_solver2_t::trail

Definition at line 143 of file satSolver2.h.

veci sat_solver2_t::trail_lim

Definition at line 152 of file satSolver2.h.

cla* sat_solver2_t::units

Definition at line 146 of file satSolver2.h.

int sat_solver2_t::var_inc

Definition at line 109 of file satSolver2.h.

int sat_solver2_t::var_inc2

Definition at line 110 of file satSolver2.h.

int sat_solver2_t::verbosity

Definition at line 100 of file satSolver2.h.

varinfo2* sat_solver2_t::vi

Definition at line 140 of file satSolver2.h.

veci* sat_solver2_t::wlists

Definition at line 130 of file satSolver2.h.

---

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

• satSolver2.h