determinize.hh File Reference

Boolean automata determinization. More...

Include dependency graph for determinize.hh:

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

Go to the source code of this file.

Namespaces
namespace	vcsn
Determinization algorithms
template<typename A, typename T>
Element< A, T >	vcsn::determinize (const Element< A, T > &a)
	Returns the determinized of a Boolean automaton.
template<typename A, typename T>
Element< A, T >	vcsn::determinize (const Element< A, T > &a, std::map< hstate_t, std::set< hstate_t > > &)
	Returns the determinized of a Boolean automaton.
Functions
template<typename A, typename T>
bool	vcsn::is_deterministic (const Element< A, T > &a)
	Test if an automaton is deterministic.

---

Detailed Description

Boolean automata determinization.

Author:

Yann Régis-Gianas <yann@lrde.epita.fr>

Date:

Tue Jun 24 19:13:10 2003

See also:

determinize(), is_deterministic()

Definition in file determinize.hh.

---