CaDiCaL::Last Struct Reference

#include <limit.hpp>

Public Member Functions
	Last ()

Public Attributes
struct {
int64_t   propagations
}	transred
struct {
int64_t   ticks
}	sweep
struct {
int64_t   ticks
}	vivify
struct {
int64_t   ticks
}	probe
struct {
int64_t   fixed
int64_t   subsumephases
int64_t   marked
}	elim
struct {
int64_t   reductions
}	inprobe
struct {
int64_t   conflicts
}	reduce
struct {
int64_t   conflicts
}	rephase
struct {
int64_t   ticks
int64_t   marked
}	ternary
struct {
int64_t   fixed
}	collect
struct {
int64_t   marked
int64_t   ticks
}	factor
struct {
int64_t   conflicts
int64_t   ticks
}	stabilize

Detailed Description

Definition at line 88 of file limit.hpp.

Constructor & Destructor Documentation

Last()

CaDiCaL::Last::Last

(

)

Definition at line 24 of file cadical_limit.cpp.

{ memset (this, 0, sizeof *this); }

Here is the call graph for this function:

Member Data Documentation

[struct]

struct { ... } CaDiCaL::Last::collect

conflicts

int64_t CaDiCaL::Last::conflicts

Definition at line 102 of file limit.hpp.

[struct]

struct { ... } CaDiCaL::Last::elim

[struct]

struct { ... } CaDiCaL::Last::factor

fixed

int64_t CaDiCaL::Last::fixed

Definition at line 96 of file limit.hpp.

[struct]

struct { ... } CaDiCaL::Last::inprobe

marked

int64_t CaDiCaL::Last::marked

Definition at line 96 of file limit.hpp.

[struct]

struct { ... } CaDiCaL::Last::probe

propagations

int64_t CaDiCaL::Last::propagations

Definition at line 90 of file limit.hpp.

[struct]

struct { ... } CaDiCaL::Last::reduce

reductions

int64_t CaDiCaL::Last::reductions

Definition at line 99 of file limit.hpp.

[struct]

struct { ... } CaDiCaL::Last::rephase

[struct]

struct { ... } CaDiCaL::Last::stabilize

subsumephases

int64_t CaDiCaL::Last::subsumephases

Definition at line 96 of file limit.hpp.

[struct]

struct { ... } CaDiCaL::Last::sweep

[struct]

struct { ... } CaDiCaL::Last::ternary

ticks

int64_t CaDiCaL::Last::ticks

Definition at line 93 of file limit.hpp.

[struct]

struct { ... } CaDiCaL::Last::transred

[struct]

struct { ... } CaDiCaL::Last::vivify

---

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

• src/sat/cadical/limit.hpp
• src/sat/cadical/cadical_limit.cpp