Vaucanson
1.4.1
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
vaucanson
algorithms
derived_term_automaton.hh
Go to the documentation of this file.
1
// derived_term_automaton.hh: this file is part of the Vaucanson project.
2
//
3
// Vaucanson, a generic library for finite state machines.
4
//
5
// Copyright (C) 2001, 2002, 2003, 2004, 2005 The Vaucanson Group.
6
//
7
// This program is free software; you can redistribute it and/or
8
// modify it under the terms of the GNU General Public License
9
// as published by the Free Software Foundation; either version 2
10
// of the License, or (at your option) any later version.
11
//
12
// The complete GNU General Public Licence Notice can be found as the
13
// `COPYING' file in the root directory.
14
//
15
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
16
//
17
#ifndef VCSN_ALGORITHMS_DERIVED_TERM_AUTOMATON_HH
18
# define VCSN_ALGORITHMS_DERIVED_TERM_AUTOMATON_HH
19
33
// INTERFACE: void derived_term_automaton(Automaton& a, const Exp& e) { return vcsn::derived_term_automaton(*a, e); }
34
// INTERFACE: void derived_term_automaton(GenAutomaton& a, const Exp& e) { return vcsn::derived_term_automaton(*a, e); }
35
36
# include <vaucanson/design_pattern/design_pattern.hh>
37
38
namespace
vcsn {
39
56
template
<
typename
A,
typename
T,
typename
Exp>
57
void
58
derived_term_automaton
(Element<A, T>& a,
const
Exp& e);
59
60
template
<
typename
A,
typename
T,
typename
Exp>
61
void
62
broken_derived_term_automaton(Element<A, T>& a,
const
Exp& e);
63
73
template
<
typename
A,
typename
T,
typename
Exp>
74
Element<A, T>
75
derived_term_automaton
(
const
Exp& e);
76
91
template
<
typename
A,
typename
T,
typename
Exp>
92
Element<A, T>
93
broken_derived_term_automaton(
const
Exp& e);
94
97
}
// vcsn
98
99
# if !defined VCSN_USE_INTERFACE_ONLY && !defined VCSN_USE_LIB
100
# include <vaucanson/algorithms/derived_term_automaton.hxx>
101
# endif // VCSN_USE_INTERFACE_ONLY
102
103
#endif // ! VCSN_ALGORITHMS_DERIVED_TERM_AUTOMATON_HH
Generated on Sat Jul 14 2012 18:46:39 for Vaucanson by
1.8.1.1