#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

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: