determinize.hh File Reference

#include <awali/dyn/core/automaton.hh>
#include <awali/dyn/options/options.hh>

Go to the source code of this file.

Namespaces
	awali
	Main namespace of Awali.
	awali::dyn
	Namespace for the dynamical layer of Awali.

Functions
automaton_t	awali::dyn::complement (automaton_t aut, options_t opts={})
	Complements aut or returns a complemented copy of aut. More...
automaton_t	awali::dyn::complete (automaton_t aut, options_t opts={})
	Completes aut or returns a completed copy of given automaton. More...
automaton_t	awali::dyn::determinize (automaton_t aut, options_t opts={})
	Determinizes an automaton. More...
automaton_t	awali::dyn::explore_by_length (automaton_t aut, unsigned depth)
	Computes the exploration of aut by length. More...
automaton_t	awali::dyn::explore_with_bound (automaton_t aut, weight_t bound)
	Computes the exploration of aut with respect to a bound. More...
bool	awali::dyn::is_ambiguous (automaton_t aut)
	Tests whether an automaton is ambiguous. More...
bool	awali::dyn::is_complete (automaton_t aut)
	Tests whether an automaton is complete. More...
bool	awali::dyn::is_deterministic (automaton_t aut)
	Tests whether an automaton is deterministic. More...
bool	awali::dyn::is_sequential (automaton_t aut)
	Tests whether an automaton is sequential. More...
automaton_t	awali::dyn::left_reduce (automaton_t aut)
automaton_t	awali::dyn::reduce (automaton_t aut)
	Reduces an automaton. More...