Main Page | Modules | Namespace List | Class Hierarchy | Alphabetical List | Class List | File List | Namespace Members | Class Members | File Members | Related Pages

determinize.hh File Reference

Boolean automata determinization. More...

Include dependency graph for determinize.hh:

Include dependency graph

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

Included by dependency graph

Go to the source code of 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

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.


Generated on Sun Jul 30 21:10:44 2006 for Vaucanson by  doxygen 1.3.9.1