CaDiCaL::minimize_trail_positive_rank Struct Reference

Collaboration diagram for CaDiCaL::minimize_trail_positive_rank:

Public Types
typedef unsigned	Type

Public Member Functions
	minimize_trail_positive_rank (Internal *s)
Type	operator() (const int &a) const

Public Attributes
Internal *	internal

Detailed Description

Definition at line 73 of file cadical_minimize.cpp.

Member Typedef Documentation

Type

typedef unsigned CaDiCaL::minimize_trail_positive_rank::Type

Definition at line 76 of file cadical_minimize.cpp.

Constructor & Destructor Documentation

minimize_trail_positive_rank()

CaDiCaL::minimize_trail_positive_rank::minimize_trail_positive_rank ( Internal * s )

inline

Definition at line 75 of file cadical_minimize.cpp.

: internal (s) {}

Member Function Documentation

operator()()

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

inline

Definition at line 77 of file cadical_minimize.cpp.

                                       {
    CADICAL_assert (internal->val (a));
    return (unsigned) internal->var (a).trail;
  }

Member Data Documentation

internal

Internal* CaDiCaL::minimize_trail_positive_rank::internal

Definition at line 74 of file cadical_minimize.cpp.

---

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

• src/sat/cadical/cadical_minimize.cpp