ClauseWithOneMissingHasher

Detailed Description

Definition at line 210 of file 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()

ClauseWithOneMissingHasher ( absl::BitGenRef  random )

inlineexplicit

Definition at line 212 of file presolve_util.h.

Member Function Documentation

HashOfNegatedLiterals()

uint64_t HashOfNegatedLiterals

(

absl::Span< const int >

literals

)

Definition at line 601 of file presolve_util.cc.

HashWithout()

uint64_t HashWithout ( int  c, int  ref  ) const

inline

Definition at line 220 of file presolve_util.h.

RegisterClause()

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

Definition at line 585 of file presolve_util.cc.

---

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

• presolve_util.h
• presolve_util.cc