This is used by some epsilon removal algorithms. More...

#include <epsilon-profile.hh>

Collaboration diagram for vcsn::detail::epsilon_profile< State >:

Public Types
using	state_t = State

Public Member Functions
	epsilon_profile (state_t s, size_t insp, size_t in, size_t outsp, size_t out)
	Generate a state profile. More...

void	update (size_t insp, size_t in, size_t outsp, size_t out)

bool	operator< (const epsilon_profile &r) const
	Whether l < r for the max-heap. More...

Public Attributes
state_t	state
	From the heap's top, recover state to eliminate. More...

size_t	in_sp
	Number of incoming spontaneous transitions. More...

size_t	in_nsp
	Number of incoming non-spontaneous transitions. More...

size_t	out_sp
	Number of outgoing spontaneous transitions. More...

size_t	out_nsp
	Number of outgoing non-spontaneous transitions. More...

Friends
std::ostream &	operator<< (std::ostream &o, const epsilon_profile &p)

Detailed Description

template<typename State>
struct vcsn::detail::epsilon_profile< State >

This is used by some epsilon removal algorithms.

The structure contains the data needed to compare the elimination order between states. Code profiling shows that we spend too much time iterating on outgoing and inconing transitions of states to compute the order of elimination. This structure caches what needs to be compared, and provides the comparison operator.

Definition at line 18 of file epsilon-profile.hh.

Member Typedef Documentation

template<typename State >

using vcsn::detail::epsilon_profile< State >::state_t = State

Definition at line 20 of file epsilon-profile.hh.

Constructor & Destructor Documentation

template<typename State >

vcsn::detail::epsilon_profile< State >::epsilon_profile	(	state_t	s,
		size_t	insp,
		size_t	in,
		size_t	outsp,
		size_t	out
	)

inline

Generate a state profile.

Parameters

s	state handle
insp	number of incoming spontaneous transitions to s
in	number of incoming transitions to a
outsp	number of outgoing spontaneous transitions from s
out	number of outgoing transitions from s