limits Struct Reference

#include <kimits.h>

Public Attributes
uint64_t	conflicts
uint64_t	decisions
uint64_t	reports
struct {
uint64_t   count
uint64_t   ticks
uint64_t   conflicts
}	mode
struct {
struct {
uint64_t   eliminate
uint64_t   subsume
}   variables
uint64_t   conflicts
}	eliminate
struct {
uint64_t   marked
}	factor
struct {
uint64_t   conflicts
}	probe
struct {
uint64_t   conflicts
}	randec
struct {
uint64_t   conflicts
}	reduce
struct {
uint64_t   conflicts
}	reorder
struct {
uint64_t   conflicts
}	rephase
struct {
uint64_t   conflicts
}	restart
struct {
uint64_t   conflicts
uint64_t   interval
}	glue

Detailed Description

Definition at line 26 of file kimits.h.

Member Data Documentation

conflicts

uint64_t limits::conflicts

Definition at line 27 of file kimits.h.

count

uint64_t limits::count

Definition at line 32 of file kimits.h.

decisions

uint64_t limits::decisions

Definition at line 28 of file kimits.h.

eliminate [1/2]

uint64_t limits::eliminate

Definition at line 39 of file kimits.h.

[struct] [2/2]

struct { ... } limits::eliminate

[struct]

struct { ... } limits::factor

[struct]

struct { ... } limits::glue

interval

uint64_t limits::interval

Definition at line 55 of file kimits.h.

marked

uint64_t limits::marked

Definition at line 46 of file kimits.h.

[struct]

struct { ... } limits::mode

[struct]

struct { ... } limits::probe

[struct]

struct { ... } limits::randec

[struct]

struct { ... } limits::reduce

[struct]

struct { ... } limits::reorder

[struct]

struct { ... } limits::rephase

reports

uint64_t limits::reports

Definition at line 29 of file kimits.h.

[struct]

struct { ... } limits::restart

subsume

uint64_t limits::subsume

Definition at line 40 of file kimits.h.

ticks

uint64_t limits::ticks

Definition at line 33 of file kimits.h.

[struct]

struct { ... } limits::variables

---

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

• src/sat/kissat/kimits.h