CaDiCaL::smaller_pair_first_rank Struct Reference

Public Types
typedef size_t	Type

Public Member Functions
Type	operator() (const LitClausePair &a)

Detailed Description

Definition at line 3963 of file cadical_congruence.cpp.

Member Typedef Documentation

Type

typedef size_t CaDiCaL::smaller_pair_first_rank::Type

Definition at line 3964 of file cadical_congruence.cpp.

Member Function Documentation

operator()()

Type CaDiCaL::smaller_pair_first_rank::operator() ( const LitClausePair & a )

inline

Definition at line 3965 of file cadical_congruence.cpp.

{ return a.current_lit; }

---

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

• src/sat/cadical/cadical_congruence.cpp