restriction.hh File Reference

#include <set>
#include <awali/sttc/ctx/traits.hh>
#include <awali/sttc/labelset/traits.hh>

Go to the source code of this file.

Data Structures
struct	awali::sttc::internal::make_labelset_from_letters< LS >
struct	awali::sttc::internal::make_labelset_from_letters< nullableset< LS > >

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

Functions
template<typename Aut >
void	awali::sttc::change_alphabet (Aut &aut, const std::set< typename labelset_t_of< Aut >::letter_t > &letters, bool del_unvalid_transitions=true)
	Change letters in the alphabet of the automaton. More...
template<typename Aut >
void	awali::sttc::remove_letters (Aut &aut, const std::set< typename labelset_t_of< Aut >::letter_t > &letters, bool del_unvalid_transitions=true)
	Remove letters from the alphabet of the automaton. More...