Collaboration diagram for CaDiCaL::minimize_trail_level_positive_rank:

[legend]

Public Types
typedef uint64_t	Type

Public Member Functions
	minimize_trail_level_positive_rank (Internal *s)

Type	operator() (const int &a) const

Public Attributes
Internal *	internal

Detailed Description

Definition at line 91 of file cadical_minimize.cpp.

Member Typedef Documentation

◆ Type

typedef uint64_t CaDiCaL::minimize_trail_level_positive_rank::Type

Definition at line 94 of file cadical_minimize.cpp.

Constructor & Destructor Documentation

◆ minimize_trail_level_positive_rank()

CaDiCaL::minimize_trail_level_positive_rank::minimize_trail_level_positive_rank ( Internal * s )

inline

Definition at line 93 of file cadical_minimize.cpp.

93: internal (s) {}

CaDiCaL::minimize_trail_level_positive_rank::internal

Internal * internal

Definition cadical_minimize.cpp:92

Member Function Documentation

◆ operator()()

Type CaDiCaL::minimize_trail_level_positive_rank::operator() ( const int & a ) const

inline

Definition at line 95 of file cadical_minimize.cpp.

                                       {
    CADICAL_assert (internal->val (a));
    Var &v = internal->var (a);
    uint64_t res = v.level;
    res <<= 32;
    res |= v.trail;
    return res;
  }

Member Data Documentation

◆ internal

Internal* CaDiCaL::minimize_trail_level_positive_rank::internal

Definition at line 92 of file cadical_minimize.cpp.

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

src/sat/cadical/cadical_minimize.cpp

Public Types

Public Member Functions

Public Attributes