#include <elim.hpp>

Collaboration diagram for CaDiCaL::elim_more:

[legend]

Public Member Functions
	elim_more (Internal *i)

bool	operator() (unsigned a, unsigned b)

Public Attributes
Internal *	internal

Detailed Description

Definition at line 14 of file elim.hpp.

Constructor & Destructor Documentation

◆ elim_more()

CaDiCaL::elim_more::elim_more ( Internal * i )

inline

Definition at line 16 of file elim.hpp.

16: internal (i) {}

CaDiCaL::elim_more::internal

Internal * internal

Definition elim.hpp:15

Member Function Documentation

◆ operator()()

bool CaDiCaL::elim_more::operator()	(	unsigned	a,
		unsigned	b )

Definition at line 44 of file cadical_elim.cpp.

                                                  {
  const auto s = internal->compute_elim_score (a);
  const auto t = internal->compute_elim_score (b);
  if (s > t)
    return true;
  if (s < t)
    return false;
  return a > b;
}

Member Data Documentation

◆ internal

Internal* CaDiCaL::elim_more::internal

Definition at line 15 of file elim.hpp.

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

src/sat/cadical/elim.hpp
src/sat/cadical/cadical_elim.cpp

Public Member Functions