operations_research::sat::MergeableOccurrenceList< K, V > Class Template Reference

Detailed Description

template<typename K = int, typename V = int>
class operations_research::sat::MergeableOccurrenceList< K, V >

Definition at line 192 of file util.h.

#include <util.h>

Public Member Functions
	MergeableOccurrenceList ()=default
template<typename ValueMapper, typename Container>
void	ResetFromTransposeMap (const Container &input, int min_transpose_size=0)
int	size () const
void	RemoveFromFutureOutput (V value)
absl::Span< const V >	operator[] (K key)
void	MergeInto (K to_merge, K representative)
void	ClearList (K key)

Constructor & Destructor Documentation

MergeableOccurrenceList()

template<typename K = int, typename V = int>

operations_research::sat::MergeableOccurrenceList< K, V >::MergeableOccurrenceList ( )

default

Member Function Documentation

ClearList()

template<typename K = int, typename V = int>

void operations_research::sat::MergeableOccurrenceList< K, V >::ClearList ( K key )

inline

Definition at line 275 of file util.h.

MergeInto()

template<typename K = int, typename V = int>

void operations_research::sat::MergeableOccurrenceList< K, V >::MergeInto ( K to_merge, K representative )

inline

Definition at line 253 of file util.h.

operator[]()

template<typename K = int, typename V = int>

absl::Span< const V > operations_research::sat::MergeableOccurrenceList< K, V >::operator[] ( K key )

inline

Definition at line 216 of file util.h.

RemoveFromFutureOutput()

template<typename K = int, typename V = int>

void operations_research::sat::MergeableOccurrenceList< K, V >::RemoveFromFutureOutput ( V value )

inline

Definition at line 209 of file util.h.

ResetFromTransposeMap()

template<typename K = int, typename V = int>

template<typename ValueMapper, typename Container>

void operations_research::sat::MergeableOccurrenceList< K, V >::ResetFromTransposeMap ( const Container & input, int min_transpose_size = 0 )

inline

Definition at line 197 of file util.h.

size()

template<typename K = int, typename V = int>

int operations_research::sat::MergeableOccurrenceList< K, V >::size ( ) const

inline

Definition at line 206 of file util.h.

---

The documentation for this class was generated from the following file:

• ortools/sat/util.h