Vcsn  2.1
Be Rational
mutable-automaton.hh File Reference
#include <algorithm>
#include <cassert>
#include <vector>
#include <boost/range/algorithm/find.hpp>
#include <boost/range/algorithm/find_if.hpp>
#include <boost/range/irange.hpp>
#include <vcsn/misc/crange.hh>
#include <vcsn/core/fwd.hh>
#include <vcsn/core/transition.hh>
#include <vcsn/ctx/context.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/misc/format.hh>
#include <vcsn/misc/memory.hh>
#include <vcsn/misc/symbol.hh>
Include dependency graph for mutable-automaton.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  vcsn::detail::mutable_automaton_impl< Context >
 
struct  vcsn::detail::mutable_automaton_impl< Context >::stored_state_t
 Data stored for each state. More...
 
struct  vcsn::detail::mutable_automaton_impl< Context >::valid_state_p< Pred >
 
struct  vcsn::detail::mutable_automaton_impl< Context >::all_states_p
 Accept all the states. More...
 
struct  vcsn::detail::mutable_automaton_impl< Context >::has_state_p< Pred >
 
struct  vcsn::detail::mutable_automaton_impl< Context >::all_transitions_p
 
struct  vcsn::detail::mutable_automaton_impl< Context >::not_from_pre_p
 
struct  vcsn::detail::mutable_automaton_impl< Context >::not_to_post_p
 
struct  vcsn::detail::mutable_automaton_impl< Context >::not_with_pre_post_p
 
struct  vcsn::detail::mutable_automaton_impl< Context >::label_equal_p
 
struct  vcsn::detail::mutable_automaton_impl< Context >::dst_p
 

Namespaces

 vcsn
 
 vcsn::detail
 

Functions

template<typename Context >
mutable_automaton< Context > vcsn::make_mutable_automaton (const Context &ctx)