CaDiCaL::vivify_more_noccs_kissat Struct Reference

Collaboration diagram for CaDiCaL::vivify_more_noccs_kissat:

Public Member Functions
	vivify_more_noccs_kissat (Internal *i)
bool	operator() (int a, int b)

Public Attributes
Internal *	internal

Detailed Description

Definition at line 325 of file cadical_vivify.cpp.

Constructor & Destructor Documentation

vivify_more_noccs_kissat()

CaDiCaL::vivify_more_noccs_kissat::vivify_more_noccs_kissat ( Internal * i )

inline

Definition at line 329 of file cadical_vivify.cpp.

: internal (i) {}

Member Function Documentation

operator()()

bool CaDiCaL::vivify_more_noccs_kissat::operator() ( int a, int b )

inline

Definition at line 331 of file cadical_vivify.cpp.

                                 {
    unsigned t = internal->noccs (a);
    unsigned s = internal->noccs (b);
    return ((t - s) | ((b - a) & ~(s - t))) >> 31;
  }

Member Data Documentation

internal

Internal* CaDiCaL::vivify_more_noccs_kissat::internal

Definition at line 327 of file cadical_vivify.cpp.

---

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

• src/sat/cadical/cadical_vivify.cpp