Awali
Another Weighted Automata library
namespacesdoc.hh
Go to the documentation of this file.
1 // This file is part of Awali.
2 // Copyright 2016-2021 Sylvain Lombardy, Victor Marsault, Jacques Sakarovitch
3 //
4 // Awali is a free software: you can redistribute it and/or modify
5 // it under the terms of the GNU General Public License as published by
6 // the Free Software Foundation, either version 3 of the License, or
7 // (at your option) any later version.
8 //
9 // This program is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 // GNU General Public License for more details.
13 //
14 // You should have received a copy of the GNU General Public License
15 // along with this program. If not, see <http://www.gnu.org/licenses/>.
16 
17 /* This file is a false header used to centralize the description of the
18  * namespaces of Awali.
19  * Used in particular by Doxygen.
20  */
21 
23 namespace awali {
24 
30  namespace sttc {
31 
35  namespace ctx { }
36 
38  namespace internal { }
39 
40 
41 
44  namespace rat { }
45 
46  }
47 
52  namespace priority { }
53 
56  namespace deprecated { }
57 
58 
76  namespace dyn {
77 
79  namespace internal { }
80 
82  namespace loading { }
83 
87  namespace context { }
88 
89 
94  namespace factory { }
95 
99  namespace lift { }
100  }
101 
104  namespace deprecated { }
105 
109  namespace internal { }
110 
111 
113  namespace py {
114 
115  }
116 
117 
118 }
automaton_t lift(automaton_t aut)
Builds some kind of copy of aut with weights that are rational expressions with the context of aut,...
Main namespace of Awali.
Definition: ato.hh:22