#include <limit.hpp>

Public Member Functions
	Limit ()

Public Attributes
bool	initialized

int64_t	conflicts

int64_t	decisions

int64_t	preprocessing

int64_t	localsearch

int64_t	compact

int64_t	condition

int64_t	elim

int64_t	flush

int64_t	inprobe

int64_t	reduce

int64_t	rephase

int64_t	report

int64_t	restart

int64_t	stabilize

int	keptsize

int	keptglue

int64_t	recompute_tier

int64_t	rephased [2]

int64_t	elimbound

struct {

int check

int forced

}	terminate

Detailed Description

Definition at line 15 of file limit.hpp.

Constructor & Destructor Documentation

◆ Limit()

CaDiCaL::Limit::Limit ( )

Definition at line 9 of file cadical_limit.cpp.

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

memset

char * memset()

Here is the call graph for this function:

Member Data Documentation

◆ check

int CaDiCaL::Limit::check

Definition at line 48 of file limit.hpp.

◆ compact

int64_t CaDiCaL::Limit::compact

Definition at line 24 of file limit.hpp.

◆ condition

int64_t CaDiCaL::Limit::condition

Definition at line 25 of file limit.hpp.

◆ conflicts

int64_t CaDiCaL::Limit::conflicts

Definition at line 19 of file limit.hpp.

◆ decisions

int64_t CaDiCaL::Limit::decisions

Definition at line 20 of file limit.hpp.

◆ elim

int64_t CaDiCaL::Limit::elim

Definition at line 26 of file limit.hpp.

◆ elimbound

int64_t CaDiCaL::Limit::elimbound

Definition at line 45 of file limit.hpp.

◆ flush

int64_t CaDiCaL::Limit::flush

Definition at line 27 of file limit.hpp.

◆ forced

int CaDiCaL::Limit::forced

Definition at line 49 of file limit.hpp.

◆ initialized

bool CaDiCaL::Limit::initialized

Definition at line 17 of file limit.hpp.

◆ inprobe

int64_t CaDiCaL::Limit::inprobe

Definition at line 28 of file limit.hpp.

◆ keptglue

int CaDiCaL::Limit::keptglue

Definition at line 36 of file limit.hpp.

◆ keptsize

int CaDiCaL::Limit::keptsize

Definition at line 35 of file limit.hpp.

◆ localsearch

int64_t CaDiCaL::Limit::localsearch

Definition at line 22 of file limit.hpp.

◆ preprocessing

int64_t CaDiCaL::Limit::preprocessing

Definition at line 21 of file limit.hpp.

◆ recompute_tier

int64_t CaDiCaL::Limit::recompute_tier

Definition at line 37 of file limit.hpp.

◆ reduce

int64_t CaDiCaL::Limit::reduce

Definition at line 29 of file limit.hpp.

◆ rephase

int64_t CaDiCaL::Limit::rephase

Definition at line 30 of file limit.hpp.

◆ rephased

int64_t CaDiCaL::Limit::rephased[2]

Definition at line 41 of file limit.hpp.

◆ report

int64_t CaDiCaL::Limit::report

Definition at line 31 of file limit.hpp.

◆ restart

int64_t CaDiCaL::Limit::restart

Definition at line 32 of file limit.hpp.

◆ stabilize

int64_t CaDiCaL::Limit::stabilize

Definition at line 33 of file limit.hpp.

◆ [struct]

struct { ... } CaDiCaL::Limit::terminate

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

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

Public Member Functions

Public Attributes