Vcsn
2.0
Be Rational
|
Go to the source code of this file.
Classes | |
class | vcsn::detail::partition_automaton_impl< Aut > |
An automaton wrapper whose states form a partition of the state set of another automaton. More... | |
Namespaces | |
vcsn | |
vcsn::detail | |
Typedefs | |
template<typename Aut > | |
using | vcsn::partition_automaton = std::shared_ptr< detail::partition_automaton_impl< Aut >> |
A partition automaton as a shared pointer. More... | |