CaDiCaL::minimize_trail_smaller Struct Reference

Collaboration diagram for CaDiCaL::minimize_trail_smaller:

Public Member Functions
	minimize_trail_smaller (Internal *s)
bool	operator() (const int &a, const int &b) const

Public Attributes
Internal *	internal

Detailed Description

Definition at line 83 of file cadical_minimize.cpp.

Constructor & Destructor Documentation

minimize_trail_smaller()

CaDiCaL::minimize_trail_smaller::minimize_trail_smaller ( Internal * s )

inline

Definition at line 85 of file cadical_minimize.cpp.

: internal (s) {}

Member Function Documentation

operator()()

bool CaDiCaL::minimize_trail_smaller::operator() ( const int & a, const int & b ) const

inline

Definition at line 86 of file cadical_minimize.cpp.

                                                     {
    return internal->var (a).trail < internal->var (b).trail;
  }

Member Data Documentation

internal

Internal* CaDiCaL::minimize_trail_smaller::internal

Definition at line 84 of file cadical_minimize.cpp.

---

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

• src/sat/cadical/cadical_minimize.cpp