Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::InclusionDetector< Storage > Member List

This is the complete list of members for operations_research::sat::InclusionDetector< Storage >, including all inherited members.

AddPotentialSet(int index)operations_research::sat::InclusionDetector< Storage >inline
AddPotentialSubset(int index)operations_research::sat::InclusionDetector< Storage >inline
AddPotentialSuperset(int index)operations_research::sat::InclusionDetector< Storage >inline
DetectInclusions(const std::function< void(int subset, int superset)> &process)operations_research::sat::InclusionDetector< Storage >inline
InclusionDetector(const Storage &storage)operations_research::sat::InclusionDetector< Storage >inlineexplicit
IncreaseWorkDone(uint64_t increase)operations_research::sat::InclusionDetector< Storage >inline
IsInSuperset() constoperations_research::sat::InclusionDetector< Storage >inline
num_potential_subsets() constoperations_research::sat::InclusionDetector< Storage >inline
num_potential_supersets() constoperations_research::sat::InclusionDetector< Storage >inline
Reset()operations_research::sat::InclusionDetector< Storage >inline
SetWorkLimit(uint64_t work_limit)operations_research::sat::InclusionDetector< Storage >inline
Stop()operations_research::sat::InclusionDetector< Storage >inline
StopProcessingCurrentSubset()operations_research::sat::InclusionDetector< Storage >inline
StopProcessingCurrentSuperset()operations_research::sat::InclusionDetector< Storage >inline
work_done() constoperations_research::sat::InclusionDetector< Storage >inline