CaDiCaL::vivify_better_watch Struct Reference

Collaboration diagram for CaDiCaL::vivify_better_watch:

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

Public Attributes
Internal *	internal

Detailed Description

Definition at line 533 of file cadical_vivify.cpp.

Constructor & Destructor Documentation

vivify_better_watch()

CaDiCaL::vivify_better_watch::vivify_better_watch ( Internal * i )

inline

Definition at line 537 of file cadical_vivify.cpp.

: internal (i) {}

Member Function Documentation

operator()()

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

inline

Definition at line 539 of file cadical_vivify.cpp.

                                 {
 
    const signed char av = internal->val (a), bv = internal->val (b);
 
    if (av >= 0 && bv < 0)
      return true;
    if (av < 0 && bv >= 0)
      return false;
 
    return internal->var (a).trail > internal->var (b).trail;
  }

Member Data Documentation

internal

Internal* CaDiCaL::vivify_better_watch::internal

Definition at line 535 of file cadical_vivify.cpp.

---

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

• src/sat/cadical/cadical_vivify.cpp