Clingo
|
Comparison operator for arrays of dynamic but fixed size. More...
#include <hash.hh>
Public Member Functions | |
array_equal_to (size_t size) | |
Initialize with the given size. | |
template<class T > | |
auto | operator() (T const *a, T const *b) const -> bool |
Compare two symbols arrays. | |
Comparison operator for arrays of dynamic but fixed size.
The size must be given upon construction.