#include <statistics.h>

Public Attributes
uint64_t	learned

uint64_t	original

uint64_t	cadical_kitten_flip

uint64_t	cadical_kitten_flipped

uint64_t	cadical_kitten_sat

uint64_t	cadical_kitten_solved

uint64_t	cadical_kitten_conflicts

uint64_t	cadical_kitten_decisions

uint64_t	cadical_kitten_propagations

uint64_t	cadical_kitten_ticks

uint64_t	cadical_kitten_unknown

uint64_t	cadical_kitten_unsat

struct {

uint64_t glue [MAX_GLUE_USED+1]

}	used [2]

Detailed Description

Definition at line 114 of file cadical_kitten.c.

Member Data Documentation

◆ cadical_kitten_conflicts

uint64_t statistics::cadical_kitten_conflicts

Definition at line 121 of file cadical_kitten.c.

◆ cadical_kitten_decisions

uint64_t statistics::cadical_kitten_decisions

Definition at line 122 of file cadical_kitten.c.

◆ cadical_kitten_flip

uint64_t statistics::cadical_kitten_flip

Definition at line 117 of file cadical_kitten.c.

◆ cadical_kitten_flipped

uint64_t statistics::cadical_kitten_flipped

Definition at line 118 of file cadical_kitten.c.

◆ cadical_kitten_propagations

uint64_t statistics::cadical_kitten_propagations

Definition at line 123 of file cadical_kitten.c.

◆ cadical_kitten_sat

uint64_t statistics::cadical_kitten_sat

Definition at line 119 of file cadical_kitten.c.

◆ cadical_kitten_solved

uint64_t statistics::cadical_kitten_solved

Definition at line 120 of file cadical_kitten.c.

◆ cadical_kitten_ticks

uint64_t statistics::cadical_kitten_ticks

Definition at line 124 of file cadical_kitten.c.

◆ cadical_kitten_unknown

uint64_t statistics::cadical_kitten_unknown

Definition at line 125 of file cadical_kitten.c.

◆ cadical_kitten_unsat

uint64_t statistics::cadical_kitten_unsat

Definition at line 126 of file cadical_kitten.c.

◆ glue

uint64_t statistics::glue[MAX_GLUE_USED+1]

Definition at line 327 of file statistics.h.

◆ learned

uint64_t statistics::learned

Definition at line 115 of file cadical_kitten.c.

◆ original

uint64_t statistics::original

Definition at line 116 of file cadical_kitten.c.

◆ [struct]

METRICS_COUNTERS_AND_STATISTICS struct { ... } statistics::used[2]

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

src/sat/cadical/cadical_kitten.c
src/sat/kissat/statistics.h

Public Attributes