![]() |
OR-Tools
8.2
|
This is the complete list of members for DomainDeductions, including all inherited members.
AddDeduction(int literal_ref, int var, Domain domain) | DomainDeductions | |
MarkProcessingAsDoneForNow() | DomainDeductions | inline |
NumDeductions() const | DomainDeductions | inline |
ProcessClause(absl::Span< const int > clause) | DomainDeductions |