![]() |
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... | |