Clingo
Loading...
Searching...
No Matches
CppClingo::Util::array_equal_to Struct Reference

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.
 

Detailed Description

Comparison operator for arrays of dynamic but fixed size.

The size must be given upon construction.


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