operations_research::sat::ClauseWithOneMissingHasher Class Reference

Detailed Description

Definition at line 301 of file presolve_util.h.

#include <presolve_util.h>

Public Member Functions
	ClauseWithOneMissingHasher (absl::BitGenRef random)
void	RegisterClause (int c, absl::Span< const int > clause)
uint64_t	HashWithout (int c, int ref) const
uint64_t	HashOfNegatedLiterals (absl::Span< const int > literals)

Constructor & Destructor Documentation

ClauseWithOneMissingHasher()

operations_research::sat::ClauseWithOneMissingHasher::ClauseWithOneMissingHasher ( absl::BitGenRef random )

inlineexplicit

Definition at line 303 of file presolve_util.h.

Member Function Documentation

HashOfNegatedLiterals()

uint64_t operations_research::sat::ClauseWithOneMissingHasher::HashOfNegatedLiterals

(

absl::Span< const int >

literals

)

Definition at line 696 of file presolve_util.cc.

HashWithout()

uint64_t operations_research::sat::ClauseWithOneMissingHasher::HashWithout ( int c, int ref ) const

inline

Definition at line 311 of file presolve_util.h.

RegisterClause()

void operations_research::sat::ClauseWithOneMissingHasher::RegisterClause	(	int	c,
		absl::Span< const int >	clause )

Definition at line 680 of file presolve_util.cc.

---

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

• ortools/sat/presolve_util.h
• ortools/sat/presolve_util.cc