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