CaDiCaL::block_more_occs_size Struct Reference

#include <block.hpp>

Collaboration diagram for CaDiCaL::block_more_occs_size:

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

Public Attributes
Internal *	internal

Detailed Description

Definition at line 14 of file block.hpp.

Constructor & Destructor Documentation

block_more_occs_size()

CaDiCaL::block_more_occs_size::block_more_occs_size ( Internal * i )

inline

Definition at line 16 of file block.hpp.

: internal (i) {}

Member Function Documentation

operator()()

bool CaDiCaL::block_more_occs_size::operator() ( unsigned a, unsigned b )

inline

Definition at line 20 of file cadical_block.cpp.

                                                                    {
  size_t s = internal->noccs (-internal->u2i (a));
  size_t t = internal->noccs (-internal->u2i (b));
  if (s > t)
    return true;
  if (s < t)
    return false;
  s = internal->noccs (internal->u2i (a));
  t = internal->noccs (internal->u2i (b));
  if (s > t)
    return true;
  if (s < t)
    return false;
  return a > b;
}

Member Data Documentation

internal

Internal* CaDiCaL::block_more_occs_size::internal

Definition at line 15 of file block.hpp.

---

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

• src/sat/cadical/block.hpp
• src/sat/cadical/cadical_block.cpp