CaDiCaL::score_smaller Struct Reference

#include <score.hpp>

Collaboration diagram for CaDiCaL::score_smaller:

Public Member Functions
	score_smaller (Internal *i)
bool	operator() (unsigned a, unsigned b)

Public Attributes
Internal *	internal

Detailed Description

Definition at line 10 of file score.hpp.

Constructor & Destructor Documentation

score_smaller()

CaDiCaL::score_smaller::score_smaller ( Internal * i )

inline

Definition at line 12 of file score.hpp.

: internal (i) {}

Here is the caller graph for this function:

Member Function Documentation

operator()()

void bool CaDiCaL::score_smaller::operator() ( unsigned a, unsigned b )

inline

Definition at line 1745 of file internal.hpp.

                                                             {
 
  // Avoid computing twice 'abs' in 'score ()'.
  //
  CADICAL_assert (1 <= a);
  CADICAL_assert (a <= (unsigned) internal->max_var);
  CADICAL_assert (1 <= b);
  CADICAL_assert (b <= (unsigned) internal->max_var);
  double s = internal->stab[a];
  double t = internal->stab[b];
 
  if (s < t)
    return true;
  if (s > t)
    return false;
 
  return a > b;
}

Here is the call graph for this function:

Member Data Documentation

internal

Internal* CaDiCaL::score_smaller::internal

Definition at line 11 of file score.hpp.

---

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

• src/sat/cadical/score.hpp
• src/sat/cadical/internal.hpp