This file provides the extraction of sub automaton. More...
Go to the source code of this file.
Namespaces | |
namespace | vcsn |
The main namespace of the Vaucanson library. | |
Functions | |
template<typename A , typename AI , typename HStatesSet > | |
Element< A, AI > | sub_automaton (const Element< A, AI > &a, const HStatesSet &s, bool check_states=true) |
Returns a fresh automaton that is the sub-automaton defined by a set. | |
template<typename A , typename AI , typename HStatesSet > | |
void | sub_automaton_here (Element< A, AI > &a, const HStatesSet &s, bool check_states=true) |
Select a sub-automaton into a given automaton. |
This file provides the extraction of sub automaton.
Definition in file sub_automaton.hh.