| 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()().
 1.8.17
 1.8.17