#include <satoko.h>

Public Attributes
long	conf_limit

long	prop_limit

double	f_rst

double	b_rst

unsigned	fst_block_rst

unsigned	sz_lbd_bqueue

unsigned	sz_trail_bqueue

unsigned	n_conf_fst_reduce

unsigned	inc_reduce

unsigned	inc_special_reduce

unsigned	lbd_freeze_clause

float	learnt_ratio

double	var_decay

float	clause_decay

unsigned	var_act_rescale

act_t	var_act_limit

unsigned	clause_max_sz_bin_resol

unsigned	clause_min_lbd_bin_resol

float	garbage_max_ratio

char	verbose

char	no_simplify

Detailed Description

Definition at line 38 of file satoko.h.

Member Data Documentation

◆ b_rst

double satoko_opts::b_rst

Definition at line 45 of file satoko.h.

◆ clause_decay

float satoko_opts::clause_decay

Definition at line 59 of file satoko.h.

◆ clause_max_sz_bin_resol

unsigned satoko_opts::clause_max_sz_bin_resol

Definition at line 65 of file satoko.h.

◆ clause_min_lbd_bin_resol

unsigned satoko_opts::clause_min_lbd_bin_resol

Definition at line 66 of file satoko.h.

◆ conf_limit

long satoko_opts::conf_limit

Definition at line 40 of file satoko.h.

◆ f_rst

double satoko_opts::f_rst

Definition at line 44 of file satoko.h.

◆ fst_block_rst

unsigned satoko_opts::fst_block_rst

Definition at line 46 of file satoko.h.

◆ garbage_max_ratio

float satoko_opts::garbage_max_ratio

Definition at line 67 of file satoko.h.

◆ inc_reduce

unsigned satoko_opts::inc_reduce

Definition at line 52 of file satoko.h.

◆ inc_special_reduce

unsigned satoko_opts::inc_special_reduce

Definition at line 53 of file satoko.h.

◆ lbd_freeze_clause

unsigned satoko_opts::lbd_freeze_clause

Definition at line 54 of file satoko.h.

◆ learnt_ratio

float satoko_opts::learnt_ratio

Definition at line 55 of file satoko.h.

◆ n_conf_fst_reduce

unsigned satoko_opts::n_conf_fst_reduce

Definition at line 51 of file satoko.h.

◆ no_simplify

char satoko_opts::no_simplify

Definition at line 69 of file satoko.h.

◆ prop_limit

long satoko_opts::prop_limit

Definition at line 41 of file satoko.h.

◆ sz_lbd_bqueue

unsigned satoko_opts::sz_lbd_bqueue

Definition at line 47 of file satoko.h.

◆ sz_trail_bqueue

unsigned satoko_opts::sz_trail_bqueue

Definition at line 48 of file satoko.h.

◆ var_act_limit

act_t satoko_opts::var_act_limit

Definition at line 61 of file satoko.h.

◆ var_act_rescale

unsigned satoko_opts::var_act_rescale

Definition at line 60 of file satoko.h.

◆ var_decay

double satoko_opts::var_decay

Definition at line 58 of file satoko.h.

◆ verbose

char satoko_opts::verbose

Definition at line 68 of file satoko.h.

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

src/sat/satoko/satoko.h

Public Attributes