CaDiCaL::factor_occs_size Struct Reference

#include <factor.hpp>

Collaboration diagram for CaDiCaL::factor_occs_size:

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

Public Attributes
Internal *	internal

Detailed Description

Definition at line 15 of file factor.hpp.

Constructor & Destructor Documentation

factor_occs_size()

CaDiCaL::factor_occs_size::factor_occs_size ( Internal * i )

inline

Definition at line 17 of file factor.hpp.

: internal (i) {}

Member Function Documentation

operator()()

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

inline

Definition at line 13 of file cadical_factor.cpp.

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

Member Data Documentation

internal

Internal* CaDiCaL::factor_occs_size::internal

Definition at line 16 of file factor.hpp.

---

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

• src/sat/cadical/factor.hpp
• src/sat/cadical/cadical_factor.cpp