vcsn::detail::state_eliminator< Aut, labels_are_one > Struct Template Reference

Eliminate states in an automaton whose labelset is oneset. More...

#include <to-expression.hh>

Collaboration diagram for vcsn::detail::state_eliminator< Aut, labels_are_one >:

Public Types
using	automaton_t = typename std::remove_cv< Aut >::type
using	state_t = state_t_of< automaton_t >
using	weightset_t = weightset_t_of< automaton_t >
using	state_chooser_t = std::function< state_t(const automaton_t &)>
	State selector type. More...

Public Member Functions
	state_eliminator (automaton_t &aut)
void	operator() (state_t s)
	Eliminate state s. More...
void	operator() (const state_chooser_t &next_state)
	Eliminate all the states, in the order specified by next_state. More...

Private Attributes
int	debug_
	Debug level. The higher, the more details are reported. More...
automaton_t &	aut_
	The automaton we work on. More...
const weightset_t &	ws_ = *aut_->weightset()
	Shorthand to the weightset. More...

Detailed Description

template<typename Aut>
struct vcsn::detail::state_eliminator< Aut, labels_are_one >

Eliminate states in an automaton whose labelset is oneset.

Definition at line 71 of file to-expression.hh.

Member Typedef Documentation

template<typename Aut >

using vcsn::detail::state_eliminator< Aut, labels_are_one >::automaton_t = typename std::remove_cv<Aut>::type

Definition at line 73 of file to-expression.hh.

template<typename Aut >

using vcsn::detail::state_eliminator< Aut, labels_are_one >::state_chooser_t = std::function<state_t(const automaton_t&)>

State selector type.

Definition at line 77 of file to-expression.hh.

template<typename Aut >

using vcsn::detail::state_eliminator< Aut, labels_are_one >::state_t = state_t_of<automaton_t>

Definition at line 74 of file to-expression.hh.

template<typename Aut >

using vcsn::detail::state_eliminator< Aut, labels_are_one >::weightset_t = weightset_t_of<automaton_t>

Definition at line 75 of file to-expression.hh.

Constructor & Destructor Documentation

template<typename Aut >

vcsn::detail::state_eliminator< Aut, labels_are_one >::state_eliminator ( automaton_t &  aut )

inline

Definition at line 79 of file to-expression.hh.

Member Function Documentation

template<typename Aut >

void vcsn::detail::state_eliminator< Aut, labels_are_one >::operator() ( state_t  s )

inline

Eliminate state s.

Definition at line 85 of file to-expression.hh.

References vcsn::require(), and vcsn::detail::to_vector().

Here is the call graph for this function:

template<typename Aut >

void vcsn::detail::state_eliminator< Aut, labels_are_one >::operator() ( const state_chooser_t &  next_state )

inline

Eliminate all the states, in the order specified by next_state.

Definition at line 113 of file to-expression.hh.

Member Data Documentation

template<typename Aut >

automaton_t& vcsn::detail::state_eliminator< Aut, labels_are_one >::aut_

private

The automaton we work on.

Definition at line 123 of file to-expression.hh.

template<typename Aut >

int vcsn::detail::state_eliminator< Aut, labels_are_one >::debug_

private

Debug level. The higher, the more details are reported.

Definition at line 121 of file to-expression.hh.

template<typename Aut >

const weightset_t& vcsn::detail::state_eliminator< Aut, labels_are_one >::ws_ = *aut_->weightset()

private

Shorthand to the weightset.

Definition at line 125 of file to-expression.hh.

---

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

• vcsn/algos/to-expression.hh