sub_automaton.hh File Reference

#include <set>

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 >
void	awali::sttc::sub_automaton (Aut &aut, const std::set< state_t > &sts)
template<typename Aut , typename Pred >
void	awali::sttc::sub_automaton (Aut &aut, Pred keep_state)