eliminate.hh File Reference

#include <awali/dyn/core/automaton.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::lift
	Namespace containing the functions allowing to execute the state elimination algorithm (aut_to_exp) step-by-step; probably will be moved elsewhere in the future.

Functions
void	awali::dyn::lift::eliminate_state (automaton_t aut, state_t s)
	Deletes a state from a lifted automaton. More...
void	awali::dyn::lift::eliminate_state_by_name (automaton_t aut, std::string state_name)
	Deletes a state from a lifted automaton. More...