determinize.hh File Reference

This file provides the determinization algorithm for Boolean automata. More...

Include dependency graph for determinize.hh:

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

Namespaces
namespace	vcsn
Determinization algorithms
template<typename A, typename T>
Element< A, T >	determinize (const Element< A, T > &a)
	Returns the determinized of a Boolean automaton.
template<typename A, typename T>
Element< A, T >	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	is_deterministic (const Element< A, T > &a)
	Test if an automaton is deterministic.

---

Detailed Description

This file provides the determinization algorithm for Boolean automata.

Author:

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

Date:

Tue Jun 24 19:13:10 2003

See also:

determinize(), is_deterministic()

---