ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
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

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.

3965{ return a.current_lit; }

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