CaDiCaL::Reluctant Class Reference

#include <reluctant.hpp>

Public Member Functions
	Reluctant ()
void	enable (int p, int64_t l)
void	disable ()
void	tick ()
	operator bool ()

Detailed Description

Definition at line 28 of file reluctant.hpp.

Constructor & Destructor Documentation

Reluctant()

CaDiCaL::Reluctant::Reluctant ( )

inline

Definition at line 35 of file reluctant.hpp.

: period (0), trigger (false) {}

Member Function Documentation

disable()

void CaDiCaL::Reluctant::disable ( )

inline

Definition at line 48 of file reluctant.hpp.

{ period = 0, trigger = false; }

enable()

void CaDiCaL::Reluctant::enable ( int p, int64_t l )

inline

Definition at line 37 of file reluctant.hpp.

                                 {
    CADICAL_assert (p > 0);
    u = v = 1;
    period = countdown = p;
    trigger = false;
    if (l <= 0)
      limited = false;
    else
      limited = true, limit = l;
  };

operator bool()

CaDiCaL::Reluctant::operator bool ( )

inline

Definition at line 76 of file reluctant.hpp.

                   {
    if (!trigger)
      return false;
    trigger = false;
    return true;
  }

tick()

void CaDiCaL::Reluctant::tick ( )

inline

Definition at line 56 of file reluctant.hpp.

               {
 
    if (!period)
      return; // disabled
    if (trigger)
      return; // already triggered
    if (--countdown)
      return; // not there yet
 
    if ((u & -u) == v)
      u = u + 1, v = 1;
    else
      v = 2 * v; // (DK)
 
    if (limited && v >= limit)
      u = v = 1;
    countdown = v * period;
    trigger = true;
  }

---

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

• src/sat/cadical/reluctant.hpp