![]() |
Vcsn
2.1
Be Rational
|
#include <algorithm>#include <boost/range/irange.hpp>#include <vcsn/algos/copy.hh>#include <vcsn/core/automaton-decorator.hh>#include <vcsn/misc/crange.hh>#include <vcsn/dyn/fwd.hh>#include <vcsn/misc/unordered_set.hh>#include <vcsn/misc/vector.hh>Go to the source code of this file.
Namespaces | |
| vcsn | |
| vcsn::detail | |
| vcsn::dyn | |
| vcsn::dyn::detail | |
Typedefs | |
| template<typename Aut > | |
| using | vcsn::filter_automaton = std::shared_ptr< detail::filter_automaton_impl< Aut >> |
Functions | |
| template<typename Aut > | |
| filter_automaton< Aut > | vcsn::filter (const Aut &aut, const std::unordered_set< state_t_of< Aut >> &ss) |
| Get an automaton who is a part state set ss of aut. More... | |
| template<typename Aut , typename Unsigneds > | |
| automaton | vcsn::dyn::detail::filter (const automaton &aut, const std::vector< unsigned > &states) |
| Bridge. More... | |