clingo
|
#include <utility.hh>
Public Member Functions | |
bool | operator() (std::pair< T, U > const &a, std::pair< T, U > const &b) const |
bool Gringo::value_equal_to< std::pair< T, U > >::operator() | ( | std::pair< T, U > const & | a, |
std::pair< T, U > const & | b | ||
) | const |