has_succ_comp.hh File Reference

Include dependency graph for has_succ_comp.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace vcsn

Functions

template<typename A, typename T>

bool has_succ_comp (const Element< A, T > &a)

Return true if the automaton has successful computation (has at least one state that is both accessible and co-accessible), false otherwise.

Detailed Description

Declaration of has_succ_comp().

See also:: has_succ_comp()

Definition in file has_succ_comp.hh.


Namespaces
namespace	vcsn
Functions
template<typename A, typename T>
bool	has_succ_comp (const Element< A, T > &a)
	Return true if the automaton has successful computation (has at least one state that is both accessible and co-accessible), false otherwise.