souffle
2.0.2-371-g6315b36
|
A operation to be utilized by the sparse map when merging elements associated to different values. More...
#include <Brie.h>
Public Member Functions | |
T | operator() (T a, T b) const |
Merges two values a and b when merging spase maps. More... | |
A operation to be utilized by the sparse map when merging elements associated to different values.
|
inline |
Merges two values a and b when merging spase maps.
Definition at line 144 of file Brie.h.
Referenced by souffle::detail::brie::default_factory< T >::operator()().