Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
partition-automaton.hh File Reference
#include <map>
#include <set>
#include <vector>
#include <vcsn/core/automaton-decorator.hh>
Include dependency graph for partition-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::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...