This is the complete list of members for DomainDeductions, including all inherited members.

AddDeduction(int literal_ref, int var, Domain domain)	DomainDeductions
ImpliedDomain(int literal_ref, int var) const	DomainDeductions
MarkProcessingAsDoneForNow()	DomainDeductions	inline
NumDeductions() const	DomainDeductions	inline
ProcessClause(absl::Span< const int > clause)	DomainDeductions