OR-Tools  8.2
DomainDeductions Member List

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

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