CaDiCaL::vivify_more_noccs Struct Reference

Collaboration diagram for CaDiCaL::vivify_more_noccs:

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

Public Attributes
Internal *	internal

Detailed Description

Definition at line 306 of file cadical_vivify.cpp.

Constructor & Destructor Documentation

vivify_more_noccs()

CaDiCaL::vivify_more_noccs::vivify_more_noccs ( Internal * i )

inline

Definition at line 310 of file cadical_vivify.cpp.

: internal (i) {}

Member Function Documentation

operator()()

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

inline

Definition at line 312 of file cadical_vivify.cpp.

                                 {
    int64_t n = internal->noccs (a);
    int64_t m = internal->noccs (b);
    if (n > m)
      return true; // larger occurrences / score first
    if (n < m)
      return false; // smaller occurrences / score last
    if (a == -b)
      return a > 0;           // positive literal first
    return abs (a) < abs (b); // smaller index first
  }

Member Data Documentation

internal

Internal* CaDiCaL::vivify_more_noccs::internal

Definition at line 308 of file cadical_vivify.cpp.

---

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

• src/sat/cadical/cadical_vivify.cpp