17 #ifndef AWALI_MISC_PAIR_HH
18 # define AWALI_MISC_PAIR_HH
30 template <
typename T1,
typename T2>
44 namespace awali {
namespace sttc {
54 return e1 < e2 ? std::make_pair(e1, e2) : std::make_pair(e2, e1);
std::pair< T, T > make_ordered_pair(T e1, T e2)
Definition: pair.hh:52
pair_automaton< Aut > pair(const Aut &aut, bool keep_initials=false)
Definition: synchronizing_word.hh:266
Main namespace of Awali.
Definition: ato.hh:22
size_t operator()(const pair< T1, T2 > &p) const
Definition: pair.hh:33
void hash_combine(std::size_t &seed, const T &v)
Definition: hash.hh:27