factor.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::factor (automaton_t aut, options_t opts={})
	Computes an automaton accepting all factors of words accepted by aut; function will modify aut or not depending on given opts. More...
automaton_t	awali::dyn::prefix (automaton_t aut, options_t opts={})
	Computes an automaton accepting all prefixes of words accepted by aut; function will modify aut or not depending on given opts. More...
automaton_t	awali::dyn::suffix (automaton_t aut, options_t opts={})
	Computes an automaton accepting all suffixes of words accepted by aut; function will modify aut or not depending on given opts. More...