![]() |
Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
|
This is the complete list of members for operations_research::sat::MergeableOccurrenceList< K, V >, including all inherited members.
| ClearList(K key) | operations_research::sat::MergeableOccurrenceList< K, V > | inline |
| MergeableOccurrenceList()=default | operations_research::sat::MergeableOccurrenceList< K, V > | |
| MergeInto(K to_merge, K representative) | operations_research::sat::MergeableOccurrenceList< K, V > | inline |
| operator[](K key) | operations_research::sat::MergeableOccurrenceList< K, V > | inline |
| RemoveFromFutureOutput(V value) | operations_research::sat::MergeableOccurrenceList< K, V > | inline |
| ResetFromTransposeMap(const Container &input, int min_transpose_size=0) | operations_research::sat::MergeableOccurrenceList< K, V > | inline |
| size() const | operations_research::sat::MergeableOccurrenceList< K, V > | inline |