CaDiCaL::Delay Struct Reference

#include <delay.hpp>

Public Member Functions
	Delay ()
bool	delay ()
void	bump_delay ()
void	reduce_delay ()

Public Attributes
unsigned	count
unsigned	current
struct {
int64_t   interval = 0
int64_t   limit = 0
bool   bypass = 0
}	bumpreasons

Detailed Description

Definition at line 12 of file delay.hpp.

Constructor & Destructor Documentation

Delay()

CaDiCaL::Delay::Delay ( )

inline

Definition at line 16 of file delay.hpp.

: count (0), current (0) {}

Member Function Documentation

bump_delay()

void CaDiCaL::Delay::bump_delay ( )

inline

Definition at line 27 of file delay.hpp.

                     {
    current += current < std::numeric_limits<unsigned>::max ();
    count = current;
  }

delay()

bool CaDiCaL::Delay::delay ( )

inline

Definition at line 18 of file delay.hpp.

                {
    if (count) {
      --count;
      return true;
    } else {
      return false;
    }
  }

reduce_delay()

void CaDiCaL::Delay::reduce_delay ( )

inline

Definition at line 32 of file delay.hpp.

                       {
    if (!current)
      return;
    current /= 2;
    count = current;
  }

Member Data Documentation

[struct]

struct { ... } CaDiCaL::Delay::bumpreasons

bypass

bool CaDiCaL::Delay::bypass = 0

Definition at line 58 of file limit.hpp.

count

unsigned CaDiCaL::Delay::count

Definition at line 13 of file delay.hpp.

current

unsigned CaDiCaL::Delay::current

Definition at line 14 of file delay.hpp.

interval

int64_t CaDiCaL::Delay::interval = 0

Definition at line 57 of file limit.hpp.

limit

int64_t CaDiCaL::Delay::limit = 0

Definition at line 57 of file limit.hpp.

---

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

• src/sat/cadical/delay.hpp
• src/sat/cadical/limit.hpp