CaDiCaL::smaller_clause_size_rank Struct Reference

#include <congruence.hpp>

Public Types
typedef size_t	Type

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

Detailed Description

Definition at line 162 of file congruence.hpp.

Member Typedef Documentation

Type

typedef size_t CaDiCaL::smaller_clause_size_rank::Type

Definition at line 163 of file congruence.hpp.

Member Function Documentation

operator()()

Type CaDiCaL::smaller_clause_size_rank::operator() ( const ClauseSize & a )

inline

Definition at line 164 of file congruence.hpp.

{ return a.size; }

---

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

• src/sat/cadical/congruence.hpp