#include <satoko.h>

Public Attributes
unsigned	n_starts

unsigned	n_reduce_db

long	n_decisions

long	n_propagations

long	n_propagations_all

long	n_inspects

long	n_conflicts

long	n_conflicts_all

long	n_original_lits

long	n_learnt_lits

Detailed Description

Definition at line 73 of file satoko.h.

Member Data Documentation

◆ n_conflicts

long satoko_stats::n_conflicts

Definition at line 81 of file satoko.h.

◆ n_conflicts_all

long satoko_stats::n_conflicts_all

Definition at line 82 of file satoko.h.

◆ n_decisions

long satoko_stats::n_decisions

Definition at line 77 of file satoko.h.

◆ n_inspects

long satoko_stats::n_inspects

Definition at line 80 of file satoko.h.

◆ n_learnt_lits

long satoko_stats::n_learnt_lits

Definition at line 85 of file satoko.h.

◆ n_original_lits

long satoko_stats::n_original_lits

Definition at line 84 of file satoko.h.

◆ n_propagations

long satoko_stats::n_propagations

Definition at line 78 of file satoko.h.

◆ n_propagations_all

long satoko_stats::n_propagations_all

Definition at line 79 of file satoko.h.

◆ n_reduce_db

unsigned satoko_stats::n_reduce_db

Definition at line 75 of file satoko.h.

◆ n_starts

unsigned satoko_stats::n_starts

Definition at line 74 of file satoko.h.

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

src/sat/satoko/satoko.h

Public Attributes