Vcsn  2.3
Be Rational
vcsn::detail::lightest_impl< Aut >::profile_less Struct Reference

#include <lightest.hh>

Collaboration diagram for vcsn::detail::lightest_impl< Aut >::profile_less:

Public Member Functions

bool operator() (const profile_t &r, const profile_t &l) const
 Whether l < r (as this is a max heap). More...
 

Detailed Description

template<Automaton Aut>
struct vcsn::detail::lightest_impl< Aut >::profile_less

Definition at line 57 of file lightest.hh.

Member Function Documentation

template<Automaton Aut>
bool vcsn::detail::lightest_impl< Aut >::profile_less::operator() ( const profile_t r,
const profile_t l 
) const
inline

Whether l < r (as this is a max heap).

Compare values in this order:

  • weight,
  • label,
  • whether one of them is post (post should be treated last),
  • state number. Post is treated last in order to be sure that all the equivalent cases are treated before returning. When we finally reach post we know for sure that no smaller evaluation exists.

Definition at line 69 of file lightest.hh.


The documentation for this struct was generated from the following file: