CaDiCaL::subsume_less_noccs Struct Reference

Collaboration diagram for CaDiCaL::subsume_less_noccs:

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

Public Attributes
Internal *	internal

Detailed Description

Definition at line 312 of file cadical_subsume.cpp.

Constructor & Destructor Documentation

subsume_less_noccs()

CaDiCaL::subsume_less_noccs::subsume_less_noccs ( Internal * i )

inline

Definition at line 314 of file cadical_subsume.cpp.

: internal (i) {}

Member Function Documentation

operator()()

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

inline

Definition at line 315 of file cadical_subsume.cpp.

                                 {
    const signed char u = internal->val (a), v = internal->val (b);
    if (!u && v)
      return true;
    if (u && !v)
      return false;
    const int64_t m = internal->noccs (a), n = internal->noccs (b);
    if (m < n)
      return true;
    if (m > n)
      return false;
    return abs (a) < abs (b);
  }

Member Data Documentation

internal

Internal* CaDiCaL::subsume_less_noccs::internal

Definition at line 313 of file cadical_subsume.cpp.

---

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

• src/sat/cadical/cadical_subsume.cpp