proper.hh File Reference

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

Go to the source code of this file.

Namespaces
	awali
	Main namespace of Awali.
	awali::dyn
	Namespace for the dynamical layer of Awali.
	awali::dyn::internal
	Implementation details of dyn layer (not stable).

Functions
automaton_t	awali::dyn::allow_eps_transition (automaton_t aut, options_t opts={})
	Returns a copy of aut in which epsilon-transitions are allowed. More...
automaton_t	awali::dyn::internal::compact_thompson (ratexp_t exp)
automaton_t	awali::dyn::draw_exp (ratexp_t exp)
	Computes a tree-like automaton representing expression exp. More...
bool	awali::dyn::is_proper (automaton_t aut)
	Tests whether an automaton has epsilon-transitions. More...
bool	awali::dyn::is_valid (automaton_t aut)
	Tests whether epsilon removal is possible in aut. More...
automaton_t	awali::dyn::proper (automaton_t aut, options_t opts={})
	Removes epsilon-transitions in aut or returns a new automaton equivalent to aut that has no epsilon-transition. More...
automaton_t	awali::dyn::internal::thompson (ratexp_t exp)
automaton_t	awali::dyn::internal::weighted_thompson (ratexp_t exp)