operations_research::sat::DomainDeductions Member List

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

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