CaDiCaL::sort_literals_by_var_smaller Struct Reference

Collaboration diagram for CaDiCaL::sort_literals_by_var_smaller:

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

Public Attributes
CaDiCaL::Internal *	internal

Detailed Description

Definition at line 386 of file cadical_congruence.cpp.

Constructor & Destructor Documentation

sort_literals_by_var_smaller()

CaDiCaL::sort_literals_by_var_smaller::sort_literals_by_var_smaller ( Internal * i )

inline

Definition at line 388 of file cadical_congruence.cpp.

: internal (i) {}

Member Function Documentation

operator()()

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

inline

Definition at line 389 of file cadical_congruence.cpp.

                                                     {
    return sort_literals_by_var_rank (internal) (a) <
           sort_literals_by_var_rank (internal) (b);
  }

Member Data Documentation

internal

CaDiCaL::Internal* CaDiCaL::sort_literals_by_var_smaller::internal

Definition at line 387 of file cadical_congruence.cpp.

---

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

• src/sat/cadical/cadical_congruence.cpp