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