determinize.hh File Reference

#include <awali/sttc/algos/determinize/determinize.hxx>
#include <awali/sttc/algos/determinize/is_deterministic.hxx>
#include <awali/common/priority.hh>

Go to the source code of this file.

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.

Functions
template<typename Aut >
auto	awali::sttc::codeterminize (const Aut &aut, bool keep_history=true) -> mutable_automaton< context_t_of< Aut >>
	Co-determinization of the automaton. More...
template<typename Aut >
auto	awali::sttc::determinize (const Aut &a, bool keep_history=true) -> mutable_automaton< context_t_of< Aut >>
	Determinization of the automaton. More...
template<typename Aut >
auto	awali::sttc::explore_by_length (const Aut &aut, unsigned depth) -> mutable_automaton< context_t_of< Aut >>
	Exploration of the automaton up to a given depth. More...
template<typename Aut >
auto	awali::sttc::explore_with_bound (const Aut &aut, typename weightset_t_of< Aut >::value_t bound) -> mutable_automaton< context_t_of< Aut >>
	Exploration of the automaton up to a given bound. More...
template<class Aut >
bool	awali::sttc::is_deterministic (const Aut &aut)
	tests whether the automaton is deterministic More...
template<class Aut >
bool	awali::sttc::is_sequential (const Aut &aut)
	tests whether the automaton is deterministic More...
template<typename Aut >
auto	awali::sttc::weighted_determinize (const Aut &aut) -> mutable_automaton< context_t_of< Aut >>
	Weighted determinization of the automaton. More...