CaDiCaL::congruence_occurrences_larger Struct Reference

Collaboration diagram for CaDiCaL::congruence_occurrences_larger:

Public Member Functions
	congruence_occurrences_larger (Internal *s)
bool	operator() (const int &a, const int &b) const

Public Attributes
Internal *	internal

Detailed Description

Definition at line 3216 of file cadical_congruence.cpp.

Constructor & Destructor Documentation

congruence_occurrences_larger()

CaDiCaL::congruence_occurrences_larger::congruence_occurrences_larger ( Internal * s )

inline

Definition at line 3218 of file cadical_congruence.cpp.

: internal (s) {}

Member Function Documentation

operator()()

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

inline

Definition at line 3219 of file cadical_congruence.cpp.

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

Member Data Documentation

internal

Internal* CaDiCaL::congruence_occurrences_larger::internal

Definition at line 3217 of file cadical_congruence.cpp.

---

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

• src/sat/cadical/cadical_congruence.cpp