CaDiCaL::analyze_bumped_smaller Struct Reference

Collaboration diagram for CaDiCaL::analyze_bumped_smaller:

Public Member Functions
	analyze_bumped_smaller (Internal *i)
bool	operator() (const int &a, const int &b) const

Public Attributes
Internal *	internal

Detailed Description

Definition at line 167 of file cadical_analyze.cpp.

Constructor & Destructor Documentation

analyze_bumped_smaller()

CaDiCaL::analyze_bumped_smaller::analyze_bumped_smaller ( Internal * i )

inline

Definition at line 169 of file cadical_analyze.cpp.

: internal (i) {}

Member Function Documentation

operator()()

bool CaDiCaL::analyze_bumped_smaller::operator() ( const int & a, const int & b ) const

inline

Definition at line 170 of file cadical_analyze.cpp.

                                                     {
    const auto s = analyze_bumped_rank (internal) (a);
    const auto t = analyze_bumped_rank (internal) (b);
    return s < t;
  }

Member Data Documentation

internal

Internal* CaDiCaL::analyze_bumped_smaller::internal

Definition at line 168 of file cadical_analyze.cpp.

---

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

• src/sat/cadical/cadical_analyze.cpp