12 template <
typename T1,
typename T2>
36 return e1 < e2 ? std::make_pair(e1, e2) : std::make_pair(e2, e1);
std::pair< T, T > make_ordered_pair(T e1, T e2)
automaton pair(const automaton &aut, bool keep_initials)
Bridge.
void hash_combine(std::size_t &seed, const T &v)
size_t operator()(const pair< T1, T2 > &p) const