operations_research::sat::UniqueClauseStream Member List

This is the complete list of members for operations_research::sat::UniqueClauseStream, including all inherited members.

Add(absl::Span< const int > clause) ABSL_LOCKS_EXCLUDED(mutex_)	operations_research::sat::UniqueClauseStream
CanAccept(int size, int lbd) const	operations_research::sat::UniqueClauseStream
Delete(absl::Span< const int > clause) ABSL_LOCKS_EXCLUDED(mutex_)	operations_research::sat::UniqueClauseStream
FillUpstreamBuffer(UniqueClauseStream &upstream, int clause_size, int max_clauses_to_export) ABSL_LOCKS_EXCLUDED(mutex_)	operations_research::sat::UniqueClauseStream
HashClause(absl::Span< const int > clause, size_t hash_seed=0)	operations_research::sat::UniqueClauseStream	static
kMaxBufferedLiterals	operations_research::sat::UniqueClauseStream	static
kMaxClauseSize	operations_research::sat::UniqueClauseStream	static
kMaxLiteralsPerBatch	operations_research::sat::UniqueClauseStream	static
kMinClauseSize	operations_research::sat::UniqueClauseStream	static
lbd_threshold() const ABSL_LOCKS_EXCLUDED(mutex_)	operations_research::sat::UniqueClauseStream	inline
NextBatch() ABSL_LOCKS_EXCLUDED(mutex_)	operations_research::sat::UniqueClauseStream
NumBufferedLiterals() const ABSL_LOCKS_EXCLUDED(mutex_)	operations_research::sat::UniqueClauseStream
NumBufferedLiteralsOfSize(int size) const ABSL_LOCKS_EXCLUDED(mutex_)	operations_research::sat::UniqueClauseStream	inline
RemoveWorstClauses()	operations_research::sat::UniqueClauseStream
set_lbd_threshold(int lbd) ABSL_LOCKS_EXCLUDED(mutex_)	operations_research::sat::UniqueClauseStream
UniqueClauseStream()	operations_research::sat::UniqueClauseStream
UniqueClauseStream(const UniqueClauseStream &)=delete	operations_research::sat::UniqueClauseStream
UniqueClauseStream(UniqueClauseStream &&)=default	operations_research::sat::UniqueClauseStream