CaDiCaL::vivify_inversesize_rank Struct Reference

Public Types
typedef uint64_t	Type

Public Member Functions
	vivify_inversesize_rank ()
Type	operator() (const vivify_ref &a) const

Detailed Description

Definition at line 1554 of file cadical_vivify.cpp.

Member Typedef Documentation

Type

typedef uint64_t CaDiCaL::vivify_inversesize_rank::Type

Definition at line 1556 of file cadical_vivify.cpp.

Constructor & Destructor Documentation

vivify_inversesize_rank()

CaDiCaL::vivify_inversesize_rank::vivify_inversesize_rank ( )

inline

Definition at line 1555 of file cadical_vivify.cpp.

{}

Member Function Documentation

operator()()

Type CaDiCaL::vivify_inversesize_rank::operator() ( const vivify_ref & a ) const

inline

Definition at line 1557 of file cadical_vivify.cpp.

{ return ~a.size; }

---

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

• src/sat/cadical/cadical_vivify.cpp