compare-automaton.hh

Go to the documentation of this file.

#pragma once

#include <boost/range/algorithm/lexicographical_compare.hpp>

#include <vcsn/core/automaton.hh>

namespace vcsn
{

  /*---------------------------------.
  | compare(automaton, automaton).   |
  `---------------------------------*/

  template <Automaton Lhs, Automaton Rhs>
  int
  compare(const Lhs& lhs, const Rhs& rhs)
  {
    return detail::lexicographical_cmp
      (lhs->all_transitions(),
       rhs->all_transitions(),
       [&lhs, &rhs](transition_t_of<Lhs> t1, transition_t_of<Rhs> t2)
       {
         // First, on src.
         if (auto res = int(lhs->src_of(t1)) - int(rhs->src_of(t2)))
           return res;
         // Second, on the label.
         else if (auto res = lhs->labelset()->compare(lhs->label_of(t1),
                                                      rhs->label_of(t2)))
           return res;
         // Third, on the weight.
         else if (auto res = lhs->weightset()->compare(lhs->weight_of(t1),
                                                       rhs->weight_of(t2)))
           return res;
         // Last, on dst.
         else
           return int(lhs->dst_of(t1)) - int(rhs->dst_of(t2));
       });
  }

  namespace dyn
  {
    namespace detail
    {
      template <Automaton Lhs, Automaton Rhs>
      int
      compare(const automaton& lhs, const automaton& rhs)
      {
        const auto& l = lhs->as<Lhs>();
        const auto& r = rhs->as<Rhs>();
        return ::vcsn::compare(l, r);
      }
    }
  }

  template <Automaton Lhs, Automaton Rhs>
  bool
  are_equal(const Lhs& lhs, const Rhs& rhs)
  {
    return compare(lhs, rhs) == 0;
  }

  template <Automaton Lhs, Automaton Rhs>
  bool
  less_than(const Lhs& lhs, const Rhs& rhs)
  {
    return compare(lhs, rhs) < 0;
  }
} // namespace vcsn