CaDiCaL::Random Class Reference

#include <random.hpp>

Public Member Functions
	Random ()
	Random (uint64_t seed)
void	operator= (uint64_t seed)
	Random (const Random &other)
void	operator+= (uint64_t a)
uint64_t	seed () const
uint64_t	next ()
uint32_t	generate ()
int	generate_int ()
bool	generate_bool ()
double	generate_double ()
int	pick_int (int l, int r)
int	pick_log (int l, int r)
double	pick_double (double l, double r)

Detailed Description

Definition at line 14 of file random.hpp.

Constructor & Destructor Documentation

Random() [1/3]

CaDiCaL::Random::Random

(

)

Definition at line 219 of file cadical_random.cpp.

                : state (1) {
  add (hash_machine_identifier ());
  add (hash_network_addresses ());
  add (hash_clock_cycles ());
  add (hash_process ());
  add (hash_time ());
#ifdef DO_PRINT_HASH
  printf ("c PRINT_HASH %32s    = %020" PRIu64 "\n", "combined", state);
  fflush (stdout);
#endif
}

Here is the caller graph for this function:

Random() [2/3]

CaDiCaL::Random::Random ( uint64_t seed )

inline

Definition at line 29 of file random.hpp.

: state (seed) {}

Here is the call graph for this function:

Random() [3/3]

CaDiCaL::Random::Random ( const Random & other )

inline

Definition at line 31 of file random.hpp.

: state (other.seed ()) {}

Here is the call graph for this function:

Member Function Documentation

generate()

uint32_t CaDiCaL::Random::generate ( )

inline

Definition at line 43 of file random.hpp.

                       {
    next ();
    return state >> 32;
  }

Here is the call graph for this function:

Here is the caller graph for this function:

generate_bool()

bool CaDiCaL::Random::generate_bool ( )

inline

Definition at line 48 of file random.hpp.

{ return generate () < 2147483648u; }

Here is the call graph for this function:

generate_double()

double CaDiCaL::Random::generate_double ( )

inline

Definition at line 52 of file random.hpp.

{ return generate () / 4294967295.0; }

Here is the call graph for this function:

Here is the caller graph for this function:

generate_int()

int CaDiCaL::Random::generate_int ( )

inline

Definition at line 47 of file random.hpp.

{ return (int) generate (); }

Here is the call graph for this function:

next()

uint64_t CaDiCaL::Random::next ( )

inline

Definition at line 36 of file random.hpp.

                   {
    state *= 6364136223846793005ul;
    state += 1442695040888963407ul;
    CADICAL_assert (state);
    return state;
  }

Here is the caller graph for this function:

operator+=()

void CaDiCaL::Random::operator+= ( uint64_t a )

inline

Definition at line 33 of file random.hpp.

{ add (a); }

operator=()

void CaDiCaL::Random::operator= ( uint64_t seed )

inline

Definition at line 30 of file random.hpp.

{ state = seed; }

Here is the call graph for this function:

pick_double()

double CaDiCaL::Random::pick_double ( double l, double r )

inline

Definition at line 90 of file random.hpp.

                                          {
    CADICAL_assert (l <= r);
    double res = (r - l) * generate_double ();
    res += l;
    CADICAL_assert (l <= res);
    CADICAL_assert (res <= r);
    return res;
  }

Here is the call graph for this function:

pick_int()

int CaDiCaL::Random::pick_int ( int l, int r )

inline

Definition at line 56 of file random.hpp.

                              {
    CADICAL_assert (l <= r);
    const unsigned delta = 1 + r - (unsigned) l;
    unsigned tmp = generate (), scaled;
    if (delta) {
      const double fraction = tmp / 4294967296.0;
      scaled = delta * fraction;
    } else
      scaled = tmp;
    const int res = scaled + l;
    CADICAL_assert (l <= res);
    CADICAL_assert (res <= r);
    return res;
  }

Here is the call graph for this function:

Here is the caller graph for this function:

pick_log()

int CaDiCaL::Random::pick_log ( int l, int r )

inline

Definition at line 71 of file random.hpp.

                              {
    CADICAL_assert (l <= r);
    const unsigned delta = 1 + r - (unsigned) l;
    int log_delta = delta ? 0 : 32;
    while (log_delta < 32 && (1u << log_delta) < delta)
      log_delta++;
    const int log_res = pick_int (0, log_delta);
    unsigned tmp = generate ();
    if (log_res < 32)
      tmp &= (1u << log_res) - 1;
    if (delta)
      tmp %= delta;
    const int res = l + tmp;
    CADICAL_assert (l <= res), CADICAL_assert (res <= r);
    return res;
  }

Here is the call graph for this function:

seed()

uint64_t CaDiCaL::Random::seed ( ) const

inline

Definition at line 34 of file random.hpp.

{ return state; }

Here is the caller graph for this function:

---

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

• src/sat/cadical/random.hpp
• src/sat/cadical/cadical_random.cpp