#include <algorithm>
#include <boost/range/irange.hpp>
#include <boost/optional.hpp>
#include <vcsn/algos/copy.hh>
#include <vcsn/core/automaton-decorator.hh>
#include <vcsn/core/automaton.hh>
#include <vcsn/dyn/fwd.hh>
#include <vcsn/misc/crange.hh>
#include <vcsn/misc/dynamic_bitset.hh>
#include <vcsn/misc/sparse-set.hh>
#include <vcsn/misc/vector.hh>
#include <vcsn/misc/static-if.hh>
 
Go to the source code of this file.
 | 
| template<Automaton Aut, bool Trans = false>  | 
| using  | vcsn::filter_automaton = std::shared_ptr< detail::filter_automaton_impl< Aut, Trans > > | 
|   | 
 | 
| template<Automaton Aut, bool Trans = false>  | 
| filter_automaton< Aut, Trans >  | vcsn::filter (const Aut &aut, boost::optional< dynamic_bitset > ss={}, boost::optional< dynamic_bitset > ts={}) | 
|   | Build a filtered view of an automaton.  More...
  | 
|   | 
| template<Automaton Aut>  | 
| filter_automaton< Aut >  | vcsn::filter (const Aut &aut, const std::unordered_set< state_t_of< Aut >> &ss) | 
|   | Build a filtered view of an automaton.  More...
  | 
|   | 
| template<Automaton Aut, typename Unsigneds >  | 
| automaton  | vcsn::dyn::detail::filter (const automaton &aut, const std::vector< unsigned > &states) | 
|   | Bridge.  More...
  | 
|   |