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

Internalinternal
 

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.

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.

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

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: